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

* fixed duplicate names, #156

parent efdccdeb

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

+2 −2
Original line number Diff line number Diff line
@@ -285,7 +285,7 @@ context DataUse 
  



  -- Collection index of first 'reduction'

  inv ReductionMembers ('If the \'member\' is not specified for the first element of the \'reduction\' then the type of this \'DataUse\' shall be \'CollectionDataType\'.' + self.toString()):

  inv ReductionMembersCollection ('If the \'member\' is not specified for the first element of the \'reduction\' then the type of this \'DataUse\' shall be \'CollectionDataType\'.' + self.toString()):

        self.reduction->isEmpty()

              or not self.reduction->at(1).member.oclIsUndefined()

              or self. resolveBaseDataType().oclIsKindOf(CollectionDataType)
@@ -314,7 +314,7 @@ context ParameterBinding 
  



  -- Collection index of first 'reduction' of parameter

  inv ReductionMembers ('If the \'member\' is not specified for the first element of the \'reduction\' then the type of the \'parameter\' shall be \'CollectionDataType\'.' + self.toString()):

  inv ReductionMembersCollection ('If the \'member\' is not specified for the first element of the \'reduction\' then the type of the \'parameter\' shall be \'CollectionDataType\'.' + self.toString()):

        self.reduction->isEmpty()

              or not self.reduction->at(1).member.oclIsUndefined()

              or self.parameter.dataType.oclIsKindOf(CollectionDataType)