ca.uwaterloo.cs.ql.interp
Class ValueMath

java.lang.Object
  extended by ca.uwaterloo.cs.ql.interp.ValueMath

public class ValueMath
extends java.lang.Object


Constructor Summary
ValueMath()
           
 
Method Summary
static Value eval_EQ(Value left, Value right)
           
static Value eval_GE(Value left, Value right)
           
static Value eval_GT(Value left, Value right)
           
static Value eval_LE(Value left, Value right)
           
static Value eval_LT(Value left, Value right)
           
static Value eval_ME(Value left, Value right)
           
static Value eval_NE(Value left, Value right)
           
static Value eval_UE(Value left, Value right)
           
static Value eval(int op, Value left, Value right)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ValueMath

public ValueMath()
Method Detail

eval

public static Value eval(int op,
                         Value left,
                         Value right)
                  throws EvaluationException
Throws:
EvaluationException

eval_GT

public static Value eval_GT(Value left,
                            Value right)

eval_LT

public static Value eval_LT(Value left,
                            Value right)

eval_EQ

public static Value eval_EQ(Value left,
                            Value right)

eval_NE

public static Value eval_NE(Value left,
                            Value right)

eval_GE

public static Value eval_GE(Value left,
                            Value right)

eval_LE

public static Value eval_LE(Value left,
                            Value right)

eval_ME

public static Value eval_ME(Value left,
                            Value right)
                     throws EvaluationException
Throws:
EvaluationException

eval_UE

public static Value eval_UE(Value left,
                            Value right)
                     throws java.util.regex.PatternSyntaxException
Throws:
java.util.regex.PatternSyntaxException