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 | Description |
---|---|---|
Subroutine |
Subroutines.TOPLEVEL |
This is referring to a special subroutine, namely the
top level.
|
Modifier and Type | Method | Description |
---|---|---|
Subroutine |
Subroutines.getSubroutine(InstructionHandle leader) |
Returns the Subroutine object associated with the given
leader (that is, the first instruction of the subroutine).
|
Subroutine |
Subroutines.getTopLevel() |
For easy handling, the piece of code that is not a
subroutine, the top-level, is also modeled as a Subroutine
object.
|
Subroutine |
Subroutines.subroutineOf(InstructionHandle any) |
Returns the subroutine object associated with the
given instruction.
|
Subroutine[] |
Subroutine.subSubs() |
Returns the subroutines that are directly called from this subroutine.
|