checker.src.README Maven / Gradle / Ivy

Show more of this group Show more artifacts with this name
Show all versions of checker-qual Show documentation

Checker Qual is the set of annotations (qualifiers) and supporting classes used by the Checker Framework to type check Java source code. Please see artifact: org.checkerframework:checker

There is a newer version: 3.47.0

Show newest version



Coding style
------------

When editing files in the Checker Framework, see Michael Ernst's coding
style guidelines:
http://homes.cs.washington.edu/~mernst/advice/coding-style.html

You may also wish to see Oracle's Java code conventions:
http://www.oracle.com/technetwork/java/javase/documentation/codeconventions-136091.html#248

If you use Eclipse:
 * Apply the code formatter preferences using
     Preferences > Java > Code Style > Formatter > Import
   and file
     checker-framework/checker/eclipse/checker-framework-formatter.xml
 * Apply the import order preferences using
     Preferences > Java > Code Style > Organize Imports pref
   and file
     checker-framework/checker/eclipse/checker-framework.importorder