diff options
| author | Marcin Chrzanowski <marcin.j.chrzanowski@gmail.com> | 2019-12-30 14:24:22 +0100 |
|---|---|---|
| committer | Marcin Chrzanowski <marcin.j.chrzanowski@gmail.com> | 2019-12-30 14:24:22 +0100 |
| commit | c9a84787cd8d3ebb142b11096c5693ca44cfcff2 (patch) | |
| tree | 345a749564f10f33626ae8174cc44de03a92def2 /src/main/java/pl/edu/mimuw/cloudatlas/model | |
| parent | 00b7eaac7f87f73d9492bd7f917719fd364b5731 (diff) | |
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(); + } } |