java.lang.String manualInput
Term ifFma
NamespaceSet nss
AbbrevMap scm
Services services
java.util.ArrayList<E> entries
TacletApp originalApp
int noEditRow
NamespaceSet nss
Services services
AbbrevMap scm
Goal goal
VariableNamer varNamer
InstantiationProposerCollection instantiationProposers
javax.swing.JButton cancelButton
javax.swing.JButton applyButton
KeYMediator mediator
boolean checkAfterEachInput
TacletInstantiationModel[] model
javax.swing.JTextArea statusArea
AuxiliaryContractSelectionPanel<T extends AuxiliaryContract> contractPanel
javax.swing.JButton okButton
javax.swing.JButton cancelButton
boolean successful
Services services
javax.swing.JList<E> contractList
javax.swing.border.TitledBorder border
boolean successful
javax.swing.JList<E> classList
java.util.Map<K,V> targetIcons
Services services
ContractSelectionPanel contractPanel
javax.swing.JButton okButton
javax.swing.JButton cancelButton
boolean successful
Services services
javax.swing.JList<E> contractList
javax.swing.border.TitledBorder border
Contract[] contracts
boolean grayOutAuxiliaryContracts
Contract.isAuxiliary()
javax.swing.JTree exampleList
javax.swing.JButton loadButton
javax.swing.JButton loadProofButton
javax.swing.JButton cancelButton
javax.swing.JTabbedPane tabPane
java.io.File fileToLoad
null
if nothing to be loadedExampleChooser.Example selectedExample
null
if none selectedjavax.swing.JScrollPane stScroll
javax.swing.JTextArea stTextArea
Location location
java.lang.Throwable exception
GoalList.SelectingGoalListModel selectingListModel
GoalList.GoalListModel goalListModel
java.util.WeakHashMap<K,V> seqToString
KeYMediator mediator
GoalList.GoalListInteractiveListener interactiveListener
GoalList.GoalListSelectionListener selectionListener
GoalList.GoalListGUIListener guiListener
java.awt.Color frontColor
java.lang.String altName
java.lang.String description
InfoTree infoTree
InfoViewContentPane contentPane
XMLResources xmlResources
ProofDisposedListener proofDisposedListener
KeYSelectionListener selectionListener
Node lastShownGoalNode
MainWindow mainWindow
KeYMediator mediator
javax.swing.JTextArea description
SequentViewSearchBar sequentViewSearchBar
MainWindowTabbedPane mainWindowTabbedPane
javax.swing.JToolBar controlToolBar
javax.swing.JToolBar fileOpToolBar
MainFrame mainFrame
javax.swing.JComponent sourceView
CurrentGoalView currentGoalView
EmptySequent emptySequent
javax.swing.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
NotificationManager notificationManager
PreferenceSaver prefSaver
ComplexButton smtComponent
javax.swing.JMenu smtOptions
ExitMainAction exitMainAction
ShowActiveSettingsAction showActiveSettingsAction
UnicodeToggleAction unicodeToggleAction
HidePackagePrefixToggleAction hidePackagePrefixToggleAction
TermLabelMenu termLabelMenu
javax.swing.JCheckBoxMenuItem saveSMTFile
boolean disableCurrentGoalView
ProofTreeView proofTreeView
java.lang.String text
KeYMediator mediator
int numberOfMacros
boolean startedProof
javax.swing.JTabbedPane tabbedPane
java.util.Map<K,V> targetIcons
ClassTree classTree
javax.swing.JList<E> proofList
ContractSelectionPanel contractPanelByMethod
ContractSelectionPanel contractPanelByProof
javax.swing.JButton startButton
javax.swing.JButton cancelButton
KeYMediator mediator
InitConfig initConfig
ProofEnvironment env
javax.swing.JTextField searchField
javax.swing.JButton prev
javax.swing.JButton next
javax.swing.JButton close
java.awt.Color ALLERT_COLOR
KeYMediator mediator
KeYMediator
which provides the active proof.StrategySelectionView.StrategySelectionComponents components
StrategySelectionView.DEFINITION
.boolean predefChanged
KeYSelectionListener mediatorListener
StrategySelectionView.mediator
.javax.swing.JButton btnGo
javax.swing.JPanel ifPanel
TacletInstantiationModel model
TacletMatchCompletionDialog owner
TacletMatchCompletionDialog.DataTable[] dataTable
int current
javax.swing.JTabbedPane alternatives
Goal goal
javax.swing.JScrollPane tablePane
MainWindow mainWindow
javax.swing.JTree delegateView
KeYMediator mediator
java.awt.event.MouseListener mouseListener
ProofTreeListener proofTreeListener
TaskTreeModel model
javax.swing.Icon startLogo
javax.swing.Icon stopLogo
Proof associatedProof
ProofTreeListener ptl
ExceptionDialog parent
java.lang.Throwable exception
java.awt.event.WindowListener windowListener
boolean longName
HeatmapOptionsDialog dialog
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 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
java.lang.Throwable throwable
java.awt.Window parent
ProofSettings proofSettings
ProofIndependentSettings independentSettings
TermLabelVisibilityManager visibleTermLabels
java.util.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
java.util.HashMap<K,V> category2DefaultChoice
java.util.HashMap<K,V> category2Choices
boolean changed
javax.swing.JList<E> catList
javax.swing.JList<E> choiceList
javax.swing.JTextArea explanationArea
javax.swing.JTextField maxTooltipLinesInputField
javax.swing.JCheckBox showWholeTacletCB
javax.swing.JCheckBox showUninstantiatedTacletCB
InteractionRecorder recorder
InteractionLogView.ExportMUScriptAction actionExportProofScript
InteractionLogView.ExportKPSAction actionKPSExport
InteractionLogView.SaveAction actionSave
InteractionLogView.LoadAction actionLoad
InteractionLogView.AddUserNoteAction actionAddUserNote
InteractionLogView.ToggleFavouriteAction actionToggleFavourite
InteractionLogView.JumpIntoTreeAction actionJumpIntoTree
InteractionLogView.TryReapplyAction actionTryReapply
InteractionLogView.ExportMarkdownAction actionExportMarkdown
InteractionLogView.ShowExtendedActionsAction actionShowExtended
InteractionLogView.ExportMUScriptClipboardAction actionMUCopyClipboard
InteractionLogView.PauseLoggingAction actionPauseLogging
javax.swing.JList<E> listInteraction
javax.swing.JComboBox<E> interactionLogSelection
javax.swing.DefaultListModel<E> interactionListModel
KeYMediator mediator
Proof currentProof
KeYSelectionListener keYSelectionListener
javax.swing.JFileChooser fileChooser
ApplyStrategyInfo info
java.util.List<E> initialNodeIds
java.util.List<E> openGoalNodeIds
Interaction.InteractionGraphicStyle graphicalStyle
java.util.Date created
boolean favoured
java.lang.ref.WeakReference<T> proof
java.lang.String name
java.util.Date created
java.util.List<E> interactions
java.lang.String macroName
ProofMacro macro
PosInOccurrence pos
java.lang.String info
java.util.List<E> openGoalSerialNumbers
java.util.List<E> openGoalNodeIds
java.util.List<E> list
java.lang.String branchLabel
int serialNr
NodeIdentifier nodeId
java.lang.String ruleName
OccurenceIdentifier posInOccurence
java.util.HashMap<K,V> arguments
java.lang.String message
java.util.Properties savedSettings
InteractionListener.SettingType type
java.lang.String note
java.lang.String ruleName
OccurenceIdentifier occurenceIdentifier
NodeIdentifier nodeIdentifier
JoinDialog.ContentPanel content
javax.swing.JList<E> axiomsList
javax.swing.JButton addAxiomFileButton
javax.swing.JButton removeAxiomFileButton
javax.swing.JButton helpButton
FileChooser.SingleFileChooser lemmataFileChooser
javax.swing.JPanel axiomFilePanel
javax.swing.JPanel buttonPanel
javax.swing.JScrollPane scrollPane
KeYFileChooser fileChooser
javax.swing.JDialog helpWindow
javax.swing.JButton okayButton
javax.swing.JButton cancelButton
javax.swing.JCheckBox lemmaCheckbox
boolean closedByOkayButton
javax.swing.DefaultListModel<E> listModel
boolean firstTimeAddingAxioms
FileChooser.Mode mode
javax.swing.JDialog dialog
javax.swing.JPanel justificationPanel
javax.swing.JPanel cardPanel
javax.swing.JButton okayButton
javax.swing.JCheckBox showSupported
javax.swing.JButton cancelButton
javax.swing.JPanel buttonPanel
javax.swing.JPanel contentPanel
ItemChooser<T> tacletChooser
ItemChooser.ItemFilter<T> showOnlySupportedTaclets
ItemChooser.ItemFilter<T> filterForMovingTaclets
java.util.LinkedList<E> candidates
Services services
Pair<T1,T2> mergeGoalPio
java.util.SortedSet<E> chosenGoals
MergeProcedure chosenRule
Term chosenDistForm
javax.swing.JEditorPane txtPartner1
javax.swing.JEditorPane txtPartner2
javax.swing.JComboBox<E> cmbCandidates
javax.swing.JCheckBox cbSelectCandidate
javax.swing.ButtonGroup bgMergeMethods
javax.swing.JTextField txtDistForm
javax.swing.JScrollPane scrpPartner1
javax.swing.JScrollPane scrpPartner2
javax.swing.JButton okButton
javax.swing.JButton chooseAllButton
Goal goal
java.util.ArrayList<E> registeredPlaceholders
java.util.ArrayList<E> registeredPredicates
java.util.ArrayList<E> abstrPredicateChoices
java.lang.Class<T> latticeType
ObservableArrayList<E> placeholdersProblemsListData
ObservableArrayList<E> abstrPredProblemsListData
java.util.List<E> listeners
KeYMediator mediator
CurrentGoalViewListener listener
java.awt.dnd.DragSource dragSource
java.util.LinkedList<E> updateHighlights
int lastHighlightedCaretPos
InitialPositionTable posTable
javax.swing.JTextArea tacletInfo
Node node
java.util.Collection<E> insertionTaclets
java.util.List<E> listenerList
NotationInfo notInfo
javax.swing.JFrame parent
TacletApp selectedTaclet
Services services
java.lang.String baseTitle
MainWindow mainWindow
java.awt.Component content
BuiltInRule rule
boolean forcedMode
java.awt.event.ActionListener listener
SequentView sequentView
int borderHeight
MainWindow mainWindow
ConfigChangeListener configChangeListener
SequentPrintFilter filter
SequentViewLogicPrinter printer
HTMLSyntaxHighlighter syntaxHighlighter
boolean refreshHighlightning
java.lang.Object defaultHighlight
java.lang.Object currentHighlight
java.lang.Object additionalJavaHighlight
java.lang.Object dndHighlight
java.util.HashMap<K,V> color2Highlight
java.awt.Point lastMousePosition
java.util.List<E> searchResults
int resultIteratorPos
SequentView sequentView
javax.swing.JCheckBox regExpCheckBox
javax.swing.JComboBox<E> searchModeBox
InnerNodeView innerNodeView
PosInSequent pos
CurrentGoalView sequentView
KeYMediator mediator
TacletMenu.TacletAppComparator comp
javax.swing.JEditorPane textArea
javax.swing.JTextField from
javax.swing.JTextField to
MainWindow mainWindow
Proof
object.MainWindow mainWindow
boolean enableGoals
private void readObject(java.io.ObjectInputStream in) throws java.io.IOException, java.lang.ClassNotFoundException
java.io.IOException
java.lang.ClassNotFoundException
javax.swing.JTree tree
java.util.Set<E> paths
TacletInfoToggle tacletInfoToggle
javax.swing.JTree delegateView
GUIProofTreeModel delegateModel
KeYMediator mediator
java.util.WeakHashMap<K,V> models
Proof proof
ExpansionState expansionState
ProofTreeView.GUIProofTreeProofListener proofListener
ProofTreeView.GUITreeSelectionListener treeSelectionListener
ProofTreeView.GUIProofTreeGUIListener guiListener
ConfigChangeListener configChangeListener
ImmutableList<T> modifiedSubtrees
java.util.HashSet<E> modifiedSubtreesCache
ProofTreeSearchBar proofTreeSearchPanel
java.lang.String text
java.lang.String toolTip
javax.swing.JCheckBox saveToFileBox
javax.swing.JTextField folderField
javax.swing.JButton chooseButton
javax.swing.JTextArea saveToFileExplanation
java.util.LinkedList<E> listeners
javax.swing.JTabbedPane tabbedPane
Model model
javax.swing.JComponent component
ProgressTable table
javax.swing.JButton applyButton
javax.swing.JButton stopButton
javax.swing.JScrollPane scrollPane
javax.swing.JProgressBar progressBar
ClickableMessageBox statusMessages
ProgressDialog.ProgressDialogListener listener
ProgressDialog.Modus modus
javax.swing.Box statusMessageBox
boolean counterexample
javax.swing.JProgressBar progressBar
javax.swing.JButton infoButton
javax.swing.JTree optionTree
javax.swing.JSplitPane splitPane
javax.swing.JPanel optionPanel
javax.swing.JButton applyButton
javax.swing.JButton okayButton
javax.swing.JButton cancelButton
java.awt.event.ActionListener listener
java.awt.event.ActionListener buttonListener
SolverTypeCollection solverUnion
java.util.LinkedList<E> solverOptions
OptionContentNode startNode
SMTSettings originalSettings
SMTSettings temporarySettings
javax.swing.JTextArea infoText
boolean showInfo
javax.swing.text.SimpleAttributeSet annotation
javax.swing.text.SimpleAttributeSet normal
javax.swing.text.SimpleAttributeSet keyword
javax.swing.text.SimpleAttributeSet comment
javax.swing.text.SimpleAttributeSet javadoc
javax.swing.text.SimpleAttributeSet jml
javax.swing.text.SimpleAttributeSet jmlkeyword
java.util.Set<E> keywords
java.util.Set<E> jmlkeywords
int currentPos
int tokenStart
java.lang.String token
JavaDocument.Mode mode
JavaDocument.CommentState state
MainWindow mainWindow
javax.swing.JTabbedPane tabs
java.util.List<E> textPanes
javax.swing.JLabel sourceStatusBar
java.util.HashMap<K,V> files
java.util.HashMap<K,V> hashes
java.util.HashMap<K,V> sources
java.util.LinkedList<E> lines
javax.swing.JTextArea textArea
javax.swing.JButton stopButton
javax.swing.JButton exitButton
javax.swing.JButton startButton
TGWorker worker
java.lang.Object theSameParensHighlight
java.lang.Object theDiffParensHighlight
TrafficLight trafficLight
javax.swing.JTextPane inputFieldForFormula
ClickableMessageBox infoBox
javax.swing.JScrollPane detailScrollPane
CheckedUserInput.CheckedUserInputInspector inspector
java.util.List<E> listeners
java.util.ArrayList<E> items
java.util.LinkedList<E> listeners
javax.swing.text.html.HTMLEditorKit kit
javax.swing.text.html.HTMLDocument doc
javax.swing.JButton helpButton
javax.swing.JButton okayButton
javax.swing.JButton cancelButton
boolean okayButtonHasBeenPressed
boolean cancelButtonHasBeenPressed
javax.swing.Box contentBox
java.lang.String filename
int line
int column
StatementContainer astParent
StatementBlock body
VariableReference param
SchemaVariable sv
ExecutionContext ec
java.util.List<E> enumConstants
java.lang.String functionName
SchemaVariable sv
NonTerminalProgramElement astParent
TypeReference classContext
MethodSignature methodContext
ReferencePrefix runtimeInstance
SchemaVariable sv
ReferenceSuffix suff
StatementContainer statementParent
SchemaVariable sv
Expression indexPV
Statement body
StatementContainer astParent
PositionedString mergeProc
PositionedString mergeParams
Expression indexPV
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
java.lang.String mapEscape
Statement child
java.lang.String name
java.util.List<E> sv
Expression child
java.lang.String name
Expression child
java.lang.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
int type
SchemaVariable sv
ReferenceSuffix suffix
Identifier methodName
ASTList<E extends SourceElement> paramTypes
java.lang.String value
Namespace<E extends Named> parent
java.util.Map<K,V> symbols
boolean sealed
Sort illegalSort
Location location
ProofScriptArgument<T> argument
java.lang.String filename
java.lang.String ambigious_symbol
antlr.Token t
java.lang.String cat
java.lang.String filename
Sort sort
java.lang.String reason
java.lang.String description
java.lang.String filename
java.lang.String cat
java.lang.String filename
java.lang.String jb
java.lang.String cat
java.lang.String filename
Location location
java.lang.String description
java.lang.String filename
java.lang.String errorStr
boolean specialConstructor
Token currentToken
int[][] expectedTokenSequences
java.lang.String[] tokenImage
java.lang.String eol
int errorCode
boolean specialConstructor
Token currentToken
int[][] expectedTokenSequences
java.lang.String[] tokenImage
java.lang.String eol
int errorCode
boolean termused
ImmutableList<T> rules
java.lang.String toInstantiate
java.lang.String toInstantiate
java.lang.String toInstantiate
Sort givenSort
java.lang.String description
int row
int column
boolean inIfSequent
java.lang.String instantiation
java.lang.String detail
java.lang.String toInstantiate
java.lang.String message
AbstractProblemLoader origin
java.lang.String filename
java.lang.String errorMsg
ProofAggregate proof
ProofEnvironment env
TaskTreeNode[] proofs
ProofAggregate proofList
java.lang.String descr
ProofOblInput po
ProofAggregate proofList
java.util.Map<K,V> proofToTask
ImmutableList<T> conditions
SchemaVariable key
JavaProgramElement value
Name tacletname
java.lang.String errorMessage
java.util.LinkedList<E> exceptions
java.util.Collection<E> solvers
java.lang.String fileName
Position pos
SideProofStore.Entry[] entries
SideProofStore.Entry
s.java.lang.String text
SupportedTaclets.TreeItem.SelectionMode mode
int selectedChildCount
int genericCount
SupportedTaclets.Category category
byte[] value
int maxEntries
DefaultImmutableMap<S,T> parent
ImmutableMapEntry<S,T> entry
int size
ImmutableList<T> elementList
java.lang.Object[] content
java.lang.Object offender
Declaration declaration
ProgramModelElement conflictingElement
Reference reference
java.util.List<E> choices
java.util.List<E> changeList
ClassType baseClass
java.lang.String missingClass
Expression expression
ProgramElement programElement