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. |
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. |