* The following conversions occur: *
*
* Input Character Output Character
* ----------------- -----------------
* " "
* ' '
* & &
* < <
* > >
*
* * All other characters are simply written into the output without change. * * @param input * The text to filter. * * @return The filtered text which is safe to embed in an HTML document. */ public static String filter(String input) { StringBuilder sb = new StringBuilder(); int len = input.length(); for (int i = 0; i < len; i++) { char next = input.charAt(i); switch (next) { case '\"': sb.append("""); break; case '\'': sb.append("'"); break; case '&': sb.append("&"); break; case '<': sb.append("<"); break; case '>': sb.append(">"); break; default: sb.append(next); break; } } return sb.toString(); } /** * Starts an HTML document. * * @return The created element. */ public static String startHtml() { return "\n"; } /** * Ends an HTML document. * * @return The created element. */ public static String endHtml() { return ""; } /** * Starts the header portion of an HTML document. * * @return The created element. */ public static String startHead() { return "
\n"; } /** * Defines the encoding of an HTML document. Should be output at or near * the top of the HEAD section. * * @return The created element. */ public static String getEncoding() { return ENCODING; } /** * Ends the header portion of an HTML document. * * @return The created element. */ public static String endHead() { return "\n"; } /** * Starts the body portion of an HTML document with a default background * color of '#FFFFFF'. * * @return The created element. */ public static String startBody() { return startBody("#FFFFFF"); } /** * Starts the body portion of an HTML document with the given background * color. * * @param bgcolor * The background color for the document body. * * @return The created element. */ public static String startBody(String bgcolor) { return String.format("\n", bgcolor); } /** * Ends the body portion of an HTML document. * * @return The created element. */ public static String endBody() { return "\n"; } /** * Creates a title element. * * @param txt * The contents of the title element. This text will be filtered * using {@link #filter} before being inserted. * * @return The created element. */ public static String title(String txt) { return String.format("";
}
/**
* Ends a preformatted section.
*
* @return The created element.
*/
public static String endPre()
{
return "\n";
}
/**
* Creates a preformatted element.
*
* @param txt
* The contents of the element. This text will NOT be filtered
* using {@link #filter} before being inserted.
*
* @return The created element.
*/
public static String pre(String txt)
{
return String.format("%s\n", txt); } /** * Creates a preformatted element, with its content wrapped to fit the screen. * * @param txt * The contents of the element. This text will NOT be filtered * using {@link #filter} before being inserted. * * @return The created element. */ public static String preWrap(String txt) { return String.format("
%s\n", txt); } /** * Creates a break element. * * @return The created element. */ public static String br() { return "
"; } /** * Creates a horizontal rule element. * * @return The created element. */ public static String hr() { return "
true to filter the content using {@link #filter}
* before being inserted.
*
* @return The created element.
*/
public static String namedAnchor(String name, String txt, boolean filter)
{
return String.format("%s\n",
name,
filter ? filter(txt) : txt);
}
/**
* Creates a hyperlink element.
*
* @param link
* The hyperlink (URL).
* @param txt
* The contents of the element. This text will be filtered
* using {@link #filter} before being inserted.
* @param nl
* true to add a newline at the end of the element.
*
* @return The created element.
*/
public static String href(String link, String txt, boolean nl)
{
return String.format("%s%s",
link,
filter(txt),
nl ? "\n" : "");
}
/**
* Starts a table a default width of 100%, a border of 1 and a cell
* spacing of 0.
*
* @return The created element.
*/
public static String startTable()
{
return startTable(100, 1, 0);
}
/**
* Starts a table with user provided width and border and a cell
* spacing of 0.
*
* @param width
* The width as a percent of the page.
* @param border
* The border size.
*
* @return The created element.
*/
public static String startTable(int width, int border)
{
return startTable(width, border, 0);
}
/**
* Starts a table.
*
* @param width
* The width as a percent of the page.
* @param border
* The border size.
* @param cellSpacing
* The amount of per cell padding.
*
* @return The created element.
*/
public static String startTable(int width, int border, int cellSpacing)
{
String spec = "true to cause the contents to be filtered
* using {@link #filter} before being inserted.
*
* @return The created element.
*/
public static String field(String halign,
String valign,
String txt,
boolean filter)
{
return String.format("%s%s%s",
startField(halign, valign, false),
filter ? filter(txt) : txt,
endField());
}
/**
* Starts a field element.
*
* @param halign
* The horizontal alignment to use.
* @param valign
* The vertical alignment to use.
*
* @return The created element.
*/
public static String startField(String halign, String valign)
{
return startField(halign, valign, true);
}
/**
* Starts a field element.
*
* @param halign
* The horizontal alignment to use.
* @param valign
* The vertical alignment to use.
* @param nl
* true to add a newline at the end of the element.
*
* @return The created element.
*/
public static String startField(String halign, String valign, boolean nl)
{
return String.format("pre tag will be wrapped.
*
* @return See above.
*/
public static String writeWrapStyle()
{
return "";
}
}