1 write to Height
Microsoft.CodeAnalysis.NetAnalyzers (1)
src\8ce1f4f68b646e6d\GlobalFlowStateAnalysisValueSet.cs (1)
40
Height
= height;
34 references to Height
Microsoft.CodeAnalysis.NetAnalyzers (34)
src\8ce1f4f68b646e6d\GlobalFlowStateAnalysis.GlobalFlowStateAnalysisValueSetDomain.cs (20)
86
if (value1.
Height
== 0 && value1.AnalysisValues.IsSubsetOf(value2.AnalysisValues))
91
if (value2.
Height
== 0 && value2.AnalysisValues.IsSubsetOf(value1.AnalysisValues))
98
if (value1.
Height
== value2.
Height
&&
109
height: Math.Max(value1.
Height
, value2.
Height
) + 1);
146
if (value1.
Height
== 0 && value2.
Height
== 0)
154
if (value1.
Height
<= value2.
Height
)
158
candidateHeight = value1.
Height
;
161
if (value2.
Height
<= value1.
Height
)
165
candidateHeight = value2.
Height
;
178
if (parent.
Height
> candidateHeight)
189
if (parent.
Height
< candidateHeight)
195
candidateHeight = parent.
Height
;
227
Debug.Assert(value1.
Height
== value2.
Height
);
245
result = GlobalFlowStateAnalysisValueSet.Create(sets, value1.Parents, value1.
Height
);
src\8ce1f4f68b646e6d\GlobalFlowStateAnalysisValueSet.cs (14)
65
var newHeight =
Height
+ newRoot.
Height
+ 1;
94
if (newAnalysisValues.
Height
== 0)
97
AnalysisValues.AddRange(newAnalysisValues.AnalysisValues), Parents,
Height
);
107
if (
Height
== 0 && AnalysisValues.Count == 1)
110
return GlobalFlowStateAnalysisValueSet.Create(negatedAnalysisValues, Parents,
Height
);
112
else if (
Height
> 0 && AnalysisValues.Count == 0)
125
if (
Height
> 0)
129
height = negatedValueFromParents.
Height
+ 1;
150
if (parent.AnalysisValues.Count == 1 && parent.
Height
== 0)
158
height = Math.Max(height, negatedParent.
Height
+ 1);
170
hashCode.Add(
Height
.GetHashCode());
179
&&
Height
.GetHashCode() == other.
Height
.GetHashCode()