# Package org.eclipse.m2m.atl.emftvm.constraints

Interface Summary
Validator<T>: Validator interface for EMFTVM.

Class Summary
StackUnderflowConstraint: Validates the final stack level of code blocks, which should be 0 or 1.
StackUnderflowValidator: Validates the final stack level of code blocks, which should be 0 or 1.
ValidCodeBlockStackLevelConstraint: Validates the final stack level of code blocks, which should be 0 or 1.
ValidCodeBlockStackLevelValidator: Validates the final stack level of code blocks, which should be 0 or 1.