|
17 | 17 | callsRaiseWithAnnotationAndIsAnnotated might raise Not_found (Exn.res:22:45) and is annotated with redundant @raises(A)
|
18 | 18 |
|
19 | 19 | Exception Analysis
|
20 |
| - Exn.res:24:5 |
21 |
| - z might raise Failure (Exn.res:24:8) and is not annotated with @raises(Failure) |
| 20 | + Exn.res:24:5-19 |
| 21 | + incompleteMatch might raise Match_failure (Exn.res:25:2) and is not annotated with @raises(Match_failure) |
22 | 22 |
|
23 | 23 | Exception Analysis
|
24 |
| - Exn.res:26:5-19 |
25 |
| - incompleteMatch might raise Match_failure (Exn.res:27:2) and is not annotated with @raises(Match_failure) |
| 24 | + Exn.res:32:5-13 |
| 25 | + twoRaises might raise [A (Exn.res:34:4), B (Exn.res:37:4)] and is not annotated with @raises([A, B]) |
26 | 26 |
|
27 | 27 | Exception Analysis
|
28 |
| - Exn.res:34:5-13 |
29 |
| - twoRaises might raise [A (Exn.res:36:4), B (Exn.res:39:4)] and is not annotated with @raises([A, B]) |
| 28 | + Exn.res:41:5-14 |
| 29 | + sequencing might raise A (Exn.res:42:2) and is not annotated with @raises(A) |
30 | 30 |
|
31 | 31 | Exception Analysis
|
32 |
| - Exn.res:43:5-14 |
33 |
| - sequencing might raise A (Exn.res:44:2) and is not annotated with @raises(A) |
| 32 | + Exn.res:48:5-14 |
| 33 | + wrongCatch might raise B (Exn.res:49:6) and is not annotated with @raises(B) |
34 | 34 |
|
35 | 35 | Exception Analysis
|
36 |
| - Exn.res:50:5-14 |
37 |
| - wrongCatch might raise B (Exn.res:51:6) and is not annotated with @raises(B) |
| 36 | + Exn.res:54:5-15 |
| 37 | + wrongCatch2 might raise [C (Exn.res:55:24), Match_failure (Exn.res:55:2)] and is not annotated with @raises([C, Match_failure]) |
38 | 38 |
|
39 | 39 | Exception Analysis
|
40 |
| - Exn.res:56:5-15 |
41 |
| - wrongCatch2 might raise [C (Exn.res:57:24), Match_failure (Exn.res:57:2)] and is not annotated with @raises([C, Match_failure]) |
| 40 | + Exn.res:62:5-19 |
| 41 | + raise2Annotate3 might raise [A (Exn.res:64:4), B (Exn.res:67:4)] and is annotated with redundant @raises(C) |
42 | 42 |
|
43 | 43 | Exception Analysis
|
44 |
| - Exn.res:64:5-19 |
45 |
| - raise2Annotate3 might raise [A (Exn.res:66:4), B (Exn.res:69:4)] and is annotated with redundant @raises(C) |
| 44 | + Exn.res:73:5-24 |
| 45 | + parse_json_from_file might raise Error (Exn.res:76:4) and is not annotated with @raises(Error) |
46 | 46 |
|
47 | 47 | Exception Analysis
|
48 |
| - Exn.res:75:5-24 |
49 |
| - parse_json_from_file might raise Error (Exn.res:78:4) and is not annotated with @raises(Error) |
| 48 | + Exn.res:82:5-11 |
| 49 | + reRaise might raise B (Exn.res:84:19) and is not annotated with @raises(B) |
50 | 50 |
|
51 | 51 | Exception Analysis
|
52 |
| - Exn.res:84:5-11 |
53 |
| - reRaise might raise B (Exn.res:86:19) and is not annotated with @raises(B) |
| 52 | + Exn.res:93:5-22 |
| 53 | + raiseInInternalLet might raise A (Exn.res:94:14) and is not annotated with @raises(A) |
54 | 54 |
|
55 | 55 | Exception Analysis
|
56 |
| - Exn.res:95:5-22 |
57 |
| - raiseInInternalLet might raise A (Exn.res:96:14) and is not annotated with @raises(A) |
| 56 | + Exn.res:98:5-16 |
| 57 | + indirectCall might raise Not_found (Exn.res:98:31) and is not annotated with @raises(Not_found) |
58 | 58 |
|
59 | 59 | Exception Analysis
|
60 |
| - Exn.res:100:5-16 |
61 |
| - indirectCall might raise Not_found (Exn.res:100:31) and is not annotated with @raises(Not_found) |
| 60 | + Exn.res:124:5-16 |
| 61 | + severalCases might raise Failure (Exn.res:126:13 Exn.res:127:13 Exn.res:128:15) and is not annotated with @raises(Failure) |
62 | 62 |
|
63 | 63 | Exception Analysis
|
64 |
| - Exn.res:148:5-16 |
65 |
| - severalCases might raise Failure (Exn.res:150:13 Exn.res:151:13 Exn.res:152:15) and is not annotated with @raises(Failure) |
66 |
| - |
67 |
| - Exception Analysis |
68 |
| - Exn.res:159:32-56 |
69 |
| - String.uncapitalize_ascii does not raise and is annotated with redundant @doesNotRaise |
70 |
| - |
71 |
| - Exception Analysis |
72 |
| - Exn.res:161:32-63 |
73 |
| - String.uncapitalize_ascii does not raise and is annotated with redundant @doesNotRaise |
74 |
| - |
75 |
| - Exception Analysis |
76 |
| - Exn.res:163:47-71 |
77 |
| - String.uncapitalize_ascii does not raise and is annotated with redundant @doesNotRaise |
78 |
| - |
79 |
| - Exception Analysis |
80 |
| - Exn.res:163:47-79 |
81 |
| - expression does not raise and is annotated with redundant @doesNotRaise |
82 |
| - |
83 |
| - Exception Analysis |
84 |
| - Exn.res:169:51-55 |
85 |
| - expression does not raise and is annotated with redundant @doesNotRaise |
86 |
| - |
87 |
| - Exception Analysis |
88 |
| - Exn.res:167:25-56 |
89 |
| - String.uncapitalize_ascii does not raise and is annotated with redundant @doesNotRaise |
90 |
| - |
91 |
| - Exception Analysis |
92 |
| - Exn.res:176:5-23 |
| 64 | + Exn.res:136:5-23 |
93 | 65 | redundantAnnotation raises nothing and is annotated with redundant @raises(Invalid_argument)
|
94 | 66 |
|
95 | 67 | Exception Analysis
|
96 |
| - Exn.res:178:5-6 |
97 |
| - _x might raise A (Exn.res:178:9) and is not annotated with @raises(A) |
98 |
| - |
99 |
| - Exception Analysis |
100 |
| - Exn.res:180:5 |
101 |
| - _ might raise A (Exn.res:180:8) and is not annotated with @raises(A) |
| 68 | + Exn.res:138:5-6 |
| 69 | + _x might raise A (Exn.res:138:9) and is not annotated with @raises(A) |
102 | 70 |
|
103 | 71 | Exception Analysis
|
104 |
| - Exn.res:182:5-6 |
105 |
| - () might raise A (Exn.res:182:9) and is not annotated with @raises(A) |
| 72 | + Exn.res:140:5 |
| 73 | + _ might raise A (Exn.res:140:8) and is not annotated with @raises(A) |
106 | 74 |
|
107 | 75 | Exception Analysis
|
108 |
| - Exn.res:184:1-16 |
109 |
| - Toplevel expression might raise Not_found (Exn.res:184:0) and is not annotated with @raises(Not_found) |
| 76 | + Exn.res:142:5-6 |
| 77 | + () might raise A (Exn.res:142:9) and is not annotated with @raises(A) |
110 | 78 |
|
111 | 79 | Exception Analysis
|
112 |
| - Exn.res:186:1-19 |
113 |
| - Toplevel expression might raise exit (Exn.res:186:7) and is not annotated with @raises(exit) |
| 80 | + Exn.res:144:1-16 |
| 81 | + Toplevel expression might raise Not_found (Exn.res:144:0) and is not annotated with @raises(Not_found) |
114 | 82 |
|
115 | 83 | Exception Analysis
|
116 |
| - Exn.res:196:45-46 |
| 84 | + Exn.res:154:45-46 |
117 | 85 | expression does not raise and is annotated with redundant @doesNotRaise
|
118 | 86 |
|
119 | 87 | Exception Analysis
|
120 |
| - Exn.res:196:5-21 |
121 |
| - onResultPipeWrong might raise Assert_failure (Exn.res:196:48) and is not annotated with @raises(Assert_failure) |
| 88 | + Exn.res:154:5-21 |
| 89 | + onResultPipeWrong might raise Assert_failure (Exn.res:154:48) and is not annotated with @raises(Assert_failure) |
122 | 90 |
|
123 | 91 | Exception Analysis
|
124 | 92 | ExnA.res:1:5-7
|
125 | 93 | bar might raise Not_found (ExnA.res:1:16) and is not annotated with @raises(Not_found)
|
126 | 94 |
|
127 |
| - Analysis reported 31 issues (Exception Analysis:31) |
| 95 | + Analysis reported 23 issues (Exception Analysis:23) |
0 commit comments