String manualInput
Term ifFma
NamespaceSet nss
AbbrevMap scm
Services services
ArrayList<E> entries
TacletApp originalApp
int noEditRow
NamespaceSet nss
Services services
AbbrevMap scm
Goal goal
VariableNamer varNamer
InstantiationProposerCollection instantiationProposers
JButton cancelButton
JButton applyButton
KeYMediator mediator
boolean checkAfterEachInput
TacletInstantiationModel[] model
JTextArea statusArea
BlockContractSelectionPanel contractPanel
JButton okButton
JButton cancelButton
boolean successful
Services services
JList<E> contractList
TitledBorder border
ContractSelectionPanel contractPanel
JButton okButton
JButton cancelButton
boolean successful
Services services
JList<E> contractList
TitledBorder border
JTree exampleList
JButton loadButton
JButton loadProofButton
JButton cancelButton
JTabbedPane tabPane
File fileToLoad
null
if nothing to be loadedExampleChooser.Example selectedExample
null
if none selectedJScrollPane stScroll
JTextArea stTextArea
Location location
Throwable exception
KeYMediator mediator
GoalList.SelectingGoalListModel selectingListModel
GoalList.GoalListModel goalListModel
GoalList.GoalListInteractiveListener interactiveListener
GoalList.GoalListSelectionListener selectionListener
GoalList.GoalListGUIListener guiListener
WeakHashMap<K,V> seqToString
Color frontColor
Node lastShownGoalNode
InfoTree infoTree
InfoViewContentPane contentPane
MainWindow mainWindow
XMLResources xmlResources
ProofDisposedListener proofDisposedListener
JTextArea description
SequentViewSearchBar sequentViewSearchBar
MainWindowTabbedPane mainWindowTabbedPane
JToolBar controlToolBar
JToolBar fileOpToolBar
MainFrame mainFrame
CurrentGoalView currentGoalView
EmptySequent emptySequent
JScrollPane proofListView
TaskTree proofList
KeYMediator mediator
WindowUserInterfaceControl userInterface
MainStatusLine statusLine
MainWindow.MainProofListener proofListener
RecentFileMenu recentFileMenu
boolean frozen
AutoModeAction autoModeAction
OpenFileAction openFileAction
OpenExampleAction openExampleAction
OpenMostRecentFileAction openMostRecentFileAction
EditMostRecentFileAction editMostRecentFileAction
SaveFileAction saveFileAction
QuickSaveAction quickSaveAction
QuickLoadAction quickLoadAction
ProofManagementAction proofManagementAction
LemmaGenerationAction loadUserDefinedTacletsAction
LemmaGenerationAction loadUserDefinedTacletsForProvingAction
LemmaGenerationAction loadKeYTaclets
LemmaGenerationBatchModeAction lemmaGenerationBatchModeAction
OneStepSimplificationToggleAction oneStepSimplAction
NotificationManager notificationManager
PreferenceSaver prefSaver
ComplexButton smtComponent
JMenu smtOptions
ExitMainAction exitMainAction
ShowActiveSettingsAction showActiveSettingsAction
UnicodeToggleAction unicodeToggleAction
HidePackagePrefixToggleAction hidePackagePrefixToggleAction
TermLabelMenu termLabelMenu
JCheckBoxMenuItem saveSMTFile
boolean disableCurrentGoalView
ProofTreeView proofTreeView
JScrollPane openGoalsView
StrategySelectionView strategySelectionView
InfoView infoView
String text
KeYMediator mediator
boolean startedProof
JTabbedPane tabbedPane
Map<K,V> targetIcons
ClassTree classTree
JList<E> proofList
ContractSelectionPanel contractPanelByMethod
ContractSelectionPanel contractPanelByProof
JButton startButton
JButton cancelButton
KeYMediator mediator
InitConfig initConfig
ProofEnvironment env
JTextField searchField
JButton prev
JButton next
JButton close
Color ALLERT_COLOR
KeYSelectionListener mediatorListener
StrategySelectionView.mediator
.KeYMediator mediator
KeYMediator
which provides the active proof.StrategySelectionView.StrategySelectionComponents components
StrategySelectionView.DEFINITION
.boolean predefChanged
JPanel ifPanel
TacletInstantiationModel model
TacletMatchCompletionDialog owner
TacletMatchCompletionDialog.DataTable[] dataTable
int current
JTabbedPane alternatives
Goal goal
JScrollPane tablePane
MainWindow mainWindow
JTree delegateView
KeYMediator mediator
MouseListener mouseListener
ProofTreeListener proofTreeListener
TaskTreeModel model
Icon startLogo
Icon stopLogo
Proof associatedProof
ProofTreeListener ptl
ExceptionDialog parent
Throwable exception
WindowListener windowListener
FontSizeAction.Mode mode
SettingsListener viewSettingsListener
ProofIndependentSettings.DEFAULT_INSTANCE.getViewSettings()
.
Such changes can occur in the Eclipse context when settings are changed in for instance the KeYIDE.
MainWindowAction mainWindowAction
FileChooser chooser
SequentView sequentView
KeYMediator mediator
ProofMacro macro
MainWindow mainWindow
SendFeedbackAction action
SendFeedbackAction
from ExceptionDialog
for this.MainWindow mainWindow
SettingsListener generalSettingsListener
ProofIndependentSettings.DEFAULT_INSTANCE.getGeneralSettings()
.
Such changes can occur in the Eclipse context when settings are changed in for instance the KeYIDE.
SettingsListener generalSettingsListener
ProofIndependentSettings.DEFAULT_INSTANCE.getGeneralSettings()
.
Such changes can occur in the Eclipse context when settings are changed in for instance the KeYIDE.
SettingsListener viewSettingsListener
ProofIndependentSettings.DEFAULT_INSTANCE.getViewSettings()
.
Such changes can occur in the Eclipse context when settings are changed in for instance the KeYIDE.
KeYMediator mediator
SendFeedbackAction.SendFeedbackItem[] items
Throwable throwable
Window parent
TermLabelVisibilityManager visibleTermLabels
Map<K,V> checkBoxMap
MainWindow mainWindow
TermLabelMenu.DisplayLabelsCheckBox displayLabelsCheckBox
TermLabelVisibilityManagerListener termLabelVisibilityManagerListener
TermLabelMenu.visibleTermLabels
.SettingsListener viewSettingsListener
ProofIndependentSettings.DEFAULT_INSTANCE.getViewSettings()
.
Such changes can occur in the Eclipse context when settings are changed in for instance the KeYIDE.
ChoiceSettings settings
HashMap<K,V> category2DefaultChoice
HashMap<K,V> category2Choices
boolean changed
JList<E> catList
JList<E> choiceList
JTextArea explanationArea
JTextField maxTooltipLinesInputField
JCheckBox showWholeTacletCB
JCheckBox showUninstantiatedTacletCB
JoinDialog.ContentPanel content
LinkedList<E> candidates
Services services
Pair<T1,T2> joinGoalPio
SortedSet<E> chosenGoals
JoinProcedure chosenRule
Term chosenDistForm
JEditorPane txtPartner1
JEditorPane txtPartner2
JComboBox<E> cmbCandidates
JCheckBox cbSelectCandidate
ButtonGroup bgJoinMethods
JTextField txtDistForm
JScrollPane scrpPartner1
JScrollPane scrpPartner2
JButton okButton
JButton chooseAllButton
JList<E> axiomsList
JButton addAxiomFileButton
JButton removeAxiomFileButton
JButton helpButton
FileChooser.SingleFileChooser lemmataFileChooser
JPanel axiomFilePanel
JPanel buttonPanel
JScrollPane scrollPane
KeYFileChooser fileChooser
JDialog helpWindow
JButton okayButton
JButton cancelButton
JCheckBox lemmaCheckbox
boolean closedByOkayButton
DefaultListModel<E> listModel
boolean firstTimeAddingAxioms
FileChooser.Mode mode
JDialog dialog
JPanel justificationPanel
JPanel cardPanel
JButton okayButton
JCheckBox showSupported
JButton cancelButton
JPanel buttonPanel
JPanel contentPanel
ItemChooser<T> tacletChooser
ItemChooser.ItemFilter<T> showOnlySupportedTaclets
ItemChooser.ItemFilter<T> filterForMovingTaclets
KeYMediator mediator
CurrentGoalViewListener listener
DragSource dragSource
LinkedList<E> updateHighlights
int lastHighlightedCaretPos
InitialPositionTable posTable
JTextArea tacletInfo
Node node
Collection<E> insertionTaclets
List<E> listenerList
NotationInfo notInfo
JFrame parent
TacletApp selectedTaclet
Services services
String baseTitle
MainWindow mainWindow
Component content
BuiltInRule rule
boolean forcedMode
ActionListener listener
MainWindow mainWindow
ConfigChangeListener configChangeListener
SequentPrintFilter filter
SequentViewLogicPrinter printer
HTMLSyntaxHighlighter syntaxHighlighter
boolean refreshHighlightning
Object defaultHighlight
Object currentHighlight
Object additionalJavaHighlight
Object dndHighlight
HashMap<K,V> color2Highlight
Point lastMousePosition
List<E> searchResults
int resultIteratorPos
SequentView sequentView
JCheckBox regExpCheckBox
InnerNodeView innerNodeView
PosInSequent pos
CurrentGoalView sequentView
KeYMediator mediator
TacletMenu.TacletAppComparator comp
JEditorPane textArea
JTextField from
JTextField to
MainWindow mainWindow
Proof
object.MainWindow mainWindow
private void readObject(ObjectInputStream in) throws IOException, ClassNotFoundException
IOException
ClassNotFoundException
KeYMediator mediator
JTree delegateView
GUIProofTreeModel delegateModel
WeakHashMap<K,V> models
Proof proof
ExpansionState expansionState
ProofTreeView.GUIProofTreeProofListener proofListener
ProofTreeView.GUITreeSelectionListener treeSelectionListener
ProofTreeView.GUIProofTreeGUIListener guiListener
ConfigChangeListener configChangeListener
ImmutableList<T> modifiedSubtrees
HashSet<E> modifiedSubtreesCache
ProofTreeSearchBar proofTreeSearchPanel
TacletInfoToggle tacletInfoToggle
JCheckBox saveToFileBox
JTextField folderField
JButton chooseButton
JTextArea saveToFileExplanation
LinkedList<E> listeners
boolean isDirectoryOnly
JTabbedPane tabbedPane
Model model
ProgressTable table
JButton applyButton
JButton stopButton
JScrollPane scrollPane
JProgressBar progressBar
ClickableMessageBox statusMessages
ProgressDialog.ProgressDialogListener listener
ProgressDialog.Modus modus
Box statusMessageBox
boolean counterexample
JProgressBar progressBar
JButton infoButton
JTree optionTree
JSplitPane splitPane
JPanel optionPanel
JButton applyButton
JButton okayButton
JButton cancelButton
ActionListener listener
ActionListener buttonListener
SolverTypeCollection solverUnion
LinkedList<E> solverOptions
OptionContentNode startNode
SMTSettings originalSettings
SMTSettings temporarySettings
JTextArea infoText
boolean showInfo
TrafficLight trafficLight
JTextPane inputFieldForFormula
ClickableMessageBox infoBox
JScrollPane detailScrollPane
CheckedUserInput.CheckedUserInputInspector inspector
List<E> listeners
ArrayList<E> items
LinkedList<E> listeners
HTMLEditorKit kit
HTMLDocument doc
String filename
StatementContainer astParent
StatementBlock body
VariableReference param
SchemaVariable sv
ExecutionContext ec
String functionName
SchemaVariable sv
NonTerminalProgramElement astParent
TypeReference classContext
MethodSignature methodContext
ReferencePrefix runtimeInstance
SchemaVariable sv
ReferenceSuffix suff
StatementContainer statementParent
SchemaVariable sv
StatementContainer astParent
TypeReference bodySource
Expression resultVar
Identifier methodName
ReferencePrefix methodReferencePrefix
ASTList<E extends SourceElement> arguments
Expression resultVar
ExecutionContext ec
Statement body
SchemaVariable method
Identifier scope
Identifier scope
SchemaVariable sv
String mapEscape
Expression child
String name
Expression child
String myname
TypeReference bodySource
ProgramVariableSVWrapper resultVar
ReferencePrefix methodReferencePrefix
Identifier methodName
ASTList<E extends SourceElement> arguments
ProgramVariableSVWrapper resultVar
ExecutionContext ecsvw
Statement body
TypeReference typeRef
ReferencePrefix myprefix
StatementContainer statementParent
SchemaVariable sv
SchemaVariable sv
ReferenceSuffix suffix
Identifier methodName
ASTList<E extends SourceElement> paramTypes
String value
String value
Namespace parent
HashMap<K,V> symbols
Named localSym
Namespace.symbols
is only initialized when there is more than one
symbol in this namespace. Otherwise, localSym
contains
that symbol.int numLocalSyms
symbols.size()
because symbols might be null if
there is only one symbol in this Namespace.HashMap<K,V> protocol
Sort illegalSort
Location location
Location location
String errorStr
boolean specialConstructor
Token currentToken
int[][] expectedTokenSequences
String[] tokenImage
String eol
boolean specialConstructor
Token currentToken
int[][] expectedTokenSequences
String[] tokenImage
String eol
ImmutableList<T> rules
String toInstantiate
String toInstantiate
String description
String toInstantiate
String message
AbstractProblemLoader origin
ProofAggregate proof
ProofEnvironment env
TaskTreeNode[] proofs
ProofAggregate proofList
String descr
ProofOblInput po
ProofAggregate proofList
ImmutableList<T> conditions
SchemaVariable key
JavaProgramElement value
LinkedList<E> exceptions
Collection<E> solvers
SideProofStore.Entry[] entries
SideProofStore.Entry
s.String text
SupportedTaclets.TreeItem.SelectionMode mode
int selectedChildCount
int genericCount
SupportedTaclets.Category category
DefaultImmutableMap<S,T> parent
ImmutableMapEntry<S,T> entry
int size
ImmutableList<T> elementList
Object[] content
Object offender
Declaration declaration
ProgramModelElement conflictingElement
ClassType baseClass
String missingClass
Expression expression
ProgramElement programElement