Package | Description |
---|---|
de.uka.ilkd.key.gui |
This package contains classes forming the graphical user interface of KeY.
|
de.uka.ilkd.key.gui.extension.api | |
de.uka.ilkd.key.gui.prooftree |
Class and Description |
---|
ProofTreeView |
Class and Description |
---|
ProofTreeView |
Class and Description |
---|
GUIAbstractTreeNode |
GUIProofTreeModel
An implementation of TreeModel that can be displayed using the
JTree class framework and reflects the state of a
Proof object. |
ProofTreePopupFactory |
ProofTreeView |
ProofTreeView.ProofRenderer |
ProofTreeViewFilter
Filters for the proof tree view.
|
Style |
Styler
A
Styler is a part of a strategy to implement a flexible mechanism for the representation of elements. |
Copyright © 2003-2019 The KeY-Project.