Commit 6a0a5fd6 authored by Philip Makedonski's avatar Philip Makedonski
Browse files

+ fix for DataElementUse::FunctionCallParameters constraint (propagate to part 1)

parent 44133b50

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

+2 −0
Original line number Diff line number Diff line
@@ -420,6 +420,8 @@ context DataElementUse 


  -- Matching parameters for 'Function's

  inv FunctionCallParameters ('All \'FormalParameter\'s shall be bound if the \'dataElement\' refers to a \'Function\'.' + self.toString()):

        self.dataElement.oclIsUndefined()

        or 

        not self.dataElement.oclIsKindOf(Function)

      or self.dataElement.oclAsType(Function).formalParameter->forAll(p | self.argument->exists(a | a.parameter = p))