Class Hierarchy
- java.lang.Object
- org.key_project.ui.interactionlog.api.Interaction (implements org.key_project.ui.interactionlog.api.Markdownable, org.key_project.ui.interactionlog.api.Reapplicable, org.key_project.ui.interactionlog.api.Scriptable, java.io.Serializable)
- org.key_project.ui.interactionlog.model.InteractionLog (implements java.io.Serializable)
- org.key_project.ui.interactionlog.model.NodeIdentifier (implements java.io.Serializable)
- org.key_project.ui.interactionlog.model.OccurenceIdentifier
Interface Hierarchy
Copyright © 2003-2019 The KeY-Project.