de.uka.ilkd.key.util.pp

Class Layouter.CloseBlockToken

java.lang.Object

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

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

Enclosing class:

Layouter

private class Layouter.CloseBlockToken
extends Layouter.StreamToken

A token corresponding to an end call.

Constructor Summary

Constructors

Constructor and Description
CloseBlockToken()

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

Constructor Detail

CloseBlockToken

CloseBlockToken()

Method Detail

print

void print()
    throws java.io.IOException

Description copied from class: Layouter.StreamToken

Send this token to the Printer Layouter.out.

Specified by:

print in class Layouter.StreamToken

Throws:

java.io.IOException

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