xacute.quilt
Class BinOpBool

java.lang.Object
  |
  +--xacute.quilt.QuiltExpression
        |
        +--xacute.quilt.Operator
              |
              +--xacute.quilt.BinOp
                    |
                    +--xacute.quilt.BinOpBool
All Implemented Interfaces:
PPrintable
Direct Known Subclasses:
BinOpAND, BinOpCOMP, BinOpOR

public abstract class BinOpBool
extends BinOp

This class represents any binary operator that is evaluated into a boolean.


Fields inherited from class xacute.quilt.BinOp
e, operands
 
Method Summary
protected static boolean computeBoolean(QuiltExpression e, EvalContext con)
          Evaluates a QuiltExpression into a ValueBool.
protected  Value evalAux(EvalContext con, int operator)
           
 
Methods inherited from class xacute.quilt.BinOp
getExpr
 
Methods inherited from class xacute.quilt.QuiltExpression
isTrue, pprint, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

computeBoolean

protected static boolean computeBoolean(QuiltExpression e,
                                        EvalContext con)
                                 throws QuiltException
Evaluates a QuiltExpression into a ValueBool.
Parameters:
con - the evaluation context
Throws:
a - QuiltWrongTypeException is thrown in case e can not be evaluated into a boolean value

evalAux

protected Value evalAux(EvalContext con,
                        int operator)
                 throws QuiltException