Package org.apache.bcel.verifier.statics
Provides PassVerifier classes used internally by JustIce.
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. |
Pass2Verifier.CPESSC_Visitor | A Visitor class that ensures the constant pool satisfies the static
constraints. |
Pass2Verifier.FAMRAV_Visitor | A Visitor class that ensures the ConstantCP-subclassed entries
of the constant pool are valid. |
Pass2Verifier.InnerClassDetector | This class serves for finding out if a given JavaClass' ConstantPool
references an Inner Class. |
Pass3aVerifier | This PassVerifier verifies a class file according to
pass 3, static part as described in The Java Virtual
Machine Specification, 2nd edition. |
Pass3aVerifier.InstOperandConstraintVisitor | This visitor class does the actual checking for the instruction
operand's constraints. |
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. |
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.