View:
Hide Browser
|
Browser on the left
|
Browser on the right
|
Dictionary
Report:
General Info
|
Constraints
Parent Package:
identification
Class
HIER_OBJECT_ID
UID_BASED_ID
|
+--
HIER_OBJECT_ID
Hierarchical identifiers consisting of a root part and an optional extension.
Constraints
Name
Expression
Extension_valid
inv: has_extension xor extension = Void
Root_valid
inv: root <> Void