Pandora.Help
Class HelpPagesHTML

java.lang.Object
  Pandora.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	BottomEliminationFile The Help file for the Bottom Elimination Rule.
static java.util.LinkedList<java.lang.String>	BottomEliminationKW The keyword list of the 'BottomEliminationFile'.
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	EMFile The Help file for the EM Rule.
static java.util.LinkedList<java.lang.String>	EMKW The keyword list of the 'EMFile'.
static HelpAccessProcedures	EqualitySubstitutionFile The Help file for the Equality Substitution Rule.
static java.util.LinkedList<java.lang.String>	EqualitySubstitutionKW The keyword list of the 'EqualitySubstitutionFile'.
static HelpAccessProcedures	ExistsEliminationFile The Help file for the Exists Elimination Rule.
static java.util.LinkedList<java.lang.String>	ExistsEliminationKW The keyword list of the 'ExistsEliminationFile'.
static HelpAccessProcedures	ExistsIntroductionFile The Help file for the Exists Introduction Rule.
static java.util.LinkedList<java.lang.String>	ExistsIntroductionKW The keyword list of the 'ExistsIntroductionFile'.
static HelpAccessProcedures	FalsityEliminationFile The Help file for the Falsity Elimination Rule.
static java.util.LinkedList<java.lang.String>	FalsityEliminationKW The keyword list of the 'FalsityEliminationFile'.
static HelpAccessProcedures	FalsityIntroductionFile The Help file for the Falsity introduction Rule.
static java.util.LinkedList<java.lang.String>	FalsityIntroductionKW The keyword list of the 'FalsityIntroductionFile'.
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	ForallArrowEliminationFile The Help file for the Forall Arrow Elimination Rule.
static java.util.LinkedList<java.lang.String>	ForallArrowEliminationKW The keyword list of the 'ForallArrowEliminationFile'.
static HelpAccessProcedures	ForallArrowIntroductionFile The Help file for the Forall Arrow Introduction Rule.
static java.util.LinkedList<java.lang.String>	ForallArrowIntroductionKW The keyword list of the 'ForallArrowIntroductionFile'.
static HelpAccessProcedures	ForallEliminationFile The Help file for the Forall Elimination Rule.
static java.util.LinkedList<java.lang.String>	ForallEliminationKW The keyword list of the 'ForallEliminationFile'.
static HelpAccessProcedures	ForallIntroductionFile The Help file for the Forall Introduction Rule.
static java.util.LinkedList<java.lang.String>	ForallIntroductionKW The keyword list of the 'ForallIntroductionFile'.
static HelpAccessProcedures	ForallTickFile The Help file for the Forall Tick Rule.
static java.util.LinkedList<java.lang.String>	ForallTickKW The keyword list of the ForallTickFile'.
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 HelpAccessProcedures	IffEliminationDerivedFile The Help file for the Iff Elimination Derived Rule.
static java.util.LinkedList<java.lang.String>	IffEliminationDerivedKW The keyword list of the 'IffEliminationDerivedFile'.
static HelpAccessProcedures	IffEliminationFile The Help file for the Iff Elimination Rule.
static java.util.LinkedList<java.lang.String>	IffEliminationKW The keyword list of the 'IffEliminationFile'.
static HelpAccessProcedures	IffIntroductionDerivedFile The Help file for the Iff Introduction Derived Rule.
static java.util.LinkedList<java.lang.String>	IffIntroductionDerivedKW The keyword list of the 'IffIntroductionDerivedFile'.
static HelpAccessProcedures	IffIntroductionFile The Help file for the Iff Introduction Rule.
static java.util.LinkedList<java.lang.String>	IffIntroductionKW The keyword list of the 'IffIntroductionFile'.
static java.lang.String	InputGuideBody
static HelpAccessProcedures	LemmaFile The Help file for the Lemma Rule.
static java.util.LinkedList<java.lang.String>	LemmaKW The keyword list of the 'LemmaFile'.
static HelpAccessProcedures	NotEliminationFile The Help file for the Not Elimination Rule.
static java.util.LinkedList<java.lang.String>	NotEliminationKW The keyword list of the 'NotEliminationFile'.
static HelpAccessProcedures	NotIntroductionFile The Help file for the Not Introduction Rule.
static java.util.LinkedList<java.lang.String>	NotIntroductionKW The keyword list of the 'NotIntroductionFile'.
static HelpAccessProcedures	NotNotFile The Help file for the NotNot Rule.
static java.util.LinkedList<java.lang.String>	NotNotKW The keyword list of the 'NotNotFile'.
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	OrEliminationFile The Help file for the Or Elimination Rule.
static java.util.LinkedList<java.lang.String>	OrEliminationKW The keyword list of the 'OrEliminationFile'.
static HelpAccessProcedures	OrIntroductionFile The Help file for the Or Introduction Rule.
static java.util.LinkedList<java.lang.String>	OrIntroductionKW The keyword list of the 'OrIntroductionFile'.
static HelpAccessProcedures	PCFile The Help file for the PC Rule.
static java.util.LinkedList<java.lang.String>	PCKW The keyword list of the 'PCFile'.
static HelpAccessProcedures	ReflexivityFile The Help file for the Reflexivity Rule.
static java.util.LinkedList<java.lang.String>	ReflexivityKW The keyword list of the 'ReflexivityFile'.
static HelpAccessProcedures	TickFile The Help file for the Tick Rule.
static java.util.LinkedList<java.lang.String>	TickKW The keyword list of the 'TickFile'.
static HelpAccessProcedures	TMFile The Help file for the TM Rule.
static java.util.LinkedList<java.lang.String>	TMKW The keyword list of the 'TMFile'.
static HelpAccessProcedures	TopIntroductionFile The Help file for the Top Introduction Rule.
static java.util.LinkedList<java.lang.String>	TopIntroductionKW The keyword list of the 'TopIntroductionFile'.
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 title) Searches within the list of all the available Help HelpPagesHTML.
static java.util.LinkedList<java.lang.String>	getKWs(java.lang.String title) 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

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'.

BottomEliminationKW

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

The keyword list of the 'BottomEliminationFile'.

EqualitySubstitutionKW

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

The keyword list of the 'EqualitySubstitutionFile'.

ExistsEliminationKW

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

The keyword list of the 'ExistsEliminationFile'.

ExistsIntroductionKW

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

The keyword list of the 'ExistsIntroductionFile'.

FalsityEliminationKW

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

The keyword list of the 'FalsityEliminationFile'.

FalsityIntroductionKW

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

The keyword list of the 'FalsityIntroductionFile'.

ForallArrowEliminationKW

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

The keyword list of the 'ForallArrowEliminationFile'.

ForallArrowIntroductionKW

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

The keyword list of the 'ForallArrowIntroductionFile'.

ForallEliminationKW

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

The keyword list of the 'ForallEliminationFile'.

ForallIntroductionKW

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

The keyword list of the 'ForallIntroductionFile'.

ForallTickKW

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

The keyword list of the ForallTickFile'.

IffEliminationKW

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

The keyword list of the 'IffEliminationFile'.

IffIntroductionKW

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

The keyword list of the 'IffIntroductionFile'.

IffEliminationDerivedKW

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

The keyword list of the 'IffEliminationDerivedFile'.

IffIntroductionDerivedKW

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

The keyword list of the 'IffIntroductionDerivedFile'.

EMKW

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

The keyword list of the 'EMFile'.

LemmaKW

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

The keyword list of the 'LemmaFile'.

NotEliminationKW

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

The keyword list of the 'NotEliminationFile'.

NotIntroductionKW

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

The keyword list of the 'NotIntroductionFile'.

NotNotKW

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

The keyword list of the 'NotNotFile'.

OrEliminationKW

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

The keyword list of the 'OrEliminationFile'.

OrIntroductionKW

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

The keyword list of the 'OrIntroductionFile'.

PCKW

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

The keyword list of the 'PCFile'.

ReflexivityKW

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

The keyword list of the 'ReflexivityFile'.

TickKW

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

The keyword list of the 'TickFile'.

TopIntroductionKW

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

The keyword list of the 'TopIntroductionFile'.

TMKW

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

The keyword list of the 'TMFile'.

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.

BottomEliminationFile

public static HelpAccessProcedures BottomEliminationFile

The Help file for the Bottom Elimination Rule.

EqualitySubstitutionFile

public static HelpAccessProcedures EqualitySubstitutionFile

The Help file for the Equality Substitution Rule.

ExistsEliminationFile

public static HelpAccessProcedures ExistsEliminationFile

The Help file for the Exists Elimination Rule.

ExistsIntroductionFile

public static HelpAccessProcedures ExistsIntroductionFile

The Help file for the Exists Introduction Rule.

FalsityEliminationFile

public static HelpAccessProcedures FalsityEliminationFile

The Help file for the Falsity Elimination Rule.

FalsityIntroductionFile

public static HelpAccessProcedures FalsityIntroductionFile

The Help file for the Falsity introduction Rule.

ForallArrowEliminationFile

public static HelpAccessProcedures ForallArrowEliminationFile

The Help file for the Forall Arrow Elimination Rule.

ForallArrowIntroductionFile

public static HelpAccessProcedures ForallArrowIntroductionFile

The Help file for the Forall Arrow Introduction Rule.

ForallEliminationFile

public static HelpAccessProcedures ForallEliminationFile

The Help file for the Forall Elimination Rule.

ForallIntroductionFile

public static HelpAccessProcedures ForallIntroductionFile

The Help file for the Forall Introduction Rule.

ForallTickFile

public static HelpAccessProcedures ForallTickFile

The Help file for the Forall Tick Rule.

IffEliminationFile

public static HelpAccessProcedures IffEliminationFile

The Help file for the Iff Elimination Rule.

IffIntroductionFile

public static HelpAccessProcedures IffIntroductionFile

The Help file for the Iff Introduction Rule.

IffEliminationDerivedFile

public static HelpAccessProcedures IffEliminationDerivedFile

The Help file for the Iff Elimination Derived Rule.

IffIntroductionDerivedFile

public static HelpAccessProcedures IffIntroductionDerivedFile

The Help file for the Iff Introduction Derived Rule.

EMFile

public static HelpAccessProcedures EMFile

The Help file for the EM Rule.

LemmaFile

public static HelpAccessProcedures LemmaFile

The Help file for the Lemma Rule.

NotEliminationFile

public static HelpAccessProcedures NotEliminationFile

The Help file for the Not Elimination Rule.

NotIntroductionFile

public static HelpAccessProcedures NotIntroductionFile

The Help file for the Not Introduction Rule.

NotNotFile

public static HelpAccessProcedures NotNotFile

The Help file for the NotNot Rule.

OrEliminationFile

public static HelpAccessProcedures OrEliminationFile

The Help file for the Or Elimination Rule.

OrIntroductionFile

public static HelpAccessProcedures OrIntroductionFile

The Help file for the Or Introduction Rule.

PCFile

public static HelpAccessProcedures PCFile

The Help file for the PC Rule.

ReflexivityFile

public static HelpAccessProcedures ReflexivityFile

The Help file for the Reflexivity Rule.

TickFile

public static HelpAccessProcedures TickFile

The Help file for the Tick Rule.

TopIntroductionFile

public static HelpAccessProcedures TopIntroductionFile

The Help file for the Top Introduction Rule.

TMFile

public static HelpAccessProcedures TMFile

The Help file for the TM 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 title)

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

Parameters:

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

getKWs

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

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

Parameters:

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