Package com.tonic.analysis.frame

Class TypeInference

java.lang.Object

com.tonic.analysis.frame.TypeInference

public class TypeInference
extends Object

Type inference engine for bytecode analysis.

Constructor Summary

Constructors

Constructor	Description
TypeInference(ConstPool constPool)	Constructs a TypeInference engine for the given constant pool.

Method Summary

Modifier and Type	Method	Description
TypeState	apply(TypeState state, Instruction instr)	Applies the type transformation of an instruction to the given state.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TypeInference

public TypeInference(ConstPool constPool)

Constructs a TypeInference engine for the given constant pool.

Parameters:

constPool - the constant pool

Method Detail

apply

public TypeState apply(TypeState state,
                       Instruction instr)

Applies the type transformation of an instruction to the given state.

Parameters:

state - The current type state

instr - The instruction to apply

Returns:

The new type state after the instruction