Serialized Form (KeY API Documentation)

Package de.uka.ilkd.key.control.event
- Class de.uka.ilkd.key.control.event.TermLabelVisibilityManagerEvent extends java.util.EventObject implements Serializable
  
  serialVersionUID:
  
  2827200355462914026L
Package de.uka.ilkd.key.control.instantiation_model
- Class de.uka.ilkd.key.control.instantiation_model.TacletAssumesModel extends javax.swing.DefaultComboBoxModel<IfFormulaInstantiation> implements Serializable
  
  serialVersionUID:
  
  -5388696072469119661L
  - Serialized Fields
    - manualInput
```
java.lang.String manualInput
```
    - ifFma
```
Term ifFma
```
    - nss
```
NamespaceSet nss
```
      namespaces (variables, functions, sorts, etc.)
    - scm
```
AbbrevMap scm
```
    - services
```
Services services
```
- Class de.uka.ilkd.key.control.instantiation_model.TacletFindModel extends javax.swing.table.AbstractTableModel implements Serializable
  
  serialVersionUID:
  
  5285420522875326156L
  - Serialized Fields
    - entries
```
java.util.ArrayList<E> entries
```
      the instantiations entries
    - originalApp
```
TacletApp originalApp
```
      the related rule application
    - noEditRow
```
int noEditRow
```
      the integer defines the row until which no editing is possible
    - nss
```
NamespaceSet nss
```
      universal namespace of variables, minimum for input in a row
    - services
```
Services services
```
      the java service object
    - scm
```
AbbrevMap scm
```
      the abbreviation map
    - goal
```
Goal goal
```
      the current goal
    - varNamer
```
VariableNamer varNamer
```
      variable namer
    - instantiationProposers
```
InstantiationProposerCollection instantiationProposers
```
      proposers to ask when instantiating a schema variable
Package de.uka.ilkd.key.gui
- Class de.uka.ilkd.key.gui.ApplyTacletDialog extends javax.swing.JDialog implements Serializable
  
  serialVersionUID:
  
  -411398660828882035L
  - Serialized Fields
    - cancelButton
```
javax.swing.JButton cancelButton
```
    - applyButton
```
javax.swing.JButton applyButton
```
    - mediator
```
KeYMediator mediator
```
    - checkAfterEachInput
```
boolean checkAfterEachInput
```
    - model
```
TacletInstantiationModel[] model
```
    - statusArea
```
javax.swing.JTextArea statusArea
```
- Class de.uka.ilkd.key.gui.AuxiliaryContractConfigurator extends javax.swing.JDialog implements Serializable
  
  serialVersionUID:
  
  4882043118399402599L
  - Serialized Fields
    - contractPanel
```
AuxiliaryContractSelectionPanel<T extends AuxiliaryContract> contractPanel
```
    - okButton
```
javax.swing.JButton okButton
```
    - cancelButton
```
javax.swing.JButton cancelButton
```
    - successful
```
boolean successful
```
- Class de.uka.ilkd.key.gui.AuxiliaryContractSelectionPanel extends javax.swing.JPanel implements Serializable
  
  serialVersionUID:
  
  129743953718747490L
  - Serialized Fields
    - services
```
Services services
```
    - contractList
```
javax.swing.JList<E> contractList
```
    - border
```
javax.swing.border.TitledBorder border
```
- Class de.uka.ilkd.key.gui.BlockContractSelectionPanel extends AuxiliaryContractSelectionPanel<BlockContract> implements Serializable
  
  serialVersionUID:
  
  1681443715264203991L
- Class de.uka.ilkd.key.gui.ClassSelectionDialog extends javax.swing.JDialog implements Serializable
  
  serialVersionUID:
  
  -7369508044709282573L
  - Serialized Fields
    - successful
```
boolean successful
```
    - classList
```
javax.swing.JList<E> classList
```
- Class de.uka.ilkd.key.gui.ClassTree extends javax.swing.JTree implements Serializable
  
  serialVersionUID:
  
  -3006761219011776834L
  - Serialized Fields
    - targetIcons
```
java.util.Map<K,V> targetIcons
```
    - services
```
Services services
```
- Class de.uka.ilkd.key.gui.ContractConfigurator extends javax.swing.JDialog implements Serializable
  
  serialVersionUID:
  
  4002043118399402599L
  - Serialized Fields
    - contractPanel
```
ContractSelectionPanel contractPanel
```
    - okButton
```
javax.swing.JButton okButton
```
    - cancelButton
```
javax.swing.JButton cancelButton
```
    - successful
```
boolean successful
```
- Class de.uka.ilkd.key.gui.ContractSelectionPanel extends javax.swing.JPanel implements Serializable
  
  serialVersionUID:
  
  1681223715264203991L
  - Serialized Fields
    - services
```
Services services
```
    - contractList
```
javax.swing.JList<E> contractList
```
    - border
```
javax.swing.border.TitledBorder border
```
    - contracts
```
Contract[] contracts
```
    - grayOutAuxiliaryContracts
```
boolean grayOutAuxiliaryContracts
```
      Whether or not an auxiliary contract should be grayed out if is has not been applied in a proof for a non-auxiliary contract.
      
      See Also:
      
      Contract.isAuxiliary()
- Class de.uka.ilkd.key.gui.ExampleChooser extends javax.swing.JDialog implements Serializable
  
  serialVersionUID:
  
  -4405666868752394532L
  - Serialized Fields
    - exampleList
```
javax.swing.JTree exampleList
```
    - loadButton
```
javax.swing.JButton loadButton
```
    - loadProofButton
```
javax.swing.JButton loadProofButton
```
    - cancelButton
```
javax.swing.JButton cancelButton
```
    - tabPane
```
javax.swing.JTabbedPane tabPane
```
    - fileToLoad
```
java.io.File fileToLoad
```
      The result value of the dialog. null if nothing to be loaded
    - selectedExample
```
ExampleChooser.Example selectedExample
```
      The currently selected example. null if none selected
- Class de.uka.ilkd.key.gui.ExceptionDialog extends javax.swing.JDialog implements Serializable
  
  serialVersionUID:
  
  -4532724315711726522L
  - Serialized Fields
    - stScroll
```
javax.swing.JScrollPane stScroll
```
    - stTextArea
```
javax.swing.JTextArea stTextArea
```
    - location
```
Location location
```
    - exception
```
java.lang.Throwable exception
```
- Class de.uka.ilkd.key.gui.GoalList extends javax.swing.JList<Goal> implements Serializable
  
  serialVersionUID:
  
  1632264315383703798L
  - Serialized Fields
    - selectingListModel
```
GoalList.SelectingGoalListModel selectingListModel
```
      the model used by this view
    - goalListModel
```
GoalList.GoalListModel goalListModel
```
    - seqToString
```
java.util.WeakHashMap<K,V> seqToString
```
    - mediator
```
KeYMediator mediator
```
    - interactiveListener
```
GoalList.GoalListInteractiveListener interactiveListener
```
      interactive prover listener
    - selectionListener
```
GoalList.GoalListSelectionListener selectionListener
```
      KeYSelection-Listener
    - guiListener
```
GoalList.GoalListGUIListener guiListener
```
      listens to gui events
- Class de.uka.ilkd.key.gui.HeatmapOptionsDialog extends javax.swing.JDialog implements Serializable
  
  serialVersionUID:
  
  5731407140427140088L
- Class de.uka.ilkd.key.gui.IconFactory.KeYFolderIcon extends javax.swing.plaf.metal.MetalIconFactory.FolderIcon16 implements Serializable
  
  serialVersionUID:
  
  5120051888984645985L
  - Serialized Fields
    - frontColor
```
java.awt.Color frontColor
```
- Class de.uka.ilkd.key.gui.InfoTree extends javax.swing.JTree implements Serializable
  
  serialVersionUID:
  
  2018185104131516569L
- Class de.uka.ilkd.key.gui.InfoTreeModel extends javax.swing.tree.DefaultTreeModel implements Serializable
  
  serialVersionUID:
  
  2093787874117871875L
- Class de.uka.ilkd.key.gui.InfoTreeNode extends javax.swing.tree.DefaultMutableTreeNode implements Serializable
  
  serialVersionUID:
  
  4187650510339169399L
  - Serialized Fields
    - altName
```
java.lang.String altName
```
    - description
```
java.lang.String description
```
- Class de.uka.ilkd.key.gui.InfoView extends javax.swing.JSplitPane implements Serializable
  
  serialVersionUID:
  
  -6944612837850368411L
  - Serialized Fields
    - infoTree
```
InfoTree infoTree
```
    - contentPane
```
InfoViewContentPane contentPane
```
    - xmlResources
```
XMLResources xmlResources
```
    - proofDisposedListener
```
ProofDisposedListener proofDisposedListener
```
    - selectionListener
```
KeYSelectionListener selectionListener
```
    - lastShownGoalNode
```
Node lastShownGoalNode
```
    - mainWindow
```
MainWindow mainWindow
```
    - mediator
```
KeYMediator mediator
```
- Class de.uka.ilkd.key.gui.InfoViewContentPane extends javax.swing.JScrollPane implements Serializable
  
  serialVersionUID:
  
  -7609483136106706196L
  - Serialized Fields
    - description
```
javax.swing.JTextArea description
```
- Class de.uka.ilkd.key.gui.LoopContractSelectionPanel extends AuxiliaryContractSelectionPanel<LoopContract> implements Serializable
  
  serialVersionUID:
  
  5832235501095794321L
- Class de.uka.ilkd.key.gui.MainWindow extends javax.swing.JFrame implements Serializable
  
  serialVersionUID:
  
  5853419918923902636L
  - Serialized Fields
    - sequentViewSearchBar
```
SequentViewSearchBar sequentViewSearchBar
```
      Search bar for Sequent Views.
    - mainWindowTabbedPane
```
MainWindowTabbedPane mainWindowTabbedPane
```
      the tab bar at the left
    - controlToolBar
```
javax.swing.JToolBar controlToolBar
```
      the first toolbar
    - fileOpToolBar
```
javax.swing.JToolBar fileOpToolBar
```
      the second toolbar
    - mainFrame
```
MainFrame mainFrame
```
      JScrollPane for displaying SequentViews
    - sourceView
```
javax.swing.JComponent sourceView
```
      the view to show source code and symbolic execution information
    - currentGoalView
```
CurrentGoalView currentGoalView
```
      SequentView for the current goal
    - emptySequent
```
EmptySequent emptySequent
```
      Use this SequentView in case no proof is loaded.
    - proofListView
```
javax.swing.JScrollPane proofListView
```
      contains a list of all proofs
    - proofList
```
TaskTree proofList
```
    - mediator
```
KeYMediator mediator
```
      the mediator is stored here
    - userInterface
```
WindowUserInterfaceControl userInterface
```
      the user interface which direct all notifications to this window
    - statusLine
```
MainStatusLine statusLine
```
      the status line
    - proofListener
```
MainWindow.MainProofListener proofListener
```
      listener to global proof events
    - recentFileMenu
```
RecentFileMenu recentFileMenu
```
    - frozen
```
boolean frozen
```
    - autoModeAction
```
AutoModeAction autoModeAction
```
      action for starting and stopping automatic mode
    - openFileAction
```
OpenFileAction openFileAction
```
      action for opening a KeY file
    - openExampleAction
```
OpenExampleAction openExampleAction
```
      action for opening an example
    - openMostRecentFileAction
```
OpenMostRecentFileAction openMostRecentFileAction
```
      action for opening the most recent KeY file
    - editMostRecentFileAction
```
EditMostRecentFileAction editMostRecentFileAction
```
      action for editing the most recent KeY file
    - saveFileAction
```
SaveFileAction saveFileAction
```
      action for saving a proof (attempt)
    - quickSaveAction
```
QuickSaveAction quickSaveAction
```
    - quickLoadAction
```
QuickLoadAction quickLoadAction
```
    - proofManagementAction
```
ProofManagementAction proofManagementAction
```
      action for opening the proof management dialog
    - loadUserDefinedTacletsAction
```
LemmaGenerationAction loadUserDefinedTacletsAction
```
      action for loading taclets onto a ongoing proof
    - loadUserDefinedTacletsForProvingAction
```
LemmaGenerationAction loadUserDefinedTacletsForProvingAction
```
    - loadKeYTaclets
```
LemmaGenerationAction loadKeYTaclets
```
    - lemmaGenerationBatchModeAction
```
LemmaGenerationBatchModeAction lemmaGenerationBatchModeAction
```
    - notificationManager
```
NotificationManager notificationManager
```
    - prefSaver
```
PreferenceSaver prefSaver
```
    - smtComponent
```
ComplexButton smtComponent
```
    - smtOptions
```
javax.swing.JMenu smtOptions
```
      The menu for the SMT solver options
    - exitMainAction
```
ExitMainAction exitMainAction
```
    - showActiveSettingsAction
```
ShowActiveSettingsAction showActiveSettingsAction
```
    - unicodeToggleAction
```
UnicodeToggleAction unicodeToggleAction
```
    - hidePackagePrefixToggleAction
```
HidePackagePrefixToggleAction hidePackagePrefixToggleAction
```
    - termLabelMenu
```
TermLabelMenu termLabelMenu
```
    - saveSMTFile
```
javax.swing.JCheckBoxMenuItem saveSMTFile
```
    - disableCurrentGoalView
```
boolean disableCurrentGoalView
```
      set to true if the view of the current goal should not be updated
- Class de.uka.ilkd.key.gui.MainWindowTabbedPane extends javax.swing.JTabbedPane implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - proofTreeView
```
ProofTreeView proofTreeView
```
      the current proof tree
- Class de.uka.ilkd.key.gui.MaxRuleAppSlider extends javax.swing.JSlider implements Serializable
  
  serialVersionUID:
  
  5810499328583797609L
  - Serialized Fields
    - text
```
java.lang.String text
```
    - mediator
```
KeYMediator mediator
```
- Class de.uka.ilkd.key.gui.ProofMacroMenu extends javax.swing.JMenu implements Serializable
  
  serialVersionUID:
  
  -5946657022043894399L
  - Serialized Fields
    - numberOfMacros
```
int numberOfMacros
```
      The number of defined macros.
- Class de.uka.ilkd.key.gui.ProofManagementDialog extends javax.swing.JDialog implements Serializable
  
  serialVersionUID:
  
  3543411893273433386L
  - Serialized Fields
    - startedProof
```
boolean startedProof
```
    - tabbedPane
```
javax.swing.JTabbedPane tabbedPane
```
    - targetIcons
```
java.util.Map<K,V> targetIcons
```
    - classTree
```
ClassTree classTree
```
    - proofList
```
javax.swing.JList<E> proofList
```
    - contractPanelByMethod
```
ContractSelectionPanel contractPanelByMethod
```
    - contractPanelByProof
```
ContractSelectionPanel contractPanelByProof
```
    - startButton
```
javax.swing.JButton startButton
```
    - cancelButton
```
javax.swing.JButton cancelButton
```
    - mediator
```
KeYMediator mediator
```
    - initConfig
```
InitConfig initConfig
```
    - env
```
ProofEnvironment env
```
- Class de.uka.ilkd.key.gui.SearchBar extends javax.swing.JPanel implements Serializable
  
  serialVersionUID:
  
  -4821960226273983607L
  - Serialized Fields
    - searchField
```
javax.swing.JTextField searchField
```
    - prev
```
javax.swing.JButton prev
```
    - next
```
javax.swing.JButton next
```
    - close
```
javax.swing.JButton close
```
    - ALLERT_COLOR
```
java.awt.Color ALLERT_COLOR
```
- Class de.uka.ilkd.key.gui.StrategySelectionView extends javax.swing.JPanel implements Serializable
  
  serialVersionUID:
  
  -267867794853527874L
  - Serialized Fields
    - mediator
```
KeYMediator mediator
```
      The KeYMediator which provides the active proof.
    - components
```
StrategySelectionView.StrategySelectionComponents components
```
      Allows access to shown UI controls generated according to StrategySelectionView.DEFINITION.
    - predefChanged
```
boolean predefChanged
```
      Stores whether a chosen predef setting has been changed; in this case, the default button should be activated again.
    - mediatorListener
```
KeYSelectionListener mediatorListener
```
      Observe changes on StrategySelectionView.mediator.
    - btnGo
```
javax.swing.JButton btnGo
```
- Class de.uka.ilkd.key.gui.TacletIfSelectionDialog extends javax.swing.JPanel implements Serializable
  
  serialVersionUID:
  
  -7456635942609535650L
  - Serialized Fields
    - ifPanel
```
javax.swing.JPanel ifPanel
```
    - model
```
TacletInstantiationModel model
```
    - owner
```
TacletMatchCompletionDialog owner
```
- Class de.uka.ilkd.key.gui.TacletMatchCompletionDialog extends ApplyTacletDialog implements Serializable
  
  serialVersionUID:
  
  5124050224007103908L
  - Serialized Fields
    - dataTable
```
TacletMatchCompletionDialog.DataTable[] dataTable
```
    - current
```
int current
```
    - alternatives
```
javax.swing.JTabbedPane alternatives
```
    - goal
```
Goal goal
```
      the goal the application of the rule has to be performed
    - tablePane
```
javax.swing.JScrollPane tablePane
```
    - mainWindow
```
MainWindow mainWindow
```
- Class de.uka.ilkd.key.gui.TaskTree extends javax.swing.JPanel implements Serializable
  
  serialVersionUID:
  
  -6084969108377936099L
  - Serialized Fields
    - delegateView
```
javax.swing.JTree delegateView
```
    - mediator
```
KeYMediator mediator
```
      the KeYMediator
    - mouseListener
```
java.awt.event.MouseListener mouseListener
```
      listener for mouse events of this gui component
    - proofTreeListener
```
ProofTreeListener proofTreeListener
```
      listener to the prof tree events
    - model
```
TaskTreeModel model
```
      the list model to be used
Package de.uka.ilkd.key.gui.actions
- Class de.uka.ilkd.key.gui.actions.AbandonTaskAction extends MainWindowAction implements Serializable
  
  serialVersionUID:
  
  915588190956945751L
- Class de.uka.ilkd.key.gui.actions.AboutAction extends MainWindowAction implements Serializable
  
  serialVersionUID:
  
  8240213594748334802L
- Class de.uka.ilkd.key.gui.actions.AutoModeAction extends MainWindowAction implements Serializable
  
  serialVersionUID:
  
  -7702898691162947994L
  - Serialized Fields
    - startLogo
```
javax.swing.Icon startLogo
```
    - stopLogo
```
javax.swing.Icon stopLogo
```
    - associatedProof
```
Proof associatedProof
```
    - ptl
```
ProofTreeListener ptl
```
- Class de.uka.ilkd.key.gui.actions.AutoSave extends MainWindowAction implements Serializable
  
  serialVersionUID:
  
  -2598146925208531491L
- Class de.uka.ilkd.key.gui.actions.CopyToClipboardAction extends MainWindowAction implements Serializable
  
  serialVersionUID:
  
  -6193181877353785015L
- Class de.uka.ilkd.key.gui.actions.CounterExampleAction extends MainWindowAction implements Serializable
- Class de.uka.ilkd.key.gui.actions.DecreaseFontSizeAction extends MainWindowAction implements Serializable
  
  serialVersionUID:
  
  8774824535047619737L
- Class de.uka.ilkd.key.gui.actions.EditMostRecentFileAction extends MainWindowAction implements Serializable
  
  serialVersionUID:
  
  -6214327707255790570L
- Class de.uka.ilkd.key.gui.actions.EditSourceFileAction extends javax.swing.AbstractAction implements Serializable
  
  serialVersionUID:
  
  -2540941448174197032L
  - Serialized Fields
    - parent
```
ExceptionDialog parent
```
    - exception
```
java.lang.Throwable exception
```
- Class de.uka.ilkd.key.gui.actions.ExitMainAction extends MainWindowAction implements Serializable
  
  serialVersionUID:
  
  5881706859613947592L
  - Serialized Fields
    - windowListener
```
java.awt.event.WindowListener windowListener
```
- Class de.uka.ilkd.key.gui.actions.GoalBackAction extends MainWindowAction implements Serializable
  
  serialVersionUID:
  
  4574670781882014062L
  - Serialized Fields
    - longName
```
boolean longName
```
      indicates if long names (including the name of the rule to undo) are displayed
- Class de.uka.ilkd.key.gui.actions.HeatmapSettingsAction extends MainWindowAction implements Serializable
  
  serialVersionUID:
  
  -6165100588113899099L
  - Serialized Fields
    - dialog
```
HeatmapOptionsDialog dialog
```
- Class de.uka.ilkd.key.gui.actions.HeatmapToggleAction extends MainWindowAction implements Serializable
  
  serialVersionUID:
  
  1L
- Class de.uka.ilkd.key.gui.actions.HidePackagePrefixToggleAction extends MainWindowAction implements Serializable
  
  serialVersionUID:
  
  3184733794964047845L
  - Serialized Fields
    - viewSettingsListener
```
SettingsListener viewSettingsListener
```
      Listens for changes on ProofIndependentSettings.DEFAULT_INSTANCE.getViewSettings().
      Such changes can occur in the Eclipse context when settings are changed in for instance the KeYIDE.
- Class de.uka.ilkd.key.gui.actions.IncreaseFontSizeAction extends MainWindowAction implements Serializable
  
  serialVersionUID:
  
  1670432514230642280L
- Class de.uka.ilkd.key.gui.actions.KeyAction extends javax.swing.AbstractAction implements Serializable
  
  serialVersionUID:
  
  3600716639751838717L
- Class de.uka.ilkd.key.gui.actions.KeYMenuCheckBox extends javax.swing.JCheckBoxMenuItem implements Serializable
  
  serialVersionUID:
  
  -4156054085757784178L
  - Serialized Fields
    - mainWindowAction
```
MainWindowAction mainWindowAction
```
- Class de.uka.ilkd.key.gui.actions.KeYProjectHomepageAction extends MainWindowAction implements Serializable
  
  serialVersionUID:
  
  8657661861116034536L
- Class de.uka.ilkd.key.gui.actions.LemmaGenerationAction extends MainWindowAction implements Serializable
  
  serialVersionUID:
  
  1L
- Class de.uka.ilkd.key.gui.actions.LemmaGenerationAction.ProveAndAddTaclets extends LemmaGenerationAction implements Serializable
  
  serialVersionUID:
  
  1L
- Class de.uka.ilkd.key.gui.actions.LemmaGenerationAction.ProveKeYTaclets extends LemmaGenerationAction implements Serializable
  
  serialVersionUID:
  
  1L
- Class de.uka.ilkd.key.gui.actions.LemmaGenerationAction.ProveUserDefinedTaclets extends LemmaGenerationAction implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - chooser
```
FileChooser chooser
```
- Class de.uka.ilkd.key.gui.actions.LemmaGenerationBatchModeAction extends MainWindowAction implements Serializable
  
  serialVersionUID:
  
  1L
- Class de.uka.ilkd.key.gui.actions.LicenseAction extends MainWindowAction implements Serializable
  
  serialVersionUID:
  
  -5859545563375095225L
- Class de.uka.ilkd.key.gui.actions.MacroKeyBinding extends javax.swing.AbstractAction implements Serializable
  - Serialized Fields
    - sequentView
```
SequentView sequentView
```
    - mediator
```
KeYMediator mediator
```
    - macro
```
ProofMacro macro
```
- Class de.uka.ilkd.key.gui.actions.MainWindowAction extends KeyAction implements Serializable
  
  serialVersionUID:
  
  -6611537258325987383L
  - Serialized Fields
    - mainWindow
```
MainWindow mainWindow
```
- Class de.uka.ilkd.key.gui.actions.MenuSendFeedackAction extends MainWindowAction implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - action
```
SendFeedbackAction action
```
      Re-using SendFeedbackAction from ExceptionDialog for this.
- Class de.uka.ilkd.key.gui.actions.MinimizeInteraction extends KeYMenuCheckBox implements Serializable
  
  serialVersionUID:
  
  -3381517803006651928L
  - Serialized Fields
    - mainWindow
```
MainWindow mainWindow
```
    - generalSettingsListener
```
SettingsListener generalSettingsListener
```
      Listens for changes on ProofIndependentSettings.DEFAULT_INSTANCE.getGeneralSettings().
      Such changes can occur in the Eclipse context when settings are changed in for instance the KeYIDE.
- Class de.uka.ilkd.key.gui.actions.OpenExampleAction extends MainWindowAction implements Serializable
  
  serialVersionUID:
  
  -7703620988220254791L
- Class de.uka.ilkd.key.gui.actions.OpenFileAction extends MainWindowAction implements Serializable
  
  serialVersionUID:
  
  -8548805965130100236L
- Class de.uka.ilkd.key.gui.actions.OpenMostRecentFileAction extends MainWindowAction implements Serializable
  
  serialVersionUID:
  
  4855372503837208313L
- Class de.uka.ilkd.key.gui.actions.PrettyPrintToggleAction extends MainWindowAction implements Serializable
  
  serialVersionUID:
  
  8633254204256247698L
  - Serialized Fields
    - viewSettingsListener
```
SettingsListener viewSettingsListener
```
      Listens for changes on ProofIndependentSettings.DEFAULT_INSTANCE.getViewSettings().
      Such changes can occur in the Eclipse context when settings are changed in for instance the KeYIDE.
- Class de.uka.ilkd.key.gui.actions.ProofManagementAction extends MainWindowAction implements Serializable
  
  serialVersionUID:
  
  7696620742992568551L
- Class de.uka.ilkd.key.gui.actions.ProofScriptAction extends javax.swing.AbstractAction implements Serializable
  - Serialized Fields
    - mediator
```
KeYMediator mediator
```
- Class de.uka.ilkd.key.gui.actions.PruneProofAction extends MainWindowAction implements Serializable
  
  serialVersionUID:
  
  9133317783386913373L
- Class de.uka.ilkd.key.gui.actions.QuickLoadAction extends MainWindowAction implements Serializable
  
  serialVersionUID:
  
  1398506722086997458L
- Class de.uka.ilkd.key.gui.actions.QuickSaveAction extends MainWindowAction implements Serializable
  
  serialVersionUID:
  
  8475988170848683884L
- Class de.uka.ilkd.key.gui.actions.RightMouseClickToggleAction extends MainWindowAction implements Serializable
  
  serialVersionUID:
  
  1299838459448346807L
- Class de.uka.ilkd.key.gui.actions.SaveFileAction extends MainWindowAction implements Serializable
  
  serialVersionUID:
  
  -5479654127272775831L
- Class de.uka.ilkd.key.gui.actions.SearchInProofTreeAction extends MainWindowAction implements Serializable
  
  serialVersionUID:
  
  -3317991560912504404L
- Class de.uka.ilkd.key.gui.actions.SearchInSequentAction extends MainWindowAction implements Serializable
  
  serialVersionUID:
  
  -9002009635814787502L
- Class de.uka.ilkd.key.gui.actions.SendFeedbackAction extends javax.swing.AbstractAction implements Serializable
  - Serialized Fields
    - items
```
SendFeedbackAction.SendFeedbackItem[] items
```
    - throwable
```
java.lang.Throwable throwable
```
    - parent
```
java.awt.Window parent
```
- Class de.uka.ilkd.key.gui.actions.SettingsTreeModel extends javax.swing.tree.DefaultTreeModel implements Serializable
  
  serialVersionUID:
  
  -3282304543262262159L
  - Serialized Fields
    - proofSettings
```
ProofSettings proofSettings
```
    - independentSettings
```
ProofIndependentSettings independentSettings
```
- Class de.uka.ilkd.key.gui.actions.ShowActiveSettingsAction extends MainWindowAction implements Serializable
  
  serialVersionUID:
  
  -3038735283059371442L
- Class de.uka.ilkd.key.gui.actions.ShowActiveTactletOptionsAction extends MainWindowAction implements Serializable
  
  serialVersionUID:
  
  -7012564698194718532L
- Class de.uka.ilkd.key.gui.actions.ShowKnownTypesAction extends MainWindowAction implements Serializable
  
  serialVersionUID:
  
  4368162229726580799L
- Class de.uka.ilkd.key.gui.actions.ShowProofStatistics extends MainWindowAction implements Serializable
  
  serialVersionUID:
  
  -8814798230037775905L
- Class de.uka.ilkd.key.gui.actions.ShowUsedContractsAction extends MainWindowAction implements Serializable
  
  serialVersionUID:
  
  2680058046414747256L
- Class de.uka.ilkd.key.gui.actions.SMTOptionsAction extends MainWindowAction implements Serializable
  
  serialVersionUID:
  
  1L
- Class de.uka.ilkd.key.gui.actions.SyntaxHighlightingToggleAction extends MainWindowAction implements Serializable
  
  serialVersionUID:
  
  6987252955535709994L
- Class de.uka.ilkd.key.gui.actions.SystemInfoAction extends MainWindowAction implements Serializable
  
  serialVersionUID:
  
  -4197309658998177157L
- Class de.uka.ilkd.key.gui.actions.TacletOptionsAction extends MainWindowAction implements Serializable
  
  serialVersionUID:
  
  -6813540362001480606L
- Class de.uka.ilkd.key.gui.actions.TermLabelMenu extends javax.swing.JMenu implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - visibleTermLabels
```
TermLabelVisibilityManager visibleTermLabels
```
    - checkBoxMap
```
java.util.Map<K,V> checkBoxMap
```
    - mainWindow
```
MainWindow mainWindow
```
    - displayLabelsCheckBox
```
TermLabelMenu.DisplayLabelsCheckBox displayLabelsCheckBox
```
    - termLabelVisibilityManagerListener
```
TermLabelVisibilityManagerListener termLabelVisibilityManagerListener
```
      Observes changes on TermLabelMenu.visibleTermLabels.
- Class de.uka.ilkd.key.gui.actions.TermLabelMenu.DisplayLabelsCheckBox extends KeYMenuCheckBox implements Serializable
  
  serialVersionUID:
  
  8766949321781919880L
- Class de.uka.ilkd.key.gui.actions.TestGenerationAction extends MainWindowAction implements Serializable
- Class de.uka.ilkd.key.gui.actions.ToggleConfirmExitAction extends MainWindowAction implements Serializable
  
  serialVersionUID:
  
  3453843972242689758L
- Class de.uka.ilkd.key.gui.actions.ToolTipOptionsAction extends MainWindowAction implements Serializable
  
  serialVersionUID:
  
  -360744615149278733L
- Class de.uka.ilkd.key.gui.actions.UnicodeToggleAction extends MainWindowAction implements Serializable
  - Serialized Fields
    - viewSettingsListener
```
SettingsListener viewSettingsListener
```
      Listens for changes on ProofIndependentSettings.DEFAULT_INSTANCE.getViewSettings().
      Such changes can occur in the Eclipse context when settings are changed in for instance the KeYIDE.
Package de.uka.ilkd.key.gui.configuration
- Class de.uka.ilkd.key.gui.configuration.ChoiceSelector extends javax.swing.JDialog implements Serializable
  
  serialVersionUID:
  
  -4470713015801365801L
  - Serialized Fields
    - settings
```
ChoiceSettings settings
```
    - category2DefaultChoice
```
java.util.HashMap<K,V> category2DefaultChoice
```
    - category2Choices
```
java.util.HashMap<K,V> category2Choices
```
    - changed
```
boolean changed
```
    - catList
```
javax.swing.JList<E> catList
```
      the JList with the categories of choices
    - choiceList
```
javax.swing.JList<E> choiceList
```
      the JList with the choices for one category
    - explanationArea
```
javax.swing.JTextArea explanationArea
```
- Class de.uka.ilkd.key.gui.configuration.ViewSelector extends javax.swing.JDialog implements Serializable
  
  serialVersionUID:
  
  5271280688046955444L
  - Serialized Fields
    - maxTooltipLinesInputField
```
javax.swing.JTextField maxTooltipLinesInputField
```
    - showWholeTacletCB
```
javax.swing.JCheckBox showWholeTacletCB
```
    - showUninstantiatedTacletCB
```
javax.swing.JCheckBox showUninstantiatedTacletCB
```

Package de.uka.ilkd.key.gui.interactionlog

Class de.uka.ilkd.key.gui.interactionlog.InteractionLogView extends javax.swing.JPanel implements Serializable

serialVersionUID:: 3556470808320035874L

Serialized Fields

recorder
```
InteractionRecorder recorder
```

actionExportProofScript

InteractionLogView.ExportMUScriptAction actionExportProofScript

actionKPSExport

InteractionLogView.ExportKPSAction actionKPSExport

actionSave

InteractionLogView.SaveAction actionSave

actionLoad

InteractionLogView.LoadAction actionLoad

actionAddUserNote

InteractionLogView.AddUserNoteAction actionAddUserNote

actionToggleFavourite

InteractionLogView.ToggleFavouriteAction actionToggleFavourite

actionJumpIntoTree

InteractionLogView.JumpIntoTreeAction actionJumpIntoTree

actionTryReapply

InteractionLogView.TryReapplyAction actionTryReapply

actionExportMarkdown

InteractionLogView.ExportMarkdownAction actionExportMarkdown

actionShowExtended

InteractionLogView.ShowExtendedActionsAction actionShowExtended

actionMUCopyClipboard

InteractionLogView.ExportMUScriptClipboardAction actionMUCopyClipboard

actionPauseLogging

InteractionLogView.PauseLoggingAction actionPauseLogging

listInteraction
```
javax.swing.JList<E> listInteraction
```

interactionLogSelection

javax.swing.JComboBox<E> interactionLogSelection

interactionListModel

javax.swing.DefaultListModel<E> interactionListModel

mediator
```
KeYMediator mediator
```
currentProof
```
Proof currentProof
```

keYSelectionListener

KeYSelectionListener keYSelectionListener

fileChooser
```
javax.swing.JFileChooser fileChooser
```

Package de.uka.ilkd.key.gui.interactionlog.model
- Class de.uka.ilkd.key.gui.interactionlog.model.AutoModeInteraction extends Interaction implements Serializable
  
  serialVersionUID:
  
  3650173956594987169L
  - Serialized Fields
    - info
```
ApplyStrategyInfo info
```
    - initialNodeIds
```
java.util.List<E> initialNodeIds
```
    - openGoalNodeIds
```
java.util.List<E> openGoalNodeIds
```
- Class de.uka.ilkd.key.gui.interactionlog.model.Interaction extends java.lang.Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - graphicalStyle
```
Interaction.InteractionGraphicStyle graphicalStyle
```
    - created
```
java.util.Date created
```
    - favoured
```
boolean favoured
```
- Class de.uka.ilkd.key.gui.interactionlog.model.InteractionLog extends java.lang.Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - proof
```
java.lang.ref.WeakReference<T> proof
```
    - name
```
java.lang.String name
```
    - created
```
java.util.Date created
```
    - interactions
```
java.util.List<E> interactions
```
- Class de.uka.ilkd.key.gui.interactionlog.model.MacroInteraction extends NodeInteraction implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - macroName
```
java.lang.String macroName
```
    - macro
```
ProofMacro macro
```
    - pos
```
PosInOccurrence pos
```
    - info
```
java.lang.String info
```
    - openGoalSerialNumbers
```
java.util.List<E> openGoalSerialNumbers
```
    - openGoalNodeIds
```
java.util.List<E> openGoalNodeIds
```
- Class de.uka.ilkd.key.gui.interactionlog.model.NodeIdentifier extends java.lang.Object implements Serializable
  
  serialVersionUID:
  
  7147788921672163642L
  - Serialized Fields
    - list
```
java.util.List<E> list
```
    - branchLabel
```
java.lang.String branchLabel
```
    - serialNr
```
int serialNr
```
- Class de.uka.ilkd.key.gui.interactionlog.model.NodeInteraction extends Interaction implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - nodeId
```
NodeIdentifier nodeId
```
- Class de.uka.ilkd.key.gui.interactionlog.model.PruneInteraction extends NodeInteraction implements Serializable
  
  serialVersionUID:
  
  1L
- Class de.uka.ilkd.key.gui.interactionlog.model.RuleInteraction extends NodeInteraction implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - ruleName
```
java.lang.String ruleName
```
    - posInOccurence
```
OccurenceIdentifier posInOccurence
```
    - arguments
```
java.util.HashMap<K,V> arguments
```
- Class de.uka.ilkd.key.gui.interactionlog.model.SettingChangeInteraction extends Interaction implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - message
```
java.lang.String message
```
    - savedSettings
```
java.util.Properties savedSettings
```
    - type
```
InteractionListener.SettingType type
```
- Class de.uka.ilkd.key.gui.interactionlog.model.UserNoteInteraction extends Interaction implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - note
```
java.lang.String note
```
Package de.uka.ilkd.key.gui.interactionlog.model.builtin
- Class de.uka.ilkd.key.gui.interactionlog.model.builtin.BuiltInRuleInteraction extends NodeInteraction implements Serializable
  
  serialVersionUID:
  
  -4704080776691885200L
  - Serialized Fields
    - ruleName
```
java.lang.String ruleName
```
- Class de.uka.ilkd.key.gui.interactionlog.model.builtin.ContractBuiltInRuleInteraction extends BuiltInRuleInteraction implements Serializable
  
  serialVersionUID:
  
  1L
- Class de.uka.ilkd.key.gui.interactionlog.model.builtin.LoopContractInternalBuiltInRuleInteraction extends BuiltInRuleInteraction implements Serializable
  
  serialVersionUID:
  
  1L
- Class de.uka.ilkd.key.gui.interactionlog.model.builtin.LoopInvariantBuiltInRuleInteraction extends BuiltInRuleInteraction implements Serializable
  
  serialVersionUID:
  
  1L
- Class de.uka.ilkd.key.gui.interactionlog.model.builtin.MergeRuleBuiltInRuleInteraction extends BuiltInRuleInteraction implements Serializable
  
  serialVersionUID:
  
  1L
- Class de.uka.ilkd.key.gui.interactionlog.model.builtin.OSSBuiltInRuleInteraction extends BuiltInRuleInteraction implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - occurenceIdentifier
```
OccurenceIdentifier occurenceIdentifier
```
    - nodeIdentifier
```
NodeIdentifier nodeIdentifier
```
- Class de.uka.ilkd.key.gui.interactionlog.model.builtin.SMTBuiltInRuleInteraction extends BuiltInRuleInteraction implements Serializable
  
  serialVersionUID:
  
  1L
- Class de.uka.ilkd.key.gui.interactionlog.model.builtin.UseDependencyContractBuiltInRuleInteraction extends BuiltInRuleInteraction implements Serializable
  
  serialVersionUID:
  
  1L
Package de.uka.ilkd.key.gui.join
- Class de.uka.ilkd.key.gui.join.JoinDialog extends StdDialog implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - content
```
JoinDialog.ContentPanel content
```
- Class de.uka.ilkd.key.gui.join.JoinMenuItem extends javax.swing.JMenuItem implements Serializable
  
  serialVersionUID:
  
  -2602116358650063634L
- Class de.uka.ilkd.key.gui.join.SequentViewer extends javax.swing.JTextPane implements Serializable
  
  serialVersionUID:
  
  1L

Package de.uka.ilkd.key.gui.lemmatagenerator

Class de.uka.ilkd.key.gui.lemmatagenerator.FileChooser extends javax.swing.JPanel implements Serializable

serialVersionUID:: 1L

Serialized Fields

axiomsList
```
javax.swing.JList<E> axiomsList
```
addAxiomFileButton
```
javax.swing.JButton addAxiomFileButton
```

removeAxiomFileButton

javax.swing.JButton removeAxiomFileButton

helpButton
```
javax.swing.JButton helpButton
```

lemmataFileChooser

FileChooser.SingleFileChooser lemmataFileChooser

axiomFilePanel
```
javax.swing.JPanel axiomFilePanel
```
buttonPanel
```
javax.swing.JPanel buttonPanel
```
scrollPane
```
javax.swing.JScrollPane scrollPane
```
fileChooser
```
KeYFileChooser fileChooser
```
helpWindow
```
javax.swing.JDialog helpWindow
```
okayButton
```
javax.swing.JButton okayButton
```
cancelButton
```
javax.swing.JButton cancelButton
```
lemmaCheckbox
```
javax.swing.JCheckBox lemmaCheckbox
```
closedByOkayButton
```
boolean closedByOkayButton
```

listModel

javax.swing.DefaultListModel<E> listModel

firstTimeAddingAxioms
```
boolean firstTimeAddingAxioms
```
mode
```
FileChooser.Mode mode
```
dialog
```
javax.swing.JDialog dialog
```
justificationPanel
```
javax.swing.JPanel justificationPanel
```
cardPanel
```
javax.swing.JPanel cardPanel
```

Class de.uka.ilkd.key.gui.lemmatagenerator.LemmaSelectionDialog extends javax.swing.JDialog implements Serializable

serialVersionUID:: 1L

Serialized Fields

okayButton
```
javax.swing.JButton okayButton
```
showSupported
```
javax.swing.JCheckBox showSupported
```
cancelButton
```
javax.swing.JButton cancelButton
```
buttonPanel
```
javax.swing.JPanel buttonPanel
```
contentPanel
```
javax.swing.JPanel contentPanel
```
tacletChooser
```
ItemChooser<T> tacletChooser
```

showOnlySupportedTaclets

ItemChooser.ItemFilter<T> showOnlySupportedTaclets

filterForMovingTaclets

ItemChooser.ItemFilter<T> filterForMovingTaclets

Package de.uka.ilkd.key.gui.mergerule
- Class de.uka.ilkd.key.gui.mergerule.MergePartnerSelectionDialog extends javax.swing.JDialog implements Serializable
  
  serialVersionUID:
  
  -1460097562546341922L
  - Serialized Fields
    - candidates
```
java.util.LinkedList<E> candidates
```
    - services
```
Services services
```
    - mergeGoalPio
```
Pair<T1,T2> mergeGoalPio
```
    - chosenGoals
```
java.util.SortedSet<E> chosenGoals
```
      The chosen goals.
    - chosenRule
```
MergeProcedure chosenRule
```
      The chosen merge method.
    - chosenDistForm
```
Term chosenDistForm
```
      The chosen distinguishing formula
    - txtPartner1
```
javax.swing.JEditorPane txtPartner1
```
    - txtPartner2
```
javax.swing.JEditorPane txtPartner2
```
    - cmbCandidates
```
javax.swing.JComboBox<E> cmbCandidates
```
    - cbSelectCandidate
```
javax.swing.JCheckBox cbSelectCandidate
```
    - bgMergeMethods
```
javax.swing.ButtonGroup bgMergeMethods
```
    - txtDistForm
```
javax.swing.JTextField txtDistForm
```
    - scrpPartner1
```
javax.swing.JScrollPane scrpPartner1
```
    - scrpPartner2
```
javax.swing.JScrollPane scrpPartner2
```
    - okButton
```
javax.swing.JButton okButton
```
    - chooseAllButton
```
javax.swing.JButton chooseAllButton
```
- Class de.uka.ilkd.key.gui.mergerule.MergeRuleMenuItem extends javax.swing.JMenuItem implements Serializable
  
  serialVersionUID:
  
  -8509570987542243690L
Package de.uka.ilkd.key.gui.mergerule.predicateabstraction
- Class de.uka.ilkd.key.gui.mergerule.predicateabstraction.AbstractionPredicatesChoiceDialog extends javax.swing.JDialog implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - goal
```
Goal goal
```
    - registeredPlaceholders
```
java.util.ArrayList<E> registeredPlaceholders
```
    - registeredPredicates
```
java.util.ArrayList<E> registeredPredicates
```
    - abstrPredicateChoices
```
java.util.ArrayList<E> abstrPredicateChoices
```
    - latticeType
```
java.lang.Class<T> latticeType
```
    - placeholdersProblemsListData
```
ObservableArrayList<E> placeholdersProblemsListData
```
    - abstrPredProblemsListData
```
ObservableArrayList<E> abstrPredProblemsListData
```
- Class de.uka.ilkd.key.gui.mergerule.predicateabstraction.ObservableArrayList extends java.util.ArrayList<E> implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - listeners
```
java.util.List<E> listeners
```
Package de.uka.ilkd.key.gui.nodeviews
- Class de.uka.ilkd.key.gui.nodeviews.CurrentGoalView extends SequentView implements Serializable
  
  serialVersionUID:
  
  8494000234215913553L
  - Serialized Fields
    - mediator
```
KeYMediator mediator
```
    - listener
```
CurrentGoalViewListener listener
```
    - dragSource
```
java.awt.dnd.DragSource dragSource
```
    - updateHighlights
```
java.util.LinkedList<E> updateHighlights
```
    - lastHighlightedCaretPos
```
int lastHighlightedCaretPos
```
- Class de.uka.ilkd.key.gui.nodeviews.EmptySequent extends SequentView implements Serializable
  
  serialVersionUID:
  
  7572244482555772604L
- Class de.uka.ilkd.key.gui.nodeviews.InnerNodeView extends SequentView implements Serializable
  
  serialVersionUID:
  
  -6542881446084654358L
  - Serialized Fields
    - posTable
```
InitialPositionTable posTable
```
    - tacletInfo
```
javax.swing.JTextArea tacletInfo
```
    - node
```
Node node
```
- Class de.uka.ilkd.key.gui.nodeviews.InsertHiddenTacletMenuItem extends InsertionTacletBrowserMenuItem implements Serializable
  
  serialVersionUID:
  
  -2221016383998349319L
- Class de.uka.ilkd.key.gui.nodeviews.InsertionTacletBrowserMenuItem extends javax.swing.JMenu implements Serializable
  
  serialVersionUID:
  
  1874640339950617746L
  - Serialized Fields
    - insertionTaclets
```
java.util.Collection<E> insertionTaclets
```
      all taclet apps the user can choose from
    - listenerList
```
java.util.List<E> listenerList
```
      the added action listeners
    - notInfo
```
NotationInfo notInfo
```
      the notation info to pretty print the taclet apps
    - parent
```
javax.swing.JFrame parent
```
      the parent frame of the selection dialog to be displayed
    - selectedTaclet
```
TacletApp selectedTaclet
```
      the selected taclet to be applied
    - services
```
Services services
```
      the services
    - baseTitle
```
java.lang.String baseTitle
```
      the base title; used title = basetitle + ( nrOfItems )
- Class de.uka.ilkd.key.gui.nodeviews.InsertSystemInvariantTacletMenuItem extends InsertionTacletBrowserMenuItem implements Serializable
  
  serialVersionUID:
  
  -4303059934911952345L
- Class de.uka.ilkd.key.gui.nodeviews.MainFrame extends javax.swing.JScrollPane implements Serializable
  
  serialVersionUID:
  
  513236416130998762L
  - Serialized Fields
    - mainWindow
```
MainWindow mainWindow
```
    - content
```
java.awt.Component content
```
- Class de.uka.ilkd.key.gui.nodeviews.MenuItemForTwoModeRules extends javax.swing.JMenu implements Serializable
  
  serialVersionUID:
  
  2183229438545523499L
  - Serialized Fields
    - rule
```
BuiltInRule rule
```
    - forcedMode
```
boolean forcedMode
```
    - listener
```
java.awt.event.ActionListener listener
```
- Class de.uka.ilkd.key.gui.nodeviews.SequentHideWarningBorder extends javax.swing.border.TitledBorder implements Serializable
  - Serialized Fields
    - sequentView
```
SequentView sequentView
```
      The component being shown
    - borderHeight
```
int borderHeight
```
      The height of the original border text
- Class de.uka.ilkd.key.gui.nodeviews.SequentView extends javax.swing.JEditorPane implements Serializable
  
  serialVersionUID:
  
  5012937393965787981L
  - Serialized Fields
    - mainWindow
```
MainWindow mainWindow
```
    - configChangeListener
```
ConfigChangeListener configChangeListener
```
    - filter
```
SequentPrintFilter filter
```
    - printer
```
SequentViewLogicPrinter printer
```
    - syntaxHighlighter
```
HTMLSyntaxHighlighter syntaxHighlighter
```
    - refreshHighlightning
```
boolean refreshHighlightning
```
    - defaultHighlight
```
java.lang.Object defaultHighlight
```
    - currentHighlight
```
java.lang.Object currentHighlight
```
    - additionalJavaHighlight
```
java.lang.Object additionalJavaHighlight
```
    - dndHighlight
```
java.lang.Object dndHighlight
```
    - color2Highlight
```
java.util.HashMap<K,V> color2Highlight
```
    - lastMousePosition
```
java.awt.Point lastMousePosition
```
      the last observed mouse position for which a highlight was created
- Class de.uka.ilkd.key.gui.nodeviews.SequentViewSearchBar extends SearchBar implements Serializable
  
  serialVersionUID:
  
  9102464983776181771L
  - Serialized Fields
    - searchResults
```
java.util.List<E> searchResults
```
    - resultIteratorPos
```
int resultIteratorPos
```
    - sequentView
```
SequentView sequentView
```
    - regExpCheckBox
```
javax.swing.JCheckBox regExpCheckBox
```
    - searchModeBox
```
javax.swing.JComboBox<E> searchModeBox
```
- Class de.uka.ilkd.key.gui.nodeviews.SimpleTacletSelectionMenu extends javax.swing.JMenu implements Serializable
  
  serialVersionUID:
  
  3027934580300468044L
- Class de.uka.ilkd.key.gui.nodeviews.TacletInfoToggle extends javax.swing.JCheckBox implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - innerNodeView
```
InnerNodeView innerNodeView
```
- Class de.uka.ilkd.key.gui.nodeviews.TacletMenu extends javax.swing.JMenu implements Serializable
  
  serialVersionUID:
  
  -4659105575090816693L
  - Serialized Fields
    - pos
```
PosInSequent pos
```
    - sequentView
```
CurrentGoalView sequentView
```
    - mediator
```
KeYMediator mediator
```
    - comp
```
TacletMenu.TacletAppComparator comp
```
Package de.uka.ilkd.key.gui.proofdiff
- Class de.uka.ilkd.key.gui.proofdiff.ProofDiffFrame extends javax.swing.JFrame implements Serializable
  
  serialVersionUID:
  
  -1593379776744771923L
  - Serialized Fields
    - textArea
```
javax.swing.JEditorPane textArea
```
      The text area display the diff'ed text.
    - from
```
javax.swing.JTextField from
```
      The textfield holding the lower comparison number.
    - to
```
javax.swing.JTextField to
```
      The textfield holding the upper comparison number.
    - mainWindow
```
MainWindow mainWindow
```
      The main window. This is how we access the Proof object.
- Class de.uka.ilkd.key.gui.proofdiff.ProofDiffFrame.Action extends MainWindowAction implements Serializable
  
  serialVersionUID:
  
  -1745515272350810787L
  - Serialized Fields
    - mainWindow
```
MainWindow mainWindow
```
Package de.uka.ilkd.key.gui.prooftree
- Class de.uka.ilkd.key.gui.prooftree.DisableGoal extends javax.swing.AbstractAction implements Serializable
  
  serialVersionUID:
  
  -1133807462591355414L
  - Serialized Fields
    - enableGoals
```
boolean enableGoals
```
      indicates whether this action enables or disables goals
- Class de.uka.ilkd.key.gui.prooftree.ExpansionState extends java.util.AbstractSet<javax.swing.tree.TreePath> implements Serializable
  
  serialVersionUID:
  
  -8276873816625710215L
  - Serialization Methods
    - readObject
```
private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException
```
      Throws:
      
      java.io.IOException
      
      java.lang.ClassNotFoundException
  - Serialized Fields
    - tree
```
javax.swing.JTree tree
```
    - paths
```
java.util.Set<E> paths
```
- Class de.uka.ilkd.key.gui.prooftree.ProofTreeView extends javax.swing.JPanel implements Serializable
  
  serialVersionUID:
  
  3732875161168302809L
  - Serialized Fields
    - tacletInfoToggle
```
TacletInfoToggle tacletInfoToggle
```
    - delegateView
```
javax.swing.JTree delegateView
```
      The JTree that is used for actual display and interaction
    - delegateModel
```
GUIProofTreeModel delegateModel
```
      the model that is displayed by the delegateView
    - mediator
```
KeYMediator mediator
```
      the mediator is stored here
    - models
```
java.util.WeakHashMap<K,V> models
```
    - proof
```
Proof proof
```
      the proof this view shows
    - expansionState
```
ExpansionState expansionState
```
      the expansion state of the proof tree
    - proofListener
```
ProofTreeView.GUIProofTreeProofListener proofListener
```
      listener
    - treeSelectionListener
```
ProofTreeView.GUITreeSelectionListener treeSelectionListener
```
    - guiListener
```
ProofTreeView.GUIProofTreeGUIListener guiListener
```
    - configChangeListener
```
ConfigChangeListener configChangeListener
```
    - modifiedSubtrees
```
ImmutableList<T> modifiedSubtrees
```
      Roots of subtrees containing all nodes to which rules have been applied; this is used when auto mode is active
    - modifiedSubtreesCache
```
java.util.HashSet<E> modifiedSubtreesCache
```
    - proofTreeSearchPanel
```
ProofTreeSearchBar proofTreeSearchPanel
```
      the search dialog
Package de.uka.ilkd.key.gui.smt
- Class de.uka.ilkd.key.gui.smt.ComplexButton.EmptyAction extends javax.swing.AbstractAction implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - text
```
java.lang.String text
```
    - toolTip
```
java.lang.String toolTip
```
- Class de.uka.ilkd.key.gui.smt.FileChooserPanel extends javax.swing.JPanel implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - saveToFileBox
```
javax.swing.JCheckBox saveToFileBox
```
    - folderField
```
javax.swing.JTextField folderField
```
    - chooseButton
```
javax.swing.JButton chooseButton
```
    - saveToFileExplanation
```
javax.swing.JTextArea saveToFileExplanation
```
    - listeners
```
java.util.LinkedList<E> listeners
```
- Class de.uka.ilkd.key.gui.smt.InformationWindow extends javax.swing.JDialog implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - tabbedPane
```
javax.swing.JTabbedPane tabbedPane
```
    - model
```
Model model
```
- Class de.uka.ilkd.key.gui.smt.OptionContentNode extends javax.swing.tree.DefaultMutableTreeNode implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - component
```
javax.swing.JComponent component
```
- Class de.uka.ilkd.key.gui.smt.ProgressDialog extends javax.swing.JDialog implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - table
```
ProgressTable table
```
    - applyButton
```
javax.swing.JButton applyButton
```
    - stopButton
```
javax.swing.JButton stopButton
```
    - scrollPane
```
javax.swing.JScrollPane scrollPane
```
    - progressBar
```
javax.swing.JProgressBar progressBar
```
    - statusMessages
```
ClickableMessageBox statusMessages
```
    - listener
```
ProgressDialog.ProgressDialogListener listener
```
    - modus
```
ProgressDialog.Modus modus
```
    - statusMessageBox
```
javax.swing.Box statusMessageBox
```
    - counterexample
```
boolean counterexample
```
- Class de.uka.ilkd.key.gui.smt.ProgressTable.ProgressPanel extends javax.swing.JPanel implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - progressBar
```
javax.swing.JProgressBar progressBar
```
    - infoButton
```
javax.swing.JButton infoButton
```
- Class de.uka.ilkd.key.gui.smt.SettingsDialog extends javax.swing.JDialog implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - optionTree
```
javax.swing.JTree optionTree
```
    - splitPane
```
javax.swing.JSplitPane splitPane
```
    - optionPanel
```
javax.swing.JPanel optionPanel
```
    - applyButton
```
javax.swing.JButton applyButton
```
    - okayButton
```
javax.swing.JButton okayButton
```
    - cancelButton
```
javax.swing.JButton cancelButton
```
    - listener
```
java.awt.event.ActionListener listener
```
    - buttonListener
```
java.awt.event.ActionListener buttonListener
```
- Class de.uka.ilkd.key.gui.smt.SMTMenuItem extends javax.swing.JMenuItem implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - solverUnion
```
SolverTypeCollection solverUnion
```
- Class de.uka.ilkd.key.gui.smt.SMTSettingsModel extends javax.swing.tree.DefaultTreeModel implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - solverOptions
```
java.util.LinkedList<E> solverOptions
```
    - startNode
```
OptionContentNode startNode
```
    - originalSettings
```
SMTSettings originalSettings
```
    - temporarySettings
```
SMTSettings temporarySettings
```
- Class de.uka.ilkd.key.gui.smt.TablePanel extends javax.swing.JPanel implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - infoText
```
javax.swing.JTextArea infoText
```
    - showInfo
```
boolean showInfo
```
Package de.uka.ilkd.key.gui.sourceview
- Class de.uka.ilkd.key.gui.sourceview.JavaDocument extends javax.swing.text.DefaultStyledDocument implements Serializable
  
  serialVersionUID:
  
  -1856296532743892931L
  - Serialized Fields
    - annotation
```
javax.swing.text.SimpleAttributeSet annotation
```
      the style of annotations
    - normal
```
javax.swing.text.SimpleAttributeSet normal
```
      default style
    - keyword
```
javax.swing.text.SimpleAttributeSet keyword
```
      the style of keywords
    - comment
```
javax.swing.text.SimpleAttributeSet comment
```
      the style of comments and line comments
    - javadoc
```
javax.swing.text.SimpleAttributeSet javadoc
```
      the style of JavaDoc
    - jml
```
javax.swing.text.SimpleAttributeSet jml
```
      the style of JML annotations
    - jmlkeyword
```
javax.swing.text.SimpleAttributeSet jmlkeyword
```
      the style of JML keywords
    - keywords
```
java.util.Set<E> keywords
```
      stores the keywords
    - jmlkeywords
```
java.util.Set<E> jmlkeywords
```
      stores the JML keywords
    - currentPos
```
int currentPos
```
      The current position of the parser in the inserted String.
    - tokenStart
```
int tokenStart
```
      The start index of the current token in the inserted String.
    - token
```
java.lang.String token
```
      The current token of the parser.
    - mode
```
JavaDocument.Mode mode
```
      Stores the mode in which the parser currently is.
    - state
```
JavaDocument.CommentState state
```
      Stores the current comment state of the parser to recognize comments/comment ends.
- Class de.uka.ilkd.key.gui.sourceview.SourceView extends javax.swing.JComponent implements Serializable
  
  serialVersionUID:
  
  -94424677425561025L
  - Serialized Fields
    - mainWindow
```
MainWindow mainWindow
```
      The main window of KeY (needed to get the mediator).
    - tabs
```
javax.swing.JTabbedPane tabs
```
      The container for the tabs containing source code.
    - textPanes
```
java.util.List<E> textPanes
```
      Stores the actual textPanes of the tabs. Needed for correct updates when font (size) changes.
    - sourceStatusBar
```
javax.swing.JLabel sourceStatusBar
```
      The status bar for displaying information about the current proof branch.
    - files
```
java.util.HashMap<K,V> files
```
      HashMap mapping filenames to files (of the current proof!).
    - hashes
```
java.util.HashMap<K,V> hashes
```
      HashMap mapping filenames to hashes of the content (files of the current proof!).
    - sources
```
java.util.HashMap<K,V> sources
```
      HashMap mapping filenames to content strings (files of the current proof!).
    - lines
```
java.util.LinkedList<E> lines
```
      Lines to highlight (contains all highlights of the current proof) and corresponding Nodes.
Package de.uka.ilkd.key.gui.testgen
- Class de.uka.ilkd.key.gui.testgen.TGInfoDialog extends javax.swing.JDialog implements Serializable
  - Serialized Fields
    - textArea
```
javax.swing.JTextArea textArea
```
    - stopButton
```
javax.swing.JButton stopButton
```
    - exitButton
```
javax.swing.JButton exitButton
```
    - startButton
```
javax.swing.JButton startButton
```
    - worker
```
TGWorker worker
```
Package de.uka.ilkd.key.gui.utilities
- Class de.uka.ilkd.key.gui.utilities.BracketMatchingTextArea extends javax.swing.JTextArea implements Serializable
  
  serialVersionUID:
  
  1649172317561172229L
  - Serialized Fields
    - theSameParensHighlight
```
java.lang.Object theSameParensHighlight
```
      The highlighter stores the highlights in an object which is used to denote the highlighting.
    - theDiffParensHighlight
```
java.lang.Object theDiffParensHighlight
```
      The highlighter stores the highlights in an object which is used to denote the highlighting.
- Class de.uka.ilkd.key.gui.utilities.CheckedUserInput extends javax.swing.JPanel implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - trafficLight
```
TrafficLight trafficLight
```
    - inputFieldForFormula
```
javax.swing.JTextPane inputFieldForFormula
```
    - infoBox
```
ClickableMessageBox infoBox
```
    - detailScrollPane
```
javax.swing.JScrollPane detailScrollPane
```
    - inspector
```
CheckedUserInput.CheckedUserInputInspector inspector
```
    - listeners
```
java.util.List<E> listeners
```
- Class de.uka.ilkd.key.gui.utilities.ClickableMessageBox extends javax.swing.JTextPane implements Serializable
  
  serialVersionUID:
  
  7588093268080119674L
  - Serialized Fields
    - items
```
java.util.ArrayList<E> items
```
    - listeners
```
java.util.LinkedList<E> listeners
```
    - kit
```
javax.swing.text.html.HTMLEditorKit kit
```
    - doc
```
javax.swing.text.html.HTMLDocument doc
```
- Class de.uka.ilkd.key.gui.utilities.StdDialog extends javax.swing.JDialog implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - helpButton
```
javax.swing.JButton helpButton
```
    - okayButton
```
javax.swing.JButton okayButton
```
    - cancelButton
```
javax.swing.JButton cancelButton
```
    - okayButtonHasBeenPressed
```
boolean okayButtonHasBeenPressed
```
    - cancelButtonHasBeenPressed
```
boolean cancelButtonHasBeenPressed
```
    - contentBox
```
javax.swing.Box contentBox
```
- Class de.uka.ilkd.key.gui.utilities.WrapLayout extends java.awt.FlowLayout implements Serializable
  
  serialVersionUID:
  
  1L
Package de.uka.ilkd.key.java
- Class de.uka.ilkd.key.java.ConvertException extends java.lang.RuntimeException implements Serializable
  
  serialVersionUID:
  
  7112945712992241455L
- Class de.uka.ilkd.key.java.ParseExceptionInFile extends ParseException implements Serializable
  - Serialized Fields
    - filename
```
java.lang.String filename
```
- Class de.uka.ilkd.key.java.PosConvertException extends ConvertException implements Serializable
  
  serialVersionUID:
  
  758453353495075586L
  - Serialized Fields
    - line
```
int line
```
      The line
    - column
```
int column
```
      The column
- Class de.uka.ilkd.key.java.UnknownJavaTypeException extends java.lang.RuntimeException implements Serializable
  
  serialVersionUID:
  
  3892695426311405161L
Package de.uka.ilkd.key.java.recoderext
- Class de.uka.ilkd.key.java.recoderext.CatchAllStatement extends JavaStatement implements Serializable
  
  serialVersionUID:
  
  -7826889550059322778L
  - Serialized Fields
    - astParent
```
StatementContainer astParent
```
    - body
```
StatementBlock body
```
    - param
```
VariableReference param
```
- Class de.uka.ilkd.key.java.recoderext.CatchSVWrapper extends Catch implements Serializable
  
  serialVersionUID:
  
  6288254708744002494L
  - Serialized Fields
    - sv
```
SchemaVariable sv
```
- Class de.uka.ilkd.key.java.recoderext.ContextStatementBlock extends StatementBlock implements Serializable
  
  serialVersionUID:
  
  -7812560435975572578L
  - Serialized Fields
    - ec
```
ExecutionContext ec
```
- Class de.uka.ilkd.key.java.recoderext.DLEmbeddedExpression extends EscapeExpression implements Serializable
  
  serialVersionUID:
  
  1210489918296848261L
- Class de.uka.ilkd.key.java.recoderext.EnumClassDeclaration extends ClassDeclaration implements Serializable
  
  serialVersionUID:
  
  -7075041929429297548L
  - Serialized Fields
    - enumConstants
```
java.util.List<E> enumConstants
```
      store the EnumConstantDeclarations here. NB: The AST-parent cannot be set to this because it is not a EnumDeclaration.

Package de.uka.ilkd.key.java.recoderext.adt

Class de.uka.ilkd.key.java.recoderext.adt.ADTPrefixConstruct extends Operator implements Serializable

serialVersionUID:

2903025447315816147L

Serialized Fields

suffix

ReferenceSuffix suffix

Class de.uka.ilkd.key.java.recoderext.adt.AllFields extends ADTPrefixConstruct implements Serializable

serialVersionUID:

3940415948467563540L

Class de.uka.ilkd.key.java.recoderext.adt.AllObjects extends ADTPrefixConstruct implements Serializable

serialVersionUID:

3940415948467542340L

Class de.uka.ilkd.key.java.recoderext.adt.EmptyMapLiteral extends Literal implements Serializable

serialVersionUID:

-4665241238978552904L

Class de.uka.ilkd.key.java.recoderext.adt.EmptySeqLiteral extends Literal implements Serializable

serialVersionUID:

7272271426600775146L

Class de.uka.ilkd.key.java.recoderext.adt.EmptySetLiteral extends Literal implements Serializable

serialVersionUID:

262935836224837458L

Class de.uka.ilkd.key.java.recoderext.adt.Intersect extends ADTPrefixConstruct implements Serializable

serialVersionUID:

8777658515734186914L

Class de.uka.ilkd.key.java.recoderext.adt.MethodSignature extends JavaNonTerminalProgramElement implements Serializable

serialVersionUID:

6966957683489654730L

Serialized Fields

methodName

Identifier methodName

paramTypes

ASTList<E extends SourceElement> paramTypes

Class de.uka.ilkd.key.java.recoderext.adt.RangeExpression extends Operator implements Serializable

serialVersionUID:

6404478656913511767L

Class de.uka.ilkd.key.java.recoderext.adt.SeqConcat extends ADTPrefixConstruct implements Serializable

serialVersionUID:

-5950638934821692317L

Class de.uka.ilkd.key.java.recoderext.adt.SeqGet extends ADTPrefixConstruct implements Serializable

serialVersionUID:

-421447886220796576L

Class de.uka.ilkd.key.java.recoderext.adt.SeqIndexOf extends Operator implements Serializable

serialVersionUID:

-6353396950660375581L

Class de.uka.ilkd.key.java.recoderext.adt.SeqLength extends Operator implements Serializable

serialVersionUID:

0L

Class de.uka.ilkd.key.java.recoderext.adt.SeqReverse extends ADTPrefixConstruct implements Serializable

serialVersionUID:

-4836079248155746383L

Class de.uka.ilkd.key.java.recoderext.adt.SeqSingleton extends ADTPrefixConstruct implements Serializable

serialVersionUID:

940102046205262465L

Class de.uka.ilkd.key.java.recoderext.adt.SeqSub extends ADTPrefixConstruct implements Serializable

serialVersionUID:

9034359926577584988L

Class de.uka.ilkd.key.java.recoderext.adt.SetMinus extends ADTPrefixConstruct implements Serializable

serialVersionUID:

-1824229344478712816L

Class de.uka.ilkd.key.java.recoderext.adt.SetUnion extends ADTPrefixConstruct implements Serializable

serialVersionUID:

-8425018389934762589L

Class de.uka.ilkd.key.java.recoderext.adt.Singleton extends ADTPrefixConstruct implements Serializable

serialVersionUID:

5549648259903299451L

Package de.uka.ilkd.key.java.recoderext.expression.literal

Class de.uka.ilkd.key.java.recoderext.expression.literal.RealLiteral extends Literal implements Serializable

serialVersionUID:

7138964492857394183L

Serialized Fields

value

java.lang.String value

Package de.uka.ilkd.key.logic

Class de.uka.ilkd.key.logic.Namespace extends java.lang.Object implements Serializable

serialVersionUID:

7510655524858729144L

Serialized Fields

parent

Namespace<E extends Named> parent

The fall-back namespace for symbols not present in this Namespace.

symbols

java.util.Map<K,V> symbols

The map that maps a name to a symbols of that name if it is defined in this Namespace.

sealed

boolean sealed

A namespace can be made immutable, this is called "sealing". This flag indicates whether this namespace has been sealed or not.

Class de.uka.ilkd.key.logic.TermCreationException extends java.lang.RuntimeException implements Serializable

serialVersionUID:

-7173044450561438150L

Package de.uka.ilkd.key.logic.label

Class de.uka.ilkd.key.logic.label.TermLabelException extends java.lang.Exception implements Serializable

Package de.uka.ilkd.key.logic.sort

Class de.uka.ilkd.key.logic.sort.GenericSupersortException extends java.lang.Exception implements Serializable

serialVersionUID:

-5897308261866997061L

Serialized Fields

illegalSort

Sort illegalSort

Package de.uka.ilkd.key.macros.scripts

Class de.uka.ilkd.key.macros.scripts.ScriptException extends java.lang.Exception implements Serializable

Serialized Fields

location

Location location

Package de.uka.ilkd.key.macros.scripts.meta

Class de.uka.ilkd.key.macros.scripts.meta.ArgumentRequiredException extends InjectionException implements Serializable

serialVersionUID:

-5868248545891789842L

Class de.uka.ilkd.key.macros.scripts.meta.ConversionException extends InjectionException implements Serializable

serialVersionUID:

-5720036164543586030L

Class de.uka.ilkd.key.macros.scripts.meta.InjectionException extends java.lang.Exception implements Serializable

serialVersionUID:

4922701573932568352L

Serialized Fields

argument

ProofScriptArgument<T> argument

Class de.uka.ilkd.key.macros.scripts.meta.InjectionReflectionException extends InjectionException implements Serializable

serialVersionUID:

-5062920998506967420L

Class de.uka.ilkd.key.macros.scripts.meta.NoSpecifiedConverterException extends InjectionException implements Serializable

serialVersionUID:

-4808272101189047873L

Package de.uka.ilkd.key.parser

Class de.uka.ilkd.key.parser.AmbigiousDeclException extends org.antlr.runtime.RecognitionException implements Serializable

serialVersionUID:

5836342271644427009L

Serialized Fields

filename

java.lang.String filename

ambigious_symbol

java.lang.String ambigious_symbol

t

antlr.Token t

Class de.uka.ilkd.key.parser.GenericSortException extends org.antlr.runtime.RecognitionException implements Serializable

serialVersionUID:

7887443025957191925L

Serialized Fields

cat

java.lang.String cat

filename

java.lang.String filename

sort

Sort sort

reason

java.lang.String reason

Class de.uka.ilkd.key.parser.InvalidFindException extends org.antlr.runtime.RecognitionException implements Serializable

serialVersionUID:

1699188390606912785L

Serialized Fields

description

java.lang.String description

filename

java.lang.String filename

Class de.uka.ilkd.key.parser.JavaParserException extends antlr.SemanticException implements Serializable

serialVersionUID:

3858933208298220420L

Serialized Fields

cat

java.lang.String cat

filename

java.lang.String filename

jb

java.lang.String jb

Class de.uka.ilkd.key.parser.KeYSemanticException extends org.antlr.runtime.RecognitionException implements Serializable

serialVersionUID:

-3341865050312925366L

Serialized Fields

cat

java.lang.String cat

filename

java.lang.String filename

Class de.uka.ilkd.key.parser.NotDeclException extends KeYSemanticException implements Serializable

Class de.uka.ilkd.key.parser.ParserException extends java.lang.Exception implements Serializable

serialVersionUID:

-5701137989453187397L

Serialized Fields

location

Location location

Class de.uka.ilkd.key.parser.UnfittingReplacewithException extends org.antlr.runtime.RecognitionException implements Serializable

serialVersionUID:

-497885048593588941L

Serialized Fields

description

java.lang.String description

filename

java.lang.String filename

Class de.uka.ilkd.key.parser.WarningException extends antlr.ANTLRException implements Serializable

serialVersionUID:

3421160418830554998L

Serialized Fields

errorStr

java.lang.String errorStr

Package de.uka.ilkd.key.parser.proofjava

Class de.uka.ilkd.key.parser.proofjava.ParseException extends java.lang.Exception implements Serializable

Serialized Fields

specialConstructor

boolean specialConstructor

This variable determines which constructor was used to create this object and thereby affects the semantics of the "getMessage" method (see below).

currentToken

Token currentToken

This is the last token that has been consumed successfully. If this object has been created due to a parse error, the token followng this token will (therefore) be the first error token.

expectedTokenSequences

int[][] expectedTokenSequences

Each entry in this array is an array of integers. Each array of integers represents a sequence of tokens (by their ordinal values) that is expected at this point of the parse.

tokenImage

java.lang.String[] tokenImage

This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred. This array is defined in the generated ...Constants interface.

eol

java.lang.String eol

The end of line string for this machine.

Class de.uka.ilkd.key.parser.proofjava.TokenMgrError extends java.lang.Error implements Serializable

Serialized Fields

errorCode

int errorCode

Indicates the reason why the exception is thrown. It will have one of the above 4 values.

Package de.uka.ilkd.key.parser.schemajava

Class de.uka.ilkd.key.parser.schemajava.ParseException extends java.lang.Exception implements Serializable

Serialized Fields

specialConstructor

boolean specialConstructor

This variable determines which constructor was used to create this object and thereby affects the semantics of the "getMessage" method (see below).

currentToken

Token currentToken

This is the last token that has been consumed successfully. If this object has been created due to a parse error, the token followng this token will (therefore) be the first error token.

expectedTokenSequences

int[][] expectedTokenSequences

Each entry in this array is an array of integers. Each array of integers represents a sequence of tokens (by their ordinal values) that is expected at this point of the parse.

tokenImage

java.lang.String[] tokenImage

This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred. This array is defined in the generated ...Constants interface.

eol

java.lang.String eol

The end of line string for this machine.

Class de.uka.ilkd.key.parser.schemajava.TokenMgrError extends java.lang.Error implements Serializable

Serialized Fields

errorCode

int errorCode

Indicates the reason why the exception is thrown. It will have one of the above 4 values.

Package de.uka.ilkd.key.pp

Class de.uka.ilkd.key.pp.AbbrevException extends java.lang.Exception implements Serializable

serialVersionUID:

7602628448672131434L

Serialized Fields

termused

boolean termused

Class de.uka.ilkd.key.pp.IllegalRegexException extends java.lang.Exception implements Serializable

serialVersionUID:

1113541L

Package de.uka.ilkd.key.proof

Class de.uka.ilkd.key.proof.BuiltInRuleIndex extends java.lang.Object implements Serializable

serialVersionUID:

-4399004272449882750L

Serialized Fields

rules

ImmutableList<T> rules

list of available built in rules

Class de.uka.ilkd.key.proof.IfMismatchException extends SVInstantiationException implements Serializable

serialVersionUID:

933425921270034135L

Class de.uka.ilkd.key.proof.MissingInstantiationException extends SVInstantiationExceptionWithPosition implements Serializable

serialVersionUID:

6424217152885699595L

Serialized Fields

toInstantiate

java.lang.String toInstantiate

Class de.uka.ilkd.key.proof.MissingSortException extends SVInstantiationExceptionWithPosition implements Serializable

serialVersionUID:

2491948230461429971L

Serialized Fields

toInstantiate

java.lang.String toInstantiate

Class de.uka.ilkd.key.proof.ModelEvent extends java.util.EventObject implements Serializable

serialVersionUID:

-4505191823576266011L

Class de.uka.ilkd.key.proof.SortMismatchException extends SVInstantiationExceptionWithPosition implements Serializable

serialVersionUID:

-5791743260310763761L

Serialized Fields

toInstantiate

java.lang.String toInstantiate

givenSort

Sort givenSort

Class de.uka.ilkd.key.proof.SVInstantiationException extends java.lang.Exception implements Serializable

serialVersionUID:

7716370813981234134L

Serialized Fields

description

java.lang.String description

Class de.uka.ilkd.key.proof.SVInstantiationExceptionWithPosition extends SVInstantiationException implements Serializable

serialVersionUID:

2157800633859913303L

Serialized Fields

row

int row

column

int column

inIfSequent

boolean inIfSequent

Class de.uka.ilkd.key.proof.SVInstantiationParserException extends SVInstantiationExceptionWithPosition implements Serializable

serialVersionUID:

4411508672178909020L

Serialized Fields

instantiation

java.lang.String instantiation

detail

java.lang.String detail

Class de.uka.ilkd.key.proof.SVRigidnessException extends SVInstantiationExceptionWithPosition implements Serializable

serialVersionUID:

-440942650851579438L

Serialized Fields

toInstantiate

java.lang.String toInstantiate

Package de.uka.ilkd.key.proof.event

Class de.uka.ilkd.key.proof.event.ProofDisposedEvent extends java.util.EventObject implements Serializable

serialVersionUID:

-1584989528889751997L

Package de.uka.ilkd.key.proof.init

Class de.uka.ilkd.key.proof.init.ProofInputException extends org.antlr.runtime.RecognitionException implements Serializable

Serialized Fields

message

java.lang.String message

Package de.uka.ilkd.key.proof.io

Class de.uka.ilkd.key.proof.io.ProblemLoaderException extends java.lang.Exception implements Serializable

serialVersionUID:

5683051720482052601L

Serialized Fields

origin

AbstractProblemLoader origin

Package de.uka.ilkd.key.proof.io.event

Class de.uka.ilkd.key.proof.io.event.ProofSaverEvent extends java.util.EventObject implements Serializable

serialVersionUID:

6000441441638546982L

Serialized Fields

filename

java.lang.String filename

The file name.

errorMsg

java.lang.String errorMsg

The error message.

Package de.uka.ilkd.key.proof.mgt

Class de.uka.ilkd.key.proof.mgt.BasicTask extends javax.swing.tree.DefaultMutableTreeNode implements Serializable

serialVersionUID:

-6490453248054760812L

Serialized Fields

proof

ProofAggregate proof

Class de.uka.ilkd.key.proof.mgt.EnvNode extends javax.swing.tree.DefaultMutableTreeNode implements Serializable

serialVersionUID:

5739765420005738444L

Serialized Fields

env

ProofEnvironment env

Class de.uka.ilkd.key.proof.mgt.ProofAggregateTask extends javax.swing.tree.DefaultMutableTreeNode implements Serializable

serialVersionUID:

2292876929382788414L

Serialized Fields

proofs

TaskTreeNode[] proofs

proofList

ProofAggregate proofList

descr

java.lang.String descr

Class de.uka.ilkd.key.proof.mgt.ProofEnvironmentEvent extends java.util.EventObject implements Serializable

serialVersionUID:

2846838426822302188L

Serialized Fields

po

ProofOblInput po

proofList

ProofAggregate proofList

Class de.uka.ilkd.key.proof.mgt.TaskTreeModel extends javax.swing.tree.DefaultTreeModel implements Serializable

serialVersionUID:

-4168248377205879699L

Serialized Fields

proofToTask

java.util.Map<K,V> proofToTask

Package de.uka.ilkd.key.rule

Class de.uka.ilkd.key.rule.OneStepSimplifier.Protocol extends java.util.ArrayList<RuleApp> implements Serializable

serialVersionUID:

8788009073806993077L

Class de.uka.ilkd.key.rule.RuleAbortException extends java.lang.Exception implements Serializable

serialVersionUID:

-645034125571021135L

Package de.uka.ilkd.key.rule.inst

Class de.uka.ilkd.key.rule.inst.GenericSortException extends SortException implements Serializable

serialVersionUID:

1372231759025588273L

Serialized Fields

conditions

ImmutableList<T> conditions

Class de.uka.ilkd.key.rule.inst.IllegalInstantiationException extends java.lang.RuntimeException implements Serializable

serialVersionUID:

-9139512430789901488L

Class de.uka.ilkd.key.rule.inst.ProgramSVEntry extends java.lang.Object implements Serializable

serialVersionUID:

-5837249343101979072L

Serialized Fields

key

SchemaVariable key

the SchemaVariable

value

JavaProgramElement value

the JavaProgramElement

Class de.uka.ilkd.key.rule.inst.RigidnessException extends IllegalInstantiationException implements Serializable

serialVersionUID:

1109354128591892703L

Class de.uka.ilkd.key.rule.inst.SortException extends IllegalInstantiationException implements Serializable

serialVersionUID:

-1659749880755516351L

Package de.uka.ilkd.key.rule.tacletbuilder

Class de.uka.ilkd.key.rule.tacletbuilder.TacletBuilder.TacletBuilderException extends java.lang.IllegalArgumentException implements Serializable

serialVersionUID:

-6710383705714015291L

Serialized Fields

tacletname

Name tacletname

errorMessage

java.lang.String errorMessage

Class de.uka.ilkd.key.rule.tacletbuilder.TacletPrefixBuilder.InvalidPrefixException extends java.lang.IllegalStateException implements Serializable

serialVersionUID:

5855187579027274363L

Package de.uka.ilkd.key.smt

Class de.uka.ilkd.key.smt.AccumulatedException extends java.lang.Throwable implements Serializable

serialVersionUID:

1L

Serialized Fields

exceptions

java.util.LinkedList<E> exceptions

Class de.uka.ilkd.key.smt.IllegalFormulaException extends java.lang.Exception implements Serializable

serialVersionUID:

1L

Class de.uka.ilkd.key.smt.IllegalNumberException extends java.lang.RuntimeException implements Serializable

serialVersionUID:

1L

Class de.uka.ilkd.key.smt.IllegalResultException extends java.lang.RuntimeException implements Serializable

serialVersionUID:

1L

Class de.uka.ilkd.key.smt.SMTTranslationException extends java.lang.Exception implements Serializable

serialVersionUID:

-2230789489767950432L

Class de.uka.ilkd.key.smt.SolverException extends java.lang.RuntimeException implements Serializable

serialVersionUID:

1L

Serialized Fields

solvers

java.util.Collection<E> solvers

Package de.uka.ilkd.key.speclang.translation

Class de.uka.ilkd.key.speclang.translation.SLTranslationException extends ProofInputException implements Serializable

serialVersionUID:

1L

Serialized Fields

fileName

java.lang.String fileName

pos

Position pos

Class de.uka.ilkd.key.speclang.translation.SLWarningException extends SLTranslationException implements Serializable

serialVersionUID:

699191378589840435L

Package de.uka.ilkd.key.strategy

Class de.uka.ilkd.key.strategy.StrategyProperties extends java.util.Properties implements Serializable

serialVersionUID:

-4647245742912258421L

Package de.uka.ilkd.key.symbolic_execution.util.event

Class de.uka.ilkd.key.symbolic_execution.util.event.SideProofStoreEvent extends java.util.EventObject implements Serializable

serialVersionUID:

8046460017292232070L

Serialized Fields

entries

SideProofStore.Entry[] entries

The added or removed SideProofStore.Entrys.

Package de.uka.ilkd.key.taclettranslation

Class de.uka.ilkd.key.taclettranslation.IllegalTacletException extends java.lang.RuntimeException implements Serializable

serialVersionUID:

1L

Package de.uka.ilkd.key.taclettranslation.assumptions

Class de.uka.ilkd.key.taclettranslation.assumptions.SupportedTaclets.TreeItem extends javax.swing.tree.DefaultMutableTreeNode implements Serializable

serialVersionUID:

1L

Serialized Fields

text

java.lang.String text

mode

SupportedTaclets.TreeItem.SelectionMode mode

selectedChildCount

int selectedChildCount

genericCount

int genericCount

category

SupportedTaclets.Category category

Package de.uka.ilkd.key.util

Class de.uka.ilkd.key.util.AssertionFailure extends java.lang.RuntimeException implements Serializable

serialVersionUID:

-235001842777133987L

Class de.uka.ilkd.key.util.CommandLineException extends java.lang.Exception implements Serializable

Class de.uka.ilkd.key.util.ExceptionHandlerException extends java.lang.RuntimeException implements Serializable

serialVersionUID:

4804191909840321109L

Class de.uka.ilkd.key.util.LinkedHashMap extends java.util.LinkedHashMap<K,V> implements Serializable

serialVersionUID:

4295774122581786871L

Class de.uka.ilkd.key.util.String8 extends java.lang.Object implements Serializable

serialVersionUID:

5370917742980374037L

Serialized Fields

value

byte[] value

Package de.uka.ilkd.key.util.pp

Class de.uka.ilkd.key.util.pp.UnbalancedBlocksException extends java.lang.IllegalStateException implements Serializable

serialVersionUID:

6975429107613832601L

Package org.key_project.util

Class org.key_project.util.ExtList extends java.util.LinkedList<java.lang.Object> implements Serializable

serialVersionUID:

9182017368310263908L

Class org.key_project.util.LRUCache extends java.util.LinkedHashMap<K,V> implements Serializable

serialVersionUID:

4962274836567079680L

Serialized Fields

maxEntries

int maxEntries

maximal cache size

Package org.key_project.util.collection

Class org.key_project.util.collection.DefaultImmutableMap extends java.lang.Object implements Serializable

serialVersionUID:

3268346732418187405L

Serialized Fields

parent

DefaultImmutableMap<S,T> parent

entry

ImmutableMapEntry<S,T> entry

list of pairs (key,value)

size

int size

Class org.key_project.util.collection.DefaultImmutableSet extends java.lang.Object implements Serializable

serialVersionUID:

-5000602574000532257L

Serialized Fields

elementList

ImmutableList<T> elementList

list containing the elements

Class org.key_project.util.collection.ImmutableArray extends java.lang.Object implements Serializable

serialVersionUID:

-9041545065066866250L

Serialized Fields

content

java.lang.Object[] content

Class org.key_project.util.collection.ImmutableLeftistHeap extends java.lang.Object implements Serializable

serialVersionUID:

-4035441830559680469L

Class org.key_project.util.collection.ImmutableSLList extends java.lang.Object implements Serializable

serialVersionUID:

8717813038177120287L

Class org.key_project.util.collection.NotUniqueException extends java.lang.Exception implements Serializable

serialVersionUID:

6565515240836947955L

Serialized Fields

offender

java.lang.Object offender

Package recoder.service

Class recoder.service.AmbiguousDeclarationException extends ModelException implements Serializable

serialVersionUID:

-412059506748522072L

Serialized Fields

declaration

Declaration declaration

conflictingElement

ProgramModelElement conflictingElement

Class recoder.service.AmbiguousImportException extends ModelException implements Serializable

serialVersionUID:

699763267768804228L

Serialized Fields

importStatement

Import importStatement

version1

ClassType version1

version2

ClassType version2

Class recoder.service.AmbiguousReferenceException extends ModelException implements Serializable

serialVersionUID:

1106306098306634107L

Serialized Fields

reference

Reference reference

choices

java.util.List<E> choices

Class recoder.service.AmbiguousStaticFieldImportException extends ModelException implements Serializable

serialVersionUID:

-2587328246662978766L

Serialized Fields

importStatement1

Import importStatement1

importStatement2

Import importStatement2

version1

Variable version1

version2

Variable version2

Class recoder.service.ChangeHistoryEvent extends java.util.EventObject implements Serializable

serialVersionUID:

-5303809748311641541L

Serialized Fields

changeList

java.util.List<E> changeList

Class recoder.service.CyclicInheritanceException extends ModelException implements Serializable

serialVersionUID:

-2917658612032872699L

Serialized Fields

baseClass

ClassType baseClass

Class recoder.service.IllegalChangeReportException extends java.lang.RuntimeException implements Serializable

serialVersionUID:

1930002520114622048L

Class recoder.service.IllegalModifierException extends ModelException implements Serializable

serialVersionUID:

-2930910039583684560L

Class recoder.service.MissingClassFileException extends ModelException implements Serializable

serialVersionUID:

3265837360603622631L

Serialized Fields

missingClass

java.lang.String missingClass

Class recoder.service.NoSuchTransformationException extends ModelException implements Serializable

serialVersionUID:

1118670095981879663L

Class recoder.service.TypeImportException extends ModelException implements Serializable

serialVersionUID:

7615714671292466231L

Class recoder.service.TypingException extends ModelException implements Serializable

serialVersionUID:

-1396794920221995373L

Serialized Fields

expression

Expression expression

Class recoder.service.UnresolvedReferenceException extends ModelException implements Serializable

serialVersionUID:

4926742139318960014L

Serialized Fields

programElement

ProgramElement programElement

Serialized Form

Package de.uka.ilkd.key.control.event

Class de.uka.ilkd.key.control.event.TermLabelVisibilityManagerEvent extends java.util.EventObject implements Serializable

Package de.uka.ilkd.key.control.instantiation_model

Class de.uka.ilkd.key.control.instantiation_model.TacletAssumesModel extends javax.swing.DefaultComboBoxModel<IfFormulaInstantiation> implements Serializable

Serialized Fields

manualInput

ifFma

nss

scm

services

Class de.uka.ilkd.key.control.instantiation_model.TacletFindModel extends javax.swing.table.AbstractTableModel implements Serializable

Serialized Fields

entries

originalApp

noEditRow

nss

services

scm

goal

varNamer

instantiationProposers

Package de.uka.ilkd.key.gui

Class de.uka.ilkd.key.gui.ApplyTacletDialog extends javax.swing.JDialog implements Serializable

Serialized Fields

cancelButton

applyButton

mediator

checkAfterEachInput

model

statusArea

Class de.uka.ilkd.key.gui.AuxiliaryContractConfigurator extends javax.swing.JDialog implements Serializable

Serialized Fields

contractPanel

okButton

cancelButton

successful

Class de.uka.ilkd.key.gui.AuxiliaryContractSelectionPanel extends javax.swing.JPanel implements Serializable

Serialized Fields

services

contractList

border

Class de.uka.ilkd.key.gui.BlockContractSelectionPanel extends AuxiliaryContractSelectionPanel<BlockContract> implements Serializable

Class de.uka.ilkd.key.gui.ClassSelectionDialog extends javax.swing.JDialog implements Serializable

Serialized Fields

successful

classList

Class de.uka.ilkd.key.gui.ClassTree extends javax.swing.JTree implements Serializable

Serialized Fields

targetIcons

services

Class de.uka.ilkd.key.gui.ContractConfigurator extends javax.swing.JDialog implements Serializable

Serialized Fields

contractPanel

okButton

cancelButton

successful

Class de.uka.ilkd.key.gui.ContractSelectionPanel extends javax.swing.JPanel implements Serializable

Serialized Fields

services

contractList

border

contracts

grayOutAuxiliaryContracts

Class de.uka.ilkd.key.gui.ExampleChooser extends javax.swing.JDialog implements Serializable

Serialized Fields

exampleList

loadButton

loadProofButton

cancelButton

tabPane

fileToLoad

selectedExample

Class de.uka.ilkd.key.gui.ExceptionDialog extends javax.swing.JDialog implements Serializable

Serialized Fields

stScroll

stTextArea

location

exception

Class de.uka.ilkd.key.gui.GoalList extends javax.swing.JList<Goal> implements Serializable