Package tools.refinery.interpreter.localsearch.planner.compiler

Class AbstractOperationCompiler

java.lang.Object

tools.refinery.interpreter.localsearch.planner.compiler.AbstractOperationCompiler

All Implemented Interfaces:

IOperationCompiler

Direct Known Subclasses:

GenericOperationCompiler

public abstract class AbstractOperationCompiler
extends Object
implements IOperationCompiler

Since:

1.7

Field Summary

Fields

Modifier and Type	Field	Description
protected Set<CallWithAdornment>	dependencies
protected List<ISearchOperation>	operations
protected final IQueryRuntimeContext	runtimeContext
protected static final String	UNSUPPORTED_TYPE_MESSAGE
protected Map<PConstraint,Set<Integer>>	variableBindings

Constructor Summary

Constructors

Constructor	Description
AbstractOperationCompiler(IQueryRuntimeContext runtimeContext)

Method Summary

Modifier and Type	Method	Description
List<ISearchOperation>	compile(SubPlan plan, Set<PParameter> boundParameters)	Compiles a plan of POperations to a list of type Listinvalid input: '&ltISearchOperation'>
protected void	createCheck(AggregatorConstraint aggregator, Map<PVariable,Integer> variableMapping)
protected void	createCheck(ExpressionEvaluation expressionEvaluation, Map<PVariable,Integer> variableMapping)
protected void	createCheck(Inequality inequality, Map<PVariable,Integer> variableMapping)
protected void	createCheck(NegativePatternCall negativePatternCall, Map<PVariable,Integer> variableMapping)
protected void	createCheck(PatternMatchCounter counter, Map<PVariable,Integer> variableMapping)
protected abstract void	createCheck(TypeFilterConstraint typeConstraint, Map<PVariable,Integer> variableMapping)
protected void	createCheck(BinaryReflexiveTransitiveClosure binaryTransitiveClosure, Map<PVariable,Integer> variableMapping)
protected void	createCheck(BinaryTransitiveClosure binaryTransitiveClosure, Map<PVariable,Integer> variableMapping)
protected void	createCheck(ConstantValue constant, Map<PVariable,Integer> variableMapping)
protected void	createCheck(PositivePatternCall pCall, Map<PVariable,Integer> variableMapping)
protected abstract void	createCheck(TypeConstraint typeConstraint, Map<PVariable,Integer> variableMapping)
protected void	createExtend(AggregatorConstraint aggregator, Map<PVariable,Integer> variableMapping)
protected void	createExtend(ExpressionEvaluation expressionEvaluation, Map<PVariable,Integer> variableMapping)
protected void	createExtend(PatternMatchCounter patternMatchCounter, Map<PVariable,Integer> variableMapping)
protected void	createExtend(BinaryReflexiveTransitiveClosure binaryTransitiveClosure, Map<PVariable,Integer> variableMapping)
protected void	createExtend(BinaryTransitiveClosure binaryTransitiveClosure, Map<PVariable,Integer> variableMapping)
protected void	createExtend(ConstantValue constant, Map<PVariable,Integer> variableMapping)
protected void	createExtend(PositivePatternCall pCall, Map<PVariable,Integer> variableMapping)
protected abstract void	createExtend(TypeConstraint typeConstraint, Map<PVariable,Integer> variableMapping)
protected void	createExtendDispatcher(PConstraint pConstraint, Map<PVariable,Integer> variableMapping)
protected abstract void	createUnaryTypeCheck(IInputKey type, int position)
Set<CallWithAdornment>	getDependencies()	Replaces previous method returning MatcherReference
Map<PVariable,Integer>	getVariableMappings()

Methods inherited from class java.lang.Object

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

Field Details

UNSUPPORTED_TYPE_MESSAGE

protected static final String UNSUPPORTED_TYPE_MESSAGE

See Also:

• Constant Field Values

operations

protected List<ISearchOperation> operations

dependencies

protected Set<CallWithAdornment> dependencies

variableBindings

protected Map<PConstraint,Set<Integer>> variableBindings

runtimeContext

protected final IQueryRuntimeContext runtimeContext

Constructor Details

AbstractOperationCompiler

public AbstractOperationCompiler(IQueryRuntimeContext runtimeContext)

Method Details

createExtend

protected abstract void createExtend(TypeConstraint typeConstraint,
 Map<PVariable,Integer> variableMapping)

createCheck

protected abstract void createCheck(TypeConstraint typeConstraint,
 Map<PVariable,Integer> variableMapping)

Throws:

InterpreterRuntimeException

createCheck

protected abstract void createCheck(TypeFilterConstraint typeConstraint,
 Map<PVariable,Integer> variableMapping)

Throws:

InterpreterRuntimeException

createUnaryTypeCheck

protected abstract void createUnaryTypeCheck(IInputKey type,
 int position)

Throws:

InterpreterRuntimeException

Since:

2.0

compile

public List<ISearchOperation> compile(SubPlan plan,
 Set<PParameter> boundParameters)

Compiles a plan of POperations to a list of type Listinvalid input: '&ltISearchOperation'>

Specified by:

compile in interface IOperationCompiler

Parameters:

plan -

boundParameters -

Returns:

an ordered list of POperations that make up the compiled search plan

Throws:

InterpreterRuntimeException

createExtendDispatcher

protected void createExtendDispatcher(PConstraint pConstraint,
 Map<PVariable,Integer> variableMapping)

getDependencies

public Set<CallWithAdornment> getDependencies()

Description copied from interface: IOperationCompiler

Replaces previous method returning MatcherReference

Specified by:

getDependencies in interface IOperationCompiler

getVariableMappings

public Map<PVariable,Integer> getVariableMappings()

Specified by:

getVariableMappings in interface IOperationCompiler

Returns:

the cached variable bindings for the previously created plan

createCheck

protected void createCheck(PatternMatchCounter counter,
 Map<PVariable,Integer> variableMapping)

createCheck

protected void createCheck(PositivePatternCall pCall,
 Map<PVariable,Integer> variableMapping)

createCheck

protected void createCheck(ConstantValue constant,
 Map<PVariable,Integer> variableMapping)

createCheck

protected void createCheck(BinaryTransitiveClosure binaryTransitiveClosure,
 Map<PVariable,Integer> variableMapping)

createCheck

protected void createCheck(BinaryReflexiveTransitiveClosure binaryTransitiveClosure,
 Map<PVariable,Integer> variableMapping)

Since:

2.0

createCheck

protected void createCheck(ExpressionEvaluation expressionEvaluation,
 Map<PVariable,Integer> variableMapping)

createCheck

protected void createCheck(AggregatorConstraint aggregator,
 Map<PVariable,Integer> variableMapping)

createCheck

protected void createCheck(NegativePatternCall negativePatternCall,
 Map<PVariable,Integer> variableMapping)

createCheck

protected void createCheck(Inequality inequality,
 Map<PVariable,Integer> variableMapping)

createExtend

protected void createExtend(PositivePatternCall pCall,
 Map<PVariable,Integer> variableMapping)

createExtend

protected void createExtend(BinaryTransitiveClosure binaryTransitiveClosure,
 Map<PVariable,Integer> variableMapping)

createExtend

protected void createExtend(BinaryReflexiveTransitiveClosure binaryTransitiveClosure,
 Map<PVariable,Integer> variableMapping)

Since:

2.0

createExtend

protected void createExtend(ConstantValue constant,
 Map<PVariable,Integer> variableMapping)

createExtend

protected void createExtend(ExpressionEvaluation expressionEvaluation,
 Map<PVariable,Integer> variableMapping)

createExtend

protected void createExtend(AggregatorConstraint aggregator,
 Map<PVariable,Integer> variableMapping)

createExtend

protected void createExtend(PatternMatchCounter patternMatchCounter,
 Map<PVariable,Integer> variableMapping)