protected static class ContextTypePDAProvider.TypeFilter extends ContextTypePDAProvider.AbstractTypeTraverser
Modifier and Type | Field and Description |
---|---|
protected org.eclipse.emf.ecore.EClass |
type |
Constructor and Description |
---|
ContextTypePDAProvider.TypeFilter(org.eclipse.emf.ecore.EClass type) |
Modifier and Type | Method and Description |
---|---|
protected ContextTypePDAProvider.FilterState |
enterType(ISerState state,
ContextTypePDAProvider.FilterState previous,
ContextTypePDAProvider.StackItem stack,
org.eclipse.emf.ecore.EClass newType) |
boolean |
isSolution(ContextTypePDAProvider.FilterState result) |
enter, getInstantiatedType
public ContextTypePDAProvider.TypeFilter(org.eclipse.emf.ecore.EClass type)
protected ContextTypePDAProvider.FilterState enterType(ISerState state, ContextTypePDAProvider.FilterState previous, ContextTypePDAProvider.StackItem stack, org.eclipse.emf.ecore.EClass newType)
enterType
in class ContextTypePDAProvider.AbstractTypeTraverser
public boolean isSolution(ContextTypePDAProvider.FilterState result)
isSolution
in interface Traverser<Pda<ISerState,RuleCall>,ISerState,ContextTypePDAProvider.FilterState>
isSolution
in class ContextTypePDAProvider.AbstractTypeTraverser