protected abstract static class ContextTypePDAProvider.AbstractTypeTraverser extends java.lang.Object implements org.eclipse.xtext.util.formallang.Traverser<org.eclipse.xtext.util.formallang.Pda<ISerState,RuleCall>,ISerState,ContextTypePDAProvider.FilterState>
| Modifier | Constructor and Description |
|---|---|
protected |
AbstractTypeTraverser() |
| Modifier and Type | Method and Description |
|---|---|
ContextTypePDAProvider.FilterState |
enter(org.eclipse.xtext.util.formallang.Pda<ISerState,RuleCall> pda,
ISerState state,
ContextTypePDAProvider.FilterState previous) |
protected abstract ContextTypePDAProvider.FilterState |
enterType(ISerState state,
ContextTypePDAProvider.FilterState previous,
ContextTypePDAProvider.StackItem stack,
org.eclipse.emf.ecore.EClass newType) |
protected org.eclipse.emf.ecore.EClass |
getInstantiatedType(AbstractElement element) |
boolean |
isSolution(ContextTypePDAProvider.FilterState result) |
public ContextTypePDAProvider.FilterState enter(org.eclipse.xtext.util.formallang.Pda<ISerState,RuleCall> pda, ISerState state, ContextTypePDAProvider.FilterState previous)
enter in interface org.eclipse.xtext.util.formallang.Traverser<org.eclipse.xtext.util.formallang.Pda<ISerState,RuleCall>,ISerState,ContextTypePDAProvider.FilterState>protected abstract ContextTypePDAProvider.FilterState enterType(ISerState state, ContextTypePDAProvider.FilterState previous, ContextTypePDAProvider.StackItem stack, org.eclipse.emf.ecore.EClass newType)
protected org.eclipse.emf.ecore.EClass getInstantiatedType(AbstractElement element)
public boolean isSolution(ContextTypePDAProvider.FilterState result)
isSolution in interface org.eclipse.xtext.util.formallang.Traverser<org.eclipse.xtext.util.formallang.Pda<ISerState,RuleCall>,ISerState,ContextTypePDAProvider.FilterState>