org.jscience.linguistics.kif
Class HTMLformatter

java.lang.Object
  org.jscience.linguistics.kif.HTMLformatter

public class HTMLformatter
extends java.lang.Object

A utility class that creates HTML-formatting Strings for various purposes.

Constructor Summary

HTMLformatter()

Method Summary

static java.lang.String	browserSectionFormat(java.util.ArrayList forms, java.lang.String header, java.lang.String htmlDivider, java.lang.String kbHref, KB kb, java.lang.String language) Create the HTML for a section of the Sigma term browser page.
static java.lang.String	createMenu(java.lang.String menuName, java.lang.String selectedOption, java.util.ArrayList options) Create an HTML menu, given an ArrayList of Strings.
static java.lang.String	formatProofResult(java.lang.String result, java.lang.String stmt, java.lang.String processedStmt, java.lang.String lineHtml, java.lang.String kbName, java.lang.String language) Create an HTML formatted result of a query.
static java.lang.String	proofTableFormat(java.lang.String query, ProofStep step, java.lang.String kbName, java.lang.String language) Create the HTML for a single step in a proof.
static java.lang.String	termList(java.util.ArrayList terms, java.lang.String kbHref) Show a hyperlinked list of terms.

Methods inherited from class java.lang.Object

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

Constructor Detail

HTMLformatter

public HTMLformatter()

Method Detail

proofTableFormat

public static java.lang.String proofTableFormat(java.lang.String query,
                                                ProofStep step,
                                                java.lang.String kbName,
                                                java.lang.String language)

Create the HTML for a single step in a proof.

Parameters:

query - DOCUMENT ME!

step - DOCUMENT ME!

kbName - DOCUMENT ME!

language - DOCUMENT ME!

Returns:

DOCUMENT ME!

termList

public static java.lang.String termList(java.util.ArrayList terms,
                                        java.lang.String kbHref)

Show a hyperlinked list of terms.

Parameters:

terms - DOCUMENT ME!

kbHref - DOCUMENT ME!

Returns:

DOCUMENT ME!

browserSectionFormat

public static java.lang.String browserSectionFormat(java.util.ArrayList forms,
                                                    java.lang.String header,
                                                    java.lang.String htmlDivider,
                                                    java.lang.String kbHref,
                                                    KB kb,
                                                    java.lang.String language)

Create the HTML for a section of the Sigma term browser page.

Parameters:

forms - DOCUMENT ME!

header - DOCUMENT ME!

htmlDivider - DOCUMENT ME!

kbHref - DOCUMENT ME!

kb - DOCUMENT ME!

language - DOCUMENT ME!

Returns:

DOCUMENT ME!

createMenu

public static java.lang.String createMenu(java.lang.String menuName,
                                          java.lang.String selectedOption,
                                          java.util.ArrayList options)

Create an HTML menu, given an ArrayList of Strings.

Parameters:

menuName - DOCUMENT ME!

selectedOption - DOCUMENT ME!

options - DOCUMENT ME!

Returns:

DOCUMENT ME!

formatProofResult

public static java.lang.String formatProofResult(java.lang.String result,
                                                 java.lang.String stmt,
                                                 java.lang.String processedStmt,
                                                 java.lang.String lineHtml,
                                                 java.lang.String kbName,
                                                 java.lang.String language)

Create an HTML formatted result of a query.

Parameters:

result - DOCUMENT ME!

stmt - DOCUMENT ME!

processedStmt - DOCUMENT ME!

lineHtml - DOCUMENT ME!

kbName - DOCUMENT ME!

language - DOCUMENT ME!

Returns:

DOCUMENT ME!