Compile-time type-checking for custom type qualifiers in Java
Submitted by mernst on Wed, 2011-11-30 14:35
| Title | Compile-time type-checking for custom type qualifiers in Java |
| Publication Type | Conference Paper |
| Year of Publication | 2007 |
| Authors | Papi MM, Ernst MD |
| Conference Name | Companion to Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2007) |
| Date or Month Published | October 23–25 |
| Conference Location | Montréal, Canada |
| Abstract | <p>We have created a system that enables programmers to add custom type qualifiers to the Java language in a backward-compatible way. The system allows programmers to write type qualifiers in their programs and to create compiler plug-ins that enforce the semantics of these qualifiers at compile time. The system builds on existing Java tools and APIs, and on JSR 308. </p> <p> As an example, we introduce a plug-in to Sun's Java compiler that uses our system to type-check the NonNull qualifier. Programmers can use the {<tt></tt> @NonNull} annotation to prohibit an object reference from being null; then, by invoking a Java compiler with the NonNull plug-in, they can check for NonNull errors at compile time and rid their programs of null-pointer exceptions.</p> |
| Downloads | Checker Framework implementation PDF PostScript |
| Citation Key | PapiE2007 |
Last changed Mon, 2013-06-03 10:27

cs.