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

Field Summary

Fields

Modifier and Type	Field and Description
protected PdaUtil.TraceItem<S,P>	parent
protected PdaUtil.StackItem<P>	stackitem
protected S	state

Constructor Summary

Constructors

Constructor and Description
PdaUtil.TraceItem(PdaUtil.TraceItem<S,P> parent, S state, PdaUtil.StackItem<P> stackitem)

Method Summary

Methods

Modifier and Type	Method and Description
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