Bug 146 - Non-"flexible" child class calls a method from "flexible" parent class
Non-"flexible" child class calls a method from "flexible" parent class
Status: ASSIGNED
Product: loci
Classification: Unclassified
Component: Loci plugin
0.1
PC All
: P4 enhancement
: ---
Assigned To: amanjpro
http://java.net/projects/loci
Depends on:
Blocks:
  Show dependency treegraph
 
Reported: 2011-03-18 21:14 UTC by amanjpro
Modified: 2011-03-18 21:20 UTC (History)
1 user (show)

See Also:


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description amanjpro 2011-03-18 21:14:39 UTC
Hello,


Suppose we have these two classes:
class A{ //a flexible class
   void method(Object b){...} //the annotation over b is @Owner
}
@Shared class B extends A{
   void method(Object b){ //b is implicitly @Shared
      super.method(b); //Loci reports an error,
                       // saying, b is @Shared while @Owner is required
                       //and the error can be safely ignored
                       //since we know, every instances of the current B
                       //can only be @Shared.
      ...
   }
}
Comment 1 amanjpro 2011-03-18 21:15:04 UTC
We already know about this annoying bug, and trying to solve it. please be
patient and safely ignore the warning.