Interface | Description |
---|---|
TopologicalSorter.DirectedGrapher<T> |
Class | Description |
---|---|
BatchCommand |
This class contain batch command name and documentation of it and it's
options.
|
BatchDocumentationGenerator |
this class is used to generate documentation about batch commands.
|
BatchFramework |
BatchFramework is a quick hack to run mmj2 without the JUnit training wheels.
|
BatchMMJ2 |
BatchMMJ2 is the main batch mmj2 program to process a Metamath (.mm) file.
|
Boss |
Boss is the superclass of GrammarBoss, LogicalSystemBoss, etc, which are used
by BatchFramework to "exercise" mmj2 in batch mode.
|
CommandLineArguments |
CommandLineArguments loads the arguments on the java command line into the
RunParmFile and Paths objects. |
DelimitedTextParser |
Class
DelimitedTextParser parses a line of delimited text input as a
String. |
Dump |
Dump started out as just testing code that could be "throwaway".
|
GMFFBoss | |
GrammarBoss |
Responsible for building and using Grammar.
|
LogicalSystemBoss |
Responsible for building, loading, maintaining and fetching LogicalSystem,
and for executing RunParms involving it.
|
MacroBoss |
Manages access to the WorkVarManager resource and processes Work Var
RunParms.
|
MergeSortedArrayLists<T> |
Class
MergeSortedArrayLists merges elements of a sorted source into a
sorted destination ArrayList. |
MMJ2FailPopupWindow |
MMJ2FailPopupWindow displays start-up and abnormal termination
errors. |
OutputBoss |
Responsible for managing and using Messages, Dump and writing to
sysOut/sysErr.
|
Paths |
Paths holds the path-related command line arguments and provides
several path-related services. |
ProofAsstBoss |
Responsible for building and triggering ProofAsst.
|
RunParmArrayEntry |
RunParmArrayEntry holds a RunParm "name" string AND an array(0->n) of RunParm
"value" strings, OR it holds a "commentLine" (but not both).
|
RunParmFile |
RunParmFile reads lines designed to be parsed by DelimitedTextParser and
returns RunParmArrayEntry objects.
|
StopWatch |
This is a very simple stop-watch class.
|
StoreBoss |
Manages access to the WorkVarManager resource and processes Work Var
RunParms.
|
SvcBoss |
Manages access to the facilities which allow use of mmj2 as a service.
|
TheoremLoaderBoss |
Responsible for building and referencing TheoremLoader.
|
TMFFBoss |
Responsible for building a TMFFPreferences object, ensuring its integrity,
and providing references to it upon demand.
|
TopologicalSorter<T> |
Sorts a directed graph, obtaining a visiting sequence ("sorted" list) that
respects the "Predecessors" (as in a job/task requirements list).
|
UtilConstants |
(Most) Constants used in mmj.util classes
|
UtilConstants.RunParmContext | |
VerifyProofBoss |
Responsible for building, loading, maintaining and fetching ProofVerifier,
and for executing RunParms involving it.
|
WorkVarBoss |
Manages access to the WorkVarManager resource and processes Work Var
RunParms.
|