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

Constraint fix.

parent 99a0c461

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

+1 −1
Original line number Diff line number Diff line
@@ -326,7 +326,7 @@ context DataInstanceUse 


  -- No 'item' if 'dataInstance' is specified

  inv NoItemWithDataInstance ('The \'item\' property shall be empty if the \'dataInstance\' property is specified.' + self.toString()):

        not self.dataInstance.oclIsUndefined() and self.item->isEmpty()

        not self.dataInstance.oclIsUndefined() implies self.item->isEmpty()