public final class StackVer
extends java.lang.Object
This PassVerifier verifies a method of class file according to pass 3, so-called structural verification as described in The Java Virtual Machine Specification, 2nd edition. More detailed information is to be found at the do_verify() method's documentation.
get_stack_types()| Constructor and Description |
|---|
StackVer()
This class should only be instantiated by a Verifier.
|
| Modifier and Type | Method and Description |
|---|---|
void |
addMessage(java.lang.String message)
This method adds a (warning) message to the message pool of this PassVerifier.
|
org.apache.bcel.verifier.VerificationResult |
do_stack_ver(org.apache.bcel.generic.MethodGen mg)
Implements the pass 3b data flow analysis as described in the Java Virtual Machine
Specification, Second Edition.
|
StackTypes |
get_stack_types()
Return the types on the stack at each byte code offset.
|
public StackVer()
Verifierpublic StackTypes get_stack_types()
public org.apache.bcel.verifier.VerificationResult do_stack_ver(org.apache.bcel.generic.MethodGen mg)
mg - MethodGen for the method to be verifiedPass2Verifier.getLocalVariablesInfo(int)public void addMessage(java.lang.String message)
message - the String containing the warning message