## Package org.apache.bcel.verifier.statics

Provides PassVerifier classes used internally by JustIce.

See:
Description

Class Summary
DOUBLE_Upper: This class represents the upper half of a DOUBLE variable.
IntList: A small utility class representing a set of basic int values.
LocalVariableInfo: A utility class holding the information about the name and the type of a local variable in a given slot (== index).
LocalVariablesInfo: A utility class holding the information about the names and the types of the local variables in a given method.
LONG_Upper: This class represents the upper half of a LONG variable.
Pass1Verifier: This PassVerifier verifies a class file according to pass 1 as described in The Java Virtual Machine Specification, 2nd edition.
Pass2Verifier: This PassVerifier verifies a class file according to pass 2 as described in The Java Virtual Machine Specification, 2nd edition.
Pass3aVerifier: This PassVerifier verifies a class file according to pass 3, static part as described in The Java Virtual Machine Specification, 2nd edition.
StringRepresentation: BCEL's Node classes (those from the classfile API that accept() Visitor instances) have toString() methods that were not designed to be robust, this gap is closed by this class.

## Package org.apache.bcel.verifier.statics Description

Provides PassVerifier classes used internally by JustIce. You don't need to bother with them.

## Package Specification

Contained in this package are PassVerifier classes for use with the JustIce verifier. Only the passes performing what Sun calls 'static constraints' have PassVerifier classes here.

## Related Documentation

For a simple demonstration of JustIce working, please see:

- A WWW front-end for JustIce.

Copyright © 2002-2003 Apache Software Foundation. All Rights Reserved.