org.key_project.ui.interactionlog.model
Interfaces
InteractionRecorderListener
Classes
AutoModeInteraction
InteractionLog
MacroInteraction
NodeIdentifier
NodeInteraction
OccurenceIdentifier
PruneInteraction
RuleInteraction
SettingChangeInteraction
UserNoteInteraction