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