Raptor.Help
Class HelpPagesHTML

java.lang.Object
  Raptor.Help.HelpPagesHTML

public class HelpPagesHTML
extends java.lang.Object

Creates a database of all the help files (HelpAccessProceduress) used in Pandora IV Help System.

Field Summary

static HelpAccessProcedures	AndEliminationFile The Help file for the And Elimination Rule.
static java.util.LinkedList<java.lang.String>	AndEliminationKW The keyword list of the 'AndEliminationFile'.
static HelpAccessProcedures	AndIntroductionFile The Help file for the And Introduction Rule.
static java.util.LinkedList<java.lang.String>	AndIntroductionKW The keyword list of the 'AndIntroductionFile'.
static HelpAccessProcedures	applyFile The Help file for the Apply Menu.
static java.util.LinkedList<java.lang.String>	applyKW The keyword list of the 'applyFile'.
static HelpAccessProcedures	ArrowEliminationFile The Help file for the Arrow Elimination Rule.
static java.util.LinkedList<java.lang.String>	ArrowEliminationKW The keyword list of the 'ArrowEliminationFile'.
static HelpAccessProcedures	ArrowIntroductionFile The Help file for the Arrow Introduction Rule.
static java.util.LinkedList<java.lang.String>	ArrowIntroductionKW The keyword list of the 'ArrowIntroductionFile'.
static HelpAccessProcedures	basicConceptsFile The Help file for the Basic Concepts.
static java.util.LinkedList<java.lang.String>	basicConceptsKW The keyword list of the 'basicConceptsFile'.
static HelpAccessProcedures	editFile The Help file for the Edit Menu.
static java.util.LinkedList<java.lang.String>	editKW The keyword list of the 'editFile'.
static HelpAccessProcedures	fileFile The Help file for the File Menu.
static java.util.LinkedList<java.lang.String>	fileKW The keyword list of the 'fileFile'.
static java.util.LinkedList<HelpAccessProcedures>	files The List of all the available HelpAccessProceduress (help files).
static HelpAccessProcedures	helpFile The Help file for the Help Menu.
static java.util.LinkedList<java.lang.String>	helpKW The keyword list of the 'helpFile'.
static java.lang.String	InputGuideBody The Input guide displayed on the Pandora Input Panel.
static HelpAccessProcedures	optionsFile The Help file for the Options Menu.
static java.util.LinkedList<java.lang.String>	optionsKW The keyword list of the 'optionsFile'.
static HelpAccessProcedures	viewFile The Help file for the View Menu.
static java.util.LinkedList<java.lang.String>	viewKW The keyword list of the 'viewFile'.

Constructor Summary

HelpPagesHTML()
Constructs an instance of the HelpPagesHTML.

Method Summary

static java.lang.String	getBody(java.lang.String pTitle) Searches within the list of all the available Help HelpPagesHTML.
static java.util.LinkedList<java.lang.String>	getKWs(java.lang.String pTitle) Searches within the list of all the available Help HelpPagesHTML.

Methods inherited from class java.lang.Object

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

Field Detail

files

public static final java.util.LinkedList<HelpAccessProcedures> files

The List of all the available HelpAccessProceduress (help files).

InputGuideBody

public static final java.lang.String InputGuideBody

The Input guide displayed on the Pandora Input Panel.
Provides the user with information on the Pandora IV syntax key.

See Also:

Constant Field Values

AndEliminationKW

public static final java.util.LinkedList<java.lang.String> AndEliminationKW

The keyword list of the 'AndEliminationFile'.

AndIntroductionKW

public static final java.util.LinkedList<java.lang.String> AndIntroductionKW

The keyword list of the 'AndIntroductionFile'.

ArrowEliminationKW

public static final java.util.LinkedList<java.lang.String> ArrowEliminationKW

The keyword list of the 'ArrowEliminationFile'.

ArrowIntroductionKW

public static final java.util.LinkedList<java.lang.String> ArrowIntroductionKW

The keyword list of the 'ArrowIntroductionFile'.

fileKW

public static final java.util.LinkedList<java.lang.String> fileKW

The keyword list of the 'fileFile'.

editKW

public static final java.util.LinkedList<java.lang.String> editKW

The keyword list of the 'editFile'.

viewKW

public static final java.util.LinkedList<java.lang.String> viewKW

The keyword list of the 'viewFile'.

applyKW

public static final java.util.LinkedList<java.lang.String> applyKW

The keyword list of the 'applyFile'.

optionsKW

public static final java.util.LinkedList<java.lang.String> optionsKW

The keyword list of the 'optionsFile'.

helpKW

public static final java.util.LinkedList<java.lang.String> helpKW

The keyword list of the 'helpFile'.

basicConceptsKW

public static final java.util.LinkedList<java.lang.String> basicConceptsKW

The keyword list of the 'basicConceptsFile'.

AndEliminationFile

public static HelpAccessProcedures AndEliminationFile

The Help file for the And Elimination Rule.

AndIntroductionFile

public static HelpAccessProcedures AndIntroductionFile

The Help file for the And Introduction Rule.

ArrowEliminationFile

public static HelpAccessProcedures ArrowEliminationFile

The Help file for the Arrow Elimination Rule.

ArrowIntroductionFile

public static HelpAccessProcedures ArrowIntroductionFile

The Help file for the Arrow Introduction Rule.

fileFile

public static HelpAccessProcedures fileFile

The Help file for the File Menu.

editFile

public static HelpAccessProcedures editFile

The Help file for the Edit Menu.

viewFile

public static HelpAccessProcedures viewFile

The Help file for the View Menu.

applyFile

public static HelpAccessProcedures applyFile

The Help file for the Apply Menu.

optionsFile

public static HelpAccessProcedures optionsFile

The Help file for the Options Menu.

helpFile

public static HelpAccessProcedures helpFile

The Help file for the Help Menu.

basicConceptsFile

public static HelpAccessProcedures basicConceptsFile

The Help file for the Basic Concepts.

Constructor Detail

HelpPagesHTML

public HelpPagesHTML()

Constructs an instance of the HelpPagesHTML.
Adds all of the HelpAccessProceduress (help files) to the list of help files.

Method Detail

getBody

public static java.lang.String getBody(java.lang.String pTitle)

Searches within the list of all the available Help HelpPagesHTML.
Returns the body corresponding to the specified title.

Parameters:

pTitle - String representing the title of the help file to search for.

getKWs

public static java.util.LinkedList<java.lang.String> getKWs(java.lang.String pTitle)

Searches within the list of all the available Help HelpPagesHTML.
Returns the keyword list corresponding to the specified title.

Parameters:

pTitle - String representing the title of the help file to search the keyword list for.