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 boolean
validate(Instruction i)
Validatesobject
.
-
-
-
Method Detail
-
validate
public boolean validate(Instruction i)
Validatesobject
.- Specified by:
validate
in interfaceValidator<Instruction>
- Parameters:
i
- the object to validate- Returns:
true
ifobject
is valid
-
-