BasicBranchUnit |
This BranchUnit remembers the branch unit commands that are invoked on it.
|
BasicInvocationUnit |
This InvocationUnit sets up the variables for entering a method, and it updates the stack
for the invocation of a class member, using simple values.
|
ClassConstantValueFactory |
|
ConstantValueFactory |
This class creates Value instances that correspond to specified constant pool entries.
|
ExecutingInvocationUnit |
This InvocationUnit is capable of executing the invoked methods with particular values as
parameters.
|
ExecutingInvocationUnit.Builder |
|
InitializationFinder |
|
LivenessAnalyzer |
This AttributeVisitor analyzes the liveness of the variables in the code attributes that
it visits, based on partial evaluation.
|
MethodResult |
A class modeling the results of a method invocation.
|
MethodResult.Builder |
|
PartialEvaluator |
This AttributeVisitor performs partial evaluation on the code attributes that it visits.
|
PartialEvaluator.Builder |
|
PartialEvaluator.InstructionBlock |
This class represents an instruction block that has to be executed, starting with a given state
at a given instruction offset.
|
ParticularReferenceValueFactory |
|
Processor |
This InstructionVisitor executes the instructions that it visits on a given local
variable frame and stack.
|
ReferenceTracingInvocationUnit |
This InvocationUnit tags reference values of retrieved fields, passed method parameters,
method return values, and caught exceptions, so they can be traced throughout the execution of a
method.
|
ReferenceTracingValueFactory |
This ValueFactory tags newly created reference values so they can be traced throughout
the execution of a method.
|
SimplifiedInvocationUnit |
This InvocationUnit sets up the variables for entering a method, and it updates the stack
for the invocation of a class member, using simple values.
|
Stack |
This class represents an operand stack that contains Value instances.
|
TracedStack |
This Stack saves additional information with stack elements, to keep track of their
origins.
|
TracedVariables |
This Variables saves additional information with variables, to keep track of their
origins.
|
Variables |
This class represents a local variable frame that contains Value instances.
|