public class MissingTypeInDeclareParents {
public static void main(String[] args) throws Exception {
- FileReader fr = new FileReader("foo");
- //fr.run();
+ FileWriter fr = new FileWriter("foo");
+ fr.close();
Tester.check(true, "Kilroy was here");
}
}
class C {
}
aspect A {
- /** Xlint warning expected where FileReader is outside code controlled by implementation */
- declare parents : FileReader extends Runnable; // CW 20 Xlint warning
+ /** Xlint warning expected where FileWriter is outside code controlled by implementation */
+ declare parents : FileWriter extends Runnable; // CW 20 Xlint warning
}