Package tools.refinery.interpreter.localsearch.operations.generic

Class GenericTypeExtend

java.lang.Object

tools.refinery.interpreter.localsearch.operations.generic.GenericTypeExtend

All Implemented Interfaces:

IIteratingSearchOperation, ISearchOperation

public class GenericTypeExtend
extends Object
implements IIteratingSearchOperation

Since:

1.7

Nested Class Summary

Nested classes/interfaces inherited from interface tools.refinery.interpreter.localsearch.operations.ISearchOperation

ISearchOperation.ISearchOperationExecutor

Constructor Summary

Constructors

Constructor	Description
GenericTypeExtend(IInputKey type, int[] positions, TupleMask callMask, TupleMask indexerMask, Set<Integer> unboundVariableIndices)

Method Summary

Modifier and Type	Method	Description
ISearchOperation.ISearchOperationExecutor	createExecutor()	Initializes a new operation executor for the given operation.
IInputKey	getIteratedInputKey()	Get the IInputKey which instances this operation iterates upon.
List<Integer>	getVariablePositions()
String	toString()
String	toString(Function<Integer,String> variableMapping)	Creates a string representation of the search operation by replacing the variable numbers according to the parameter function.

Methods inherited from class java.lang.Object

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

Constructor Details

GenericTypeExtend

public GenericTypeExtend(IInputKey type,
 int[] positions,
 TupleMask callMask,
 TupleMask indexerMask,
 Set<Integer> unboundVariableIndices)

Parameters:

type - the type to execute the extend operation on

positions - the parameter positions that represent the variables of the input key

unboundVariableIndices - the set of positions that are bound at the start of the operation

Method Details

getIteratedInputKey

public IInputKey getIteratedInputKey()

Description copied from interface: IIteratingSearchOperation

Get the IInputKey which instances this operation iterates upon.

Specified by:

getIteratedInputKey in interface IIteratingSearchOperation

createExecutor

public ISearchOperation.ISearchOperationExecutor createExecutor()

Description copied from interface: ISearchOperation

Initializes a new operation executor for the given operation. Repeated calls must return different executor instances.

Specified by:

createExecutor in interface ISearchOperation

getVariablePositions

public List<Integer> getVariablePositions()

Specified by:

getVariablePositions in interface ISearchOperation

Returns:

the ordered list of the variable numbers that are affected by the search operation

toString

public String toString()

Overrides:

toString in class Object

toString

public String toString(Function<Integer,String> variableMapping)

Description copied from interface: ISearchOperation

Creates a string representation of the search operation by replacing the variable numbers according to the parameter function. It is expected that the provided function does return a non-null value for each variable index that is returned by ISearchOperation.getVariablePositions(); otherwise a NullPointerException will be thrown during the calculation of the string.

Specified by:

toString in interface ISearchOperation