1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
package trycatch18_in;
import java.net.Socket;
import java.io.FileInputStream;
import java.io.FileNotFoundException;
import java.io.IOException;
import java.util.zip.DataFormatException;
class TestWithThrows1 {
void foo(int a) throws FileNotFoundException {
try (/*[*/ Socket s = new Socket();
FileInputStream is = new FileInputStream("a.b")) {
s.getInetAddress();/*]*/
if (s.getTcpNoDelay())
throw new DataFormatException();
is.available();
} catch (FileNotFoundException e) {
throw e;
} catch (DataFormatException | IOException e) {
}
}
}
|
