comparison operands should be null safe #163

abstratt · Oct 1, 2019 · 6d9e9c3 · 6d9e9c3
1 parent 3f22498
commit 6d9e9c3
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/plugins/com.abstratt.mdd.core/models/libraries/mdd_types.tuml b/plugins/com.abstratt.mdd.core/models/libraries/mdd_types.tuml
@@ -40,12 +40,12 @@ end;
 
 (* The implicit super datatype for all datatypes *)
 datatype Value 
-  query notEquals(other : Value[1]) : Boolean;
+  query notEquals(other : Value[0,1]) : Boolean;
   query greaterThan(r : Value[1]) : Boolean;
   query lowerThan(r : Value[1]) : Boolean;
   query greaterOrEquals(r : Value[1]) : Boolean;
   query lowerOrEquals(r : Value[1]) : Boolean;
-  query equals(other : Value[1]) : Boolean;
+  query equals(other : Value[0,1]) : Boolean;
   query toString() : String;
 end;
 
@@ -54,8 +54,8 @@ class ComparableBasic specializes Basic
   query lowerThan(r : any[1]) : Boolean;
   query greaterOrEquals(r : any[1]) : Boolean;
   query lowerOrEquals(r : any[1]) : Boolean;
-  query notEquals(other : any[1]) : Boolean;
-  query equals(other : any[1]) : Boolean;
+  query notEquals(other : any[0,1]) : Boolean;
+  query equals(other : any[0,1]) : Boolean;
 end;
 
 class Primitive specializes ComparableBasic