public class Dump
extends java.lang.Object
Dump can employ a PrintWriter or send its stuff to System.out. The PrintWriter can be set at construction time or later via a "set" function.
Most of the Dump print routines are invoked by BatchMMJ2 but some are leftovers from testing. Dump is ugly but it works.
Modifier and Type | Field and Description |
---|---|
static java.lang.String[] |
indentTbl |
java.lang.String[] |
keyArray |
int |
keyArrayCount |
java.io.PrintWriter |
sysOut |
TMFFPreferences |
tmffPreferences |
Constructor and Description |
---|
Dump()
Default constructor which will print to System.out.
|
Dump(java.io.PrintWriter sysOut)
Construct Dump using a PrintWriter for output.
|
Modifier and Type | Method and Description |
---|---|
void |
dumpAssrtProperties(int indentNbr,
Assrt assrt) |
void |
dumpGrammarRuleCollection(int maxDumpCnt,
int indentNbr,
java.lang.String caption,
java.util.Collection<? extends GrammarRule> grammarRuleCollection) |
void |
dumpGrammarRuleCollection(int indentNbr,
java.lang.String caption,
java.util.Collection<GrammarRule> grammarRuleCollection) |
void |
dumpGrammarRuleFull(int indentNbr,
GrammarRule grammarRule) |
void |
dumpLogSys(int indentNbr,
java.lang.String caption,
LogicalSystem logSys) |
void |
dumpLogSysCounts(int indentNbr,
java.lang.String caption,
java.util.Collection<Sym> symTbl,
java.util.Collection<Stmt> stmtTbl) |
void |
dumpLogSysCounts(int indentNbr,
java.lang.String caption,
java.util.Map<java.lang.String,Sym> symTbl,
java.util.Map<java.lang.String,Stmt> stmtTbl) |
void |
dumpNotationRuleProperties(int indentNbr,
NotationRule notationRule) |
void |
dumpNullsPermittedRuleProperties(int indentNbr,
NullsPermittedRule nullsPermittedRule) |
void |
dumpOneStmt(int indentNbr,
Stmt stmt) |
void |
dumpStmtAxiomFull(int indentNbr,
Axiom axiom) |
void |
dumpStmtLogHypFull(int indentNbr,
LogHyp logHyp) |
void |
dumpStmtProperties(int indentNbr,
java.lang.StringBuilder sb,
Stmt stmt) |
void |
dumpStmtTbl(int maxDumpCnt,
int indentNbr,
java.lang.String caption,
java.util.Collection<? extends Stmt> stmtTbl) |
void |
dumpStmtTbl(int indentNbr,
java.lang.String caption,
java.util.Collection<? extends Stmt> stmtTbl) |
void |
dumpStmtTheoremFull(int indentNbr,
Theorem theorem) |
void |
dumpStmtVarHypFull(int indentNbr,
VarHyp varHyp) |
void |
dumpSymCnstFull(int indentNbr,
Cnst cnst) |
void |
dumpSymTbl(int indentNbr,
java.lang.String caption,
java.util.Collection<? extends Sym> symTbl) |
void |
dumpSymVarFull(int indentNbr,
Var var) |
void |
dumpTheGrammar(int indentNbr,
java.util.Collection<Cnst> grammarTypSet,
java.util.Collection<Sym> symTbl) |
void |
dumpTypeConversionRuleProperties(int indentNbr,
TypeConversionRule typeConversionRule) |
void |
printBookManagerChapters(java.lang.String caption,
BookManager bookManager)
"printBookManagerChapters" is used by BatchMMJ2 to print BookManager
Chapter information.
|
void |
printBookManagerSectionDetails(RunParmArrayEntry runParm,
LogicalSystem logicalSystem,
BookManager bookManager,
Section section)
"printBookManagerSectionDetails" is used by BatchMMJ2 to print
BookManager Section, MObj and Chapter information.
|
void |
printBookManagerSections(java.lang.String caption,
BookManager bookManager)
"printBookManagerSections" is used by BatchMMJ2 to print BookManager
Section information.
|
void |
printOneStatementDetails(Stmt stmt)
"printOneStatementDetails" is used by BatchMMJ2 to print information
about a single Stmt.
|
void |
printStatementDetails(java.lang.String caption,
java.util.Map<java.lang.String,Stmt> stmtTbl,
int maxStatementPrintCountParm)
"printStatementDetails" is used by BatchMMJ2 to print Metamath Statement
details, up to the limit imposed by maxStatementPrintCountParm.
|
void |
printSyntaxDetails(java.lang.String caption,
LogicalSystem logicalSystem,
Grammar grammar)
"printSyntaxDetails" is used by BatchMMJ2 to print all syntax-related
information about a LogicalSystem and its Grammar.
|
void |
setSysOut(java.io.PrintWriter sysOut)
Sets Dump's SysOut to a new PrintWriter, or null to revert to writing to
System.out.
|
void |
setTMFFPreferences(TMFFPreferences tmffPreferences)
Sets Dump's Text Mode Formula Formatting preference parameters to a new
set of values.
|
void |
sysOutDumpAPrintLn(java.lang.String s)
Print a line from a String.
|
void |
sysOutDumpAPrintLn(java.lang.StringBuilder sb)
Print a line from a StringBuilder.
|
public java.io.PrintWriter sysOut
public TMFFPreferences tmffPreferences
public java.lang.String[] keyArray
public int keyArrayCount
public static final java.lang.String[] indentTbl
public Dump()
public Dump(java.io.PrintWriter sysOut)
sysOut
- the PrintWriterpublic void setSysOut(java.io.PrintWriter sysOut)
sysOut
- a PrintWriter, or null for System.out output.public void setTMFFPreferences(TMFFPreferences tmffPreferences)
Note: mmj.util.OutputBoss uses this.
tmffPreferences
- TMFF Preference parameters.public void sysOutDumpAPrintLn(java.lang.StringBuilder sb)
sb
- StringBuilder line to be printed.public void sysOutDumpAPrintLn(java.lang.String s)
s
- String line to be printed.public void printSyntaxDetails(java.lang.String caption, LogicalSystem logicalSystem, Grammar grammar)
caption
- identifying caption for the report.logicalSystem
- a LogicalSystem object.grammar
- a Grammar object derived from the Logical System.public void printOneStatementDetails(Stmt stmt)
stmt
- a Stmt object.public void printStatementDetails(java.lang.String caption, java.util.Map<java.lang.String,Stmt> stmtTbl, int maxStatementPrintCountParm)
caption
- identifying caption for the report.stmtTbl
- Statement Table (Map)maxStatementPrintCountParm
- max number of Stmt's to print.public void printBookManagerChapters(java.lang.String caption, BookManager bookManager)
This function is used primarily as a way to generate test output but the RunParm "PrintBookManagerChapters" may be useful for mmj2 users.
caption
- identifying caption for the report.bookManager
- the BookManager in use.public void printBookManagerSections(java.lang.String caption, BookManager bookManager)
This function is used primarily as a way to generate test output but the RunParm "PrintBookManagerSections" may be useful for mmj2 users.
caption
- identifying caption for the report.bookManager
- the BookManager in use.public void printBookManagerSectionDetails(RunParmArrayEntry runParm, LogicalSystem logicalSystem, BookManager bookManager, Section section)
This function is used primarily as a way to generate test output but the RunParm "PrintBookManagerSectionDetails" may be useful for mmj2 users.
runParm
- contains RunParm name and values.logicalSystem
- the LogicalSystem in use.bookManager
- the BookManager in use.section
- the Section to be printed or null if all Sections are to
be printed.public void dumpLogSys(int indentNbr, java.lang.String caption, LogicalSystem logSys)
public void dumpLogSysCounts(int indentNbr, java.lang.String caption, java.util.Map<java.lang.String,Sym> symTbl, java.util.Map<java.lang.String,Stmt> stmtTbl)
public void dumpLogSysCounts(int indentNbr, java.lang.String caption, java.util.Collection<Sym> symTbl, java.util.Collection<Stmt> stmtTbl)
public void dumpSymTbl(int indentNbr, java.lang.String caption, java.util.Collection<? extends Sym> symTbl)
public void dumpStmtTbl(int indentNbr, java.lang.String caption, java.util.Collection<? extends Stmt> stmtTbl)
public void dumpStmtTbl(int maxDumpCnt, int indentNbr, java.lang.String caption, java.util.Collection<? extends Stmt> stmtTbl)
public void dumpOneStmt(int indentNbr, Stmt stmt)
public void dumpStmtTheoremFull(int indentNbr, Theorem theorem)
public void dumpStmtAxiomFull(int indentNbr, Axiom axiom)
public void dumpStmtLogHypFull(int indentNbr, LogHyp logHyp)
public void dumpStmtVarHypFull(int indentNbr, VarHyp varHyp)
public void dumpAssrtProperties(int indentNbr, Assrt assrt)
public void dumpStmtProperties(int indentNbr, java.lang.StringBuilder sb, Stmt stmt)
public void dumpSymVarFull(int indentNbr, Var var)
public void dumpSymCnstFull(int indentNbr, Cnst cnst)
public void dumpGrammarRuleCollection(int indentNbr, java.lang.String caption, java.util.Collection<GrammarRule> grammarRuleCollection)
public void dumpGrammarRuleCollection(int maxDumpCnt, int indentNbr, java.lang.String caption, java.util.Collection<? extends GrammarRule> grammarRuleCollection)
public void dumpGrammarRuleFull(int indentNbr, GrammarRule grammarRule)
public void dumpNotationRuleProperties(int indentNbr, NotationRule notationRule)
public void dumpTypeConversionRuleProperties(int indentNbr, TypeConversionRule typeConversionRule)
public void dumpNullsPermittedRuleProperties(int indentNbr, NullsPermittedRule nullsPermittedRule)