public class GeneralComparisonCompiler extends ToBooleanCompiler
Constructor and Description |
---|
GeneralComparisonCompiler() |
Modifier and Type | Method and Description |
---|---|
void |
compileToBoolean(CompilerService compiler,
Expression expression)
Generate bytecode to evaluate the expression as a boolean
Precondition: none.
|
void |
compileToBooleanManyToMany(CompilerService compiler,
GeneralComparison comparison) |
static void |
generateComparisonCode(CompilerService compiler,
ComparisonExpression comparison,
LabelInfo returnTrue,
LabelInfo returnFalse,
LabelInfo end,
int item0Var,
int item1Var,
AtomicType type0,
AtomicType type1,
boolean checkTypes)
Generate code to compare two items, leaving a boolean result on the top of the bytecode stack
|
compileToItem, compileToIterator, compileToPush
allocateStatic, compileItemFromInt, compileToLoop, compileToPrimitive, generateMethod, handleEmptyStringResult, printStackTop, unboxItem, verify, visitAnnotation, visitLineNumber
public void compileToBoolean(CompilerService compiler, Expression expression) throws CannotCompileException
ExpressionCompiler
compileToBoolean
in class ExpressionCompiler
compiler
- the compiler serviceexpression
- the expression to be compiledCannotCompileException
public void compileToBooleanManyToMany(CompilerService compiler, GeneralComparison comparison) throws CannotCompileException
CannotCompileException
public static void generateComparisonCode(CompilerService compiler, ComparisonExpression comparison, LabelInfo returnTrue, LabelInfo returnFalse, LabelInfo end, int item0Var, int item1Var, AtomicType type0, AtomicType type1, boolean checkTypes)
compiler
- the compiler servicecomparison
- the comparison expression being compiledreturnTrue
- label to jump to to return truereturnFalse
- label to jump to to return falseend
- label to jump to to exit, with the result on stackitem0Var
- position of local variable (or if negative, argument) holding the first itemitem1Var
- position of local variable (or if negative, argument) holding the second itemtype0
- static type of the first itemtype1
- static type of the second itemcheckTypes
- if true, code needs to be generated to check the items are comparableCopyright (c) 2004-2018 Saxonica Limited. All rights reserved.