Commit bc42d1c1 authored by Martti Käärik's avatar Martti Käärik
Browse files

Guard the collection item type constraint.

parent 7df659db

plugins/org.etsi.mts.tdl.model/model/tdl-constraints.ocl

+2 −1
Changes for plugins/org.etsi.mts.tdl.model/model/tdl-constraints.ocl: 2 added lines, 1 removed line.
Original line number Diff line number Diff line
@@ -278,7 +278,8 @@ context CollectionDataInstance 


  -- Type of items in the 'CollectionDataInstance'

  inv CollectionDataInstanceItemType ('The items in \'CollectionDataInstance\' shall conform to the \'itemType\' of the \'CollectionDataType\' that is defined as the \'dataType\' of this \'CollectionDataInstance\'. ' + self.toString()):

        self.item->forAll(i | 

        self.dataType.oclIsKindOf(CollectionDataType)

          implies self.item->forAll(i | 

              i.resolveDataType().conformsTo(self.dataType.oclAsType(CollectionDataType).itemType))