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

Class ScopeCheck

java.lang.Object

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

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

All Implemented Interfaces:

ISearchOperation

public class ScopeCheck
extends CheckOperation

This operation simply checks if a model element is part of the Query Scope

Author:

Marton Bur

Constructor Summary

Constructors

Constructor and Description
ScopeCheck(int position, EMFScope scope)

Method Summary

Modifier and Type	Method and Description
java.util.List<java.lang.Integer>	getVariablePositions()
java.lang.String	toString()

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

execute, onBacktrack, onInitialize

Methods inherited from class java.lang.Object

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

Constructor Detail

ScopeCheck

public ScopeCheck(int position,
                  EMFScope scope)

Method Detail

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