/// <summary>
/// Creates new valuation context for param null-check.
/// </summary>
/// <param name="context">Syntax node analysis context</param>
/// <param name="valuationProvider">Valuation provider to recurse into</param>
internal NullCheckContext(
SyntaxNodeAnalysisContext context,
IValuationProvider <bool, NullCheckContext, NullCheckState> valuationProvider
) : base(context)
{
this.valuationProvider = valuationProvider;
}
/// <summary> /// Creates new boolean logic expression valuation based on leaf valuation. /// </summary> /// <param name="leafValuation">The leaf valuation provider</param> public BoolValuationProvider(IValuationProvider <bool, ValuationContext, StateObject> leafValuation) => this.leafValuation = leafValuation;
