protected static class ContextTypePDAProvider.TypeCollector extends ContextTypePDAProvider.AbstractTypeTraverser
| Modifier and Type | Field and Description |
|---|---|
protected java.util.Set<org.eclipse.emf.ecore.EClass> |
types |
| Modifier | Constructor and Description |
|---|---|
protected |
TypeCollector() |
| Modifier and Type | Method and Description |
|---|---|
protected ContextTypePDAProvider.FilterState |
enterType(ISerState state,
ContextTypePDAProvider.FilterState previous,
ContextTypePDAProvider.StackItem stack,
org.eclipse.emf.ecore.EClass newType) |
java.util.Set<org.eclipse.emf.ecore.EClass> |
getTypes() |
boolean |
isSolution(ContextTypePDAProvider.FilterState result) |
enter, getInstantiatedTypeprotected ContextTypePDAProvider.FilterState enterType(ISerState state, ContextTypePDAProvider.FilterState previous, ContextTypePDAProvider.StackItem stack, org.eclipse.emf.ecore.EClass newType)
enterType in class ContextTypePDAProvider.AbstractTypeTraverserpublic java.util.Set<org.eclipse.emf.ecore.EClass> getTypes()
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>isSolution in class ContextTypePDAProvider.AbstractTypeTraverser