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 Summary

Constructors

Constructor

Description

StackUnderflowValidator()
Method Summary

Modifier and Type

Method

Description

boolean

validate(Instruction i)

Validates object.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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