Checker Framework Custom pluggable types for Java
Download

Checker Framework Ranking & Summary

Checker Framework Tags

checker error checker error detector php framework error detector server framework Javari checker net framework 3.1 free flash player avg free firewall acer free games samsung unlock code springs framework mysql entity framework framework 1.1 portal framework free download ibrowe

Checker Framework Description

EditBy The Checker Framework supports adding pluggable type systems to the Java language in a backward-compatible way. Java’s built-in typechecker finds and prevents many errors — but it doesn’t find and Prevent enough errors. The Checker Framework lets you run an additional typechecker as a plug-in to the javac compiler. Your code stays completely backward-compatible: your code compiles with any Java compiler, it runs on any JVM, and your coworkers don’t have to use the enhanced type system if they don’t want to. You can check only part of your program. Type inference tools exist to help you Annotate your code. A type system designer uses the Checker Framework to define type qualifiers and their semantics, and a compiler plug-in (a “checker”) enforces the semantics. Programmers can write the type qualifiers in their programs and use the plug-in to Detect or prevent errors. The Checker Framework is useful both to programmers who wish to write error-free code, and to type system designers who wish to evaluate and deploy their type systems. This document uses the terms “checker”, “checker plugin”, “type-checking compiler plugin”, and “annotation processor” as synonyms. Version 1.1.0b, 16 Jun 2010. Protect against JDK-7 specific fields, when running in Java 6.

Checker Framework Related Software