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.
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 language | English |
---|---|
Title of host publication | Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation |
Subtitle of host publication | PEPM '10 |
Publisher | Association for Computing Machinery |
Pages | 5-14 |
Number of pages | 10 |
ISBN (Print) | 9781605587271 |
DOIs | |
Publication status | Published - 18 Jan 2010 |