Corrective Hints for Type Incorrect Generic Java Programs

Nabil El Boustani, Jurriaan Hage

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Citations (Scopus)

Abstract

Since version 1.5, generics (parametric polymorphism) are part of the Java language. Experience with implementations of the Java Language Specification such as EJC and JAVAC has shown that the type error messages provided by these tools leave more than a little to be desired. Type error messages are often uninformative and sometimes show artifacts of the type checking process in the messages. Apparently, providing good type error messages for a language as large and complex as Java currently is, is not easy.

To alleviate the problem, we describe a number of heuristics that suggest fixes for generic method invocations in Generic Java, and illustrate their effect by means of examples. The heuristics are part of an extension to the original type checking process that has been implemented into the JastAdd Extensible Java Compiler.
Original languageEnglish
Title of host publicationProceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Subtitle of host publicationPEPM '10
PublisherAssociation for Computing Machinery
Pages5-14
Number of pages10
ISBN (Print)9781605587271
DOIs
Publication statusPublished - 18 Jan 2010

Fingerprint

Dive into the research topics of 'Corrective Hints for Type Incorrect Generic Java Programs'. Together they form a unique fingerprint.

Cite this