41 lines
1.9 KiB
C#
41 lines
1.9 KiB
C#
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);
|
|
}
|
|
}
|