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.Collections;
  13
  14 #if NET_4_0
  15 using System.Dynamic;
  16 #endif
  17
  18 namespace Mono.CSharp
  19 {
  20         class DynamicTypeExpr : TypeExpr
  21         {
  22                 public DynamicTypeExpr (Location loc)
  23                 {
  24                         this.loc = loc;
  25
  26                         type = InternalType.Dynamic;
  27                         eclass = ExprClass.Type;
  28                 }
  29
  30                 public override bool CheckAccessLevel (IMemberContext ds)
  31                 {
  32                         return true;
  33                 }
  34
  35                 protected override TypeExpr DoResolveAsTypeStep (IMemberContext ec)
  36                 {
  37                         return this;
  38                 }
  39         }
  40
  41         //
  42         // Expression created from runtime dynamic object value
  43         //
  44         public class RuntimeValueExpression : Expression, IAssignMethod
  45         {
  46 #if !NET_4_0
  47                 public class DynamicMetaObject { public Type RuntimeType; }
  48 #endif
  49
  50                 readonly DynamicMetaObject obj;
  51
  52                 // When strongly typed expression is required
  53                 readonly bool typed;
  54
  55                 public RuntimeValueExpression (DynamicMetaObject obj, bool typed)
  56                 {
  57                         this.obj = obj;
  58                         this.typed = typed;
  59                         this.type = obj.RuntimeType;
  60                         this.eclass = ExprClass.Variable;
  61                 }
  62
  63                 public override Expression CreateExpressionTree (ResolveContext ec)
  64                 {
  65                         throw new NotImplementedException ();
  66                 }
  67
  68                 public override Expression DoResolve (ResolveContext ec)
  69                 {
  70                         return this;
  71                 }
  72
  73                 public override Expression DoResolveLValue (ResolveContext ec, Expression right_side)
  74                 {
  75                         return this;
  76                 }
  77
  78                 public override void Emit (EmitContext ec)
  79                 {
  80                         throw new NotImplementedException ();
  81                 }
  82
  83                 #region IAssignMethod Members
  84
  85                 public void Emit (EmitContext ec, bool leave_copy)
  86                 {
  87                         throw new NotImplementedException ();
  88                 }
  89
  90                 public void EmitAssign (EmitContext ec, Expression source, bool leave_copy, bool prepare_for_load)
  91                 {
  92                         throw new NotImplementedException ();
  93                 }
  94
  95                 #endregion
  96
  97 #if NET_4_0
  98                 public override System.Linq.Expressions.Expression MakeExpression (BuilderContext ctx)
  99                 {
 100                         if (typed && obj.Expression.Type != type)
 101                                 return System.Linq.Expressions.Expression.Convert (obj.Expression, type);
 102
 103                         return obj.Expression;
 104                 }
 105 #endif
 106
 107                 public DynamicMetaObject MetaObject {
 108                         get { return obj; }
 109                 }
 110         }
 111
 112         interface IDynamicBinder
 113         {
 114                 Expression CreateCallSiteBinder (ResolveContext ec, Arguments args);
 115         }
 116
 117         class DynamicExpressionStatement : ExpressionStatement
 118         {
 119                 class StaticDataClass : CompilerGeneratedClass
 120                 {
 121                         public StaticDataClass ()
 122                                 : base (new RootDeclSpace (new NamespaceEntry (null, null, null)),
 123                                         new MemberName (CompilerGeneratedClass.MakeName (null, "c", "DynamicSites", 0)),
 124                                         Modifiers.INTERNAL | Modifiers.STATIC)
 125                         {
 126                                 ModFlags &= ~Modifiers.SEALED;
 127                         }
 128                 }
 129
 130                 static StaticDataClass global_site_container;
 131                 static int field_counter;
 132                 static int container_counter;
 133
 134                 readonly Arguments arguments;
 135                 protected IDynamicBinder binder;
 136                 Expression binder_expr;
 137
 138                 public DynamicExpressionStatement (IDynamicBinder binder, Arguments args, Location loc)
 139                 {
 140                         this.binder = binder;
 141                         this.arguments = args;
 142                         this.loc = loc;
 143                 }
 144
 145                 public Arguments Arguments {
 146                         get {
 147                                 return arguments;
 148                         }
 149                 }
 150
 151                 static TypeContainer CreateSiteContainer ()
 152                 {
 153                         if (global_site_container == null) {
 154                                 global_site_container = new StaticDataClass ();
 155                                 RootContext.ToplevelTypes.AddCompilerGeneratedClass (global_site_container);
 156                                 global_site_container.DefineType ();
 157                                 global_site_container.Define ();
 158 //                              global_site_container.EmitType ();
 159
 160                                 RootContext.RegisterCompilerGeneratedType (global_site_container.TypeBuilder);
 161                         }
 162
 163                         return global_site_container;
 164                 }
 165
 166                 static Field CreateSiteField (FullNamedExpression type)
 167                 {
 168                         TypeContainer site_container = CreateSiteContainer ();
 169                         Field f = new Field (site_container, type, Modifiers.PUBLIC | Modifiers.STATIC,
 170                                 new MemberName ("Site" +  field_counter++), null);
 171                         f.Define ();
 172
 173                         site_container.AddField (f);
 174                         return f;
 175                 }
 176
 177                 public override Expression CreateExpressionTree (ResolveContext ec)
 178                 {
 179                         throw new NotImplementedException ();
 180                 }
 181
 182                 public override Expression DoResolve (ResolveContext ec)
 183                 {
 184                         if (eclass != ExprClass.Invalid)
 185                                 return this;
 186
 187                         if (TypeManager.call_site_type == null)
 188                                 TypeManager.call_site_type = TypeManager.CoreLookupType (ec.Compiler,
 189                                         "System.Runtime.CompilerServices", "CallSite", Kind.Class, true);
 190
 191                         if (TypeManager.generic_call_site_type == null)
 192                                 TypeManager.generic_call_site_type = TypeManager.CoreLookupType (ec.Compiler,
 193                                         "System.Runtime.CompilerServices", "CallSite`1", Kind.Class, true);
 194
 195                         eclass = ExprClass.Value;
 196
 197                         if (type == null)
 198                                 type = InternalType.Dynamic;
 199
 200                         binder_expr = binder.CreateCallSiteBinder (ec, arguments);
 201                         return this;
 202                 }
 203
 204                 public override void Emit (EmitContext ec)
 205                 {
 206                         EmitCall (ec, false);
 207                 }
 208
 209                 public override void EmitStatement (EmitContext ec)
 210                 {
 211                         EmitCall (ec, true);
 212                 }
 213
 214                 void EmitCall (EmitContext ec, bool isStatement)
 215                 {
 216                         int dyn_args_count = arguments == null ? 0 : arguments.Count;
 217                         TypeExpr site_type = CreateSiteType (RootContext.ToplevelTypes.Compiler, isStatement, dyn_args_count);
 218                         FieldExpr site_field_expr = new FieldExpr (CreateSiteField (site_type).FieldBuilder, loc);
 219
 220                         SymbolWriter.OpenCompilerGeneratedBlock (ec.ig);
 221
 222                         Arguments args = new Arguments (1);
 223                         args.Add (new Argument (binder_expr));
 224                         StatementExpression s = new StatementExpression (new SimpleAssign (site_field_expr, new Invocation (new MemberAccess (site_type, "Create"), args)));
 225
 226                         BlockContext bc = new BlockContext (ec.MemberContext, null, TypeManager.void_type);
 227                         if (s.Resolve (bc)) {
 228                                 Statement init = new If (new Binary (Binary.Operator.Equality, site_field_expr, new NullLiteral (loc)), s, loc);
 229                                 init.Emit (ec);
 230                         }
 231
 232                         args = new Arguments (1 + dyn_args_count);
 233                         args.Add (new Argument (site_field_expr));
 234                         if (arguments != null) {
 235                                 foreach (Argument a in arguments) {
 236                                         if (a is NamedArgument) {
 237                                                 // Name is not valid in this context
 238                                                 args.Add (new Argument (a.Expr, a.ArgType));
 239                                                 continue;
 240                                         }
 241
 242                                         args.Add (a);
 243                                 }
 244                         }
 245
 246                         ResolveContext rc = new ResolveContext (ec.MemberContext);
 247                         Expression target = new DelegateInvocation (new MemberAccess (site_field_expr, "Target", loc).Resolve (rc), args, loc).Resolve (rc);
 248                         if (target != null)
 249                                 target.Emit (ec);
 250
 251                         SymbolWriter.CloseCompilerGeneratedBlock (ec.ig);
 252                 }
 253
 254                 public static MemberAccess GetBinderNamespace (Location loc)
 255                 {
 256                         return new MemberAccess (new MemberAccess (
 257                                 new QualifiedAliasMember (QualifiedAliasMember.GlobalAlias, "Microsoft", loc), "CSharp", loc), "RuntimeBinder", loc);
 258                 }
 259
 260                 TypeExpr CreateSiteType (CompilerContext ctx, bool isStatement, int dyn_args_count)
 261                 {
 262                         int default_args = isStatement ? 1 : 2;
 263
 264                         bool has_ref_out_argument = false;
 265                         FullNamedExpression[] targs = new FullNamedExpression[dyn_args_count + default_args];
 266                         targs [0] = new TypeExpression (TypeManager.call_site_type, loc);
 267                         for (int i = 0; i < dyn_args_count; ++i) {
 268                                 Type arg_type;
 269                                 Argument a = arguments [i];
 270                                 if (a.Type == TypeManager.null_type)
 271                                         arg_type = TypeManager.object_type;
 272                                 else
 273                                         arg_type = TypeManager.TypeToReflectionType (a.Type);
 274
 275                                 if (a.ArgType == Argument.AType.Out || a.ArgType == Argument.AType.Ref)
 276                                         has_ref_out_argument = true;
 277
 278                                 targs [i + 1] = new TypeExpression (arg_type, loc);
 279                         }
 280
 281                         TypeExpr del_type = null;
 282                         if (!has_ref_out_argument) {
 283                                 string d_name = isStatement ? "Action`" : "Func`";
 284
 285                                 Type t = TypeManager.CoreLookupType (ctx, "System", d_name + (dyn_args_count + default_args), Kind.Delegate, false);
 286                                 if (t != null) {
 287                                         if (!isStatement)
 288                                                 targs[targs.Length - 1] = new TypeExpression (TypeManager.TypeToReflectionType (type), loc);
 289
 290                                         del_type = new GenericTypeExpr (t, new TypeArguments (targs), loc);
 291                                 }
 292                         }
 293
 294                         // No appropriate predefined delegate found
 295                         if (del_type == null) {
 296                                 Type rt = isStatement ? TypeManager.void_type : type;
 297                                 Parameter[] p = new Parameter [dyn_args_count + 1];
 298                                 p[0] = new Parameter (targs [0], "p0", Parameter.Modifier.NONE, null, loc);
 299
 300                                 for (int i = 1; i < dyn_args_count + 1; ++i)
 301                                         p[i] = new Parameter (targs[i], "p" + i.ToString ("X"), arguments[i - 1].Modifier, null, loc);
 302
 303                                 TypeContainer parent = CreateSiteContainer ();
 304                                 Delegate d = new Delegate (parent.NamespaceEntry, parent, new TypeExpression (rt, loc),
 305                                         Modifiers.INTERNAL | Modifiers.COMPILER_GENERATED,
 306                                         new MemberName ("Container" + container_counter++.ToString ("X")),
 307                                         new ParametersCompiled (p), null);
 308
 309                                 d.DefineType ();
 310                                 d.Define ();
 311
 312                                 parent.AddDelegate (d);
 313                                 del_type = new TypeExpression (d.TypeBuilder, loc);
 314                         }
 315
 316                         TypeExpr site_type = new GenericTypeExpr (TypeManager.generic_call_site_type, new TypeArguments (del_type), loc);
 317                         return site_type;
 318                 }
 319
 320                 public static void Reset ()
 321                 {
 322                         global_site_container = null;
 323                         field_counter = container_counter = 0;
 324                 }
 325         }
 326
 327         //
 328         // Dynamic member access compound assignment for events
 329         //
 330         class DynamicEventCompoundAssign : DynamicExpressionStatement, IDynamicBinder
 331         {
 332                 string name;
 333                 ExpressionStatement assignment;
 334                 ExpressionStatement invoke;
 335
 336                 public DynamicEventCompoundAssign (string name, Arguments args, ExpressionStatement assignment, ExpressionStatement invoke, Location loc)
 337                         : base (null, args, loc)
 338                 {
 339                         this.name = name;
 340                         this.assignment = assignment;
 341                         this.invoke = invoke;
 342                         base.binder = this;
 343
 344                         // Used by += or -= only
 345                         type = TypeManager.bool_type;
 346                 }
 347
 348                 public Expression CreateCallSiteBinder (ResolveContext ec, Arguments args)
 349                 {
 350                         Arguments binder_args = new Arguments (2);
 351                         MemberAccess binder = GetBinderNamespace (loc);
 352
 353                         binder_args.Add (new Argument (new StringLiteral (name, loc)));
 354                         binder_args.Add (new Argument (new TypeOf (new TypeExpression (ec.CurrentType, loc), loc)));
 355
 356                         return new New (new MemberAccess (binder, "CSharpIsEventBinder", loc), binder_args, loc);
 357                 }
 358
 359                 public override void EmitStatement (EmitContext ec)
 360                 {
 361                         Statement cond = new If (
 362                                 new Binary (Binary.Operator.Equality, this, new BoolLiteral (true, loc)),
 363                                 new StatementExpression (invoke),
 364                                 new StatementExpression (assignment),
 365                                 loc);
 366                         cond.Emit (ec);
 367                 }
 368         }
 369
 370         class DynamicConversion : DynamicExpressionStatement, IDynamicBinder
 371         {
 372                 bool is_explicit;
 373
 374                 public DynamicConversion (Type targetType, bool isExplicit, Arguments args, Location loc)
 375                         : base (null, args, loc)
 376                 {
 377                         type = targetType;
 378                         is_explicit = isExplicit;
 379                         base.binder = this;
 380                 }
 381
 382                 public Expression CreateCallSiteBinder (ResolveContext ec, Arguments args)
 383                 {
 384                         Arguments binder_args = new Arguments (2);
 385                         MemberAccess binder = GetBinderNamespace (loc);
 386
 387                         binder_args.Add (new Argument (new TypeOf (new TypeExpression (type, loc), loc)));
 388                         binder_args.Add (new Argument (new MemberAccess (new MemberAccess (binder, "CSharpConversionKind", loc),
 389                                 is_explicit ? "ExplicitConversion" : "ImplicitConversion", loc)));
 390                         binder_args.Add (new Argument (new BoolLiteral (ec.HasSet (ResolveContext.Options.CheckedScope), loc)));
 391
 392                         return new New (new MemberAccess (binder, "CSharpConvertBinder", loc), binder_args, loc);
 393                 }
 394         }
 395
 396         class DynamicIndexBinder : DynamicExpressionStatement, IDynamicBinder, IAssignMethod
 397         {
 398                 readonly bool isSet;
 399
 400                 public DynamicIndexBinder (bool isSet, Arguments args, Location loc)
 401                         : base (null, args, loc)
 402                 {
 403                         base.binder = this;
 404                         this.isSet = isSet;
 405                 }
 406
 407                 public Expression CreateCallSiteBinder (ResolveContext ec, Arguments args)
 408                 {
 409                         Arguments binder_args = new Arguments (2);
 410                         MemberAccess binder = GetBinderNamespace (loc);
 411
 412                         binder_args.Add (new Argument (new TypeOf (new TypeExpression (ec.CurrentType, loc), loc)));
 413                         binder_args.Add (new Argument (new ImplicitlyTypedArrayCreation ("[]", args.CreateDynamicBinderArguments (), loc)));
 414
 415                         return new New (new MemberAccess (binder, isSet ? "CSharpSetIndexBinder" : "CSharpGetIndexBinder", loc), binder_args, loc);
 416                 }
 417
 418                 #region IAssignMethod Members
 419
 420                 public void Emit (EmitContext ec, bool leave_copy)
 421                 {
 422                         throw new NotImplementedException ();
 423                 }
 424
 425                 public void EmitAssign (EmitContext ec, Expression source, bool leave_copy, bool prepare_for_load)
 426                 {
 427                         EmitStatement (ec);
 428                 }
 429
 430                 #endregion
 431         }
 432
 433         class DynamicInvocation : DynamicExpressionStatement, IDynamicBinder
 434         {
 435                 ATypeNameExpression member;
 436
 437                 public DynamicInvocation (ATypeNameExpression member, Arguments args, Location loc)
 438                         : base (null, args, loc)
 439                 {
 440                         base.binder = this;
 441                         this.member = member;
 442                 }
 443
 444                 public DynamicInvocation (ATypeNameExpression member, Arguments args, Type type, Location loc)
 445                         : this (member, args, loc)
 446                 {
 447                         // When a return type is known not to be dynamic
 448                         this.type = type;
 449                 }
 450
 451                 public Expression CreateCallSiteBinder (ResolveContext ec, Arguments args)
 452                 {
 453                         Arguments binder_args = new Arguments (member != null ? 5 : 3);
 454                         MemberAccess binder = GetBinderNamespace (loc);
 455                         bool is_member_access = member is MemberAccess;
 456
 457                         string call_flags;
 458                         if (!is_member_access && member is SimpleName) {
 459                                 call_flags = "SimpleNameCall";
 460                                 is_member_access = true;
 461                         } else {
 462                                 call_flags = "None";
 463                         }
 464
 465                         binder_args.Add (new Argument (new MemberAccess (new MemberAccess (binder, "CSharpCallFlags", loc), call_flags, loc)));
 466
 467                         if (is_member_access)
 468                                 binder_args.Add (new Argument (new StringLiteral (member.Name, member.Location)));
 469
 470                         binder_args.Add (new Argument (new TypeOf (new TypeExpression (ec.CurrentType, loc), loc)));
 471
 472                         if (member != null && member.HasTypeArguments) {
 473                                 TypeArguments ta = member.TypeArguments;
 474                                 if (ta.Resolve (ec)) {
 475                                         ArrayList targs = new ArrayList (ta.Count);
 476                                         foreach (Type t in ta.Arguments)
 477                                                 targs.Add (new TypeOf (new TypeExpression (t, loc), loc));
 478
 479                                         binder_args.Add (new Argument (new ImplicitlyTypedArrayCreation ("[]", targs, loc)));
 480                                 }
 481                         } else if (is_member_access) {
 482                                 binder_args.Add (new Argument (new NullLiteral (loc)));
 483                         }
 484
 485                         Expression real_args;
 486                         if (args == null) {
 487                                 // Cannot be null because .NET trips over
 488                                 real_args = new ArrayCreation (new MemberAccess (binder, "CSharpArgumentInfo", loc), "[]", new ArrayList (0), loc);
 489                         } else {
 490                                 real_args = new ImplicitlyTypedArrayCreation ("[]", args.CreateDynamicBinderArguments (), loc);
 491                         }
 492
 493                         binder_args.Add (new Argument (real_args));
 494
 495                         return new New (new MemberAccess (binder,
 496                                 is_member_access ? "CSharpInvokeMemberBinder" : "CSharpInvokeBinder", loc), binder_args, loc);
 497                 }
 498         }
 499
 500         class DynamicMemberBinder : DynamicExpressionStatement, IDynamicBinder, IAssignMethod
 501         {
 502                 readonly bool isSet;
 503                 readonly string name;
 504
 505                 public DynamicMemberBinder (bool isSet, string name, Arguments args, Location loc)
 506                         : base (null, args, loc)
 507                 {
 508                         base.binder = this;
 509                         this.isSet = isSet;
 510                         this.name = name;
 511                 }
 512
 513                 public Expression CreateCallSiteBinder (ResolveContext ec, Arguments args)
 514                 {
 515                         Arguments binder_args = new Arguments (3);
 516                         MemberAccess binder = GetBinderNamespace (loc);
 517
 518                         binder_args.Add (new Argument (new StringLiteral (name, loc)));
 519                         binder_args.Add (new Argument (new TypeOf (new TypeExpression (ec.CurrentType, loc), loc)));
 520                         binder_args.Add (new Argument (new ImplicitlyTypedArrayCreation ("[]", args.CreateDynamicBinderArguments (), loc)));
 521
 522                         return new New (new MemberAccess (binder, isSet ? "CSharpSetMemberBinder" : "CSharpGetMemberBinder", loc), binder_args, loc);
 523                 }
 524
 525                 #region IAssignMethod Members
 526
 527                 public void Emit (EmitContext ec, bool leave_copy)
 528                 {
 529                         throw new NotImplementedException ();
 530                 }
 531
 532                 public void EmitAssign (EmitContext ec, Expression source, bool leave_copy, bool prepare_for_load)
 533                 {
 534                         EmitStatement (ec);
 535                 }
 536
 537                 #endregion
 538         }
 539
 540         class DynamicUnaryConversion : DynamicExpressionStatement, IDynamicBinder
 541         {
 542                 string name;
 543
 544                 public DynamicUnaryConversion (string name, Arguments args, Location loc)
 545                         : base (null, args, loc)
 546                 {
 547                         this.name = name;
 548                         base.binder = this;
 549                         if (name == "IsTrue" || name == "IsFalse")
 550                                 type = TypeManager.bool_type;
 551                 }
 552
 553                 public Expression CreateCallSiteBinder (ResolveContext ec, Arguments args)
 554                 {
 555                         Arguments binder_args = new Arguments (3);
 556
 557                         MemberAccess sle = new MemberAccess (new MemberAccess (
 558                                 new QualifiedAliasMember (QualifiedAliasMember.GlobalAlias, "System", loc), "Linq", loc), "Expressions", loc);
 559
 560                         MemberAccess binder = GetBinderNamespace (loc);
 561
 562                         binder_args.Add (new Argument (new MemberAccess (new MemberAccess (sle, "ExpressionType", loc), name, loc)));
 563                         binder_args.Add (new Argument (new BoolLiteral (ec.HasSet (ResolveContext.Options.CheckedScope), loc)));
 564                         binder_args.Add (new Argument (new ImplicitlyTypedArrayCreation ("[]", args.CreateDynamicBinderArguments (), loc)));
 565
 566                         return new New (new MemberAccess (binder, "CSharpUnaryOperationBinder", loc), binder_args, loc);
 567                 }
 568         }
 569 }