Package edu.wisc.game.formatter
Class HTMLFmter
- java.lang.Object
-
- edu.wisc.game.formatter.Fmter
-
- edu.wisc.game.formatter.HTMLFmter
-
public class HTMLFmter extends Fmter
Auxiliary class for formatting output as HTML.
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description String
a(String url, String text, String extraClauses)
String
br()
String
colored(String col, String text)
Builds an HTML FORM element for feedback about a charge, if this formatter is configured to generate them.String
hidden(String name, String value)
String
hr()
String
hrThin()
String
html(String title, String body)
String
input(String name)
String
input(String name, String value)
String
input(String name, String value, int size)
void
resetFormCnt()
This must be called before the beginning of the document generationString
space(int n)
String
style()
The STYLE elementString
wrap(String wrap, String text)
String
wrap(String wrap, String extra, String text)
Builds an HTML element with an opening tag (with optional attributes) and a matching closing tag.
-
-
-
Field Detail
-
htmlFmter
public static HTMLFmter htmlFmter
-
-
Constructor Detail
-
HTMLFmter
public HTMLFmter(File cssFile)
- Parameters:
cssFile
- The location of the CSS file which will be inserted into the head of the HTML report (both the the batch mode and in the GUI tool)
-
-
Method Detail
-
wrap
public String wrap(String wrap, String extra, String text)
Builds an HTML element with an opening tag (with optional attributes) and a matching closing tag.
-
resetFormCnt
public void resetFormCnt()
This must be called before the beginning of the document generation
-
colored
public String colored(String col, String text)
Builds an HTML FORM element for feedback about a charge, if this formatter is configured to generate them.
-
-