org.eclipse.viatra.query.runtime.localsearch.operations.extend

Class ExtendPositivePatternCall

java.lang.Object

org.eclipse.viatra.query.runtime.localsearch.operations.extend.ExtendPositivePatternCall

All Implemented Interfaces:

IPatternMatcherOperation, ISearchOperation

public class ExtendPositivePatternCall
extends java.lang.Object
implements ISearchOperation, IPatternMatcherOperation

Since:

1.4

Constructor Summary

Constructors

Constructor and Description
ExtendPositivePatternCall(CallInformation information)

Method Summary

Modifier and Type	Method and Description
boolean	execute(MatchingFrame frame, ISearchContext context)
java.util.List<java.lang.Integer>	getVariablePositions()
void	onBacktrack(MatchingFrame frame, ISearchContext context) After the execution of the operation failed and ISearchOperation.execute(MatchingFrame, ISearchContext) returns false, the onBacktrack callback is evaluated.
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 java.lang.Object

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

Constructor Detail

ExtendPositivePatternCall

public ExtendPositivePatternCall(CallInformation information)

Since:

1.7

Method Detail

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

Throws:

LocalSearchException

execute

public boolean execute(MatchingFrame frame,
                       ISearchContext context)
                throws LocalSearchException

Specified by:

execute in interface ISearchOperation

Returns:

true if successful, or false if backtracking needed

Throws:

LocalSearchException

onBacktrack

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

Description copied from interface: ISearchOperation

After the execution of the operation failed and ISearchOperation.execute(MatchingFrame, ISearchContext) returns false, the onBacktrack callback is evaluated. Operations may use this method to clean up any temporary structures, and make the operation ready for a new execution.

Specified by:

onBacktrack in interface ISearchOperation

Throws:

LocalSearchException

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

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object