test/tools/javac/multicatch/model/ModelChecker.java

changeset 1054
111bbf1ad913
parent 1013
8eb952f43b11
child 1466
b52a38d4536c
equal deleted inserted replaced
1053:0d8edba73d70 1054:111bbf1ad913
21 * questions. 21 * questions.
22 */ 22 */
23 23
24 /* 24 /*
25 * @test 25 * @test
26 * @bug 6993963 26 * @bug 6993963 7025809
27 * @summary Project Coin: Use precise exception analysis for effectively final catch parameters 27 * @summary Project Coin: Use precise exception analysis for effectively final catch parameters
28 * @library ../../lib 28 * @library ../../lib
29 * @build JavacTestingAbstractProcessor ModelChecker 29 * @build JavacTestingAbstractProcessor ModelChecker
30 * @compile -processor ModelChecker Model01.java 30 * @compile -processor ModelChecker Model01.java
31 */ 31 */
105 throw new RuntimeException("Expected UnknownTypeException not thrown."); 105 throw new RuntimeException("Expected UnknownTypeException not thrown.");
106 } catch (UnknownTypeException ute) { 106 } catch (UnknownTypeException ute) {
107 ; // Expected 107 ; // Expected
108 } 108 }
109 109
110 UnionType unionType = new SimpleTypeVisitor7<UnionType, Void>(){ 110 UnionType unionType = new SimpleTypeVisitor<UnionType, Void>(){
111 @Override 111 @Override
112 protected UnionType defaultAction(TypeMirror e, Void p) {return null;} 112 protected UnionType defaultAction(TypeMirror e, Void p) {return null;}
113 113
114 @Override 114 @Override
115 public UnionType visitUnion(UnionType t, Void p) {return t;} 115 public UnionType visitUnion(UnionType t, Void p) {return t;}

mercurial