PolyJ: known bugs

This page attempts to list the known deficiencies in the current version of PolyJ, as well as any bugs that have been discovered since the last major release.

If you have found a bug in PolyJ not listed here, please report it so that we can fix it.

Bugs

Known deficiencies

• To be fixed in PolyJ 2.0
  • Inner classes are not supported.
  • JDK 1.1 is not fully supported. Specifically, serialization and reflection do not take into account parameterized classes and interfaces.
• No fix currently planned (but possible for a later version).
  • There is currently no support for running the main method of a parameterized class from the command line.
  • A class cannot implement more than one instantiation of any given interface. For example, class Foo implements Bar[int], Bar[String] is not allowed.
  • Methods inherited from a parameterized superclass may necessarily not satisfy a non-parameterized interface. See the documentation for an example.
  • "op=" operators (such as += or *=) cannot be used on static fields of parameterized classes.
  • Casting and the instanceof operator do not work properly when the object is an array whose element type is an instantiation. For example, when casting a variable to Set[int][], all that can be verified at run-time is that the variable does, indeed, contain an array of Set[T], for some T. The compiler emits a warning in cases where the type may not be fully discriminated at run time.