Package | Description |
---|---|
org.key_project.ui.interactionlog | |
org.key_project.ui.interactionlog.algo |
Modifier and Type | Method and Description |
---|---|
InteractionLog |
InteractionRecorder.get(Proof proof) |
InteractionLog |
InteractionRecorder.readInteractionLog(java.io.File file) |
static InteractionLog |
InteractionLogFacade.readInteractionLog(java.io.File inputFile) |
Modifier and Type | Method and Description |
---|---|
javax.swing.JComboBox<InteractionLog> |
InteractionLogView.getInteractionLogSelection() |
javax.swing.ComboBoxModel<InteractionLog> |
InteractionRecorder.getLoadedInteractionLogs() |
Modifier and Type | Method and Description |
---|---|
static void |
InteractionLogFacade.storeInteractionLog(InteractionLog log,
java.io.File output) |
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
MUProofScriptExport.getScript(InteractionLog current) |
java.lang.String |
LogPrinter.print(InteractionLog state)
prints an interaction log as a proof script.
|
static void |
MUProofScriptExport.writeTo(InteractionLog logbook,
java.io.PrintWriter writer) |
static void |
KPSProofScriptExport.writeTo(InteractionLog logbook,
java.io.PrintWriter writer) |
static void |
MarkdownExport.writeTo(InteractionLog logbook,
java.io.PrintWriter writer) |
Copyright © 2003-2019 The KeY-Project.