• The wrapper script should erase dead IType files. It doesn't.
• The documentation needs to be reorganized.

• For static fields in parameterized classes, compound assignment operators such as +=, or *= may not be used.
• For elements of parameter arrays, and for static fields in parameterized classes, nested assignment (such as A=B=C) may not be used.
• Method renaming (see translation description) does not work for constructors; any constructors whose signatures will conflict after translation will not translate properly.
• We could, if we really wanted, be a bit more parsimonious with .pjaux files.

• Inner classes are not supported.
• Use of Sun's standard reflection API may give unusual results.
• JAR files are not supported.
• All static members of parameter types must be accessed through the syntax Type[[Params]].staticField. Though Java allows (expression).staticField, this confuses the translator.
• Parameterized exceptions are not supported.
• A class may implement at most one instantiation of an interface. For example,

  class foo implements bar[[Integer]], bar[[String]] {...}
       

  will not work properly.
• Parameterized methods inherited from a supertype may not always satisfy a non-parameterized interface:

     class foo[[T]] { void method(T x) {...} }
     interface bar { void method(Integer x) {...} }
     class baz extends foo[[Integer]] implements bar {...} \end{verbatim}
       

  Will not translate properly.
• Because of the extra argument prepended to all static members of parameterized classes, it is not possible to run the main method of a parameterized class from the command line.
• Several people have asked that where clauses allow a syntax of the form

     class Foo[[X]] where X implements InterfaceName.
  

• For efficiency's sake, it would be useful to allow "fast" casts that do not perform extra typechecking on casts that are known by the programmer to never fail.
• It's not unreasonable to want to make per-PType static fields. (I.e., PType[[int]].commonField and PType[[long]].commonField would be the same field.)

History

0.1.3

• Add better warning messages.
• Support instanceof and checked casting.
• Fix bugs in constraint-registration, PType constructors, and IType cannonicalization.

0.1.4

• Miscellaneous bugfixes.

0.1.5

• Add support for instantiating with primitive types and arrays.
• Add HAVE_MMAP detection to configure script.
• Fix bug with unaligned mmap calls.
• Fix bug in handling static fields on PTypes.
• Fix bug in handling static initialization on PTypes.
• Detect protections when instantiating.
• Misc. bugfixes.

0.1.6

• Clean up code; improve comments, remove dead code, and fix memory leaks in the parser.
• Instantiate PTypes whose constraints are satisfied by non-public methods, or by methods in non-public classes.
• Handle static final fields properly.
• Fix a bug with calling 'equals' on parameters.
• Fix another bug with 'equals' on primitive types.
• Fix a bug in detecting whether classes need a .pjaux file.
• Use enough parenthesis when unparsing cast expression.
• Misc. bugfixes.

0.2.0

• Add support for dumping instantiation information.
• Add support for generating instantiations from the command line.
• Write a new 'pjava' script to behave well with make(1).
• Fix various bugs in method-header generation.
• Fix infinite loop for class declarations that begin on line 1.

0.2.0b

• Fix dozens of bugs in wrapper.
• Fix bug with extending PType[[Primitive]].
• Deal properly with local variables that shadow class/package names.
• Handle circularity in PJava files.