Class StackUnderflowConstraint
- java.lang.Object
-
- org.eclipse.emf.validation.AbstractModelConstraint
-
- org.eclipse.m2m.atl.emftvm.constraints.StackUnderflowConstraint
-
public class StackUnderflowConstraint extends org.eclipse.emf.validation.AbstractModelConstraint
Validates the final stack level of code blocks, which should be 0 or 1.
-
-
Field Summary
Fields Modifier and Type Field Description protected Validator<Instruction>
validator
-
Constructor Summary
Constructors Constructor Description StackUnderflowConstraint()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description org.eclipse.core.runtime.IStatus
validate(org.eclipse.emf.validation.IValidationContext ctx)
-
-
-
Field Detail
-
validator
protected final Validator<Instruction> validator
-
-