org.objectweb.asm.tree.analysis

Class SimpleVerifier

public class SimpleVerifier extends BasicVerifier

An extended {@link BasicVerifier} that performs more precise verifications. This verifier computes exact class types, instead of using a single "object reference" type (as done in the {@link BasicVerifier}).

Author: Eric Bruneton Bing Ran

Method Summary
protected ClassgetClass(Type t)
protected ValuegetElementValue(Value objectArrayValue)
protected booleanisArrayValue(Value value)
protected booleanisSubTypeOf(Value value, Value expected)
Valuemerge(Value v, Value w)
ValuenewValue(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)