protected override bool Equals(PropertySetAnalysisData value1, PropertySetAnalysisData value2) => EqualsHelper(value1, value2);
protected override bool HasAnyAbstractValue(PropertySetAnalysisData data) => data.Count > 0;
protected override void ApplyMissingCurrentAnalysisDataForUnhandledExceptionData(PropertySetAnalysisData dataAtException, ThrownExceptionInfo throwBranchWithExceptionType) => ApplyMissingCurrentAnalysisDataForUnhandledExceptionData(dataAtException, CurrentAnalysisData);
protected override PropertySetAnalysisData GetClonedAnalysisData(PropertySetAnalysisData analysisData) => GetClonedAnalysisDataHelper(analysisData);
protected override void UpdateValuesForAnalysisData(PropertySetAnalysisData targetAnalysisData) => UpdateValuesForAnalysisData(targetAnalysisData, CurrentAnalysisData);
protected override PropertySetAnalysisData MergeAnalysisData(PropertySetAnalysisData value1, PropertySetAnalysisData value2) => PropertySetAnalysisDomainInstance.Merge(value1, value2);
public PropertySetBlockAnalysisResult(BasicBlock basicBlock, PropertySetAnalysisData blockAnalysisData)
: base(basicBlock)
{
Data = blockAnalysisData?.ToImmutableDictionary() ?? ImmutableDictionary <AbstractLocation, PropertySetAbstractValue> .Empty;
}