Module robot_description_builder::identifiers

TODO: GLOBAL DOCS

TODO: FINISH DOCS OF THE MODULE

GroupID Delimiters

TODO: ADD FORMATTING AND ESCAPED CHARACTER EXPLANATION

Structs

• GroupIDError
  An error which can be returned when checking for a GroupID’s validity.

Enums

• GroupIDErrorKind
  Enum to store the various types of errors that can cause invalidation of a GroupID.

Constants

• DELIMITER_CLOSE_GROUPID
  The delimiter used at the end of a GroupID.
• DELIMITER_ESCAPED_CLOSE_GROUPID
  The escaped delimiter, which gets converted to DELIMITER_CLOSE_GROUPID when applied.
• DELIMITER_ESCAPED_OPEN_GROUPID
  The escaped delimiter, which gets converted to DELIMITER_OPEN_GROUPID when applied.
• DELIMITER_OPEN_GROUPID
  The delimiter used at the start of a GroupID.

Traits

• GroupID
  Format and validation trait for GroupIDs
• GroupIDChanger
  Used for GroupID modifications on buildertrees.