javancss/src/test/resources/Test148.java at 90aca669d2dce3937f4f981dece4a77c4453c91c · codehaus/javancss · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
public class ClassJava7 {
  public void foo() {
	try {
		// do nothing
	}
	catch (java.beans.PropertyVetoException | java.beans.IntrospectionException e) {
		// do nothing
	}
  }

  public void bar() {
	try {
		// do nothing
	}
	catch (java.beans.PropertyVetoException e) {
		// do nothing
	}
  }

  public void baz() {
	String zipFileName = "";
	String outputFileName = "";
	java.nio.charset.Charset charset = java.nio.charset.Charset.forName("US-ASCII");
    java.nio.file.Path outputFilePath = java.nio.file.Paths.get(outputFileName);

	try (
      java.util.zip.ZipFile zf = new java.util.zip.ZipFile(zipFileName);
      java.io.BufferedWriter writer = java.nio.file.Files.newBufferedWriter(outputFilePath, charset)
    ) {
		// do nothing
	}
	catch (java.beans.PropertyVetoException e) {
		// do nothing
	}
  }

  public void baz2() {
	String zipFileName = "";
	String outputFileName = "";
	java.nio.charset.Charset charset = java.nio.charset.Charset.forName("US-ASCII");
    java.nio.file.Path outputFilePath = java.nio.file.Paths.get(outputFileName);

	try (
      java.util.zip.ZipFile zf = new java.util.zip.ZipFile(zipFileName);
      java.io.BufferedWriter writer = java.nio.file.Files.newBufferedWriter(outputFilePath, charset);
    ) {
		// do nothing
	}
	catch (java.beans.PropertyVetoException e) {
		// do nothing
	}
  }

}