| java.lang.Object com.tc.asm.tree.analysis.BasicInterpreter com.tc.asm.tree.analysis.BasicVerifier com.tc.asm.tree.analysis.SimpleVerifier
SimpleVerifier | public class SimpleVerifier extends BasicVerifier (Code) | | An extended
BasicVerifier that performs more precise verifications.
This verifier computes exact class types, instead of using a single "object
reference" type (as done in the
BasicVerifier ).
author: Eric Bruneton author: Bing Ran |
SimpleVerifier | public SimpleVerifier(Type currentClass, Type currentSuperClass, boolean isInterface)(Code) | | Constructs a new
SimpleVerifier to verify a specific class. This
class will not be loaded into the JVM since it may be incorrect.
Parameters: currentClass - the class that is verified. Parameters: currentSuperClass - the super class of the class that is verified. Parameters: isInterface - if the class that is verified is an interface. |
SimpleVerifier | public SimpleVerifier(Type currentClass, Type currentSuperClass, List currentClassInterfaces, boolean isInterface)(Code) | | Constructs a new
SimpleVerifier to verify a specific class. This
class will not be loaded into the JVM since it may be incorrect.
Parameters: currentClass - the class that is verified. Parameters: currentSuperClass - the super class of the class that is verified. Parameters: currentClassInterfaces - the interfaces implemented by the classthat is verified. Parameters: isInterface - if the class that is verified is an interface. |
isArrayValue | protected boolean isArrayValue(Value value)(Code) | | |
isAssignableFrom | protected boolean isAssignableFrom(Type t, Type u)(Code) | | |
isInterface | protected boolean isInterface(Type t)(Code) | | |
|
|