mcs/mcs/dynamic.cs

   1 //
   2 // dynamic.cs: support for dynamic expressions
   3 //
   4 // Authors: Marek Safar (marek.safar@gmail.com)
   5 //
   6 // Dual licensed under the terms of the MIT X11 or GNU GPL
   7 //
   8 // Copyright 2009 Novell, Inc
   9 // Copyright 2011 Xamarin Inc.
  10 //
  11
  12 using System;
  13 using System.Linq;
  14 using SLE = System.Linq.Expressions;
  15 using System.Dynamic;
  16
  17 namespace Mono.CSharp
  18 {
  19         //
  20         // A copy of Microsoft.CSharp/Microsoft.CSharp.RuntimeBinder/CSharpBinderFlags.cs
  21         // has to be kept in sync
  22         //
  23         [Flags]
  24         public enum CSharpBinderFlags
  25         {
  26                 None = 0,
  27                 CheckedContext = 1,
  28                 InvokeSimpleName = 1 << 1,
  29                 InvokeSpecialName = 1 << 2,
  30                 BinaryOperationLogical = 1 << 3,
  31                 ConvertExplicit = 1 << 4,
  32                 ConvertArrayIndex = 1 << 5,
  33                 ResultIndexed = 1 << 6,
  34                 ValueFromCompoundAssignment = 1 << 7,
  35                 ResultDiscarded = 1 << 8
  36         }
  37
  38         //
  39         // Type expression with internal dynamic type symbol
  40         //
  41         class DynamicTypeExpr : TypeExpr
  42         {
  43                 public DynamicTypeExpr (Location loc)
  44                 {
  45                         this.loc = loc;
  46                 }
  47
  48                 public override TypeSpec ResolveAsType (IMemberContext ec, bool allowUnboundTypeArguments)
  49                 {
  50                         eclass = ExprClass.Type;
  51                         type = ec.Module.Compiler.BuiltinTypes.Dynamic;
  52                         return type;
  53                 }
  54         }
  55
  56         #region Dynamic runtime binder expressions
  57
  58         //
  59         // Expression created from runtime dynamic object value by dynamic binder
  60         //
  61         public class RuntimeValueExpression : Expression, IDynamicAssign, IMemoryLocation
  62         {
  63
  64                 readonly DynamicMetaObject obj;
  65
  66                 public RuntimeValueExpression (DynamicMetaObject obj, TypeSpec type)
  67                 {
  68                         this.obj = obj;
  69                         this.type = type;
  70                         this.eclass = ExprClass.Variable;
  71                 }
  72
  73                 #region Properties
  74
  75                 public bool IsSuggestionOnly { get; set; }
  76
  77                 public DynamicMetaObject MetaObject {
  78                         get { return obj; }
  79                 }
  80
  81                 #endregion
  82
  83                 public void AddressOf (EmitContext ec, AddressOp mode)
  84                 {
  85                         throw new NotImplementedException ();
  86                 }
  87
  88                 public override bool ContainsEmitWithAwait ()
  89                 {
  90                         throw new NotSupportedException ();
  91                 }
  92
  93                 public override Expression CreateExpressionTree (ResolveContext ec)
  94                 {
  95                         throw new NotSupportedException ();
  96                 }
  97
  98                 protected override Expression DoResolve (ResolveContext ec)
  99                 {
 100                         return this;
 101                 }
 102
 103                 public override Expression DoResolveLValue (ResolveContext ec, Expression right_side)
 104                 {
 105                         return this;
 106                 }
 107
 108                 public override void Emit (EmitContext ec)
 109                 {
 110                         throw new NotImplementedException ();
 111                 }
 112
 113                 #region IAssignMethod Members
 114
 115                 public void Emit (EmitContext ec, bool leave_copy)
 116                 {
 117                         throw new NotImplementedException ();
 118                 }
 119
 120                 public void EmitAssign (EmitContext ec, Expression source, bool leave_copy, bool isCompound)
 121                 {
 122                         throw new NotImplementedException ();
 123                 }
 124
 125                 #endregion
 126
 127                 public SLE.Expression MakeAssignExpression (BuilderContext ctx, Expression source)
 128                 {
 129                         return obj.Expression;
 130                 }
 131
 132                 public override SLE.Expression MakeExpression (BuilderContext ctx)
 133                 {
 134 #if STATIC
 135                         return base.MakeExpression (ctx);
 136 #else
 137
 138                                 if (type.IsStruct && !obj.Expression.Type.IsValueType)
 139                                         return SLE.Expression.Unbox (obj.Expression, type.GetMetaInfo ());
 140
 141                                 if (obj.Expression.NodeType == SLE.ExpressionType.Parameter) {
 142                                         if (((SLE.ParameterExpression) obj.Expression).IsByRef)
 143                                                 return obj.Expression;
 144                                 }
 145
 146                                 return SLE.Expression.Convert (obj.Expression, type.GetMetaInfo ());
 147 #endif
 148                 }
 149         }
 150
 151         //
 152         // Wraps runtime dynamic expression into expected type. Needed
 153         // to satify expected type check by dynamic binder and no conversion
 154         // is required (ResultDiscarded).
 155         //
 156         public class DynamicResultCast : ShimExpression
 157         {
 158                 public DynamicResultCast (TypeSpec type, Expression expr)
 159                         : base (expr)
 160                 {
 161                         this.type = type;
 162                 }
 163
 164                 protected override Expression DoResolve (ResolveContext ec)
 165                 {
 166                         expr = expr.Resolve (ec);
 167                         eclass = ExprClass.Value;
 168                         return this;
 169                 }
 170
 171                 public override SLE.Expression MakeExpression (BuilderContext ctx)
 172                 {
 173 #if STATIC
 174                         return base.MakeExpression (ctx);
 175 #else
 176                         return SLE.Expression.Block (expr.MakeExpression (ctx), SLE.Expression.Default (type.GetMetaInfo ()));
 177 #endif
 178                 }
 179         }
 180
 181         #endregion
 182
 183         //
 184         // Creates dynamic binder expression
 185         //
 186         interface IDynamicBinder
 187         {
 188                 Expression CreateCallSiteBinder (ResolveContext ec, Arguments args);
 189         }
 190
 191         //
 192         // Extends standard assignment interface for expressions
 193         // supported by dynamic resolver
 194         //
 195         interface IDynamicAssign : IAssignMethod
 196         {
 197                 SLE.Expression MakeAssignExpression (BuilderContext ctx, Expression source);
 198         }
 199
 200         //
 201         // Base dynamic expression statement creator
 202         //
 203         class DynamicExpressionStatement : ExpressionStatement
 204         {
 205                 //
 206                 // Binder flag dynamic constant, the value is combination of
 207                 // flags known at resolve stage and flags known only at emit
 208                 // stage
 209                 //
 210                 protected class BinderFlags : EnumConstant
 211                 {
 212                         readonly DynamicExpressionStatement statement;
 213                         readonly CSharpBinderFlags flags;
 214
 215                         public BinderFlags (CSharpBinderFlags flags, DynamicExpressionStatement statement)
 216                                 : base (statement.loc)
 217                         {
 218                                 this.flags = flags;
 219                                 this.statement = statement;
 220                                 eclass = 0;
 221                         }
 222
 223                         protected override Expression DoResolve (ResolveContext ec)
 224                         {
 225                                 Child = new IntConstant (ec.BuiltinTypes, (int) (flags | statement.flags), statement.loc);
 226
 227                                 type = ec.Module.PredefinedTypes.BinderFlags.Resolve ();
 228                                 eclass = Child.eclass;
 229                                 return this;
 230                         }
 231                 }
 232
 233                 readonly Arguments arguments;
 234                 protected IDynamicBinder binder;
 235                 protected Expression binder_expr;
 236
 237                 // Used by BinderFlags
 238                 protected CSharpBinderFlags flags;
 239
 240                 TypeSpec binder_type;
 241                 TypeParameters context_mvars;
 242
 243                 public DynamicExpressionStatement (IDynamicBinder binder, Arguments args, Location loc)
 244                 {
 245                         this.binder = binder;
 246                         this.arguments = args;
 247                         this.loc = loc;
 248                 }
 249
 250                 public Arguments Arguments {
 251                         get {
 252                                 return arguments;
 253                         }
 254                 }
 255
 256                 public override bool ContainsEmitWithAwait ()
 257                 {
 258                         return arguments.ContainsEmitWithAwait ();
 259                 }
 260
 261                 public override Expression CreateExpressionTree (ResolveContext ec)
 262                 {
 263                         ec.Report.Error (1963, loc, "An expression tree cannot contain a dynamic operation");
 264                         return null;
 265                 }
 266
 267                 protected override Expression DoResolve (ResolveContext rc)
 268                 {
 269                         if (DoResolveCore (rc))
 270                                 binder_expr = binder.CreateCallSiteBinder (rc, arguments);
 271
 272                         return this;
 273                 }
 274
 275                 protected bool DoResolveCore (ResolveContext rc)
 276                 {
 277                         foreach (var arg in arguments) {
 278                                 if (arg.Type == InternalType.VarOutType) {
 279                                         // Should be special error message about dynamic dispatch
 280                                         rc.Report.Error (8047, arg.Expr.Location, "Declaration expression cannot be used in this context");
 281                                 }
 282                         }
 283
 284                         if (rc.CurrentTypeParameters != null && rc.CurrentTypeParameters[0].IsMethodTypeParameter)
 285                                 context_mvars = rc.CurrentTypeParameters;
 286
 287                         int errors = rc.Report.Errors;
 288                         var pt = rc.Module.PredefinedTypes;
 289
 290                         binder_type = pt.Binder.Resolve ();
 291                         pt.CallSite.Resolve ();
 292                         pt.CallSiteGeneric.Resolve ();
 293
 294                         eclass = ExprClass.Value;
 295
 296                         if (type == null)
 297                                 type = rc.BuiltinTypes.Dynamic;
 298
 299                         if (rc.Report.Errors == errors)
 300                                 return true;
 301
 302                         rc.Report.Error (1969, loc,
 303                                 "Dynamic operation cannot be compiled without `Microsoft.CSharp.dll' assembly reference");
 304                         return false;
 305                 }
 306
 307                 public override void Emit (EmitContext ec)
 308                 {
 309                         EmitCall (ec, binder_expr, arguments,  false);
 310                 }
 311
 312                 public override void EmitStatement (EmitContext ec)
 313                 {
 314                         EmitCall (ec, binder_expr, arguments, true);
 315                 }
 316
 317                 protected void EmitCall (EmitContext ec, Expression binder, Arguments arguments, bool isStatement)
 318                 {
 319                         //
 320                         // This method generates all internal infrastructure for a dynamic call. The
 321                         // reason why it's quite complicated is the mixture of dynamic and anonymous
 322                         // methods. Dynamic itself requires a temporary class (ContainerX) and anonymous
 323                         // methods can generate temporary storey as well (AnonStorey). Handling MVAR
 324                         // type parameters rewrite is non-trivial in such case as there are various
 325                         // combinations possible therefore the mutator is not straightforward. Secondly
 326                         // we need to keep both MVAR(possibly VAR for anon storey) and type VAR to emit
 327                         // correct Site field type and its access from EmitContext.
 328                         //
 329
 330                         int dyn_args_count = arguments == null ? 0 : arguments.Count;
 331                         int default_args = isStatement ? 1 : 2;
 332                         var module = ec.Module;
 333
 334                         bool has_ref_out_argument = false;
 335                         var targs = new TypeExpression[dyn_args_count + default_args];
 336                         targs[0] = new TypeExpression (module.PredefinedTypes.CallSite.TypeSpec, loc);
 337
 338                         TypeExpression[] targs_for_instance = null;
 339                         TypeParameterMutator mutator;
 340
 341                         var site_container = ec.CreateDynamicSite ();
 342
 343                         if (context_mvars != null) {
 344                                 TypeParameters tparam;
 345                                 TypeContainer sc = site_container;
 346                                 do {
 347                                         tparam = sc.CurrentTypeParameters;
 348                                         sc = sc.Parent;
 349                                 } while (tparam == null);
 350
 351                                 mutator = new TypeParameterMutator (context_mvars, tparam);
 352
 353                                 if (!ec.IsAnonymousStoreyMutateRequired) {
 354                                         targs_for_instance = new TypeExpression[targs.Length];
 355                                         targs_for_instance[0] = targs[0];
 356                                 }
 357                         } else {
 358                                 mutator = null;
 359                         }
 360
 361                         for (int i = 0; i < dyn_args_count; ++i) {
 362                                 Argument a = arguments[i];
 363                                 if (a.ArgType == Argument.AType.Out || a.ArgType == Argument.AType.Ref)
 364                                         has_ref_out_argument = true;
 365
 366                                 var t = a.Type;
 367
 368                                 // Convert any internal type like dynamic or null to object
 369                                 if (t.Kind == MemberKind.InternalCompilerType)
 370                                         t = ec.BuiltinTypes.Object;
 371
 372                                 if (targs_for_instance != null)
 373                                         targs_for_instance[i + 1] = new TypeExpression (t, loc);
 374
 375                                 if (mutator != null)
 376                                         t = t.Mutate (mutator);
 377
 378                                 targs[i + 1] = new TypeExpression (t, loc);
 379                         }
 380
 381                         TypeExpr del_type = null;
 382                         TypeExpr del_type_instance_access = null;
 383                         if (!has_ref_out_argument) {
 384                                 string d_name = isStatement ? "Action" : "Func";
 385
 386                                 TypeSpec te = null;
 387                                 Namespace type_ns = module.GlobalRootNamespace.GetNamespace ("System", true);
 388                                 if (type_ns != null) {
 389                                         te = type_ns.LookupType (module, d_name, dyn_args_count + default_args, LookupMode.Normal, loc);
 390                                 }
 391
 392                                 if (te != null) {
 393                                         if (!isStatement) {
 394                                                 var t = type;
 395                                                 if (t.Kind == MemberKind.InternalCompilerType)
 396                                                         t = ec.BuiltinTypes.Object;
 397
 398                                                 if (targs_for_instance != null)
 399                                                         targs_for_instance[targs_for_instance.Length - 1] = new TypeExpression (t, loc);
 400
 401                                                 if (mutator != null)
 402                                                         t = t.Mutate (mutator);
 403
 404                                                 targs[targs.Length - 1] = new TypeExpression (t, loc);
 405                                         }
 406
 407                                         del_type = new GenericTypeExpr (te, new TypeArguments (targs), loc);
 408                                         if (targs_for_instance != null)
 409                                                 del_type_instance_access = new GenericTypeExpr (te, new TypeArguments (targs_for_instance), loc);
 410                                         else
 411                                                 del_type_instance_access = del_type;
 412                                 }
 413                         }
 414
 415                         //
 416                         // Create custom delegate when no appropriate predefined delegate has been found
 417                         //
 418                         Delegate d;
 419                         if (del_type == null) {
 420                                 TypeSpec rt = isStatement ? ec.BuiltinTypes.Void : type;
 421                                 Parameter[] p = new Parameter[dyn_args_count + 1];
 422                                 p[0] = new Parameter (targs[0], "p0", Parameter.Modifier.NONE, null, loc);
 423
 424                                 var site = ec.CreateDynamicSite ();
 425                                 int index = site.Containers == null ? 0 : site.Containers.Count;
 426
 427                                 if (mutator != null)
 428                                         rt = mutator.Mutate (rt);
 429
 430                                 for (int i = 1; i < dyn_args_count + 1; ++i) {
 431                                         p[i] = new Parameter (targs[i], "p" + i.ToString ("X"), arguments[i - 1].Modifier, null, loc);
 432                                 }
 433
 434                                 d = new Delegate (site, new TypeExpression (rt, loc),
 435                                         Modifiers.INTERNAL | Modifiers.COMPILER_GENERATED,
 436                                         new MemberName ("Container" + index.ToString ("X")),
 437                                         new ParametersCompiled (p), null);
 438
 439                                 d.CreateContainer ();
 440                                 d.DefineContainer ();
 441                                 d.Define ();
 442                                 d.PrepareEmit ();
 443
 444                                 site.AddTypeContainer (d);
 445
 446                                 //
 447                                 // Add new container to inflated site container when the
 448                                 // member cache already exists
 449                                 //
 450                                 if (site.CurrentType is InflatedTypeSpec && index > 0)
 451                                         site.CurrentType.MemberCache.AddMember (d.CurrentType);
 452
 453                                 del_type = new TypeExpression (d.CurrentType, loc);
 454                                 if (targs_for_instance != null) {
 455                                         del_type_instance_access = null;
 456                                 } else {
 457                                         del_type_instance_access = del_type;
 458                                 }
 459                         } else {
 460                                 d = null;
 461                         }
 462
 463                         var site_type_decl = new GenericTypeExpr (module.PredefinedTypes.CallSiteGeneric.TypeSpec, new TypeArguments (del_type), loc);
 464                         var field = site_container.CreateCallSiteField (site_type_decl, loc);
 465                         if (field == null)
 466                                 return;
 467
 468                         if (del_type_instance_access == null) {
 469                                 var dt = d.CurrentType.DeclaringType.MakeGenericType (module, context_mvars.Types);
 470                                 del_type_instance_access = new TypeExpression (MemberCache.GetMember (dt, d.CurrentType), loc);
 471                         }
 472
 473                         var instanceAccessExprType = new GenericTypeExpr (module.PredefinedTypes.CallSiteGeneric.TypeSpec,
 474                                 new TypeArguments (del_type_instance_access), loc);
 475
 476                         if (instanceAccessExprType.ResolveAsType (ec.MemberContext) == null)
 477                                 return;
 478
 479                         bool inflate_using_mvar = context_mvars != null && ec.IsAnonymousStoreyMutateRequired;
 480
 481                         TypeSpec gt;
 482                         if (inflate_using_mvar || context_mvars == null) {
 483                                 gt = site_container.CurrentType;
 484                         } else {
 485                                 gt = site_container.CurrentType.MakeGenericType (module, context_mvars.Types);
 486                         }
 487
 488                         // When site container already exists the inflated version has to be
 489                         // updated manually to contain newly created field
 490                         if (gt is InflatedTypeSpec && site_container.AnonymousMethodsCounter > 1) {
 491                                 var tparams = gt.MemberDefinition.TypeParametersCount > 0 ? gt.MemberDefinition.TypeParameters : TypeParameterSpec.EmptyTypes;
 492                                 var inflator = new TypeParameterInflator (module, gt, tparams, gt.TypeArguments);
 493                                 gt.MemberCache.AddMember (field.InflateMember (inflator));
 494                         }
 495
 496                         FieldExpr site_field_expr = new FieldExpr (MemberCache.GetMember (gt, field), loc);
 497
 498                         BlockContext bc = new BlockContext (ec.MemberContext, null, ec.BuiltinTypes.Void);
 499
 500                         Arguments args = new Arguments (1);
 501                         args.Add (new Argument (binder));
 502                         StatementExpression s = new StatementExpression (new SimpleAssign (site_field_expr, new Invocation (new MemberAccess (instanceAccessExprType, "Create"), args)));
 503
 504                         using (ec.With (BuilderContext.Options.OmitDebugInfo, true)) {
 505                                 if (s.Resolve (bc)) {
 506                                         Statement init = new If (new Binary (Binary.Operator.Equality, site_field_expr, new NullLiteral (loc)), s, loc);
 507                                         init.Emit (ec);
 508                                 }
 509
 510                                 args = new Arguments (1 + dyn_args_count);
 511                                 args.Add (new Argument (site_field_expr));
 512                                 if (arguments != null) {
 513                                         int arg_pos = 1;
 514                                         foreach (Argument a in arguments) {
 515                                                 if (a is NamedArgument) {
 516                                                         // Name is not valid in this context
 517                                                         args.Add (new Argument (a.Expr, a.ArgType));
 518                                                 } else {
 519                                                         args.Add (a);
 520                                                 }
 521
 522                                                 if (inflate_using_mvar && a.Type != targs[arg_pos].Type)
 523                                                         a.Expr.Type = targs[arg_pos].Type;
 524
 525                                                 ++arg_pos;
 526                                         }
 527                                 }
 528
 529                                 Expression target = new DelegateInvocation (new MemberAccess (site_field_expr, "Target", loc).Resolve (bc), args, false, loc).Resolve (bc);
 530                                 if (target != null)
 531                                         target.Emit (ec);
 532                         }
 533                 }
 534
 535                 public override void FlowAnalysis (FlowAnalysisContext fc)
 536                 {
 537                         arguments.FlowAnalysis (fc);
 538                 }
 539
 540                 public static MemberAccess GetBinderNamespace (Location loc)
 541                 {
 542                         return new MemberAccess (new MemberAccess (
 543                                 new QualifiedAliasMember (QualifiedAliasMember.GlobalAlias, "Microsoft", loc), "CSharp", loc), "RuntimeBinder", loc);
 544                 }
 545
 546                 protected MemberAccess GetBinder (string name, Location loc)
 547                 {
 548                         return new MemberAccess (new TypeExpression (binder_type, loc), name, loc);
 549                 }
 550         }
 551
 552         //
 553         // Dynamic member access compound assignment for events
 554         //
 555         class DynamicEventCompoundAssign : ExpressionStatement
 556         {
 557                 class IsEvent : DynamicExpressionStatement, IDynamicBinder
 558                 {
 559                         string name;
 560
 561                         public IsEvent (string name, Arguments args, Location loc)
 562                                 : base (null, args, loc)
 563                         {
 564                                 this.name = name;
 565                                 binder = this;
 566                         }
 567
 568                         public Expression CreateCallSiteBinder (ResolveContext ec, Arguments args)
 569                         {
 570                                 type = ec.BuiltinTypes.Bool;
 571
 572                                 Arguments binder_args = new Arguments (3);
 573
 574                                 binder_args.Add (new Argument (new BinderFlags (0, this)));
 575                                 binder_args.Add (new Argument (new StringLiteral (ec.BuiltinTypes, name, loc)));
 576                                 binder_args.Add (new Argument (new TypeOf (ec.CurrentType, loc)));
 577
 578                                 return new Invocation (GetBinder ("IsEvent", loc), binder_args);
 579                         }
 580                 }
 581
 582                 Expression condition;
 583                 ExpressionStatement invoke, assign;
 584
 585                 public DynamicEventCompoundAssign (string name, Arguments args, ExpressionStatement assignment, ExpressionStatement invoke, Location loc)
 586                 {
 587                         condition = new IsEvent (name, args, loc);
 588                         this.invoke = invoke;
 589                         this.assign = assignment;
 590                         this.loc = loc;
 591                 }
 592
 593                 public override Expression CreateExpressionTree (ResolveContext ec)
 594                 {
 595                         return condition.CreateExpressionTree (ec);
 596                 }
 597
 598                 protected override Expression DoResolve (ResolveContext rc)
 599                 {
 600                         type = rc.BuiltinTypes.Dynamic;
 601                         eclass = ExprClass.Value;
 602                         condition = condition.Resolve (rc);
 603                         return this;
 604                 }
 605
 606                 public override void Emit (EmitContext ec)
 607                 {
 608                         var rc = new ResolveContext (ec.MemberContext);
 609                         var expr = new Conditional (new BooleanExpression (condition), invoke, assign, loc).Resolve (rc);
 610                         expr.Emit (ec);
 611                 }
 612
 613                 public override void EmitStatement (EmitContext ec)
 614                 {
 615                         var stmt = new If (condition, new StatementExpression (invoke), new StatementExpression (assign), loc);
 616                         using (ec.With (BuilderContext.Options.OmitDebugInfo, true)) {
 617                                 stmt.Emit (ec);
 618                         }
 619                 }
 620
 621                 public override void FlowAnalysis (FlowAnalysisContext fc)
 622                 {
 623                         invoke.FlowAnalysis (fc);
 624                 }
 625         }
 626
 627         class DynamicConversion : DynamicExpressionStatement, IDynamicBinder
 628         {
 629                 public DynamicConversion (TypeSpec targetType, CSharpBinderFlags flags, Arguments args, Location loc)
 630                         : base (null, args, loc)
 631                 {
 632                         type = targetType;
 633                         base.flags = flags;
 634                         base.binder = this;
 635                 }
 636
 637                 public Expression CreateCallSiteBinder (ResolveContext ec, Arguments args)
 638                 {
 639                         Arguments binder_args = new Arguments (3);
 640
 641                         flags |= ec.HasSet (ResolveContext.Options.CheckedScope) ? CSharpBinderFlags.CheckedContext : 0;
 642
 643                         binder_args.Add (new Argument (new BinderFlags (flags, this)));
 644                         binder_args.Add (new Argument (new TypeOf (type, loc)));
 645                         binder_args.Add (new Argument (new TypeOf (ec.CurrentType, loc)));
 646                         return new Invocation (GetBinder ("Convert", loc), binder_args);
 647                 }
 648         }
 649
 650         class DynamicConstructorBinder : DynamicExpressionStatement, IDynamicBinder
 651         {
 652                 public DynamicConstructorBinder (TypeSpec type, Arguments args, Location loc)
 653                         : base (null, args, loc)
 654                 {
 655                         this.type = type;
 656                         base.binder = this;
 657                 }
 658
 659                 public Expression CreateCallSiteBinder (ResolveContext ec, Arguments args)
 660                 {
 661                         Arguments binder_args = new Arguments (3);
 662
 663                         binder_args.Add (new Argument (new BinderFlags (0, this)));
 664                         binder_args.Add (new Argument (new TypeOf (ec.CurrentType, loc)));
 665                         binder_args.Add (new Argument (new ImplicitlyTypedArrayCreation (args.CreateDynamicBinderArguments (ec), loc)));
 666
 667                         return new Invocation (GetBinder ("InvokeConstructor", loc), binder_args);
 668                 }
 669         }
 670
 671         class DynamicIndexBinder : DynamicMemberAssignable
 672         {
 673                 bool can_be_mutator;
 674
 675                 public DynamicIndexBinder (Arguments args, Location loc)
 676                         : base (args, loc)
 677                 {
 678                 }
 679
 680                 public DynamicIndexBinder (CSharpBinderFlags flags, Arguments args, Location loc)
 681                         : this (args, loc)
 682                 {
 683                         base.flags = flags;
 684                 }
 685
 686                 protected override Expression DoResolve (ResolveContext ec)
 687                 {
 688                         can_be_mutator = true;
 689                         return base.DoResolve (ec);
 690                 }
 691
 692                 protected override Expression CreateCallSiteBinder (ResolveContext ec, Arguments args, bool isSet)
 693                 {
 694                         Arguments binder_args = new Arguments (3);
 695
 696                         binder_args.Add (new Argument (new BinderFlags (flags, this)));
 697                         binder_args.Add (new Argument (new TypeOf (ec.CurrentType, loc)));
 698                         binder_args.Add (new Argument (new ImplicitlyTypedArrayCreation (args.CreateDynamicBinderArguments (ec), loc)));
 699
 700                         isSet |= (flags & CSharpBinderFlags.ValueFromCompoundAssignment) != 0;
 701                         return new Invocation (GetBinder (isSet ? "SetIndex" : "GetIndex", loc), binder_args);
 702                 }
 703
 704                 protected override Arguments CreateSetterArguments (ResolveContext rc, Expression rhs)
 705                 {
 706                         //
 707                         // Indexer has arguments which complicates things as the setter and getter
 708                         // are called in two steps when unary mutator is used. We have to make a
 709                         // copy of all variable arguments to not duplicate any side effect.
 710                         //
 711                         // ++d[++arg, Foo ()]
 712                         //
 713
 714                         if (!can_be_mutator)
 715                                 return base.CreateSetterArguments (rc, rhs);
 716
 717                         var setter_args = new Arguments (Arguments.Count + 1);
 718                         for (int i = 0; i < Arguments.Count; ++i) {
 719                                 var expr = Arguments[i].Expr;
 720
 721                                 if (expr is Constant || expr is VariableReference || expr is This) {
 722                                         setter_args.Add (Arguments [i]);
 723                                         continue;
 724                                 }
 725
 726                                 LocalVariable temp = LocalVariable.CreateCompilerGenerated (expr.Type, rc.CurrentBlock, loc);
 727                                 expr = new SimpleAssign (temp.CreateReferenceExpression (rc, expr.Location), expr).Resolve (rc);
 728                                 Arguments[i].Expr = temp.CreateReferenceExpression (rc, expr.Location).Resolve (rc);
 729                                 setter_args.Add (Arguments [i].Clone (expr));
 730                         }
 731
 732                         setter_args.Add (new Argument (rhs));
 733                         return setter_args;
 734                 }
 735         }
 736
 737         class DynamicInvocation : DynamicExpressionStatement, IDynamicBinder
 738         {
 739                 readonly ATypeNameExpression member;
 740
 741                 public DynamicInvocation (ATypeNameExpression member, Arguments args, Location loc)
 742                         : base (null, args, loc)
 743                 {
 744                         base.binder = this;
 745                         this.member = member;
 746                 }
 747
 748                 public static DynamicInvocation CreateSpecialNameInvoke (ATypeNameExpression member, Arguments args, Location loc)
 749                 {
 750                         return new DynamicInvocation (member, args, loc) {
 751                                 flags = CSharpBinderFlags.InvokeSpecialName
 752                         };
 753                 }
 754
 755                 public Expression CreateCallSiteBinder (ResolveContext ec, Arguments args)
 756                 {
 757                         Arguments binder_args = new Arguments (member != null ? 5 : 3);
 758                         bool is_member_access = member is MemberAccess;
 759
 760                         CSharpBinderFlags call_flags;
 761                         if (!is_member_access && member is SimpleName) {
 762                                 call_flags = CSharpBinderFlags.InvokeSimpleName;
 763                                 is_member_access = true;
 764                         } else {
 765                                 call_flags = 0;
 766                         }
 767
 768                         binder_args.Add (new Argument (new BinderFlags (call_flags, this)));
 769
 770                         if (is_member_access)
 771                                 binder_args.Add (new Argument (new StringLiteral (ec.BuiltinTypes, member.Name, member.Location)));
 772
 773                         if (member != null && member.HasTypeArguments) {
 774                                 TypeArguments ta = member.TypeArguments;
 775                                 if (ta.Resolve (ec, false)) {
 776                                         var targs = new ArrayInitializer (ta.Count, loc);
 777                                         foreach (TypeSpec t in ta.Arguments)
 778                                                 targs.Add (new TypeOf (t, loc));
 779
 780                                         binder_args.Add (new Argument (new ImplicitlyTypedArrayCreation (targs, loc)));
 781                                 }
 782                         } else if (is_member_access) {
 783                                 binder_args.Add (new Argument (new NullLiteral (loc)));
 784                         }
 785
 786                         binder_args.Add (new Argument (new TypeOf (ec.CurrentType, loc)));
 787
 788                         Expression real_args;
 789                         if (args == null) {
 790                                 // Cannot be null because .NET trips over
 791                                 real_args = new ArrayCreation (
 792                                         new MemberAccess (GetBinderNamespace (loc), "CSharpArgumentInfo", loc),
 793                                         new ArrayInitializer (0, loc), loc);
 794                         } else {
 795                                 real_args = new ImplicitlyTypedArrayCreation (args.CreateDynamicBinderArguments (ec), loc);
 796                         }
 797
 798                         binder_args.Add (new Argument (real_args));
 799
 800                         return new Invocation (GetBinder (is_member_access ? "InvokeMember" : "Invoke", loc), binder_args);
 801                 }
 802
 803                 public override void EmitStatement (EmitContext ec)
 804                 {
 805                         flags |= CSharpBinderFlags.ResultDiscarded;
 806                         base.EmitStatement (ec);
 807                 }
 808         }
 809
 810         class DynamicMemberBinder : DynamicMemberAssignable
 811         {
 812                 readonly string name;
 813
 814                 public DynamicMemberBinder (string name, Arguments args, Location loc)
 815                         : base (args, loc)
 816                 {
 817                         this.name = name;
 818                 }
 819
 820                 public DynamicMemberBinder (string name, CSharpBinderFlags flags, Arguments args, Location loc)
 821                         : this (name, args, loc)
 822                 {
 823                         base.flags = flags;
 824                 }
 825
 826                 protected override Expression CreateCallSiteBinder (ResolveContext ec, Arguments args, bool isSet)
 827                 {
 828                         Arguments binder_args = new Arguments (4);
 829
 830                         binder_args.Add (new Argument (new BinderFlags (flags, this)));
 831                         binder_args.Add (new Argument (new StringLiteral (ec.BuiltinTypes, name, loc)));
 832                         binder_args.Add (new Argument (new TypeOf (ec.CurrentType, loc)));
 833                         binder_args.Add (new Argument (new ImplicitlyTypedArrayCreation (args.CreateDynamicBinderArguments (ec), loc)));
 834
 835                         isSet |= (flags & CSharpBinderFlags.ValueFromCompoundAssignment) != 0;
 836                         return new Invocation (GetBinder (isSet ? "SetMember" : "GetMember", loc), binder_args);
 837                 }
 838         }
 839
 840         //
 841         // Any member binder which can be source and target of assignment
 842         //
 843         abstract class DynamicMemberAssignable : DynamicExpressionStatement, IDynamicBinder, IAssignMethod
 844         {
 845                 Expression setter;
 846                 Arguments setter_args;
 847
 848                 protected DynamicMemberAssignable (Arguments args, Location loc)
 849                         : base (null, args, loc)
 850                 {
 851                         base.binder = this;
 852                 }
 853
 854                 public Expression CreateCallSiteBinder (ResolveContext ec, Arguments args)
 855                 {
 856                         //
 857                         // DoResolve always uses getter
 858                         //
 859                         return CreateCallSiteBinder (ec, args, false);
 860                 }
 861
 862                 protected abstract Expression CreateCallSiteBinder (ResolveContext ec, Arguments args, bool isSet);
 863
 864                 protected virtual Arguments CreateSetterArguments (ResolveContext rc, Expression rhs)
 865                 {
 866                         var setter_args = new Arguments (Arguments.Count + 1);
 867                         setter_args.AddRange (Arguments);
 868                         setter_args.Add (new Argument (rhs));
 869                         return setter_args;
 870                 }
 871
 872                 public override Expression DoResolveLValue (ResolveContext rc, Expression right_side)
 873                 {
 874                         if (right_side == EmptyExpression.OutAccess) {
 875                                 right_side.DoResolveLValue (rc, this);
 876                                 return null;
 877                         }
 878
 879                         if (DoResolveCore (rc)) {
 880                                 setter_args = CreateSetterArguments (rc, right_side);
 881                                 setter = CreateCallSiteBinder (rc, setter_args, true);
 882                         }
 883
 884                         eclass = ExprClass.Variable;
 885                         return this;
 886                 }
 887
 888                 public override void Emit (EmitContext ec)
 889                 {
 890                         // It's null for ResolveLValue used without assignment
 891                         if (binder_expr == null)
 892                                 EmitCall (ec, setter, Arguments, false);
 893                         else
 894                                 base.Emit (ec);
 895                 }
 896
 897                 public override void EmitStatement (EmitContext ec)
 898                 {
 899                         // It's null for ResolveLValue used without assignment
 900                         if (binder_expr == null)
 901                                 EmitCall (ec, setter, Arguments, true);
 902                         else
 903                                 base.EmitStatement (ec);
 904                 }
 905
 906                 #region IAssignMethod Members
 907
 908                 public void Emit (EmitContext ec, bool leave_copy)
 909                 {
 910                         throw new NotImplementedException ();
 911                 }
 912
 913                 public void EmitAssign (EmitContext ec, Expression source, bool leave_copy, bool isCompound)
 914                 {
 915                         EmitCall (ec, setter, setter_args, !leave_copy);
 916                 }
 917
 918                 #endregion
 919         }
 920
 921         class DynamicUnaryConversion : DynamicExpressionStatement, IDynamicBinder
 922         {
 923                 readonly string name;
 924
 925                 public DynamicUnaryConversion (string name, Arguments args, Location loc)
 926                         : base (null, args, loc)
 927                 {
 928                         this.name = name;
 929                         base.binder = this;
 930                 }
 931
 932                 public static DynamicUnaryConversion CreateIsTrue (ResolveContext rc, Arguments args, Location loc)
 933                 {
 934                         return new DynamicUnaryConversion ("IsTrue", args, loc) { type = rc.BuiltinTypes.Bool };
 935                 }
 936
 937                 public static DynamicUnaryConversion CreateIsFalse (ResolveContext rc, Arguments args, Location loc)
 938                 {
 939                         return new DynamicUnaryConversion ("IsFalse", args, loc) { type = rc.BuiltinTypes.Bool };
 940                 }
 941
 942                 public Expression CreateCallSiteBinder (ResolveContext ec, Arguments args)
 943                 {
 944                         Arguments binder_args = new Arguments (4);
 945
 946                         MemberAccess sle = new MemberAccess (new MemberAccess (
 947                                 new QualifiedAliasMember (QualifiedAliasMember.GlobalAlias, "System", loc), "Linq", loc), "Expressions", loc);
 948
 949                         var flags = ec.HasSet (ResolveContext.Options.CheckedScope) ? CSharpBinderFlags.CheckedContext : 0;
 950
 951                         binder_args.Add (new Argument (new BinderFlags (flags, this)));
 952                         binder_args.Add (new Argument (new MemberAccess (new MemberAccess (sle, "ExpressionType", loc), name, loc)));
 953                         binder_args.Add (new Argument (new TypeOf (ec.CurrentType, loc)));
 954                         binder_args.Add (new Argument (new ImplicitlyTypedArrayCreation (args.CreateDynamicBinderArguments (ec), loc)));
 955
 956                         return new Invocation (GetBinder ("UnaryOperation", loc), binder_args);
 957                 }
 958         }
 959
 960         sealed class DynamicSiteClass : HoistedStoreyClass
 961         {
 962                 public DynamicSiteClass (TypeDefinition parent, MemberBase host, TypeParameters tparams)
 963                         : base (parent, MakeMemberName (host, "DynamicSite", parent.DynamicSitesCounter, tparams, Location.Null), tparams, Modifiers.STATIC, MemberKind.Class)
 964                 {
 965                         parent.DynamicSitesCounter++;
 966                 }
 967
 968                 public FieldSpec CreateCallSiteField (FullNamedExpression type, Location loc)
 969                 {
 970                         int index = AnonymousMethodsCounter++;
 971                         Field f = new HoistedField (this, type, Modifiers.PUBLIC | Modifiers.STATIC, "Site" + index.ToString ("X"), null, loc);
 972                         f.Define ();
 973
 974                         AddField (f);
 975                         return f.Spec;
 976                 }
 977         }
 978 }