de.uka.ilkd.key.util.pp

Class Layouter.SizeCalculatingToken

java.lang.Object

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

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

Direct Known Subclasses:

Layouter.BreakToken, Layouter.OpenBlockToken

Enclosing class:

Layouter

private abstract class Layouter.SizeCalculatingToken
extends Layouter.StreamToken

Superclass of tokens which calculate their followingSize.

Field Summary

Fields

Modifier and Type	Field and Description
protected int	begin
protected int	end negative means that end has not been set yet.

Constructor Summary

Constructors

Constructor and Description
SizeCalculatingToken()

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) 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.

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

print, size

Methods inherited from class java.lang.Object

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

Field Detail

begin

protected int begin

end

protected int end

negative means that end has not been set yet.

Constructor Detail

SizeCalculatingToken

SizeCalculatingToken()

Method Detail

followingSize

int followingSize()

Description copied from class: Layouter.StreamToken

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.

Overrides:

followingSize in class Layouter.StreamToken

followingSizeKnown

boolean followingSizeKnown()

Description copied from class: Layouter.StreamToken

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.

Overrides:

followingSizeKnown in class Layouter.StreamToken

setEnd

void setEnd()

Description copied from class: Layouter.StreamToken

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

Overrides:

setEnd in class Layouter.StreamToken

setInfiniteSize

void setInfiniteSize()

Description copied from class: Layouter.StreamToken

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

Overrides:

setInfiniteSize in class Layouter.StreamToken