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
|