Class StackUnderflowValidator
java.lang.Object
org.eclipse.m2m.atl.emftvm.constraints.StackUnderflowValidator
- All Implemented Interfaces:
Validator<Instruction>
Validates the final stack level of code blocks, which should be 0 or 1.
-
Constructor Summary
Constructors -
Method Summary
-
Constructor Details
-
StackUnderflowValidator
public StackUnderflowValidator()
-
-
Method Details
-
validate
Validatesobject
.- Specified by:
validate
in interfaceValidator<Instruction>
- Parameters:
i
- the object to validate- Returns:
true
ifobject
is valid
-