• Home
• io.github.eisop
• checker
• 3.42.0-eisop5
• 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.framework.source.package-info Maven / Gradle / Ivy

/**
 * Contains the essential functionality for interfacing a compile-time (source) type-checker plug-in
 * to the Java compiler. This allows a checker to use the compiler's error reporting mechanism and
 * to access abstract syntax trees and compiler utility classes.
 *
 * 
Most classes won't want to extend the classes in this package directly; the classes in the
 * {@code org.checkerframework.common.basetype} package provide subtype checking functionality.
 *
 * @checker_framework.manual #creating-a-checker Writing a Checker
 */
package org.checkerframework.framework.source;