OCL2_ — "Bag"

28. – [1] The name of a bag type is "Bag" followed by the element type’s name in
– parentheses.
context BagType
inv: self.name = ’Bag(’ + self.elementType.name + ’)’
– [1] The name of a collection type is "Collection" followed by the element
– type’s name in parentheses.
context CollectionType
inv: self.name = ’Collection(’ + self.elementType.name + ’)’
– [1] The name of a set type is "OrderedSet" followed by the element type’s name
– in parentheses.
context OrderedSetType
inv: self.name = ’OrderedSet(’ + self.elementType.name + ’)’
– [1] The name of a sequence type is "Sequence" followed by the element type’s
– name in parentheses.
context SequenceType
inv: self.name = ’Sequence(’ + self.elementType.name + ’)’
– [1] The name of a set type is "Set" followed by the element type’s name in
– parentheses. context SetType
inv: self.name = ’Set(’ + self.elementType.name + ’)’
==> ’’ should be replaced by ’concat’ or ’’ should be allowed as concrete syntax for the String concat
operation.
inv: self.name = ’Bag(’.concat( self.elementType.name).concat(’)’)
inv: self.name = ’Collection(’.concat(
self.elementType.name).concat(’)’)
inv: self.name = ’OrderedSet(’.concat(
self.elementType.name).concat(’)’)
inv: self.name = ’Sequence(’.concat( self.elementType.name).concat(’)’)
inv: self.name = ’Set(’.concat( self.elementType.name).concat(’)’)

No Data Available