Uses of Class
jasm.verifier.TypeAnalysis.Store

Packages that use TypeAnalysis.Store

jasm.verifier

Provides classes for verifying that a given class file is valid with respect to the JVM Specification (e.g.

Uses of TypeAnalysis.Store in jasm.verifier

Methods in jasm.verifier that return TypeAnalysis.Store

TypeAnalysis.Store[]	TypeAnalysis.apply(ClassFile.Method method) Apply the analysis to a given method in a classfile.
TypeAnalysis.Store	TypeAnalysis.Store.clone()
TypeAnalysis.Store[]	TypeAnalysis.initialise(Code attr, ClassFile.Method method)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, boolean branch, Bytecode.IfCmp code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, boolean branch, Bytecode.If code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.ArrayLength code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.ArrayLoad code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.ArrayStore code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.BinOp code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.CheckCast code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.Cmp code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.Conversion code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.Dup code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.DupX1 code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.DupX2 code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.GetField code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.Iinc code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.InstanceOf code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.Invoke code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.LoadConst code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.Load code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.MonitorEnter code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.MonitorExit code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.Neg code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.New code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.Nop code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.Pop code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.PutField code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.Store code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.Swap code, TypeAnalysis.Store store)

Methods in jasm.verifier with parameters of type TypeAnalysis.Store

protected void	TypeAnalysis.addStackMapTable(ClassFile.Method method, TypeAnalysis.Store[] stores)
protected void	TypeAnalysis.checkIsSubtype(JvmType t1, JvmType t2, int index, TypeAnalysis.Store store) Check t1 is a supertype of t2 (i.e.
protected void	TypeAnalysis.checkMaxStack(int max, int index, TypeAnalysis.Store store) Check that there are at least max free spaces on the stack.
protected void	TypeAnalysis.checkMinStack(int min, int index, TypeAnalysis.Store store) Check that there are at least min items on the stack.
boolean	TypeAnalysis.merge(int index, TypeAnalysis.Store original, TypeAnalysis.Store update)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, boolean branch, Bytecode.IfCmp code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, boolean branch, Bytecode.If code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.ArrayLength code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.ArrayLoad code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.ArrayStore code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.BinOp code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.CheckCast code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.Cmp code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.Conversion code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.Dup code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.DupX1 code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.DupX2 code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.GetField code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.Iinc code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.InstanceOf code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.Invoke code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.LoadConst code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.Load code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.MonitorEnter code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.MonitorExit code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.Neg code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.New code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.Nop code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.Pop code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.PutField code, TypeAnalysis.Store store)
void	TypeAnalysis.transfer(int index, Bytecode.Return code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.Store code, TypeAnalysis.Store store)
TypeAnalysis.Store	TypeAnalysis.transfer(int index, Bytecode.Swap code, TypeAnalysis.Store store)
void	TypeAnalysis.transfer(int index, Bytecode.Throw code, TypeAnalysis.Store store)

Constructors in jasm.verifier with parameters of type TypeAnalysis.Store

TypeAnalysis.VerificationException(ClassFile.Method method, int index, TypeAnalysis.Store store, java.lang.String msg)