de.uka.ilkd.key.util.pp

Class Layouter.BreakToken

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

Enclosing class:

Layouter

private class Layouter.BreakToken
extends Layouter.SizeCalculatingToken

A token corresponding to a brk call.

Field Summary

Fields

Modifier and Type	Field and Description
protected int	offset
protected int	width

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

begin, end

Constructor Summary

Constructors

Constructor and Description
BreakToken(int width, int offset)

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

width

protected int width

offset

protected int offset

Constructor Detail

BreakToken

BreakToken(int width,
           int offset)

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