using System.Collections.Immutable;
using Microsoft.CodeAnalysis.CSharp.Symbols;
using Microsoft.CodeAnalysis.CSharp.Syntax;

namespace Microsoft.CodeAnalysis.CSharp;

internal sealed class SwitchExpressionArmBinder : Binder
{
	private readonly SwitchExpressionArmSyntax _arm;

	private readonly ExpressionVariableBinder _armScopeBinder;

	private readonly SwitchExpressionBinder _switchExpressionBinder;

	public SwitchExpressionArmBinder(SwitchExpressionArmSyntax arm, ExpressionVariableBinder armScopeBinder, SwitchExpressionBinder switchExpressionBinder)
		: base(armScopeBinder)
	{
		_arm = arm;
		_armScopeBinder = armScopeBinder;
		_switchExpressionBinder = switchExpressionBinder;
	}

	internal BoundSwitchExpressionArm BindSwitchExpressionArm(SwitchExpressionArmSyntax node, BindingDiagnosticBag diagnostics)
	{
		TypeSymbol inputType = _switchExpressionBinder.GetInputType();
		return BindSwitchExpressionArm(node, inputType, diagnostics);
	}

	internal override BoundSwitchExpressionArm BindSwitchExpressionArm(SwitchExpressionArmSyntax node, TypeSymbol switchGoverningType, BindingDiagnosticBag diagnostics)
	{
		Binder requiredBinder = GetRequiredBinder((SyntaxNode)(object)node);
		bool flag = switchGoverningType.IsErrorType();
		ImmutableArray<LocalSymbol> locals = _armScopeBinder.Locals;
		BoundPattern boundPattern = requiredBinder.BindPattern(node.Pattern, switchGoverningType, permitDesignations: true, flag, diagnostics);
		BoundExpression whenClause = ((node.WhenClause != null) ? requiredBinder.BindBooleanExpression(node.WhenClause.Condition, diagnostics) : null);
		BoundExpression value = requiredBinder.BindValue(node.Expression, diagnostics, BindValueKind.RValue);
		GeneratedLabelSymbol label = new GeneratedLabelSymbol("arm");
		return new BoundSwitchExpressionArm((SyntaxNode)(object)node, locals, boundPattern, whenClause, value, label, flag | boundPattern.HasErrors);
	}
}