de.uka.ilkd.key.util.pp

Class Layouter.OpenBlockToken

java.lang.Object

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

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

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

Enclosing class:

Layouter

private class Layouter.OpenBlockToken
extends Layouter.SizeCalculatingToken

A token corresponding to a begin call.

Field Summary

Fields

Modifier and Type	Field and Description
protected boolean	consistent
protected int	indent

Fields inherited from class de.uka.ilkd.key.util.pp.Layouter.SizeCalculatingToken

begin, end

Constructor Summary

Constructors

Constructor and Description
OpenBlockToken(boolean consistent, int indent)

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

followingSize, followingSizeKnown, setEnd, setInfiniteSize

Methods inherited from class java.lang.Object

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

Field Detail

consistent

protected boolean consistent

indent

protected int indent

Constructor Detail

OpenBlockToken

OpenBlockToken(boolean consistent,
               int indent)

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