Package | Description |
---|---|
org.apache.bcel.verifier.structurals |
Provides a PassVerifier class mostly used internally by JustIce, yielding a control flow graph for public use as
a nice side effect.
|
Modifier and Type | Field and Description |
---|---|
private LocalVariables |
Frame.locals |
Modifier and Type | Method and Description |
---|---|
LocalVariables |
LocalVariables.getClone()
Returns a (correctly typed) clone of this object.
|
LocalVariables |
Frame.getLocals() |
private LocalVariables |
ExecutionVisitor.locals()
The LocalVariables from the current Frame we're operating on.
|
private LocalVariables |
InstConstraintVisitor.locals()
The LocalVariables we're working on.
|
Modifier and Type | Method and Description |
---|---|
void |
LocalVariables.merge(LocalVariables lv)
Merges two local variables sets as described in the Java Virtual Machine Specification,
Second Edition, section 4.9.2, page 146.
|
private void |
LocalVariables.merge(LocalVariables lv,
int i)
Merges a single local variable.
|
Constructor and Description |
---|
Frame(LocalVariables locals,
OperandStack stack) |