Package org.eclipse.m2m.atl.emftvm.constraints
-
Interface Summary Interface Description Validator<T> Validator interface for EMFTVM. -
Class Summary Class Description 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.