de.uka.ilkd.key.util.pp

Class Layouter.StringToken

java.lang.Object

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

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

Enclosing class:

Layouter

private class Layouter.StringToken
extends Layouter.StreamToken

A token corresponding to a print call.

Field Summary

Fields

Modifier and Type	Field and Description
(package private) java.lang.String	s

Constructor Summary

Constructors

Constructor and Description
StringToken(java.lang.String s)

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

Field Detail

s

java.lang.String s

Constructor Detail

StringToken

StringToken(java.lang.String s)

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