Package eu.bandm.tools.paisley
Class PatternCompilationContext
java.lang.Object
eu.bandm.tools.lljava.live.BaseCompilationContext<CompilationContext>
eu.bandm.tools.paisley.PatternCompilationContext
- All Implemented Interfaces:
BlockContext<CompilationContext>
,CompilationContext<CompilationContext>
,EnvironmentContext<CompilationContext>
,InstructionsContext<CompilationContext>
,InvocationContext<CompilationContext>
,LabelContext
,StateContext<CompilationContext>
,SubMethodsContext<CompilationContext>
,TracingContext
,VariableContext
,CompilationContext
public class PatternCompilationContext
extends BaseCompilationContext<CompilationContext>
implements CompilationContext
-
Nested Class Summary
Nested classes/interfaces inherited from class eu.bandm.tools.lljava.live.BaseCompilationContext
BaseCompilationContext.Cache<A,
B>, BaseCompilationContext.EnvFieldInfo<T>, BaseCompilationContext.FieldInfo, BaseCompilationContext.LabelInfo, BaseCompilationContext.StateFieldInfo, BaseCompilationContext.SuperEnvInfo, BaseCompilationContext.VariableInfo Nested classes/interfaces inherited from interface eu.bandm.tools.lljava.live.EnvironmentContext
EnvironmentContext.EnvFieldInfo<T extends Object>
Nested classes/interfaces inherited from interface eu.bandm.tools.lljava.live.LabelContext
LabelContext.Label
Nested classes/interfaces inherited from interface eu.bandm.tools.lljava.live.VariableContext
VariableContext.Variable
-
Field Summary
Fields inherited from class eu.bandm.tools.lljava.live.BaseCompilationContext
component, componentClassName, constructor, environmentInitializer, interfaces, labels, stateInitializer, superClass, variables
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionprotected void
createSubPattern
(CompilationContext parent) self()
protected boolean
subtypeOracle
(String t, String u) Methods inherited from class eu.bandm.tools.lljava.live.BaseCompilationContext
add, addInterface, addStatement, and, box, branch, branchIfEq, branchIfGEq, branchIfGT, branchIfLEq, branchIfLT, branchIfNegative, branchIfNEq, branchIfNonNegative, branchIfNonNull, branchIfNonPositive, branchIfNonZero, branchIfNull, branchIfPositive, branchIfZero, cmp, cmpGT, cmpLT, compile, compileClass, compileClass, convertTo, createFactory, createLabel, createLazyFactory, createLazyFactory, createLocalVariable, createVirtualVariable, createVirtualVariable, div, dup, endBlock, endBlock, endInitializer, endMethod, findEnv, findEnvUnstored, findState, findState, get, getBlock, getComponentClassName, getEnvFields, getEnvValues, getInputs, getOutputs, getParameter, hasInputs, hasOutputs, initially, insert, instanceOf, instantiate, instantiateUpTo, invokeDynamic, invokeInterface, invokeSpecial, invokeStatic, invokeSubMethod, invokeSubMethod, invokeVirtual, invokeVirtualSelf, isTracing, length, load, load, load, load, load, load, load, loadArray, loadEnvVariable, loadNull, loadThis, method, mul, neg, newArray, newInstance, newInstance, newInstance, nop, or, pop, popFrame, postprocess, pushFrame, pushFrame, put, ref, ref, rem, return_, setTracing, shl, shr, startBlock, startBlock, startBlock, startInitializer, startMethod, startMethodInternal, store, store, storeArray, sub, switchUnique, switchUnique, throw_, toString, unbox, ushr, variable, variable, xor
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
Methods inherited from interface eu.bandm.tools.lljava.live.BlockContext
block, block, endBlock, expr, expr, exprInputs, exprInputs, getInput, getInputs, getOutput, getOutput, getOutputs, hasInputs, hasOutputs, loadInput, loadOutput, startBlock, storeOutput, storeOutput, storeOutput, storeOutput
Methods inherited from interface eu.bandm.tools.lljava.live.CompilationContext
addInterface, eval, eval, eval, eval, getType, list, list, list, loadVarargs, loadVarargs, switchUnique, whileNonZero
Methods inherited from interface eu.bandm.tools.lljava.live.EnvironmentContext
createFactory, createFactory, findEnv, findEnvField, findEnvUnstored, getEnvFields, instantiate, instantiate, instantiateUpTo, instantiateUpTo, loadEnv, loadEnv, loadEnvField, loadEnvVariable
Methods inherited from interface eu.bandm.tools.lljava.live.InstructionsContext
add, add, and, binary, binary, branch, branchIfEq, branchIfGEq, branchIfGT, branchIfLEq, branchIfLT, branchIfNegative, branchIfNEq, branchIfNonNegative, branchIfNonNull, branchIfNonPositive, branchIfNonZero, branchIfNull, branchIfPositive, branchIfZero, cmp, cmpGT, cmpLT, constant, constant, constant, constant, constant, constantNull, convertTo, div, div, dup, get, ifElse, ifElse, ifEq, ifEq, ifEq, ifGEq, ifGEq, ifGEq, ifGT, ifGT, ifGT, ifLEq, ifLEq, ifLEq, ifLT, ifLT, ifLT, ifNegative, ifNegative, ifNEq, ifNEq, ifNEq, ifNonNegative, ifNonNull, ifNonNull, ifNonPositive, ifNonZero, ifNonZero, ifNonZero, ifNull, ifNull, ifPositive, ifPositive, ifZero, ifZero, ifZero, instanceOf, invoke, isEq, isGEq, isGT, isLEq, isLT, isNegative, isNEq, isNonNegative, isNonNull, isNonPositive, isNonZero, isNull, isPositive, isZero, lazyAnd, lazyOr, length, load, load, load, load, load, load, load, loadArray, loadNull, loadPrimitive, loadThis, move, move, move, move, move, move, move, moveNull, mul, mul, neg, newArray, newInstance, nop, not, or, pop, put, query, rem, rem, return_, serve, serving, shl, shr, store, store, storeArray, sub, sub, switchUnique, throw_, ushr, xor
Methods inherited from interface eu.bandm.tools.lljava.live.InvocationContext
invoke, invoke, invokeDynamic, invokeInterface, invokeSpecial, invokeStatic, invokeVirtual, newInstance, newInstance
Methods inherited from interface eu.bandm.tools.lljava.live.LabelContext
createLabel, insert
Methods inherited from interface eu.bandm.tools.lljava.live.StateContext
findState, initializeState, initializeState, initially, loadState, storeState, storeState
Methods inherited from interface eu.bandm.tools.lljava.live.SubMethodsContext
endMethod, invokeSubMethod, invokeSubMethod, startMethod
Methods inherited from interface eu.bandm.tools.lljava.live.TracingContext
isTracing, setTracing
Methods inherited from interface eu.bandm.tools.lljava.live.VariableContext
createLocalVariable, createVirtualVariable, getParameter
-
Constructor Details
-
PatternCompilationContext
-
-
Method Details
-
self
- Specified by:
self
in interfaceBlockContext<CompilationContext>
- Specified by:
self
in interfaceInstructionsContext<CompilationContext>
-
compile
-
createSubPattern
-
subtypeOracle
- Overrides:
subtypeOracle
in classBaseCompilationContext<CompilationContext>
-