org.jscience.linguistics.kif
Class HTMLformatter

java.lang.Object
  extended by 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!