| Interface | Description |
|---|---|
| AliasAnalysis |
An analysis that maps each local and field to the set of locals and
fields that alias that value.
|
| Class | Description |
|---|---|
| CastAndInstanceofEliminator |
A transformer that remove unnecessary casts and instanceof checks.
|
| ClassWriter |
Write all of the application classes out to class files.
|
| Copernicus |
A Standalone application that generates code using the Ptolemy II code
generation system.
|
| DependedClasses |
Collect all the classes that a set of classes depends on.
|
| EntitySootClass |
An Soot representation of an Entity.
|
| FastForwardFlowAnalysis |
Abstract class that provides the fixed point iteration functionality
required by all ForwardFlowAnalyses.
|
| GeneratorAttribute |
This is an attribute that stores the configuration of a code generator.
|
| GrimpTransformer |
A Transformer that creates a GrimpBody from the active body.
|
| InvocationBinder |
Uses the Scene's currently-active InvokeGraph to statically bind monomorphic call sites.
|
| JimpleWriter |
A transformer that writes Jimple text.
|
| KernelMain |
Base class that provides common functionality to be used by various
code generators.
|
| KernelMain._IgnoreAllApplicationClasses | |
| LibraryUsageReporter |
A Transformer that reports reachable methods in the Java libraries.
|
| MakefileWriter |
A transformer that writes a makefile that can be used to run a model
that has been code generated.
|
| NullPointerAnalysis |
An analysis that can determine, at any point in the code, if
a local variable points to null.
|
| PtolemyUtilities |
This class consists of ptolemy-specific static utility methods for use
with Soot.
|
| SideEffectAnalysis |
An analysis that determines which methods in a given call graph
have no side effects.
|
| SideEffectFreeInvocationRemover |
Remove any calls to other methods from the given method that
have no side effects and whose return value is dead.
|
| SootUtilities |
This class consists of static utility methods for use with Soot
|
| TransformerAdapter |
An adapter that turns a body transformer into a scene transformer.
|
| UnusedFieldRemover |
A Transformer that removes any private fields from a class that are
never read.
|
| WatchDogTimer |
A transformer that calls System.exit() after a certain amount of time.
|