Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

moveit::core::isEmpty #1627

Merged
merged 1 commit into from
Aug 19, 2019
Merged

moveit::core::isEmpty #1627

merged 1 commit into from
Aug 19, 2019

Conversation

v4hn
Copy link
Contributor

@v4hn v4hn commented Aug 16, 2019

Builds on top of #1625 (although it could be isolated) and only consists of one commit.
I will rebase here once #1625 is merged.

As pointed out by @davetcoleman it seems weird to keep simple test functions like isEmpty within the full PlanningScene class.

This patch proposes to collect them in a new header in moveit/utils/message_checks.h.
Please review.

Copy link
Contributor

@rhaschke rhaschke left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

b302bce looks good to me. Could be merged after rebasing.

@rhaschke rhaschke added the awaits 2nd review one maintainer approved this request label Aug 17, 2019
@v4hn v4hn force-pushed the pr-master-isempty-in-utils branch from b302bce to a133202 Compare August 19, 2019 08:50
@v4hn v4hn removed the awaits 2nd review one maintainer approved this request label Aug 19, 2019
@v4hn
Copy link
Contributor Author

v4hn commented Aug 19, 2019

I rebased the request.
Merging with @rhaschke's approval.

@v4hn v4hn merged commit 4ca54cd into moveit:master Aug 19, 2019
jschleicher added a commit to PilzDE/pilz_industrial_motion that referenced this pull request Oct 9, 2019
henningkayser pushed a commit to PickNikRobotics/moveit that referenced this pull request Nov 21, 2019
robinedwards added a commit to rivelinrobotics/rivelin_pilz_industrial_motion that referenced this pull request Jan 4, 2021
sjahr pushed a commit to sjahr/moveit that referenced this pull request Jun 21, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants