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