/**
* Copyright (c) 2009-2011, The HATS Consortium. All rights reserved.
* This file is licensed under the terms of the Modified BSD License.
*/
package abs.backend.java.lib.expr;
import abs.backend.java.lib.types.ABSBool;
import abs.backend.java.lib.types.ABSValue;
public class BinOp {
public static ABSBool eq(ABSValue v, ABSValue v2) {
if (v == null)
return ABSBool.fromBoolean(v2 == null);
return v.eq(v2);
}
public static ABSBool notEq(ABSValue v, ABSValue v2) {
return eq(v, v2).negate();
}
public static ABSBool gtEq(ABSValue v, ABSValue v2) {
if (v == null)
return ABSBool.fromBoolean(v2 == null);
return v.gtEq(v2);
}
public static ABSBool gt(ABSValue v, ABSValue v2) {
if (v == null) return ABSBool.FALSE;
return v.gt(v2);
}
public static ABSBool ltEq(ABSValue v, ABSValue v2) {
if (v == null) return ABSBool.TRUE;
return v.ltEq(v2);
}
public static ABSBool lt(ABSValue v, ABSValue v2) {
if (v == null) return ABSBool.fromBoolean(v2 != null);
return v.lt(v2);
}
}