org.eclipse.xtext.util.formallang

Class PdaUtil.CyclicStackTraverser<S,P>

java.lang.Object

org.eclipse.xtext.util.formallang.PdaUtil.CyclicStackTraverser<S,P>

All Implemented Interfaces:

Traverser<Pda<S,P>,S,PdaUtil.CyclicStackItem<P>>

Enclosing class:

PdaUtil

public static class PdaUtil.CyclicStackTraverser<S,P>
extends Object
implements Traverser<Pda<S,P>,S,PdaUtil.CyclicStackItem<P>>

Constructor Summary

Constructors

Constructor and Description
PdaUtil.CyclicStackTraverser()

Method Summary

Methods

Modifier and Type	Method and Description
PdaUtil.CyclicStackItem<P>	enter(Pda<S,P> pda, S state, PdaUtil.CyclicStackItem<P> previous)
boolean	isSolution(PdaUtil.CyclicStackItem<P> result)

Methods inherited from class java.lang.Object

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

Constructor Detail

PdaUtil.CyclicStackTraverser

public PdaUtil.CyclicStackTraverser()

Method Detail

enter

public PdaUtil.CyclicStackItem<P> enter(Pda<S,P> pda,
                               S state,
                               PdaUtil.CyclicStackItem<P> previous)

Specified by:

enter in interface Traverser<Pda<S,P>,S,PdaUtil.CyclicStackItem<P>>

isSolution

public boolean isSolution(PdaUtil.CyclicStackItem<P> result)

Specified by:

isSolution in interface Traverser<Pda<S,P>,S,PdaUtil.CyclicStackItem<P>>