Class StackUnderflowValidator

java.lang.Object
org.eclipse.m2m.atl.emftvm.constraints.StackUnderflowValidator
All Implemented Interfaces:
Validator<Instruction>

public class StackUnderflowValidator extends Object implements Validator<Instruction>
Validates the final stack level of code blocks, which should be 0 or 1.
  • Constructor Details

    • StackUnderflowValidator

      public StackUnderflowValidator()
  • Method Details

    • validate

      public boolean validate(Instruction i)
      Validates object.
      Specified by:
      validate in interface Validator<Instruction>
      Parameters:
      i - the object to validate
      Returns:
      true if object is valid