COMMONLY USED
RUNPARMS and COMMAND ARGUMENTS
|
WHERE_FILE_CONSTRUCTED/HOW_PATH_USED__________________________________________________________________________
|
java
-Xincgc -Xms128M -Xmx256M -jar mmj2.jar RunParms.txt |
src\mmj\util\BatchFramework#runIt()
calls
src\mmj\util\RunParmFile#RunParmFile()
--> relative to current path
and
java -jar mmj2.jar --> current path searched first
|
LoadFile,c:\metamath\set.mm |
src\mmj\util\LogicalSystemBoss#doLoadFile()
calls
src\mmj\mmio\Systemizer#load()
--> relative to current path
|
ProofAsstProofFolder,c:\my\proofs
|
src\mmj\util\ProofAsstBoss#editProofAsstProofFolder()
calls
src\mmj\util\Boss#editExistingFolderRunParm() calls
src\mmj\util\Boss#buildFileObjectForExistingFolder()
--> relative to
current path
|
TheoremLoaderMMTFolder,c:\my\proofs
|
src\mmj\util\TheoremLoaderBoss#editTheoremLoaderMMTFolder()
calls
src\mmj\tl\TlPreferences#setMMTFolder() calls
src\mmj\tl\MMTFolder#MMTFolder()
--> relative to current path |
LoadTheoremsFromMMTFolder,*
|
src\mmj\util\TheoremLoaderBoss#editLoadTheoremsFromMMTFolder()
calls
src\mmj\tl\TheoremLoader#loadTheoremsFromMMTFolder() calls
src\mmj\tl\MMTFolder#constructMMTTheoremSet() calls
java.io.File.listFiles()
--> relative to MMTFolder
|
GMFFExportParms,althtml,ON,althtmldef,GMFF\althtml,.html,
GMFF\models\althtml,A,ISO-8859-1,general |
src\mmj\util\GMFFBoss#doRunParmGMFFExportParms()
calls
src\mmj\gmff\GMFFExportParms#GMFFExportParms()
and then caches the
GMFFExportParms by call to
src\mmj\gmff\GMFFManager#accumInputGMFFExportParms()
then, later...
src\mmj\gmff\GMFFManager#initialization() calls
src\mmj\gmff\GMFFManager#loadExportParmsList() calls
src\mmj\gmff\GMFFManager.#validateExportParmsList() calls
src\mmj\gmff\GMFFExportParms#areExportParmsValid()
then
src\mmj\gmff\GMFFExportParms#areExportParmsValid() calls
src\mmj\gmff\GMFFExportParms#validateExportDirectory() calls
src\mmj\gmff\GMFFFolder#GMFFFolder() --> relative to current path
and
src\mmj\gmff\GMFFExportParms#areExportParmsValid() calls
src\mmj\gmff\GMFFExportParms#validateModelsDirectory() calls
src\mmj\gmff\GMFFFolder#GMFFFolder() --> relative to current path
and
src\mmj\gmff\GMFFExportParms#areExportParmsValid() calls
src\mmj\gmff\GMFFExportParms#validateOutputFileName()
--> output
file name is (enforced) local file name in Export Directory.
|
ProofAsstGUI
FILE
ACCESSES
|
|
File / Save Proof File
and saveIfAskedBeforeExit()
|
src\mmj\pa\ProofAsstGUI#doFileSaveAction()
calls
javax.swing.JFileChooser#.getSelectedFile()
--> initially relative to ProofAsstProofFolder but user can change
and
src\mmj\pa\ProofAsstGUI#doFileSaveAction() calls
saveOldProofTextFile()
--> output path and name selected/approved by user (no change
required)
and
src\mmj\pa\ProofAsstGUI#doFileSaveAction() calls
saveNewProofTextFile()
--> output path and name selected/approved by user (no change
required)
|
File / Open Proof File
|
src\mmj\pa\ProofAsstGUI#doFileOpenAction()
calls
javax.swing.JFileChooser#.getSelectedFile()
--> initially relative to ProofAsstProofFolder but user can change
and
src\mmj\pa\ProofAsstGUI#doFileOpenAction() calls
src\mmj\pa\ProofAsstGUI#startRequestAction(new RequestFileOpen()) calls
src\mmj\pa\ProofAsstGUI#RequestFileOpen#send() calls
src\mmj\pa\ProofAsstGUI#readProofTextFromFile()
--> no change required, file chosen/approved by user
|
File / Save As
|
(basically the same as
File / Save Proof File with respect to file accesses. --> no change
required)
|
File / Export Via GMFF
GMFF / Export Via GMFF
|
src\mmj\pa\ProofAsstGUI#doFileExportViaGMFFAction()
calls
src\mmj\pa\ProofAsstGUI#startRequestAction(new RequestExportViaGMFF())
calls
src\mmj\pa\ProofAsstGUI#RequestExportViaGMFF#send() calls
src\mmj\pa\ProofAsst#exportViaGMFF() calls
src\mmj\gmff\GMFFManager#exportProofWorksheet() calls
src\mmj\gmff\ModelAExporter#exportProofWorksheet() calls
src\mmj\gmff\GMFFExporter#outputToExportFile() calls
src\mmj\gmff\GMFFExporter#writeExportFile() calls
src\mmj\gmff\GMFFExportFile#GMFFExportFile()
--> relative to gmffExportParms.exportFolder (no change required)
also
src\mmj\gmff\GMFFExporter#readModelFile() calls
src\mmj\gmff\GMFFInputFile#GMFFInputFile()
--> relative to gmffExportParms.modelsFolder (no change required)
also
src\mmj\gmff\GMFFManager#exportProofWorksheet() calls
src\mmj\gmff\GMFFManager#initialization() calls
src\mmj\gmff\GMFFManager#loadExportParmsList() calls
src\mmj\gmff\GMFFManager.#validateExportParmsList() calls
src\mmj\gmff\GMFFExportParms#areExportParmsValid()
and
src\mmj\gmff\GMFFExportParms#areExportParmsValid() calls
src\mmj\gmff\GMFFExportParms#validateExportDirectory() calls
src\mmj\gmff\GMFFFolder#GMFFFolder() --> relative to current path
and
src\mmj\gmff\GMFFExportParms#areExportParmsValid() calls
src\mmj\gmff\GMFFExportParms#validateModelsDirectory() calls
src\mmj\gmff\GMFFFolder#GMFFFolder() --> relative to current path
and
src\mmj\gmff\GMFFExportParms#areExportParmsValid() calls
src\mmj\gmff\GMFFExportParms#validateOutputFileName()
--> output
file name is (enforced) local file name in Export Directory.
|
TL / Unify + Store In
LogSys and MMT Folder
|
src\mmj\pa\ProofAsstGUI#startUnificationAction(
false, null, null, new
StoreInLogSysAndMMTFolderTLRequest()) calls
src\mmj\tl\TheoremLoader#storeInLogSysAndMMTFolder() calls
src\mmj\tl\TheoremLoader#storeInMMTFolder() calls
src\mmj\tl\MMTFolder#storeMMTTheoremFile() calls
src\mmj\tl\MMTTheoremFile#MMTTheoremFile()
--> relative to MMTFolder (no change required)
and
src\mmj\tl\TheoremLoader#storeInLogSysAndMMTFolder() calls
src\mmj\tl\TheoremLoader#loadTheoremsFromMMTFolder() calls
src\mmj\tl\MMTFolder#constructMMTTheoremSet() calls
java.io.File#listFiles()
--> relative to MMTFolder (no change required)
and
src\mmj\tl\MMTFolder#constructMMTTheoremSet() calls
src\mmj\tl\MMTTheoremSet#MMTTheoremSet()
--> relative to MMTFolder (no change required) |
TL / Unify + Store In MMT
Folder |
(basically the same as TL
/ Unify + Store In LogSys
and MMT Folder with respect to file accesses)
|
TL / Load Theorems From
MMT Folder
|
src\mmj\pa\ProofAsstGUI#doLoadTheoremsFromMMTFolderItemAction()
calls
src\mmj\pa\ProofAsstGUI#startRequestAction(new
RequestLoadTheoremsFromMMTFolder()) calls
src\mmj\pa\ProofAsst#loadTheoremsFromMMTFolder() calls
src\mmj\tl\TheoremLoader#loadTheoremsFromMMTFolder() calls
src\mmj\tl\MMTFolder#constructMMTTheoremSet() calls
java.io.File.listFiles() --> relative to MMTFolder
|
TL / Extract Theorem To
MMT Folder
|
src\mmj\pa\ProofAsstGUI#doExtractTheoremToMMTFolderItemAction()
calls
src\mmj\pa\ProofAsstGUI#startRequestAction(new
RequestExtractTheoremToMMTFolder) calls
src\mmj\pa\ProofAsst#extractTheoremToMMTFolder() calls
src\mmj\tl\TheoremLoader#extractTheoremToMMTFolder() calls
src\mmj\tl\MMTFolder#storeMMTTheoremFile() calls
java\src\mmj\tl\MMTTheoremFile#MMTTheoremFile()
--> relative to MMTFolder (no change required)
|
TL / Set Theorem Loader
MMT Folder
|
src\mmj\pa\ProofAsstGUI#doSetTLMMTFolderItemAction()
calls
src\mmj\pa\ProofAsstGUI#getNewMMTFolder() calls
javax.swing.JFileChooser#getSelectedFile()
--> chosen/approved by user (no change needed)
|
ProofAsstGUI constructor
(start-up)
|
src\mmj\pa\ProofAsstGUI#ProofAsstGUI()
calls
src\mmj\pa\ProofAsstGUI#buildFileChooser()
--> relative to ProofAsstProofFolder (no change required)
|
|
|
USED
IN
BATCH/REGRESSION
TESTING
|
|
UnifyPlusStoreInMMTFolder,c:\myproofs\syl.mmp
|
src\mmj\util\TheoremLoaderBoss#editUnifyPlusStoreInMMTFolder()
calls
src\mmj\util\ProofAsstBoss#editProofAsstImportFileRunParm() calls
src\mmj\util\Boss#doConstructBufferedFileReader()
--> relative to ProofAsstProofFolder (no change needed!)
then ...
src\mmj\tl\TheoremLoader#unifyPlusStoreInMMTFolder() calls
src\mmj\tl\TheoremLoader#storeInMMTFolder() calls
src\mmj\tl\MMTFolder#storeMMTTheoremFile() calls
src\mmj\tl\MMTTheoremFile#MMTTheoremFile()
--> relative to MMTFolder (no change needed)
|
UnifyPlusStoreInLogSysAndMMTFolder,c:\myproofs\syl.mmp
|
src\mmj\util\TheoremLoaderBoss#editUnifyPlusStoreInLogSysAndMMTFolder()
calls
src\mmj\util\ProofAsstBoss#editProofAsstImportFileRunParm() calls
src\mmj\util\Boss#doConstructBufferedFileReader()
--> relative to ProofAsstProofFolder (no change needed!)
then...
src\mmj\util\TheoremLoaderBoss#editUnifyPlusStoreInLogSysAndMMTFolder()
calls
src\mmj\tl\TheoremLoader#unifyPlusStoreInLogSysAndMMTFolder() calls
src\mmj\tl\TheoremLoader#storeInLogSysAndMMTFolder() calls
src\mmj\tl\TheoremLoader#storeInMMTFolder() calls
src\mmj\tl\MMTFolder#storeMMTTheoremFile() calls
src\mmj\tl\MMTTheoremFile#MMTTheoremFile()
--> relative to MMTFolder (no change needed)
|
ExtractTheoremToMMTFolder,syl
|
src\mmj\util\TheoremLoaderBoss#editExtractTheoremToMMTFolder()
calls
src\mmj\tl\TheoremLoader#extractTheoremToMMTFolder() calls
src\mmj\tl\MMTFolder#storeMMTTheoremFile() calls
java\src\mmj\tl\MMTTheoremFile#MMTTheoremFile()
--> relative to MMTFolder (no change required)
|
ProofAsstExportToFile,*,c:\my\export.mmp,new,un-unified,Randomized,Print,NoDeriveFormulas
|
src\mmj\util\ProofAsstBoss#doProofAsstExportToFile()
calls
src\mmj\util\ProofAsstBoss#editProofAsstExportFileRunParm() calls
src\mmj\util\Boss#doConstructBufferedFileWriter()
--> relative to ProofAsstProofFolder (no change required)
|
ProofAsstBatchTest,*,c:\my\export.mmp,un-unified,NotRandomized,
NoPrint,DeriveFormulas,NoCompareDJs,NoUpdateDJs,NoAsciiRetest |
src\mmj\util\ProofAsstBoss#doProofAsstBatchTest()
calls
src\mmj\util\ProofAsstBoss#editProofAsstImportFileRunParm() calls
src\mmj\util\Boss#doConstructBufferedFileReader()
--> relative to ProofAsstProofFolder (no change required) |
StepSelectorBatchTest,c:\mmj2\UT7000.mmp,326,6
|
src\mmj\util\ProofAsstBoss#doStepSelectorBatchTest()
calls
src\mmj\util\ProofAsstBoss#editProofAsstImportFileRunParm() calls
src\mmj\util\Boss#doConstructBufferedFileReader()
--> relative to ProofAsstProofFolder (no change required)
|
PreprocessRequestBatchTest,C:\mmj2\data\mmp\tests\UT7001.mmp,EraseAndRederiveFormulas
|
src\mmj\util\ProofAsstBoss#doPreprocessRequestBatchTest()
calls
src\mmj\util\ProofAsstBoss#editProofAsstImportFileRunParm() calls
src\mmj\util\Boss#doConstructBufferedFileReader()
--> relative to ProofAsstProofFolder (no change required)
|
GMFFExportFromFolder,myproofs,syl,.mmp,999999,AppendFileName
|
src\mmj\util\GMFFBoss#doGMFFExportFromFolder()
calls
src\mmj\gmff\GMFFManager#exportFromFolder() calls
src\mmj\gmff\GMFFFolder#GMFFFolder()
--> relative to current path
and
src\mmj\gmff\GMFFManager#exportFromFolder() calls
src\mmj\gmff\GMFFManager#exportProofWorksheet() calls
src\mmj\gmff\ModelAExporter#exportProofWorksheet() calls
src\mmj\gmff\GMFFExporter#outputToExportFile() calls
src\mmj\gmff\GMFFExporter#writeExportFile() calls
src\mmj\gmff\GMFFExportFile#GMFFExportFile()
--> relative to gmffExportParms.exportFolder (no change required)
(note: append file...always just a local file name, not a path name)
|
GMFFExportTheorem,syl,999999,AppendFileName |
src\mmj\util\GMFFBoss#doGMFFExportTheorem()
calls
src\mmj\gmff\GMFFManager#exportTheorem() calls
src\mmj\gmff\GMFFManager#gmffExportOneTheorem() calls
src\mmj\gmff\GMFFManager#exportProofWorksheet() calls
src\mmj\gmff\ModelAExporter#exportProofWorksheet() calls
src\mmj\gmff\GMFFExporter#outputToExportFile() calls
src\mmj\gmff\GMFFExporter#writeExportFile() calls
src\mmj\gmff\GMFFExportFile#GMFFExportFile()
--> relative to gmffExportParms.exportFolder (no change required)
(note: append file...always just a local file name, not a path name)
|
GMFFParseMetamathTypesetComment,althtmldef,mydirectory,
mytypesetdefs.mm,PRINT
|
src\mmj\util\GMFFBoss#doGMFFParseMetamathTypesetComment()
calls
src\mmj\gmff\GMFFManager#parseMetamathTypesetComment() calls
src\mmj\gmff\GMFFFolder#GMFFFolder()
--> relative to current path (note: should be modified to use
mmj2Path)
and
src\mmj\gmff\GMFFManager#parseMetamathTypesetComment() calls
src\mmj\gmff\GMFFInputFile#getFileContents()
--> mytypesetdefs.mm is
relative to mydirectory (expected to be a
local file name in that
directory)
|
|
|
INFREQUENTLY
USED
|
|
SystemErrorFile,c:\my\mmjSyserrTest001.txt,new,""
|
src\mmj\util\OutputBoss#editSysErrFile()
calls
src\mmj\util\Boss#editPrintWriterRunParm() calls
src\mmj\util\Boss#doConstructPrintWriter()
--> relative to current
path |
SystemOutputFile,c:\my\mmjSysoutTest001.txt,new,""
|
src\mmj\util\OutputBoss#editSysOutFile()
calls
src\mmj\util\Boss#editPrintWriterRunParm() calls
src\mmj\util\Boss#doConstructPrintWriter()
--> relative to current
path
|
ProofAsstStartupProofWorksheet,c:\mmj2\data\mmp\PATutorial\Page101.mmp
|
src\mmj\util\ProofAsstBoss#editProofAsstStartupProofWorksheet()
calls
src\mmj\util\Boss#editExistingFileRunParm() calls
java\src\mmj\util\Boss#buildFileObjectForExistingFile()
-->
relative to current path
|
SvcFolder,c:\my\java\test\mmj\svc
|
src\mmj\util\SvcBoss#editSvcFolder()
calls
src\mmj\util\Boss#editExistingFolderRunParm() calls
src\mmj\util\Boss#buildFileObjectForExistingFolder()
--> relative to
current path
|
Metamath Include File
|
src\mmj\util\LogicalSystemBoss#doLoadFile()
calls
isInFilesAlreadyLoaded()
--> relative to current path
(and
src\mmj\mmio\Systemizer#initIncludeFile() calls
src\mmj\mmio\IncludeFile#initIncludeFile()
to actually construct the Reader using a File)
|
|
|