1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
package flowexpression;
import testlib.flowexpression.qual.FlowExp;
public class Fields {
static class String {
public static final java.lang.String HELLO = "hello";
}
void method(
// :: error: (expression.unparsable.type.invalid)
@FlowExp("java.lang.String.HELLO") Object p1,
@FlowExp("Fields.String.HELLO") Object p2) {
// :: error: (assignment.type.incompatible)
@FlowExp("String.HELLO") Object l1 = p1;
@FlowExp("String.HELLO") Object l2 = p2;
@FlowExp("flowexpression.Fields.String.HELLO") Object l3 = p2;
}
}
|
