Description Andrew Eisenberg 2010-08-19 19:29:27 EDT

Given this set of types:

aspect A {
  void I.x() { }
}

interface I { }

class C { }

Performing a pushin refactoring with produce something like this:

(aspect A is deleted)

interface I { 
  void x();
}

class C {
  void x() { 
  }
}

Notice that the concrete x method in class C is not marked as public even though it should.  This is an error.