See: Description
| Interface | Description |
|---|---|
| DebugMBean |
This interface provides the class Debug with the possibility
to be administrated from within management tools such as
"jconsole".
|
| FileCollection |
This class encapsulates a collection of files which is arbitrarily organised.
|
| FileCollection.Walker |
A Walker allows to iterate (once and one way) through a FileCollection.
|
| KeYConstants | |
| PreferenceSaver.Saver<C extends java.awt.Component> |
Every Component class has its own Saver class.
|
| ProgressMonitor |
An interface to some progress reporting mechanism.
|
| Class | Description |
|---|---|
| AddAHead | |
| Assert |
Special assert statements intended for use with KeY.
|
| CommandLine |
A small framework to handle command lines.
|
| CommandLine.HelpElement |
Help elements are messages which can appear in usage pages, here: Options
and AdditionalHelpTexts.
|
| Debug | |
| DirectoryFileCollection |
This class is used to describe a directory structure as a repository for
files to read in.
|
| DirectoryFileCollection.Walker | |
| EnhancedStringBuffer |
StringBuffer with more functionality.
|
| ExceptionTools |
Various utility methods related to exceptions.
|
| InfFlowProgVarRenamer | |
| InfFlowSpec | |
| KeYRecoderExcHandler | |
| KeYResourceManager | |
| KeYTypeUtil |
Provides utility methods which makes it easier to analyze the type hierarchy
of
KeYJavaType instances with help of given Services. |
| LexicographicComparator<U> |
Compares arrays of comparable objects (e.g., Integer).
|
| LinkedHashMap<K,V> | |
| LinkedHashMap.PairIterator<K,V> | |
| MiscTools |
Collection of some common, stateless functionality.
|
| MiscTools.ReadPVCollector | |
| MiscTools.WrittenAndDeclaredPVCollector | |
| NodePreorderIterator |
Iterates preorder over the whole sub tree of a given
Node. |
| Pair<T1,T2> | |
| PreferenceSaver |
A simple utility which stores and loads user manipulatable properties of
swing components in the system's preferences.
|
| PreferenceSaver.AbstractButtonSaver | |
| PreferenceSaver.SplitPaneSaver |
Splitpanes store the location of the divider.
|
| PreferenceSaver.TabbedPaneSaver |
tabbed panes store the index of the selected pane.
|
| PreferenceSaver.WindowSaver |
Windows get their bounding box stored.
|
| ProgressMonitor.Empty |
A progress monitor that does nothing.
|
| ProofStarter |
This class encapsulates the registration of a proof for a given problem.
|
| ProofStarter.UserProvidedInput |
Proof obligation for a given formula or sequent
|
| ProofUserManager |
This singleton class is used to manage user of a
Proof to make
sure that a Proof is only disposed via Proof.dispose() if
it is no longer in use (no user available). |
| Quadruple<T1,T2,T3,T4> | |
| ReferenceLister |
Find out for a collection of Java files which referenced types are not defined
within the source directory.
|
| RefSolverServiceConfiguration | |
| SearchNodePreorderIterator |
Iterates reverse preorder over the whole tree starting at a given
Node. |
| SearchNodeReversePreorderIterator |
Iterates reverse preorder over the whole tree starting at a given
Node. |
| SideProofUtil | |
| SpecDataLocation | |
| String8 |
Re-implementation of String using only 8bit encoding
as compared to standard 16bit.
|
| ThreadUtilities | |
| TipOfTheDay | |
| Triple<T1,T2,T3> | |
| UnicodeHelper |
Contains commonly (at least in the context of KeY) used Unicode symbols.
|
| VersionStringComparator |
Compares Strings by integer values of 'dot' separated components.
|
| XMLResources |
An instance of this class loads several XML files, whose contents are
displayed in
InfoView. |
| ZipFileCollection |
Allows to iterate a zip file to return all matching entries
as InpuStreams.
|
| Exception | Description |
|---|---|
| AssertionFailure | |
| CommandLineException |
Exception used by
CommandLine. |
| ExceptionHandlerException |
This Exception is only thrown by the ExceptionHandler
|