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

Constructor	Description
PatternCompilationContext(String componentClassName)

Method Summary

Modifier and Type	Method	Description
protected void	compile(Pattern<?> pattern)
VariableContext.Variable	createSubPattern(CompilationContext parent)
CompilationContext	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

public PatternCompilationContext(String componentClassName)

Method Details

self

public CompilationContext self()

Specified by:

self in interface BlockContext<CompilationContext>

Specified by:

self in interface InstructionsContext<CompilationContext>

compile

protected void compile(Pattern<?> pattern)

createSubPattern

public VariableContext.Variable createSubPattern(CompilationContext parent)

subtypeOracle

protected boolean subtypeOracle(String t,
 String u)

Overrides:

subtypeOracle in class BaseCompilationContext<CompilationContext>