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

java.lang.Object
  extended by org.eclipse.xtext.util.formallang.PdaUtil.TraceItem<S,P>
Enclosing class:
PdaUtil

protected class PdaUtil.TraceItem<S,P>
extends java.lang.Object


Field Summary
protected  PdaUtil.TraceItem<S,P> parent
           
protected  PdaUtil.StackItem<P> stackitem
           
protected  S state
           
 
Constructor Summary
PdaUtil.TraceItem(PdaUtil.TraceItem<S,P> parent, S state, PdaUtil.StackItem<P> stackitem)
           
 
Method Summary
 java.util.List<S> asList()
           
 int size()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

parent

protected PdaUtil.TraceItem<S,P> parent

stackitem

protected PdaUtil.StackItem<P> stackitem

state

protected S state
Constructor Detail

PdaUtil.TraceItem

public PdaUtil.TraceItem(PdaUtil.TraceItem<S,P> parent,
                         S state,
                         PdaUtil.StackItem<P> stackitem)
Method Detail

asList

public java.util.List<S> asList()

size

public int size()

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object