Package com.tonic.analysis.typeinference

Inference of value types and nullability.

Class Summary

Class	Description
TypeInferenceAnalyzer	Dataflow analyzer that infers types and nullability for SSA values, narrowing them at instanceof checks and null comparisons.
TypeSet	A union of the types a value may hold, flagged complete when the members are exact and incomplete when subtypes may also occur.
TypeState	A value's inferred type set paired with its nullability lattice element.

Enum Summary

Enum	Description
Nullability	Lattice of nullability states for a value, from BOTTOM (unreachable) up to UNKNOWN.