Package | Description |
---|---|
org.key_project.ui.interactionlog | |
org.key_project.ui.interactionlog.algo | |
org.key_project.ui.interactionlog.model | |
org.key_project.ui.interactionlog.model.builtin |
Modifier and Type | Method and Description |
---|---|
javax.swing.DefaultListModel<Interaction> |
InteractionLogView.getInteractionListModel() |
javax.swing.JList<Interaction> |
InteractionLogView.getListInteraction() |
Modifier and Type | Method and Description |
---|---|
protected void |
InteractionRecorder.emit(Interaction interaction) |
void |
InteractionLogView.onInteraction(Interaction interaction) |
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
MarkdownExport.getHtml(Interaction inter) |
static java.lang.String |
MarkdownExport.getMarkdown(Interaction interaction) |
Modifier and Type | Class and Description |
---|---|
class |
AutoModeInteraction |
class |
MacroInteraction |
class |
NodeInteraction |
class |
PruneInteraction |
class |
RuleInteraction |
class |
SettingChangeInteraction |
class |
UserNoteInteraction |
Modifier and Type | Method and Description |
---|---|
java.util.List<Interaction> |
InteractionLog.getInteractions() |
Modifier and Type | Method and Description |
---|---|
void |
InteractionRecorderListener.onInteraction(Interaction event) |
Modifier and Type | Method and Description |
---|---|
void |
InteractionLog.setInteractions(java.util.List<Interaction> interactions) |
Modifier and Type | Class and Description |
---|---|
class |
BuiltInRuleInteraction |
class |
ContractBuiltInRuleInteraction |
class |
LoopContractInternalBuiltInRuleInteraction |
class |
LoopInvariantBuiltInRuleInteraction |
class |
MergeRuleBuiltInRuleInteraction |
class |
OSSBuiltInRuleInteraction |
class |
SMTBuiltInRuleInteraction |
class |
UseDependencyContractBuiltInRuleInteraction |
Copyright © 2003-2019 The KeY-Project.