Compile-time type-checking for custom type qualifiers in Java

TitleCompile-time type-checking for custom type qualifiers in Java
Publication TypeConference Paper
Year of Publication2007
AuthorsPapi MM, Ernst MD
Conference NameCompanion to Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2007)
Date or Month PublishedOctober 23–25
Conference LocationMontré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>
DownloadsChecker Framework implementation PDF PostScript
Citation KeyPapiE2007
Last changed Mon, 2013-06-03 10:27