|
// Licensed to the .NET Foundation under one or more agreements.
// The .NET Foundation licenses this file to you under the MIT license.
using System;
using System.Collections.Generic;
using System.Diagnostics;
using System.Diagnostics.CodeAnalysis;
using System.Dynamic;
using System.Linq.Expressions;
using System.Numerics.Hashing;
using Microsoft.CSharp.RuntimeBinder.Semantics;
namespace Microsoft.CSharp.RuntimeBinder
{
/// <summary>
/// Represents a dynamic binary operation in C#, providing the binding semantics and the details about the operation.
/// Instances of this class are generated by the C# compiler.
/// </summary>
internal sealed class CSharpBinaryOperationBinder : BinaryOperationBinder, ICSharpBinder
{
[ExcludeFromCodeCoverage(Justification = "Name should not be called for this binder")]
public string Name
{
get
{
Debug.Fail("Name should not be called for this binder");
return null;
}
}
public BindingFlag BindingFlags => 0;
[RequiresUnreferencedCode(Binder.TrimmerWarning)]
public Expr DispatchPayload(RuntimeBinder runtimeBinder, ArgumentObject[] arguments, LocalVariableSymbol[] locals)
=> runtimeBinder.BindBinaryOperation(this, arguments, locals);
[RequiresUnreferencedCode(Binder.TrimmerWarning)]
public void PopulateSymbolTableWithName(Type callingType, ArgumentObject[] arguments)
{
string name = Operation.GetCLROperatorName();
Debug.Assert(name != null);
SymbolTable.PopulateSymbolTableWithName(name, null, arguments[0].Type);
SymbolTable.PopulateSymbolTableWithName(name, null, arguments[1].Type);
}
public bool IsBinderThatCanHaveRefReceiver => false;
internal bool IsLogicalOperation => (_binopFlags & CSharpBinaryOperationFlags.LogicalOperation) != 0;
private readonly CSharpBinaryOperationFlags _binopFlags;
private readonly CSharpArgumentInfo[] _argumentInfo;
CSharpArgumentInfo ICSharpBinder.GetArgumentInfo(int index) => _argumentInfo[index];
private readonly RuntimeBinder _binder;
private readonly Type _callingContext;
private bool IsChecked => _binder.IsChecked;
//////////////////////////////////////////////////////////////////////
/// <summary>
/// Initializes a new instance of the <see cref="CSharpBinaryOperationBinder"/> class.
/// </summary>
/// <param name="operation">The binary operation kind.</param>
/// <param name="isChecked">True if the operation is defined in a checked context; otherwise false.</param>
/// <param name="binaryOperationFlags">The flags associated with this binary operation.</param>
/// <param name="callingContext">The <see cref="Type"/> that indicates where this operation is defined.</param>
/// <param name="argumentInfo">The sequence of <see cref="CSharpArgumentInfo"/> instances for the arguments to this operation.</param>
[RequiresUnreferencedCode(Binder.TrimmerWarning)]
public CSharpBinaryOperationBinder(
ExpressionType operation,
bool isChecked,
CSharpBinaryOperationFlags binaryOperationFlags,
Type callingContext,
IEnumerable<CSharpArgumentInfo> argumentInfo) :
base(operation)
{
_binopFlags = binaryOperationFlags;
_callingContext = callingContext;
_argumentInfo = BinderHelper.ToArray(argumentInfo);
Debug.Assert(_argumentInfo.Length == 2);
_binder = new RuntimeBinder(callingContext, isChecked);
}
public int GetGetBinderEquivalenceHash()
{
int hash = _callingContext?.GetHashCode() ?? 0;
hash = HashHelpers.Combine(hash, (int)_binopFlags);
if (IsChecked)
{
hash = HashHelpers.Combine(hash, 1);
}
hash = HashHelpers.Combine(hash, (int)Operation);
hash = BinderHelper.AddArgHashes(hash, _argumentInfo);
return hash;
}
public bool IsEquivalentTo(ICSharpBinder other)
{
var otherBinder = other as CSharpBinaryOperationBinder;
if (otherBinder == null)
{
return false;
}
if (_binopFlags != otherBinder._binopFlags ||
Operation != otherBinder.Operation ||
IsChecked != otherBinder.IsChecked ||
_callingContext != otherBinder._callingContext)
{
return false;
}
return BinderHelper.CompareArgInfos(_argumentInfo, otherBinder._argumentInfo);
}
/// <summary>
/// Performs the binding of the binary dynamic operation if the target dynamic object cannot bind.
/// </summary>
/// <param name="target">The target of the dynamic binary operation.</param>
/// <param name="arg">The right hand side operand of the dynamic binary operation.</param>
/// <param name="errorSuggestion">The binding result in case the binding fails, or null.</param>
/// <returns>The <see cref="DynamicMetaObject"/> representing the result of the binding.</returns>
[UnconditionalSuppressMessage("ReflectionAnalysis", "IL2026:RequiresUnreferencedCode",
Justification = "This whole class is unsafe. Constructors are marked as such.")]
public override DynamicMetaObject FallbackBinaryOperation(DynamicMetaObject target, DynamicMetaObject arg, DynamicMetaObject errorSuggestion)
{
BinderHelper.ValidateBindArgument(target, nameof(target));
BinderHelper.ValidateBindArgument(arg, nameof(arg));
return BinderHelper.Bind(this, _binder, new[] { target, arg }, _argumentInfo, errorSuggestion);
}
}
}
|