Commit 3421a12b authored by Philip Makedonski's avatar Philip Makedonski
Browse files

? ocl workaround (TBD)

parent ea86cb9b
Loading
Loading
Loading
Loading
+3 −0
Original line number Diff line number Diff line
@@ -10,6 +10,9 @@ context NamedElement

  -- Distinguishable qualified names
  inv DistinquishableName ('All qualified names of instances of \'NamedElement\'s shall be distinguishable within a TDL model.' + self.toString()):
--        TODO: Weird workaround, not sure why it is needed
        self.oclIsTypeOf(EnumDataType) 
        or 
        NamedElement.allInstances()->one(e | e.qualifiedName = self.qualifiedName)