org.apache.bcel.verifier
Class Verifier
public
class
Verifier
extends Object
A Verifier instance is there to verify a class file according to The Java Virtual
Machine Specification, 2nd Edition.
Pass-3b-verification includes pass-3a-verification;
pass-3a-verification includes pass-2-verification;
pass-2-verification includes pass-1-verification.
A Verifier creates PassVerifier instances to perform the actual verification.
Verifier instances are usually generated by the VerifierFactory.
See Also: VerifierFactory PassVerifier
Method Summary |
VerificationResult | doPass1() Returns the VerificationResult for the given pass. |
VerificationResult | doPass2() Returns the VerificationResult for the given pass. |
VerificationResult | doPass3a(int method_no) Returns the VerificationResult for the given pass. |
VerificationResult | doPass3b(int method_no) Returns the VerificationResult for the given pass. |
void | flush()
Forget everything known about the class file; that means, really
start a new verification of a possibly different class file from
BCEL's repository.
|
String | getClassName()
Returns the name of the class this verifier operates on.
|
String[] | getMessages()
This returns all the (warning) messages collected during verification.
|
static void | main(String[] args)
Verifies class files.
|
Returns the VerificationResult for the given pass.
Returns the VerificationResult for the given pass.
Returns the VerificationResult for the given pass.
Returns the VerificationResult for the given pass.
public void flush()
Forget everything known about the class file; that means, really
start a new verification of a possibly different class file from
BCEL's repository.
public final String getClassName()
Returns the name of the class this verifier operates on.
This is particularly interesting when this verifier was created
recursively by another Verifier and you got a reference to this
Verifier by the getVerifiers() method of the VerifierFactory.
See Also: VerifierFactory
public String[] getMessages()
This returns all the (warning) messages collected during verification.
A prefix shows from which verifying pass a message originates.
public static void main(String[] args)
Verifies class files.
This is a simple demonstration of how the API of BCEL's
class file verifier "JustIce" may be used.
You should supply command-line arguments which are
fully qualified namea of the classes to verify. These class files
must be somewhere in your CLASSPATH (refer to Sun's
documentation for questions about this) or you must have put the classes
into the BCEL Repository yourself (via 'addClass(JavaClass)').