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

* refined constraint for recursive extension, #195

parent f79cab40

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

+1 −1
Original line number Diff line number Diff line
@@ -86,7 +86,7 @@ context Extension 
  

  -- No recursive extension

  inv NoRecursiveExtension ('The element containing an \'Extension\' shall not extend itself directly or indirectly.' + self.toString()):

        not Set{self}->closure(e | e.transitiveExtending())->collect(e|e.extending)->includes(self.container())

        Set{self}->closure(e | e.transitiveExtending())->collect(e|e.extending)->excludes(self.container())