public class InstanceOfDataTypeCheck extends CheckOperation
Constructor and Description |
---|
InstanceOfDataTypeCheck(int position,
org.eclipse.emf.ecore.EDataType dataType) |
Modifier and Type | Method and Description |
---|---|
java.util.List<java.lang.Integer> |
getVariablePositions() |
java.lang.String |
toString() |
execute, onBacktrack, onInitialize