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

No need to replace OclInvalid.

parent ed9d8632
Loading
Loading
Loading
Loading
+2 −2
Original line number Diff line number Diff line
@@ -251,12 +251,12 @@ context CollectionDataInstance
context EnumDataType
  -- SimpleDataInstance container in EnumDataType
  inv  EnumDataInstanceContainment ('A \'SimpleDataInstance\' whose \'dataType\' property refers to an \'EnumDataType\' shall be contained in that \'EnumDataType\'.' + self.toString()):
        true
        OclInvalid
  

  -- No extensions for EnumDataType
  inv  EnumDataTypeExtensions ('The \'extension\' property of an \'EnumDataType\' shall be empty.' + self.toString()):
        true
        OclInvalid
  


+1 −1
Original line number Diff line number Diff line
@@ -209,7 +209,7 @@ public class ConstraintExporter {
//						.replaceAll("(import|function|guard)([\\W])", "`$1`$2")
				// .replaceAll("\\s+", " ")
				;
				ocl = ocl.replaceAll("OclInvalid", "true");
//				ocl = ocl.replaceAll("OclInvalid", "true");

				if (ocl.trim().startsWith("This")) {
					ocl = "    true" + " --" + ocl.trim();