de.uka.ilkd.key.util.pp

Class Layouter.MarkToken

java.lang.Object

de.uka.ilkd.key.util.pp.Layouter.StreamToken

de.uka.ilkd.key.util.pp.Layouter.MarkToken

Enclosing class:

Layouter

private class Layouter.MarkToken
extends Layouter.StreamToken

A token corresponding to a mark call.

Field Summary

Fields

Modifier and Type	Field and Description
protected Object	o

Constructor Summary

Constructors

Constructor and Description
MarkToken(Object o)

Method Summary

Modifier and Type	Method and Description
(package private) void	print() Send this token to the Printer Layouter.out.
(package private) int	size() Return the size of this token if the block is not broken.

Methods inherited from class de.uka.ilkd.key.util.pp.Layouter.StreamToken

followingSize, followingSizeKnown, setEnd, setInfiniteSize

Methods inherited from class java.lang.Object

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

Field Detail

o

protected Object o

Constructor Detail

MarkToken

MarkToken(Object o)

Method Detail

size

int size()

Description copied from class: Layouter.StreamToken

Return the size of this token if the block is not broken.

Specified by:

size in class Layouter.StreamToken

print

void print()

Description copied from class: Layouter.StreamToken

Send this token to the Printer Layouter.out.

Specified by:

print in class Layouter.StreamToken