org.eclipse.xtext.serializer.analysis

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 and Description
protected	AbstractTypeTraverser()

Method Summary

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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AbstractTypeTraverser

protected AbstractTypeTraverser()

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 interface org.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 interface org.eclipse.xtext.util.formallang.Traverser<org.eclipse.xtext.util.formallang.Pda<ISerState,RuleCall>,ISerState,ContextTypePDAProvider.FilterState>