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
-
-
Field Summary
Fields Modifier and Type Field Description protected PdaUtil.TraceItem<S,P>
parent
protected PdaUtil.StackItem<P>
stackitem
protected S
state
-
Constructor Summary
Constructors Constructor Description TraceItem(PdaUtil.TraceItem<S,P> parent, S state, PdaUtil.StackItem<P> stackitem)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.util.List<S>
asList()
int
size()
java.lang.String
toString()
-
-
-
Field Detail
-
parent
protected PdaUtil.TraceItem<S,P> parent
-
stackitem
protected PdaUtil.StackItem<P> stackitem
-
state
protected S state
-
-
Constructor Detail
-
TraceItem
public 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 classjava.lang.Object
-
-