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

Class InstanceOfJavaClassCheck

java.lang.Object

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

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

All Implemented Interfaces:

ISearchOperation

public class InstanceOfJavaClassCheck
extends CheckOperation

Since:

1.4

Constructor Summary

Constructors

Constructor and Description
InstanceOfJavaClassCheck(int position, java.lang.Class<?> clazz)

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

InstanceOfJavaClassCheck

public InstanceOfJavaClassCheck(int position,
                                java.lang.Class<?> clazz)

Method Detail

check

protected boolean check(MatchingFrame frame)

Description copied from class: CheckOperation

Executes the checking operation

Specified by:

check in class CheckOperation

Returns:

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