From 6d9e9c3b04161b35573e8fd227cef41fffa8469d Mon Sep 17 00:00:00 2001 From: Rafael Chaves Date: Tue, 1 Oct 2019 12:52:41 -0300 Subject: [PATCH] comparison operands should be null safe #163 --- .../com.abstratt.mdd.core/models/libraries/mdd_types.tuml | 8 ++++---- 1 file changed, 4 insertions(+), 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 index f891c097..fc7840af 100755 --- 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