Issue 9: Inner Classes: Not Really Supported, Throws Exceptions
Status:  Fixed
Owner:
Closed:  Oct 2008
Project Member Reported by nels.bec...@gmail.com, Sep 15, 2008
Inner classes aren't really supported by our tool, even though they probably 
could be.

Here's one example:

class Foo {
  void m1() {}

  class Runner extends Runnable {
    void run() {
      m1(); // Note this line!
    }
  }

On the line I have noted, an exception will be thrown on line 1024 of 
LinearOperations.java. The problem is that we have no aliasing locations for 
the outer 'this.'
Oct 30, 2008
Project Member #1 kevin.bi...@gmail.com
Test case in r146; fix in r147.  Plural runs on this code now, but it can't associate
permissions with outer this objects.
Status: Fixed
Nov 19, 2008
Project Member #2 kevin.bi...@gmail.com
Test case in r161; also tests problems with anonymous inner classes
Nov 19, 2008
Project Member #3 kevin.bi...@gmail.com
Avoid crashes anonymous inner classes with r162 (depends on Crystal revision 108)