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

Align with spec

parent b7988b46

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

+3 −3
Changes for plugins/org.etsi.mts.tdl.model/model/tdl-constraints.ocl: 3 added lines, 3 removed lines.
Original line number Diff line number Diff line
@@ -136,7 +136,7 @@ context Constraint 


  -- Quantifiers for 'range' 

  inv ConstraintQuantifierRange ('The predefined \'ConstraintType\' \'range\' shall be used with exactly two \'quantifier\'s resolved to instance conforming to the predefined \'Integer\' \'DataType\'. ' + self.toString()):

        (self.type.name = 'length') 

        (self.type.name = 'range') 

          implies (self.quantifier->size() = 2 

              and self.quantifier->forAll(q | q.resolveDataType().conformsTo('Integer')))
@@ -397,8 +397,8 @@ context MemberReference 
  



  -- Either member or collection index is required

  inv MemberOrIndex ('Either the member or collectionIndex shall be specified. ' + self.toString()):

        not self.member.oclIsUndefined() or not self.collectionIndex.oclIsUndefined()

  inv MemberOrIndex ('Either the member or collectionIndex shall be specified, but not both. ' + self.toString()):

        self.member.oclIsUndefined() <> self.collectionIndex.oclIsUndefined()