Commit b89251bf authored by Philip Makedonski's avatar Philip Makedonski
Browse files

+ fixes for constraint definition (TODO: add CR and update Part 1)

parent fc918b29

plugins/org.etsi.mts.tdl.constraints/epsilon/constraints/tdl-generated-ETSI-ES-203-119-1-V1.5.1-fixed.evl

+2 −0
Original line number Diff line number Diff line
@@ -196,6 +196,8 @@ context DataElementMapping { 
  //All parameters shall be mapped

  constraint ParameterMappingType {

    check:     (self.mappableDataElement.oclIsTypeOf(SimpleDataType)

      or self.mappableDataElement.oclIsTypeOf(CollectionDataType) //TODO: added CollectionDataType exclusion

      or self.mappableDataElement.oclIsTypeOf(DataInstance)//TODO: added DataInstance exclusion

      or (self.mappableDataElement.oclIsTypeOf(StructuredDataType)

      and self.mappableDataElement.member->forAll(p | //TODO: allMembers()? 

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