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

No ParameterMappings is ok for CollectionDataType.

parent 331d3a97

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

+1 −1
Original line number Diff line number Diff line
@@ -155,7 +155,7 @@ context DataElementMapping 


  -- All parameters shall be mapped

  inv ParameterMappings ('If the \'mappableDataElement\' refers to a \'StructuredDataType\', an \'Action\' or a \'Function\' definition, all the \'Parameters\' contained in the \'mappableDataElement\' shall be mapped.' + self.toString()):

        (self.mappableDataElement.oclIsKindOf(SimpleDataType) or self.mappableDataElement.oclIsKindOf(DataInstance)

        (self.mappableDataElement.oclIsKindOf(SimpleDataType) or self.mappableDataElement.oclIsKindOf(CollectionDataType) or self.mappableDataElement.oclIsKindOf(DataInstance)

      or (self.mappableDataElement.oclIsTypeOf(StructuredDataType)

      and self.mappableDataElement.oclAsType(StructuredDataType).member->forAll(p | 

               self.parameterMapping->exists(m | m.parameter = p)))