Package org.apache.bcel.verifier

package org.apache.bcel.verifier

BCEL's verifier JustIce is there to help you dump correct Java class files created or modified with BCEL.

Package Specification

This is the top-level package of the JustIce verifier. To actually use it, have a look at the VerifierFactory and Verifier classes.

Related Packages

Package	Description
org.apache.bcel	Basic classes for the Apache Byte Code Engineering Library (BCEL) and constants defined by the JVM specification.
org.apache.bcel.verifier.exc	Exception classes used by JustIce, mostly used internally.
org.apache.bcel.verifier.statics	PassVerifier classes used internally by JustIce.
org.apache.bcel.verifier.structurals	A PassVerifier class mostly used internally by JustIce, yielding a control flow graph for public use as a nice side effect.
org.apache.bcel.classfile	Classes that describe the structure of a Java class file and a class file parser.
org.apache.bcel.generic	Generic part of the Apache Byte Code Engineering Library (BCEL), classes to dynamically modify class objects and byte code instructions.
org.apache.bcel.util	Utility classes for the Apache Byte Code Engineering Library (BCEL), namely: Collection classes for JavaClass objects A converter for class files to HTML A tool to find instructions patterns via regular expressions A class to find classes as defined in the CLASSPATH A class loader that allows to create classes at run time

Class	Description
GraphicalVerifier	A graphical user interface application demonstrating JustIce.
NativeVerifier	The NativeVerifier class implements a main(String[] args) method that's roughly compatible to the one in the Verifier class, but that uses the JVM's internal verifier for its class file verification.
PassVerifier	A PassVerifier actually verifies a class file; it is instantiated by a Verifier.
TransitiveHull	This class has a main method implementing a demonstration program of how to use the VerifierFactoryObserver.
VerificationResult	A VerificationResult is what a PassVerifier returns after verifying.
Verifier	A Verifier instance is there to verify a class file according to The Java Virtual Machine Specification, 2nd Edition.
VerifierAppFrame	This class implements a machine-generated frame for use with the GraphicalVerfifier.
VerifierFactory	This class produces instances of the Verifier class.
VerifierFactoryListModel	This class implements an adapter; it implements both a Swing ListModel and a VerifierFactoryObserver.
VerifierFactoryObserver	VerifierFactoryObserver instances are notified when new Verifier instances are created.
VerifyDialog	A class for simple graphical class file verification.