org.objectweb.asm.tree.analysis

Class SimpleVerifier

public class SimpleVerifier extends BasicVerifier

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 Bing Ran

Method Summary
protected Class	getClass(Type t)
protected Value	getElementValue(Value objectArrayValue)
protected boolean	isArrayValue(Value value)
protected boolean	isSubTypeOf(Value value, Value expected)
Value	merge(Value v, Value w)
Value	newValue(Type type)

Method Detail

getClass

protected Class getClass(Type t)

getElementValue

protected Value getElementValue(Value objectArrayValue)

isArrayValue

protected boolean isArrayValue(Value value)

isSubTypeOf

protected boolean isSubTypeOf(Value value, Value expected)

merge

public Value merge(Value v, Value w)

newValue

public Value newValue(Type type)