protected static class ContextTypePDAProvider.TypeFilter extends Object implements Traverser<Pda<ISerState,RuleCall>,ISerState,ContextTypePDAProvider.FilterState>
| 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 |
|---|---|
ContextTypePDAProvider.FilterState |
enter(Pda<ISerState,RuleCall> pda,
ISerState state,
ContextTypePDAProvider.FilterState previous) |
boolean |
isSolution(ContextTypePDAProvider.FilterState result) |
public ContextTypePDAProvider.TypeFilter(org.eclipse.emf.ecore.EClass type)
public ContextTypePDAProvider.FilterState enter(Pda<ISerState,RuleCall> pda, ISerState state, ContextTypePDAProvider.FilterState previous)
public boolean isSolution(ContextTypePDAProvider.FilterState result)
isSolution in interface Traverser<Pda<ISerState,RuleCall>,ISerState,ContextTypePDAProvider.FilterState>Copyright © 2015. All Rights Reserved.