[Feature request]: Add `map_name` to `Region`

[arjo129]

Before proceeding, is there an existing issue or discussion for this?

• I have done a search for similar issues and discussions.

Description

Currently Region does not define the map name. In the event robots have different maps it is not possible to distinguish between regions. On the other hand GraphElementKey does define a "map" field. Should we consider adding a map field to the target Region message?

Implementation Considerations

No response

Alternatives

No response

Additional information

No response

[mxgrey]

Great point.

One alternative is to rename the current Region message to something more generic / geometric like Shape, and then a Region can be a message like

# Region.msg
Shape shape
string[<=1] map

That way we still have a message that is purely geometric information, in case that has any value.