File: Issue672.java

package info (click to toggle)
checker-framework-java 3.2.0%2Bds-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 22,840 kB
  • sloc: java: 145,910; xml: 839; sh: 518; makefile: 401; perl: 26
file content (22 lines) | stat: -rw-r--r-- 635 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
// Testcase for Issue 672
// https://github.com/typetools/checker-framework/issues/672

final class Issue672 extends Throwable {
    final Throwable ex;

    Issue672(Throwable x) {
        ex = x;
    }

    static Issue672 test1(Throwable x, boolean flag) {
        return new Issue672(x instanceof Exception ? x : ((flag ? x : new Issue672(x))));
    }

    static Issue672 test2(Throwable x, boolean flag) {
        return (new Issue672(x instanceof Exception ? x : ((flag ? x : new Issue672(x)))));
    }

    static Issue672 test3(Throwable x) {
        return test1(x instanceof Exception ? x : new Issue672(x), false);
    }
}