blob: 307d43a2d64144c4306d4c0db0a7af0c8abae557 (
plain) (
blame)
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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
|
package org.eclipse.jdt.internal.compiler.flow;
/*
* (c) Copyright IBM Corp. 2000, 2001.
* All Rights Reserved.
*/
import org.eclipse.jdt.internal.compiler.*;
import org.eclipse.jdt.internal.compiler.ast.*;
import org.eclipse.jdt.internal.compiler.lookup.*;
import org.eclipse.jdt.internal.compiler.problem.*;
/**
* Record conditional initialization status during definite assignment analysis
*
*/
public class ConditionalFlowInfo extends FlowInfo {
public FlowInfo initsWhenTrue;
public FlowInfo initsWhenFalse;
ConditionalFlowInfo(FlowInfo initsWhenTrue, FlowInfo initsWhenFalse){
this.initsWhenTrue = initsWhenTrue;
this.initsWhenFalse = initsWhenFalse;
}
public UnconditionalFlowInfo addInitializationsFrom(UnconditionalFlowInfo otherInits) {
return unconditionalInits().addInitializationsFrom(otherInits);
}
public UnconditionalFlowInfo addPotentialInitializationsFrom(UnconditionalFlowInfo otherInits) {
return unconditionalInits().addPotentialInitializationsFrom(otherInits);
}
public FlowInfo asNegatedCondition() {
FlowInfo extra = initsWhenTrue;
initsWhenTrue = initsWhenFalse;
initsWhenFalse = extra;
return this;
}
public FlowInfo copy() {
return new ConditionalFlowInfo(initsWhenTrue.copy(), initsWhenFalse.copy());
}
public FlowInfo initsWhenFalse() {
return initsWhenFalse;
}
public FlowInfo initsWhenTrue() {
return initsWhenTrue;
}
/**
* Check status of definite assignment for a field.
*/
public boolean isDefinitelyAssigned(FieldBinding field) {
return initsWhenTrue.isDefinitelyAssigned(field)
&& initsWhenFalse.isDefinitelyAssigned(field);
}
/**
* Check status of definite assignment for a local variable.
*/
public boolean isDefinitelyAssigned(LocalVariableBinding local) {
return initsWhenTrue.isDefinitelyAssigned(local)
&& initsWhenFalse.isDefinitelyAssigned(local);
}
public boolean isFakeReachable(){
return unconditionalInits().isFakeReachable();
//should maybe directly be: false
}
/**
* Check status of potential assignment for a field.
*/
public boolean isPotentiallyAssigned(FieldBinding field) {
return initsWhenTrue.isPotentiallyAssigned(field)
|| initsWhenFalse.isPotentiallyAssigned(field);
}
/**
* Check status of potential assignment for a local variable.
*/
public boolean isPotentiallyAssigned(LocalVariableBinding local) {
return initsWhenTrue.isPotentiallyAssigned(local)
|| initsWhenFalse.isPotentiallyAssigned(local);
}
/**
* Record a field got definitely assigned.
*/
public void markAsDefinitelyAssigned(FieldBinding field) {
initsWhenTrue.markAsDefinitelyAssigned(field);
initsWhenFalse.markAsDefinitelyAssigned(field);
}
/**
* Record a field got definitely assigned.
*/
public void markAsDefinitelyAssigned(LocalVariableBinding local) {
initsWhenTrue.markAsDefinitelyAssigned(local);
initsWhenFalse.markAsDefinitelyAssigned(local);
}
/**
* Clear the initialization info for a field
*/
public void markAsDefinitelyNotAssigned(FieldBinding field) {
initsWhenTrue.markAsDefinitelyNotAssigned(field);
initsWhenFalse.markAsDefinitelyNotAssigned(field);
}
/**
* Clear the initialization info for a local variable
*/
public void markAsDefinitelyNotAssigned(LocalVariableBinding local) {
initsWhenTrue.markAsDefinitelyNotAssigned(local);
initsWhenFalse.markAsDefinitelyNotAssigned(local);
}
public FlowInfo markAsFakeReachable(boolean isFakeReachable) {
initsWhenTrue.markAsFakeReachable(isFakeReachable);
initsWhenFalse.markAsFakeReachable(isFakeReachable);
return this;
}
public UnconditionalFlowInfo mergedWith(UnconditionalFlowInfo otherInits) {
return unconditionalInits().mergedWith(otherInits);
}
public String toString() {
return "FlowInfo<true: "/*nonNLS*/ + initsWhenTrue.toString() + ", false: "/*nonNLS*/ + initsWhenFalse.toString() + ">"/*nonNLS*/;
}
public UnconditionalFlowInfo unconditionalInits() {
return initsWhenTrue.unconditionalInits().copy()
.mergedWith(initsWhenFalse.unconditionalInits());
}
}
|