Package | Description |
---|---|
de.uka.ilkd.key.core | |
de.uka.ilkd.key.gui.nodeviews | |
de.uka.ilkd.key.pp |
This package contains pretty-printing functionality used by the GUI and for
saving proofs.
|
de.uka.ilkd.key.symbolic_execution.util |
Modifier and Type | Method and Description |
---|---|
NotationInfo |
KeYMediator.getNotationInfo()
returns the used NotationInfo
|
Modifier and Type | Field and Description |
---|---|
protected NotationInfo |
InsertionTacletBrowserMenuItem.notInfo
the notation info to pretty print the taclet apps
|
Constructor and Description |
---|
InsertHiddenTacletMenuItem(javax.swing.JFrame parent,
NotationInfo notInfo,
Services services)
creates an instance of the insert hidden menu item
|
InsertionTacletBrowserMenuItem(java.lang.String title,
javax.swing.JFrame parent,
NotationInfo notInfo,
Services services) |
InsertSystemInvariantTacletMenuItem(javax.swing.JFrame parent,
NotationInfo notInfo,
Services services)
creates an instance of the insert hidden menu item
|
SimpleTacletSelectionMenu(ImmutableList<PosTacletApp> apps,
NotationInfo info,
java.awt.event.ActionListener listener,
Services services)
creates an instance of this menu displaying the applications stored in
apps
|
Modifier and Type | Field and Description |
---|---|
protected NotationInfo |
LogicPrinter.notationInfo
Contains information on the concrete syntax of operators.
|
Modifier and Type | Method and Description |
---|---|
NotationInfo |
LogicPrinter.getNotationInfo() |
Constructor and Description |
---|
LogicPrinter(ProgramPrinter prgPrinter,
NotationInfo notationInfo,
Backend backend,
Services services,
boolean purePrint)
Creates a LogicPrinter.
|
LogicPrinter(ProgramPrinter prgPrinter,
NotationInfo notationInfo,
Services services)
Creates a LogicPrinter.
|
LogicPrinter(ProgramPrinter prgPrinter,
NotationInfo notationInfo,
Services services,
boolean purePrint)
Creates a LogicPrinter.
|
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 |
---|---|
static NotationInfo |
SymbolicExecutionUtil.createNotationInfo(IExecutionElement element)
Creates the
NotationInfo for the given IExecutionElement . |
static NotationInfo |
SymbolicExecutionUtil.createNotationInfo(Node node)
Creates the
NotationInfo for the given Node . |
static NotationInfo |
SymbolicExecutionUtil.createNotationInfo(Proof proof)
Creates the
NotationInfo for the given Proof . |
Copyright © 2003-2019 The KeY-Project.