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