ch.epfl.labos.iu.orm.queryll2.path

Class SymbExBooleanRewriter

java.lang.Object

ch.epfl.labos.iu.orm.queryll2.symbolic.TypedValueVisitor<I,TypedValue,E>

ch.epfl.labos.iu.orm.queryll2.symbolic.TypedValueRewriterWalker<Boolean,RuntimeException>

ch.epfl.labos.iu.orm.queryll2.path.SymbExBooleanRewriter

public class SymbExBooleanRewriter
extends TypedValueRewriterWalker<Boolean,RuntimeException>

Java uses integers for booleans. This rewriter will rewrite integer constants as boolean constants if the integers seem to be used as booleans. It cannot handle the case where variables are used simultaneously as integers and booleans, but I don't think any compiler generates such code. The parameter is true if the tree node should be treated as a boolean.

Constructor Summary

Constructors

Constructor and Description
SymbExBooleanRewriter()

Method Summary

Modifier and Type	Method and Description
TypedValue	integerConstantValue(ConstantValue.IntegerConstant val, Boolean in)

Methods inherited from class ch.epfl.labos.iu.orm.queryll2.symbolic.TypedValueRewriterWalker

binaryOpValue, defaultValue, methodCallValue, staticMethodCallValue, unaryOpValue, virtualMethodCallValue

Methods inherited from class ch.epfl.labos.iu.orm.queryll2.symbolic.TypedValueVisitor

argValue, booleanConstantValue, byteConstantValue, castValue, classConstantValue, comparisonOpValue, constantValue, doubleConstantValue, floatConstantValue, getFieldValue, getStaticFieldValue, longConstantValue, mathOpValue, newValue, notOpValue, nullConstantValue, shortConstantValue, stringConstantValue, thisValue, unaryMathOpValue, unknownValue, varValue

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SymbExBooleanRewriter

public SymbExBooleanRewriter()

Method Detail

integerConstantValue

public TypedValue integerConstantValue(ConstantValue.IntegerConstant val,
                                       Boolean in)

Overrides:

integerConstantValue in class TypedValueVisitor<Boolean,TypedValue,RuntimeException>