de.dante.extex.typesetter.type.node
Interface Extension

public interface Extension

This interface describes the capabilities for an extension object to be inserted into an extension node.

Version:

$Revision: 1.2 $

Author:

Gerd Neugebauer

getWidth

public Dimen getWidth()

Getter for the width of the node.

Returns:

the width

getHeight

public Dimen getHeight()

Getter for the height of the node.

Returns:

the height

getDepth

public Dimen getDepth()

Getter for the depth of the node.

Returns:

the depth

setWidth

public void setWidth(FixedDimen width)

Setter for the width of the node.

Parameters:

width - the new width

setHeight

public void setHeight(FixedDimen height)

Setter for the height of the node.

Parameters:

height - the new height

setDepth

public void setDepth(FixedDimen depth)

Setter for the depth of the node.

Parameters:

depth - the nde depth

toText

public void toText(java.lang.StringBuffer sb,
                   java.lang.String prefix)

This method puts the printable representation into the string buffer. This is meant to produce a short form only as it is used in error messages to the user.

Parameters:

sb - the output string buffer

prefix - the prefix string inserted at the beginning of each line

toString

public void toString(java.lang.StringBuffer sb,
                     java.lang.String prefix)

This method puts the printable representation into the string buffer. This is meant to produce a exhaustive form as it is used in tracing output to the log file.

Parameters:

sb - the output string buffer

prefix - the prefix string inserted at the beginning of each line