Commit 5855d2c1 authored by Philip Makedonski's avatar Philip Makedonski
Browse files

+ fix for erroneous constraint on alternative behaviour, #103

parent 7ad0e2c2

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

+2 −0
Original line number Diff line number Diff line
@@ -775,6 +775,8 @@ context AlternativeBehaviour 
          ->includingAll(initial->select(oclIsKindOf(Quiescence)).oclAsType(Quiescence).componentInstance)

          -> includingAll(initial->select(oclIsKindOf(TimeOut)).oclAsType(TimeOut).componentInstance)

          in

          self.block.behaviour->select(oclIsKindOf(OptionalBehaviour))->isEmpty()

          or 

          self.block.behaviour->select(oclIsKindOf(OptionalBehaviour)) .oclAsType(OptionalBehaviour).block

              ->first().oclAsType(Interaction).sourceGate.component->forAll(c | targetComponent->includes(c))

          or not self.getParentTestDescription().isLocallyOrdered