• Home
• org.checkerframework
• checker
• 3.48.3
• source code
• package-info.java

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

org.checkerframework.common.wholeprograminference.package-info Maven / Gradle / Ivy

/**
 * This package implements whole-program inference, an interprocedural inference that infers types
 * and inserts them into a program.
 *
 * @checker_framework.manual #whole-program-inference Whole-program inference
 */
package org.checkerframework.common.wholeprograminference;