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

Class StructuralFeatureCheck

java.lang.Object

org.eclipse.viatra.query.runtime.localsearch.operations.check.CheckOperation

org.eclipse.viatra.query.runtime.localsearch.operations.check.StructuralFeatureCheck

All Implemented Interfaces:

ISearchOperation

public class StructuralFeatureCheck
extends CheckOperation

A simple operation that checks whether a EStructuralFeature connects two selected variables.

Constructor Summary

Constructors

Constructor and Description
StructuralFeatureCheck(int sourcePosition, int targetPosition, org.eclipse.emf.ecore.EStructuralFeature feature)

Method Summary

Modifier and Type	Method and Description
protected boolean	check(MatchingFrame frame) Executes the checking operation
java.util.List<java.lang.Integer>	getVariablePositions()
java.lang.String	toString()

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

execute, onBacktrack, onInitialize

Methods inherited from class java.lang.Object

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

Constructor Detail

StructuralFeatureCheck

public StructuralFeatureCheck(int sourcePosition,
                              int targetPosition,
                              org.eclipse.emf.ecore.EStructuralFeature feature)

Method Detail

check

protected boolean check(MatchingFrame frame)
                 throws LocalSearchException

Description copied from class: CheckOperation

Executes the checking operation

Specified by:

check in class CheckOperation

Returns:

Throws:

LocalSearchException

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getVariablePositions

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

Returns:

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