mcs/class/Microsoft.CSharp/Microsoft.CSharp.RuntimeBinder/CSharpInvokeMemberBinder.cs

   1 //
   2 // CSharpInvokeMemberBinder.cs
   3 //
   4 // Authors:
   5 //      Marek Safar  <marek.safar@gmail.com>
   6 //
   7 // Copyright (C) 2009 Novell, Inc (http://www.novell.com)
   8 //
   9 // Permission is hereby granted, free of charge, to any person obtaining
  10 // a copy of this software and associated documentation files (the
  11 // "Software"), to deal in the Software without restriction, including
  12 // without limitation the rights to use, copy, modify, merge, publish,
  13 // distribute, sublicense, and/or sell copies of the Software, and to
  14 // permit persons to whom the Software is furnished to do so, subject to
  15 // the following conditions:
  16 //
  17 // The above copyright notice and this permission notice shall be
  18 // included in all copies or substantial portions of the Software.
  19 //
  20 // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
  21 // EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
  22 // MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
  23 // NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
  24 // LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
  25 // OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
  26 // WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
  27 //
  28
  29 using System;
  30 using System.Dynamic;
  31 using System.Collections.Generic;
  32 using System.Linq;
  33 using Compiler = Mono.CSharp;
  34
  35 namespace Microsoft.CSharp.RuntimeBinder
  36 {
  37         class CSharpInvokeMemberBinder : InvokeMemberBinder
  38         {
  39                 readonly CSharpBinderFlags flags;
  40                 IList<CSharpArgumentInfo> argumentInfo;
  41                 IList<Type> typeArguments;
  42                 Type callingContext;
  43
  44                 public CSharpInvokeMemberBinder (CSharpBinderFlags flags, string name, Type callingContext, IEnumerable<Type> typeArguments, IEnumerable<CSharpArgumentInfo> argumentInfo)
  45                         : base (name, false, CSharpArgumentInfo.CreateCallInfo (argumentInfo, 1))
  46                 {
  47                         this.flags = flags;
  48                         this.callingContext = callingContext;
  49                         this.argumentInfo = argumentInfo.ToReadOnly ();
  50                         this.typeArguments = typeArguments.ToReadOnly ();
  51                 }
  52
  53                 public override DynamicMetaObject FallbackInvoke (DynamicMetaObject target, DynamicMetaObject[] args, DynamicMetaObject errorSuggestion)
  54                 {
  55                         var b = new CSharpInvokeBinder (flags, callingContext, argumentInfo);
  56
  57                         // TODO: Is errorSuggestion ever used?
  58                         return b.Defer (target, args);
  59                 }
  60
  61                 public override DynamicMetaObject FallbackInvokeMember (DynamicMetaObject target, DynamicMetaObject[] args, DynamicMetaObject errorSuggestion)
  62                 {
  63                         var ctx = DynamicContext.Create ();
  64                         var c_args = ctx.CreateCompilerArguments (argumentInfo.Skip (1), args);
  65                         var t_args = typeArguments == null ?
  66                                 null :
  67                                 new Compiler.TypeArguments (typeArguments.Select (l => new Compiler.TypeExpression (ctx.ImportType (l), Compiler.Location.Null)).ToArray ());
  68
  69                         var expr = ctx.CreateCompilerExpression (argumentInfo[0], target);
  70
  71                         //
  72                         // Simple name invocation is actually member access invocation
  73                         // to capture original this argument. This  brings problem when
  74                         // simple name is resolved as a static invocation and member access
  75                         // has to be reduced back to simple name without reporting an error
  76                         //
  77                         if ((flags & CSharpBinderFlags.InvokeSimpleName) != 0) {
  78                                 var value = expr as Compiler.RuntimeValueExpression;
  79                                 if (value != null)
  80                                         value.IsSuggestionOnly = true;
  81                         }
  82
  83                         expr = new Compiler.MemberAccess (expr, Name, t_args, Compiler.Location.Null);
  84                         expr = new Compiler.Invocation (expr, c_args);
  85
  86                         if ((flags & CSharpBinderFlags.ResultDiscarded) == 0)
  87                                 expr = new Compiler.Cast (new Compiler.TypeExpression (ctx.ImportType (ReturnType), Compiler.Location.Null), expr, Compiler.Location.Null);
  88                         else
  89                                 expr = new Compiler.DynamicResultCast (ctx.ImportType (ReturnType), expr);
  90
  91                         var binder = new CSharpBinder (this, expr, errorSuggestion);
  92                         binder.AddRestrictions (target);
  93                         binder.AddRestrictions (args);
  94
  95                         if ((flags & CSharpBinderFlags.InvokeSpecialName) != 0)
  96                                 binder.ResolveOptions |= Compiler.ResolveContext.Options.InvokeSpecialName;
  97
  98                         return binder.Bind (ctx, callingContext);
  99                 }
 100         }
 101 }