Package | Description |
---|---|
org.apache.bcel.verifier.exc |
Exception classes used by JustIce, mostly used internally.
|
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 |
---|---|
class |
LinkingConstraintException
Instances of this class are thrown by BCEL's class file verifier "JustIce" when
a class file to verify does not pass the verification pass 3 because of a violation
of a constraint that is usually only verified at run-time (pass 4).
|
Modifier and Type | Method and Description |
---|---|
private void |
ControlFlowGraph.InstructionContextImpl.extendMessageWithFlow(StructuralCodeConstraintException e)
Extends the StructuralCodeConstraintException ("e") object with an at-the-end-extended message.
|