mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-08 23:39:39 +07:00
IDEA-114169 (false positive for non-intersecting throwers)
This commit is contained in:
@@ -0,0 +1,18 @@
|
||||
import java.io.*;
|
||||
|
||||
class Test {
|
||||
abstract class Target {
|
||||
abstract void call(String f) throws FileNotFoundException, IOException;
|
||||
abstract void call(String[] f) throws FileNotFoundException, IOException;
|
||||
}
|
||||
|
||||
void use(Target target) throws IOException {
|
||||
try {
|
||||
target.call("");
|
||||
} catch (FileNotFoundException e) {
|
||||
System.out.println("file not found");
|
||||
} catch (IOException e) {
|
||||
System.out.println("failed: " + e);
|
||||
}
|
||||
}
|
||||
}
|
||||
Reference in New Issue
Block a user