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.
| Modifier and Type | Class and Description |
|---|---|
| public class | DOUBLE_Upper
This class represents the upper half of a DOUBLE variable. |
| public class | IntList
A small utility class representing a set of basic int values. |
| public class | LocalVariableInfo
A utility class holding the information about the name and the type of a local variable in a given slot (== index). |
| public class | LocalVariablesInfo
A utility class holding the information about the names and the types of the local variables in a given method. |
| public class | LONG_Upper
This class represents the upper half of a LONG variable. |
| public class | Pass1Verifier
This PassVerifier verifies a class file according to pass 1 as described in The Java Virtual Machine Specification, 2nd edition. |
| public class | Pass2Verifier
Deprecated
as a consequence of This PassVerifier verifies a class file according to pass 2 as described in The Java Virtual Machine Specification,
2nd edition.
Constants being deprecated.
|
| public class | Pass3aVerifier
This PassVerifier verifies a class file according to pass 3, static part as described in The Java Virtual Machine Specification, 2nd edition. |
| public class | 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. |