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 | Class and Description |
---|---|
private class |
Subroutines.SubroutineImpl
This inner class implements the Subroutine interface.
|
Modifier and Type | Field and Description |
---|---|
Subroutine |
Subroutines.TOPLEVEL
This is referring to a special subroutine, namely the
top level.
|
Modifier and Type | Method and 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.
|
Subroutine[] |
Subroutines.SubroutineImpl.subSubs() |
Modifier and Type | Method and Description |
---|---|
private void |
Subroutines.SubroutineImpl._getRecursivelyAccessedLocalsIndicesHelper(java.util.Set s,
Subroutine[] subs)
A recursive helper method for getRecursivelyAccessedLocalsIndices().
|
private void |
Subroutines.noRecursiveCalls(Subroutine sub,
java.util.Set set)
This (recursive) utility method makes sure that
no subroutine is calling a subroutine
that uses the same local variable for the RET as themselves
(recursively).
|