1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
// Minimized test case from InitializationVisitor.
class IATF<
Value extends CFAV<Value>,
Store extends IS<Value, Store>,
Transfer extends IT<Value, Transfer, Store>,
Flow extends CFAA<Value, Store, Transfer>>
extends GATF<Value, Store, Transfer, Flow> {}
class CFAV<V extends CFAV<V>> {}
class IS<V extends CFAV<V>, S extends IS<V, S>> extends CFAS<V, S> {}
class IT<V extends CFAV<V>, T extends IT<V, T, S>, S extends IS<V, S>> extends CFAT<V, S, T> {}
class CFAA<V extends CFAV<V>, S extends CFAS<V, S>, T extends CFAT<V, S, T>> {}
class CFAT<V extends CFAV<V>, S extends CFAS<V, S>, T extends CFAT<V, S, T>> {}
class CFAS<V extends CFAV<V>, S extends CFAS<V, S>> {}
class GATF<
Value extends CFAV<Value>,
Store extends CFAS<Value, Store>,
TransferFunction extends CFAT<Value, Store, TransferFunction>,
FlowAnalysis extends CFAA<Value, Store, TransferFunction>> {}
class BTV<Factory extends GATF<?, ?, ?, ?>> {}
class IV<
Factory extends IATF<Value, Store, ?, ?>,
Value extends CFAV<Value>,
Store extends IS<Value, Store>>
extends BTV<Factory> {}
|
