Class StackUnderflowValidator
- java.lang.Object
-
- org.eclipse.m2m.atl.emftvm.constraints.StackUnderflowValidator
-
- All Implemented Interfaces:
Validator<Instruction>
public class StackUnderflowValidator extends java.lang.Object implements Validator<Instruction>
Validates the final stack level of code blocks, which should be 0 or 1.
-
-
Constructor Summary
Constructors Constructor Description StackUnderflowValidator()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description booleanvalidate(Instruction i)Validatesobject.
-
-
-
Method Detail
-
validate
public boolean validate(Instruction i)
Validatesobject.- Specified by:
validatein interfaceValidator<Instruction>- Parameters:
i- the object to validate- Returns:
trueifobjectis valid
-
-