public class InstanceOfDataTypeCheck extends CheckOperation
Constructor and Description |
---|
InstanceOfDataTypeCheck(int position,
org.eclipse.emf.ecore.EDataType dataType) |
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() |
execute, onBacktrack, onInitialize
public InstanceOfDataTypeCheck(int position, org.eclipse.emf.ecore.EDataType dataType)
protected boolean check(MatchingFrame frame)
CheckOperation
check
in class CheckOperation
public java.lang.String toString()
toString
in class java.lang.Object
public java.util.List<java.lang.Integer> getVariablePositions()