C# (CSharp) Microsoft.CodeAnalysis.FlowAnalysis.DataFlow MapAbstractDomain Examples

Example #1

File: AnalysisEntityBasedPredicateAnalysisData.cs Project: JarLob/security-code-scan

        protected int BaseCompareHelper(AnalysisEntityBasedPredicateAnalysisData <TValue> newData, MapAbstractDomain <AnalysisEntity, TValue> coreDataAnalysisDomain)
        {
            var baseCompareResult = base.BaseCompareHelper(newData);

            if (baseCompareResult != 0)
            {
                Debug.Assert(baseCompareResult < 0, "Non-monotonic Merge function");
                return(baseCompareResult);
            }

            var coreAnalysisDataCompareResult = coreDataAnalysisDomain.Compare(CoreAnalysisData, newData.CoreAnalysisData);

            Debug.Assert(coreAnalysisDataCompareResult <= 0, "Non-monotonic Merge function");
            return(coreAnalysisDataCompareResult);
        }

Example #2

File: AnalysisEntityBasedPredicateAnalysisData.cs Project: JarLob/security-code-scan

 public abstract AnalysisEntityBasedPredicateAnalysisData <TValue> WithMergedData(AnalysisEntityBasedPredicateAnalysisData <TValue> data, MapAbstractDomain <AnalysisEntity, TValue> coreDataAnalysisDomain);

Example #3

File: AnalysisEntityBasedPredicateAnalysisData.cs Project: JarLob/security-code-scan

 public abstract int Compare(AnalysisEntityBasedPredicateAnalysisData <TValue> other, MapAbstractDomain <AnalysisEntity, TValue> coreDataAnalysisDomain);

Example #4

File: PredicatedAnalysisDataDomain.cs Project: wagnerhsu/dotnet-roslyn-analyzers

 public PredicatedAnalysisDataDomain(MapAbstractDomain <AnalysisEntity, TValue> coreDataAnalysisDomain)
 {
     CoreDataAnalysisDomain = coreDataAnalysisDomain;
 }