|
Class Summary |
| ByteSourceHandler |
The ByteSourceHandler provides routines to retrieve bytecode information
from Java binary class files. |
| CacheHandle |
Handle to a cache directory in the Sofya database. |
| Handler |
Abstract superclass for all handlers. |
| JVMStackReverser |
This class simulates the behavior of the Java stack for a sequence
of instructions executed in reverse order. |
| MethodSignature |
This class represents a full method signature including class name. |
| MethodSignature.NameComparator |
A utility comparator which orders method signatures. |
| ProgramUnit |
Encapsulates information about a set of classes constituting a portion
of a program. |
| ProjectDescription |
Utility class containing various constants, including the name of the
Sofya database directory. |
| ProtectedJarOutputStream |
Specialized JarOutputStream which disables the
close() method. |
| SConstants.BlockLabel |
Type-safe enumeration for block labels. |
| SConstants.BlockObjectType |
Type-safe class constant to represent basic blocks as the object
type for instrumentation and tracing. |
| SConstants.BlockSubType |
Type-safe enumeration for block subtypes |
| SConstants.BlockType |
Type-safe enumeration for block types. |
| SConstants.BranchObjectType |
Type-safe class constant to represent branch edges as the object
type for instrumentation and tracing. |
| SConstants.BranchType |
Type-safe enumeration for branch object types. |
| SConstants.EDObjectType |
Type-safe class constant to represent semantic events
as the object type for instrumentation and tracing. |
| SConstants.TraceObjectType |
Base class for type-safe class constants encoding the types of
program entities (trace objects) that can be instrumented and traced. |
| SourceHandler |
The SourceHandler provides routines to display Java source code files. |
| StreamRedirector |
Class which reads from an input stream and pipes the data to a
specified output stream. |
| Utility |
Defines general utility methods that belong to no class in particular. |