diff options
author | Martin <marcin.j.chrzanowski@gmail.com> | 2019-12-30 14:27:03 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-12-30 14:27:03 +0100 |
commit | 71452a391ecb6620ff3a06b80da5824b88cb4ad0 (patch) | |
tree | 665e88a50176b115bd0ea5ad9706dc64a3b8bdbf /src/main/java/pl/edu/mimuw/cloudatlas/model | |
parent | 00b7eaac7f87f73d9492bd7f917719fd364b5731 (diff) | |
parent | 4def2fc74f86df8eb15ef8ecd6b0ed37e83f0803 (diff) |
Merge pull request #80 from m-chrzan/stanik-removal
Implement ZMI removals in Stanik
Diffstat (limited to 'src/main/java/pl/edu/mimuw/cloudatlas/model')
-rw-r--r-- | src/main/java/pl/edu/mimuw/cloudatlas/model/ValueUtils.java | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/main/java/pl/edu/mimuw/cloudatlas/model/ValueUtils.java b/src/main/java/pl/edu/mimuw/cloudatlas/model/ValueUtils.java index 01a45b5..02b2ce4 100644 --- a/src/main/java/pl/edu/mimuw/cloudatlas/model/ValueUtils.java +++ b/src/main/java/pl/edu/mimuw/cloudatlas/model/ValueUtils.java @@ -4,4 +4,8 @@ public class ValueUtils { public static boolean valueNonNullOfType(Value value, Type type) { return value != null && !value.isNull() && value.getType().isCompatible(type); } + + public static boolean valueLower(Value a, Value b) { + return ((ValueBoolean) a.isLowerThan(b)).getValue(); + } } |