de.uka.ilkd.key.util.pp

Class Layouter.StreamToken

java.lang.Object

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

Direct Known Subclasses:

Layouter.CloseBlockToken, Layouter.IndentationToken, Layouter.MarkToken, Layouter.SizeCalculatingToken, Layouter.StringToken

Enclosing class:

Layouter

private abstract class Layouter.StreamToken
extends java.lang.Object

A stream token.

Constructor Summary

Constructors

Modifier	Constructor and Description
private	StreamToken()

Method Summary

Modifier and Type	Method and Description
(package private) int	followingSize() Return the `section' size.
(package private) boolean	followingSizeKnown() Returns whether the followingSize is already known.
(package private) abstract void	print() Send this token to the Printer Layouter.out.
(package private) void	setEnd() Indicate that the corresponding next BreakToken or CloseBlockToken has been encountered.
(package private) void	setInfiniteSize() Indicate that the followingSize is guaranteed to be larger than the line width, and that it can thus be set to some large value.
(package private) abstract int	size() Return the size of this token if the block is not broken.

Methods inherited from class java.lang.Object

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

Constructor Detail

StreamToken

private StreamToken()

Method Detail

print

abstract void print()
             throws java.io.IOException

Send this token to the Printer Layouter.out.

Throws:

java.io.IOException

size

abstract int size()

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

followingSize

int followingSize()

Return the `section' size. For an OpenBlockToken, this is the size of the whole block, if it is not broken. For a BreakToken, it is the size of the material up to the next corresponding BreakToken or CloseBlockToken. Otherwise it is the same as size(). This might only be known after several more tokens have been read. If the value is guaranteed to be larger than what fits on a line, some large value might be returned instead of the precise size.

followingSizeKnown

boolean followingSizeKnown()

Returns whether the followingSize is already known. That is the case if either a corresponding next BreakToken or CloseBlockToken has been encountered, or if the material is known not to fit on a line.

setEnd

void setEnd()

Indicate that the corresponding next BreakToken or CloseBlockToken has been encountered. After this, followingSizeKnown() will return the correct value.

setInfiniteSize

void setInfiniteSize()

Indicate that the followingSize is guaranteed to be larger than the line width, and that it can thus be set to some large value.