Package com.tonic.analysis.verifier.type

The type rules the verifier checks assignments and invocations against.

Class Summary

Class	Description
TypeConstraint	Assignability and category rules over verification types.
TypeVerifier	Abstract-interpretation type checker for a method body, walking the bytecode to a fixpoint and reporting stack, local and return type errors to a collector.