de.uka.ilkd.key.pp

Class LogicPrinter.StackEntry

java.lang.Object

de.uka.ilkd.key.pp.LogicPrinter.StackEntry

Enclosing class:

LogicPrinter

private static class LogicPrinter.StackEntry
extends java.lang.Object

Utility class for stack entries containing the position table and the position of the start of the subterm in the result.

Field Summary

Fields

Modifier and Type	Field and Description
(package private) int	p
(package private) PositionTable	posTbl

Constructor Summary

Constructors

Constructor and Description
StackEntry(PositionTable posTbl, int p)

Method Summary

Modifier and Type	Method and Description
(package private) int	pos()
(package private) PositionTable	posTbl()

Methods inherited from class java.lang.Object

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

Field Detail

posTbl

PositionTable posTbl

p

int p

Constructor Detail

StackEntry

StackEntry(PositionTable posTbl,
           int p)

Method Detail

posTbl

PositionTable posTbl()

pos

int pos()