/mcs/class/Microsoft.CSharp/Microsoft.CSharp.RuntimeBinder/CSharpBinaryOperationBinder.cs
C# | 193 lines | 150 code | 16 blank | 27 comment | 14 complexity | e1489976c51ae11b8df51f5bf987d493 MD5 | raw file
Possible License(s): LGPL-2.0, MPL-2.0-no-copyleft-exception, CC-BY-SA-3.0, GPL-2.0, LGPL-2.1
- //
- // CSharpBinaryOperationBinder.cs
- //
- // Authors:
- // Marek Safar <marek.safar@gmail.com>
- //
- // Copyright (C) 2009 Novell, Inc (http://www.novell.com)
- //
- // Permission is hereby granted, free of charge, to any person obtaining
- // a copy of this software and associated documentation files (the
- // "Software"), to deal in the Software without restriction, including
- // without limitation the rights to use, copy, modify, merge, publish,
- // distribute, sublicense, and/or sell copies of the Software, and to
- // permit persons to whom the Software is furnished to do so, subject to
- // the following conditions:
- //
- // The above copyright notice and this permission notice shall be
- // included in all copies or substantial portions of the Software.
- //
- // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
- // EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
- // MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
- // NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
- // LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
- // OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
- // WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
- //
- using System;
- using System.Dynamic;
- using System.Collections.Generic;
- using System.Linq;
- using System.Linq.Expressions;
- using System.Runtime.CompilerServices;
- using Compiler = Mono.CSharp;
- namespace Microsoft.CSharp.RuntimeBinder
- {
- public class CSharpBinaryOperationBinder : BinaryOperationBinder
- {
- IList<CSharpArgumentInfo> argumentInfo;
- bool is_checked, is_member_access;
-
- public CSharpBinaryOperationBinder (ExpressionType operation, bool isChecked, bool isMemberAccess, IEnumerable<CSharpArgumentInfo> argumentInfo)
- : base (operation)
- {
- this.argumentInfo = new ReadOnlyCollectionBuilder<CSharpArgumentInfo> (argumentInfo);
- if (this.argumentInfo.Count != 2)
- throw new ArgumentException ("argumentInfo != 2");
- this.is_checked = isChecked;
- this.is_member_access = isMemberAccess;
- }
-
- public IList<CSharpArgumentInfo> ArgumentInfo {
- get {
- return argumentInfo;
- }
- }
- public bool IsChecked {
- get {
- return is_checked;
- }
- }
-
- public bool IsMemberAccess {
- get {
- return is_member_access;
- }
- }
- public override bool Equals (object obj)
- {
- var other = obj as CSharpBinaryOperationBinder;
- return other != null && base.Equals (obj) && other.is_checked == is_checked && other.is_member_access == is_member_access &&
- other.argumentInfo.SequenceEqual (argumentInfo);
- }
-
- public override int GetHashCode ()
- {
- return Extensions.HashCode (
- base.GetHashCode (),
- is_checked.GetHashCode (),
- is_member_access.GetHashCode (),
- argumentInfo[0].GetHashCode (), argumentInfo[1].GetHashCode ());
- }
- Compiler.Binary.Operator GetOperator (out bool isCompound)
- {
- isCompound = false;
- switch (Operation) {
- case ExpressionType.Add:
- return Compiler.Binary.Operator.Addition;
- case ExpressionType.AddAssign:
- isCompound = true;
- return Compiler.Binary.Operator.Addition;
- case ExpressionType.And:
- return Compiler.Binary.Operator.BitwiseAnd;
- case ExpressionType.AndAssign:
- isCompound = true;
- return Compiler.Binary.Operator.BitwiseAnd;
- case ExpressionType.Divide:
- return Compiler.Binary.Operator.Division;
- case ExpressionType.DivideAssign:
- isCompound = true;
- return Compiler.Binary.Operator.Division;
- case ExpressionType.Equal:
- return Compiler.Binary.Operator.Equality;
- case ExpressionType.ExclusiveOr:
- return Compiler.Binary.Operator.ExclusiveOr;
- case ExpressionType.ExclusiveOrAssign:
- isCompound = true;
- return Compiler.Binary.Operator.ExclusiveOr;
- case ExpressionType.GreaterThan:
- return Compiler.Binary.Operator.GreaterThan;
- case ExpressionType.GreaterThanOrEqual:
- return Compiler.Binary.Operator.GreaterThanOrEqual;
- case ExpressionType.LeftShift:
- return Compiler.Binary.Operator.LeftShift;
- case ExpressionType.LeftShiftAssign:
- isCompound = true;
- return Compiler.Binary.Operator.LeftShift;
- case ExpressionType.LessThan:
- return Compiler.Binary.Operator.LessThan;
- case ExpressionType.LessThanOrEqual:
- return Compiler.Binary.Operator.LessThanOrEqual;
- case ExpressionType.Modulo:
- return Compiler.Binary.Operator.Modulus;
- case ExpressionType.ModuloAssign:
- isCompound = true;
- return Compiler.Binary.Operator.Modulus;
- case ExpressionType.Multiply:
- return Compiler.Binary.Operator.Multiply;
- case ExpressionType.MultiplyAssign:
- isCompound = true;
- return Compiler.Binary.Operator.Multiply;
- case ExpressionType.NotEqual:
- return Compiler.Binary.Operator.Inequality;
- case ExpressionType.Or:
- return Compiler.Binary.Operator.BitwiseOr;
- case ExpressionType.OrAssign:
- isCompound = true;
- return Compiler.Binary.Operator.BitwiseOr;
- case ExpressionType.OrElse:
- return Compiler.Binary.Operator.LogicalOr;
- case ExpressionType.RightShift:
- return Compiler.Binary.Operator.RightShift;
- case ExpressionType.RightShiftAssign:
- isCompound = true;
- return Compiler.Binary.Operator.RightShift;
- case ExpressionType.Subtract:
- return Compiler.Binary.Operator.Subtraction;
- case ExpressionType.SubtractAssign:
- isCompound = true;
- return Compiler.Binary.Operator.Subtraction;
- default:
- throw new NotImplementedException (Operation.ToString ());
- }
- }
-
- public override DynamicMetaObject FallbackBinaryOperation (DynamicMetaObject target, DynamicMetaObject arg, DynamicMetaObject errorSuggestion)
- {
- var left = CSharpBinder.CreateCompilerExpression (argumentInfo [0], target, true);
- var right = CSharpBinder.CreateCompilerExpression (argumentInfo [1], arg, true);
-
- bool is_compound;
- var oper = GetOperator (out is_compound);
- Compiler.Expression expr;
- if (is_compound) {
- var target_expr = CSharpBinder.CreateCompilerExpression (argumentInfo[0], target, false);
- expr = new Compiler.CompoundAssign (oper, target_expr, right, left);
- } else {
- expr = new Compiler.Binary (oper, left, right);
- expr = new Compiler.Cast (new Compiler.TypeExpression (typeof (object), Compiler.Location.Null), expr);
- }
-
- if (is_checked)
- expr = new Compiler.CheckedExpr (expr, Compiler.Location.Null);
- var restrictions = CreateRestrictionsOnTarget (target).Merge (CreateRestrictionsOnTarget (arg));
- return CSharpBinder.Bind (target, expr, restrictions, errorSuggestion);
- }
- static BindingRestrictions CreateRestrictionsOnTarget (DynamicMetaObject arg)
- {
- return arg.HasValue && arg.Value == null ?
- BindingRestrictions.GetInstanceRestriction (arg.Expression, null) :
- BindingRestrictions.GetTypeRestriction (arg.Expression, arg.LimitType);
- }
- }
- }