244 * This is the speculative DA/DU analysis mode used to speculatively |
244 * This is the speculative DA/DU analysis mode used to speculatively |
245 * derive assertions within loop bodies |
245 * derive assertions within loop bodies |
246 */ |
246 */ |
247 SPECULATIVE_LOOP("var.might.be.assigned.in.loop", true); |
247 SPECULATIVE_LOOP("var.might.be.assigned.in.loop", true); |
248 |
248 |
249 String errKey; |
249 final String errKey; |
250 boolean isFinal; |
250 final boolean isFinal; |
251 |
251 |
252 FlowKind(String errKey, boolean isFinal) { |
252 FlowKind(String errKey, boolean isFinal) { |
253 this.errKey = errKey; |
253 this.errKey = errKey; |
254 this.isFinal = isFinal; |
254 this.isFinal = isFinal; |
255 } |
255 } |