org.eclipse.incquery.runtime.localsearch.operations.check

Class BinaryTransitiveClosureCheck

java.lang.Object

org.eclipse.incquery.runtime.localsearch.operations.check.CheckOperation

org.eclipse.incquery.runtime.localsearch.operations.check.BinaryTransitiveClosureCheck

All Implemented Interfaces:

IMatcherBasedOperation, ISearchOperation

public class BinaryTransitiveClosureCheck
extends CheckOperation
implements IMatcherBasedOperation

Checking for a transitive closure expressed as a local search pattern matcher. The matched pattern must have two parameters of the same model type.

Author:

Zoltan Ujhelyi

Constructor Summary

Constructors

Constructor and Description
BinaryTransitiveClosureCheck(PQuery calledQuery, int sourcePosition, int targetPosition) The source position will be matched in the called pattern to the first parameter; while target to the second.

Method Summary

Modifier and Type	Method and Description
LocalSearchMatcher	getAndPrepareCalledMatcher(MatchingFrame frame, ISearchContext context) Gets the called matcher based on the context and the current adornment and stores it in the corresponding field of the operation
LocalSearchMatcher	getCalledMatcher() Gets the called matcher associated with the operation
PQuery	getCalledQuery()
java.util.List<java.lang.Integer>	getVariablePositions()
void	onInitialize(MatchingFrame frame, ISearchContext context) During the execution of the corresponding plan, the onInitialize callback is evaluated before the execution of the operation may begin.
java.lang.String	toString()

Methods inherited from class org.eclipse.incquery.runtime.localsearch.operations.check.CheckOperation

execute, onBacktrack

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

BinaryTransitiveClosureCheck

public BinaryTransitiveClosureCheck(PQuery calledQuery,
                                    int sourcePosition,
                                    int targetPosition)

The source position will be matched in the called pattern to the first parameter; while target to the second.

Parameters:

calledQuery -

sourcePosition -

targetPosition -

Method Detail

getAndPrepareCalledMatcher

public LocalSearchMatcher getAndPrepareCalledMatcher(MatchingFrame frame,
                                                     ISearchContext context)

Description copied from interface: IMatcherBasedOperation

Gets the called matcher based on the context and the current adornment and stores it in the corresponding field of the operation

Specified by:

getAndPrepareCalledMatcher in interface IMatcherBasedOperation

Parameters:

frame - the current matching frame

context - the search context

Returns:

the called local search matcher

getCalledMatcher

public LocalSearchMatcher getCalledMatcher()

Description copied from interface: IMatcherBasedOperation

Gets the called matcher associated with the operation

Specified by:

getCalledMatcher in interface IMatcherBasedOperation

Returns:

the called local search matcher or null if no matcher assigned

getCalledQuery

public PQuery getCalledQuery()

onInitialize

public void onInitialize(MatchingFrame frame,
                         ISearchContext context)
                  throws LocalSearchException

Description copied from interface: ISearchOperation

During the execution of the corresponding plan, the onInitialize callback is evaluated before the execution of the operation may begin. Operations may use this method to initialize its internal data structures.

Specified by:

onInitialize in interface ISearchOperation

Overrides:

onInitialize in class CheckOperation

Throws:

LocalSearchException

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getVariablePositions

public java.util.List<java.lang.Integer> getVariablePositions()

Specified by:

getVariablePositions in interface ISearchOperation

Returns:

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