Package org.checkerframework.common.wholeprograminference


package org.checkerframework.common.wholeprograminference
This package implements whole-program inference, an interprocedural inference that infers types and inserts them into a program.
See the Checker Framework Manual:
Whole-program inference