org.eclipse.ocl.examples.pivot.utilities
Class HTMLBuffer

java.lang.Object
  org.eclipse.ocl.examples.pivot.utilities.HTMLBuffer

public class HTMLBuffer
extends java.lang.Object

A StringBuilder that assists in production of valid HTML.

Field Summary

protected java.lang.StringBuilder

s

Constructor Summary

HTMLBuffer()

Method Summary

void	append(char c)
void	append(java.lang.String string)
void	appendFigure(java.lang.String src, java.lang.String alt, java.lang.String width, java.lang.String height)
void	appendLabelDef(java.lang.String value)
void	appendLabelRef(java.lang.String value)
protected void	appendTag(java.lang.String tag)
protected void	appendUntag(java.lang.String tag)
protected void	appendValue(java.lang.String name, java.lang.String value)
void	endBulletLevel(java.lang.Integer level)
void	endFontColor() End a colored font by emitting a tag.
void	endFontName(java.lang.String fontName) End a tagged font by emitting a tag.
void	endFootnote()
void	endHeadingLevel(java.lang.String level)
void	endParagraph() End a paragraph by emitting a
void	endUnderline() End underlining by emitting a tag.
void	startBulletLevel(java.lang.Integer level)
void	startFontColor(java.lang.String colorName) Start a colored font by emitting a tag.
void	startFontName(java.lang.String fontName) Start a tagged font by emitting a tag.
void	startFootnote()
void	startHeadingLevel(java.lang.String level)
void	startParagraph() Start a paragraph by emitting a
void	startUnderline() Start underlining by emitting a tag.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

s

protected final java.lang.StringBuilder s

Constructor Detail

HTMLBuffer

public HTMLBuffer()

Method Detail

append

public void append(java.lang.String string)

append

public void append(char c)

appendFigure

public void appendFigure(java.lang.String src,
                         java.lang.String alt,
                         java.lang.String width,
                         java.lang.String height)

appendLabelDef

public void appendLabelDef(java.lang.String value)

appendLabelRef

public void appendLabelRef(java.lang.String value)

appendTag

protected void appendTag(java.lang.String tag)

appendUntag

protected void appendUntag(java.lang.String tag)

appendValue

protected void appendValue(java.lang.String name,
                           java.lang.String value)

endBulletLevel

public void endBulletLevel(java.lang.Integer level)

endFontColor

public void endFontColor()

End a colored font by emitting a tag.

endFontName

public void endFontName(java.lang.String fontName)

End a tagged font by emitting a tag.

endFootnote

public void endFootnote()

endHeadingLevel

public void endHeadingLevel(java.lang.String level)

endParagraph

public void endParagraph()

End a paragraph by emitting a

tag, unless no paragraph is active.

endUnderline

public void endUnderline()

End underlining by emitting a tag.

startBulletLevel

public void startBulletLevel(java.lang.Integer level)

startFontColor

public void startFontColor(java.lang.String colorName)

Start a colored font by emitting a tag.

startFontName

public void startFontName(java.lang.String fontName)

Start a tagged font by emitting a tag.

startFootnote

public void startFootnote()

startHeadingLevel

public void startHeadingLevel(java.lang.String level)

startParagraph

public void startParagraph()

Start a paragraph by emitting a

tag, unless a paragraph is already active.

startUnderline

public void startUnderline()

Start underlining by emitting a tag.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object