public class SequentViewLogicPrinter extends LogicPrinter
LogicPrinter
used in GUI. Any GUI-specific code for
pretty-printing should be put in here, so that code of LogicPrinter
stays independent of GUI as much as possible.Modifier and Type | Field and Description |
---|---|
private VisibleTermLabels |
visibleTermLabels |
DEFAULT_LINE_WIDTH, layouter, notationInfo, services
Constructor and Description |
---|
SequentViewLogicPrinter(ProgramPrinter prgPrinter,
NotationInfo notationInfo,
Backend backend,
Services services,
boolean purePrint,
VisibleTermLabels visibleTermLabels) |
SequentViewLogicPrinter(ProgramPrinter prgPrinter,
NotationInfo notationInfo,
Services services,
boolean purePrint,
VisibleTermLabels visibleTermLabels) |
SequentViewLogicPrinter(ProgramPrinter prgPrinter,
NotationInfo notationInfo,
Services services,
VisibleTermLabels visibleTermLabels) |
Modifier and Type | Method and Description |
---|---|
protected ImmutableArray<TermLabel> |
getVisibleTermLabels(Term t)
Determine the Set of labels that will be printed out for a specific
Term . |
void |
printClassName(java.lang.String className) |
escapeHTML, getHeapLDT, getInitialPositionTable, getInstantiations, getLayouter, getNotationInfo, getPositionTable, mark, mark, markEndJavaBlock, markEndKeyword, markEndSub, markStartJavaBlock, markStartKeyword, markStartSub, markStartSub, maybeParens, printAddProgVars, printAttribs, printCast, printConstant, printConstant, printConstrainedFormula, printDisplayName, printElementaryUpdate, printElementOf, printElementOf, printEmbeddedHeapConstructorTerm, printEmbeddedObserver, printFind, printFunctionTerm, printGoalTemplate, printGoalTemplates, printHeapConstructor, printHeuristic, printHeuristics, printIfThenElseTerm, printInfixTerm, printInfixTermContinuingBlock, printInShortForm, printInShortForm, printInShortForm, printJavaBlock, printLabels, printLabels, printModalityTerm, printNewVarcond, printNotFreeIn, printObserver, printParallelUpdate, printPostfix, printPostfixTerm, printPrefixTerm, printProgramElement, printProgramSV, printProgramVariable, printQuantifierTerm, printRewrite, printRewriteAttributes, printRules, printSchemaVariable, printSelect, printSemisequent, printSemisequent, printSeqGet, printSeqSingleton, printSequent, printSequent, printSequent, printSequent, printSingleton, printStore, printSubstTerm, printTaclet, printTaclet, printTerm, printTerm, printTermContinuingBlock, printTextSequent, printUpdateApplicationTerm, printVarCond, printVariableCondition, programPrinter, quickPrintSemisequent, quickPrintSequent, quickPrintTerm, quickPrintTerm, reset, result, setInstantiation, setLineWidth, startTerm, toString, update
private final VisibleTermLabels visibleTermLabels
public SequentViewLogicPrinter(ProgramPrinter prgPrinter, NotationInfo notationInfo, Services services, VisibleTermLabels visibleTermLabels)
public SequentViewLogicPrinter(ProgramPrinter prgPrinter, NotationInfo notationInfo, Services services, boolean purePrint, VisibleTermLabels visibleTermLabels)
public SequentViewLogicPrinter(ProgramPrinter prgPrinter, NotationInfo notationInfo, Backend backend, Services services, boolean purePrint, VisibleTermLabels visibleTermLabels)
protected ImmutableArray<TermLabel> getVisibleTermLabels(Term t)
LogicPrinter
Term
. The class SequentViewLogicPrinter
overrides this
method. TermLabel
visibility can be configured via GUI, see
TermLabelMenu
. Default is to print
all TermLabels.getVisibleTermLabels
in class LogicPrinter
t
- Term
whose visible TermLabel
s will be
determined.TermLabel
s, i.e. labels that are
syntactically added to a Term
while printing.public void printClassName(java.lang.String className) throws java.io.IOException
printClassName
in class LogicPrinter
java.io.IOException