C# (CSharp) NegatedCurrentAnalysisDataStack Examples

Example #1

File: NullAnalysis.NullDataFlowOperationVisitor.cs Project: satishfied/roslyn-analyzers

            protected override void SetAbstractValue(AnalysisEntity analysisEntity, NullAbstractValue value)
            {
                SetAbstractValue(CurrentAnalysisData, analysisEntity, value);

                if (IsCurrentlyPerformingPredicateAnalysis)
                {
                    SetAbstractValue(NegatedCurrentAnalysisDataStack.Peek(), analysisEntity, value);
                }
            }

Example #2

File: CopyAnalysis.CopyDataFlowOperationVisitor.cs Project: satishfied/roslyn-analyzers

            protected override void SetAbstractValue(AnalysisEntity analysisEntity, CopyAbstractValue value)
            {
                Debug.Assert(analysisEntity != null);
                Debug.Assert(value != null);

                SetAbstractValue(CurrentAnalysisData, analysisEntity, value, fromPredicate: false);

                if (IsCurrentlyPerformingPredicateAnalysis)
                {
                    SetAbstractValue(NegatedCurrentAnalysisDataStack.Peek(), analysisEntity, value, fromPredicate: false);
                }
            }