Class ContextTypePDAProvider.AbstractTypeTraverser
- java.lang.Object
-
- org.eclipse.xtext.serializer.analysis.ContextTypePDAProvider.AbstractTypeTraverser
-
- All Implemented Interfaces:
org.eclipse.xtext.util.formallang.Traverser<org.eclipse.xtext.util.formallang.Pda<ISerState,RuleCall>,ISerState,ContextTypePDAProvider.FilterState>
- Direct Known Subclasses:
ContextTypePDAProvider.TypeCollector
,ContextTypePDAProvider.TypeFilter
- Enclosing class:
- ContextTypePDAProvider
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>
-
-
Constructor Summary
Constructors Modifier Constructor Description protected
AbstractTypeTraverser()
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method 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)
-
-
-
Method Detail
-
enter
public ContextTypePDAProvider.FilterState enter(org.eclipse.xtext.util.formallang.Pda<ISerState,RuleCall> pda, ISerState state, ContextTypePDAProvider.FilterState previous)
- Specified by:
enter
in interfaceorg.eclipse.xtext.util.formallang.Traverser<org.eclipse.xtext.util.formallang.Pda<ISerState,RuleCall>,ISerState,ContextTypePDAProvider.FilterState>
-
enterType
protected abstract ContextTypePDAProvider.FilterState enterType(ISerState state, ContextTypePDAProvider.FilterState previous, ContextTypePDAProvider.StackItem stack, org.eclipse.emf.ecore.EClass newType)
-
getInstantiatedType
protected org.eclipse.emf.ecore.EClass getInstantiatedType(AbstractElement element)
-
isSolution
public boolean isSolution(ContextTypePDAProvider.FilterState result)
- Specified by:
isSolution
in interfaceorg.eclipse.xtext.util.formallang.Traverser<org.eclipse.xtext.util.formallang.Pda<ISerState,RuleCall>,ISerState,ContextTypePDAProvider.FilterState>
-
-