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 OperandStack |
Frame.stack |
Modifier and Type | Method and Description |
---|---|
OperandStack |
OperandStack.getClone()
Returns a (typed!) clone of this.
|
OperandStack |
Frame.getStack() |
private OperandStack |
InstConstraintVisitor.stack()
The OperandStack we're working on.
|
private OperandStack |
ExecutionVisitor.stack()
The OperandStack from the current Frame we're operating on.
|
Modifier and Type | Method and Description |
---|---|
void |
OperandStack.merge(OperandStack s)
Merges another stack state into this instance's stack state.
|
Constructor and Description |
---|
Frame(LocalVariables locals,
OperandStack stack) |