org.eclipse.xtext.util.formallang
Class PdaUtil.TraceItem<S,P>
java.lang.Object
org.eclipse.xtext.util.formallang.PdaUtil.TraceItem<S,P>
- Enclosing class:
- PdaUtil
protected class PdaUtil.TraceItem<S,P>
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
parent
protected PdaUtil.TraceItem<S,P> parent
stackitem
protected PdaUtil.StackItem<P> stackitem
state
protected S state
PdaUtil.TraceItem
public PdaUtil.TraceItem(PdaUtil.TraceItem<S,P> parent,
S state,
PdaUtil.StackItem<P> stackitem)
asList
public java.util.List<S> asList()
size
public int size()
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object