2 // dynamic.cs: support for dynamic expressions
4 // Authors: Marek Safar (marek.safar@gmail.com)
6 // Dual licensed under the terms of the MIT X11 or GNU GPL
8 // Copyright 2009 Novell, Inc
12 using System.Reflection.Emit;
13 using SLE = System.Linq.Expressions;
22 // A copy of Microsoft.CSharp/Microsoft.CSharp.RuntimeBinder/CSharpBinderFlags.cs
23 // has to be kept in sync
26 public enum CSharpBinderFlags
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
41 // Type expression with internal dynamic type symbol
43 class DynamicTypeExpr : TypeExpr
45 public DynamicTypeExpr (Location loc)
49 type = InternalType.Dynamic;
50 eclass = ExprClass.Type;
53 public override bool CheckAccessLevel (IMemberContext ds)
58 protected override TypeExpr DoResolveAsTypeStep (IMemberContext ec)
64 #region Dynamic runtime binder expressions
67 // Expression created from runtime dynamic object value by dynamic binder
69 public class RuntimeValueExpression : Expression, IDynamicAssign, IMemoryLocation
72 public class DynamicMetaObject
74 public TypeSpec RuntimeType;
75 public TypeSpec LimitType;
76 public SLE.Expression Expression;
80 readonly DynamicMetaObject obj;
82 public RuntimeValueExpression (DynamicMetaObject obj, TypeSpec type)
86 this.eclass = ExprClass.Variable;
91 public bool IsSuggestionOnly { get; set; }
93 public DynamicMetaObject MetaObject {
99 public void AddressOf (EmitContext ec, AddressOp mode)
101 throw new NotImplementedException ();
104 public override Expression CreateExpressionTree (ResolveContext ec)
106 throw new NotImplementedException ();
109 protected override Expression DoResolve (ResolveContext ec)
114 public override Expression DoResolveLValue (ResolveContext ec, Expression right_side)
119 public override void Emit (EmitContext ec)
121 throw new NotImplementedException ();
124 #region IAssignMethod Members
126 public void Emit (EmitContext ec, bool leave_copy)
128 throw new NotImplementedException ();
131 public void EmitAssign (EmitContext ec, Expression source, bool leave_copy, bool prepare_for_load)
133 throw new NotImplementedException ();
138 public SLE.Expression MakeAssignExpression (BuilderContext ctx, Expression source)
140 return obj.Expression;
143 public override SLE.Expression MakeExpression (BuilderContext ctx)
145 return SLE.Expression.Convert (obj.Expression, type.GetMetaInfo ());
150 // Wraps runtime dynamic expression into expected type. Needed
151 // to satify expected type check by dynamic binder and no conversion
152 // is required (ResultDiscarded).
154 public class DynamicResultCast : ShimExpression
156 public DynamicResultCast (TypeSpec type, Expression expr)
162 protected override Expression DoResolve (ResolveContext ec)
164 expr = expr.Resolve (ec);
165 eclass = ExprClass.Value;
170 public override SLE.Expression MakeExpression (BuilderContext ctx)
172 return SLE.Expression.Block (expr.MakeExpression (ctx), SLE.Expression.Default (type.GetMetaInfo ()));
180 // Creates dynamic binder expression
182 interface IDynamicBinder
184 Expression CreateCallSiteBinder (ResolveContext ec, Arguments args);
188 // Extends standard assignment interface for expressions
189 // supported by dynamic resolver
191 interface IDynamicAssign : IAssignMethod
193 SLE.Expression MakeAssignExpression (BuilderContext ctx, Expression source);
197 // Base dynamic expression statement creator
199 class DynamicExpressionStatement : ExpressionStatement
201 class StaticDataClass : CompilerGeneratedClass
203 public StaticDataClass ()
204 : base (new RootDeclSpace (new NamespaceEntry (null, null, null)),
205 new MemberName (CompilerGeneratedClass.MakeName (null, "c", "DynamicSites", 0)),
206 Modifiers.INTERNAL | Modifiers.STATIC)
212 // Binder flag dynamic constant, the value is combination of
213 // flags known at resolve stage and flags known only at emit
216 protected class BinderFlags : EnumConstant
218 DynamicExpressionStatement statement;
219 CSharpBinderFlags flags;
221 public BinderFlags (CSharpBinderFlags flags, DynamicExpressionStatement statement)
222 : base (statement.loc)
225 this.statement = statement;
228 protected override Expression DoResolve (ResolveContext ec)
230 Child = new IntConstant ((int) (flags | statement.flags), statement.loc).Resolve (ec);
232 type = TypeManager.binder_flags;
233 eclass = Child.eclass;
238 static StaticDataClass global_site_container;
239 static int field_counter;
240 static int container_counter;
242 readonly Arguments arguments;
243 protected IDynamicBinder binder;
244 protected Expression binder_expr;
246 // Used by BinderFlags
247 protected CSharpBinderFlags flags;
249 public DynamicExpressionStatement (IDynamicBinder binder, Arguments args, Location loc)
251 this.binder = binder;
252 this.arguments = args;
256 public Arguments Arguments {
262 static TypeContainer CreateSiteContainer ()
264 if (global_site_container == null) {
265 global_site_container = new StaticDataClass ();
266 RootContext.ToplevelTypes.AddCompilerGeneratedClass (global_site_container);
267 global_site_container.CreateType ();
268 global_site_container.DefineType ();
269 global_site_container.Define ();
272 return global_site_container;
275 static Field CreateSiteField (FullNamedExpression type)
277 TypeContainer site_container = CreateSiteContainer ();
278 Field f = new Field (site_container, type, Modifiers.PUBLIC | Modifiers.STATIC,
279 new MemberName ("Site" + field_counter++), null);
282 site_container.AddField (f);
286 public override Expression CreateExpressionTree (ResolveContext ec)
288 ec.Report.Error (1963, loc, "An expression tree cannot contain a dynamic operation");
292 protected override Expression DoResolve (ResolveContext ec)
294 if (DoResolveCore (ec))
295 binder_expr = binder.CreateCallSiteBinder (ec, arguments);
300 protected bool DoResolveCore (ResolveContext rc)
302 int errors = rc.Report.Errors;
304 if (TypeManager.binder_type == null) {
305 var t = TypeManager.CoreLookupType (rc.Compiler,
306 "Microsoft.CSharp.RuntimeBinder", "Binder", MemberKind.Class, true);
308 TypeManager.binder_type = new TypeExpression (t, Location.Null);
311 if (TypeManager.call_site_type == null)
312 TypeManager.call_site_type = TypeManager.CoreLookupType (rc.Compiler,
313 "System.Runtime.CompilerServices", "CallSite", MemberKind.Class, true);
315 if (TypeManager.generic_call_site_type == null)
316 TypeManager.generic_call_site_type = TypeManager.CoreLookupType (rc.Compiler,
317 "System.Runtime.CompilerServices", "CallSite", 1, MemberKind.Class, true);
319 if (TypeManager.binder_flags == null) {
320 TypeManager.binder_flags = TypeManager.CoreLookupType (rc.Compiler,
321 "Microsoft.CSharp.RuntimeBinder", "CSharpBinderFlags", MemberKind.Enum, true);
324 eclass = ExprClass.Value;
327 type = InternalType.Dynamic;
329 if (rc.Report.Errors == errors)
332 rc.Report.Error (1969, loc,
333 "Dynamic operation cannot be compiled without `Microsoft.CSharp.dll' assembly reference");
337 public override void Emit (EmitContext ec)
339 EmitCall (ec, binder_expr, arguments, false);
342 public override void EmitStatement (EmitContext ec)
344 EmitCall (ec, binder_expr, arguments, true);
347 protected void EmitCall (EmitContext ec, Expression binder, Arguments arguments, bool isStatement)
349 int dyn_args_count = arguments == null ? 0 : arguments.Count;
350 TypeExpr site_type = CreateSiteType (RootContext.ToplevelTypes.Compiler, arguments, dyn_args_count, isStatement);
351 FieldExpr site_field_expr = new FieldExpr (CreateSiteField (site_type), loc);
353 SymbolWriter.OpenCompilerGeneratedBlock (ec);
355 Arguments args = new Arguments (1);
356 args.Add (new Argument (binder));
357 StatementExpression s = new StatementExpression (new SimpleAssign (site_field_expr, new Invocation (new MemberAccess (site_type, "Create"), args)));
359 BlockContext bc = new BlockContext (ec.MemberContext, null, TypeManager.void_type);
360 if (s.Resolve (bc)) {
361 Statement init = new If (new Binary (Binary.Operator.Equality, site_field_expr, new NullLiteral (loc), loc), s, loc);
365 args = new Arguments (1 + dyn_args_count);
366 args.Add (new Argument (site_field_expr));
367 if (arguments != null) {
368 foreach (Argument a in arguments) {
369 if (a is NamedArgument) {
370 // Name is not valid in this context
371 args.Add (new Argument (a.Expr, a.ArgType));
379 Expression target = new DelegateInvocation (new MemberAccess (site_field_expr, "Target", loc).Resolve (bc), args, loc).Resolve (bc);
383 SymbolWriter.CloseCompilerGeneratedBlock (ec);
386 public static MemberAccess GetBinderNamespace (Location loc)
388 return new MemberAccess (new MemberAccess (
389 new QualifiedAliasMember (QualifiedAliasMember.GlobalAlias, "Microsoft", loc), "CSharp", loc), "RuntimeBinder", loc);
392 public static MemberAccess GetBinder (string name, Location loc)
394 return new MemberAccess (TypeManager.binder_type, name, loc);
397 TypeExpr CreateSiteType (CompilerContext ctx, Arguments arguments, int dyn_args_count, bool is_statement)
399 int default_args = is_statement ? 1 : 2;
401 bool has_ref_out_argument = false;
402 FullNamedExpression[] targs = new FullNamedExpression[dyn_args_count + default_args];
403 targs [0] = new TypeExpression (TypeManager.call_site_type, loc);
404 for (int i = 0; i < dyn_args_count; ++i) {
405 Argument a = arguments [i];
406 if (a.ArgType == Argument.AType.Out || a.ArgType == Argument.AType.Ref)
407 has_ref_out_argument = true;
409 targs [i + 1] = new TypeExpression (a.Type, loc);
412 TypeExpr del_type = null;
413 if (!has_ref_out_argument) {
414 string d_name = is_statement ? "Action" : "Func";
416 TypeSpec t = TypeManager.CoreLookupType (ctx, "System", d_name, dyn_args_count + default_args, MemberKind.Delegate, false);
419 targs [targs.Length - 1] = new TypeExpression (type, loc);
421 del_type = new GenericTypeExpr (t, new TypeArguments (targs), loc);
426 // Create custom delegate when no appropriate predefined one is found
428 if (del_type == null) {
429 TypeSpec rt = is_statement ? TypeManager.void_type : type;
430 Parameter[] p = new Parameter [dyn_args_count + 1];
431 p[0] = new Parameter (targs [0], "p0", Parameter.Modifier.NONE, null, loc);
433 for (int i = 1; i < dyn_args_count + 1; ++i)
434 p[i] = new Parameter (targs[i], "p" + i.ToString ("X"), arguments[i - 1].Modifier, null, loc);
436 TypeContainer parent = CreateSiteContainer ();
437 Delegate d = new Delegate (parent.NamespaceEntry, parent, new TypeExpression (rt, loc),
438 Modifiers.INTERNAL | Modifiers.COMPILER_GENERATED,
439 new MemberName ("Container" + container_counter++.ToString ("X")),
440 new ParametersCompiled (ctx, p), null);
447 parent.AddDelegate (d);
448 del_type = new TypeExpression (d.Definition, loc);
451 TypeExpr site_type = new GenericTypeExpr (TypeManager.generic_call_site_type, new TypeArguments (del_type), loc);
455 public static void Reset ()
457 global_site_container = null;
458 field_counter = container_counter = 0;
463 // Dynamic member access compound assignment for events
465 class DynamicEventCompoundAssign : DynamicExpressionStatement, IDynamicBinder
470 public DynamicEventCompoundAssign (string name, Arguments args, ExpressionStatement assignment, ExpressionStatement invoke, Location loc)
471 : base (null, args, loc)
476 // Used by += or -= only
477 type = TypeManager.bool_type;
480 new Binary (Binary.Operator.Equality, this, new BoolLiteral (true, loc), loc),
481 new StatementExpression (invoke), new StatementExpression (assignment),
485 public Expression CreateCallSiteBinder (ResolveContext ec, Arguments args)
487 Arguments binder_args = new Arguments (3);
489 binder_args.Add (new Argument (new BinderFlags (0, this)));
490 binder_args.Add (new Argument (new StringLiteral (name, loc)));
491 binder_args.Add (new Argument (new TypeOf (new TypeExpression (ec.CurrentType, loc), loc)));
493 return new Invocation (GetBinder ("IsEvent", loc), binder_args);
496 public override void EmitStatement (EmitContext ec)
502 class DynamicConversion : DynamicExpressionStatement, IDynamicBinder
504 public DynamicConversion (TypeSpec targetType, CSharpBinderFlags flags, Arguments args, Location loc)
505 : base (null, args, loc)
512 public Expression CreateCallSiteBinder (ResolveContext ec, Arguments args)
514 Arguments binder_args = new Arguments (3);
516 flags |= ec.HasSet (ResolveContext.Options.CheckedScope) ? CSharpBinderFlags.CheckedContext : 0;
518 binder_args.Add (new Argument (new BinderFlags (flags, this)));
519 binder_args.Add (new Argument (new TypeOf (new TypeExpression (type, loc), loc)));
520 binder_args.Add (new Argument (new TypeOf (new TypeExpression (ec.CurrentType, loc), loc)));
521 return new Invocation (GetBinder ("Convert", loc), binder_args);
525 class DynamicConstructorBinder : DynamicExpressionStatement, IDynamicBinder
527 public DynamicConstructorBinder (TypeSpec type, Arguments args, Location loc)
528 : base (null, args, loc)
534 public Expression CreateCallSiteBinder (ResolveContext ec, Arguments args)
536 Arguments binder_args = new Arguments (3);
538 binder_args.Add (new Argument (new BinderFlags (0, this)));
539 binder_args.Add (new Argument (new TypeOf (new TypeExpression (ec.CurrentType, loc), loc)));
540 binder_args.Add (new Argument (new ImplicitlyTypedArrayCreation (args.CreateDynamicBinderArguments (ec), loc)));
542 return new Invocation (GetBinder ("InvokeConstructor", loc), binder_args);
546 class DynamicIndexBinder : DynamicMemberAssignable
548 public DynamicIndexBinder (Arguments args, Location loc)
553 protected override Expression CreateCallSiteBinder (ResolveContext ec, Arguments args, bool isSet)
555 Arguments binder_args = new Arguments (3);
557 binder_args.Add (new Argument (new BinderFlags (0, this)));
558 binder_args.Add (new Argument (new TypeOf (new TypeExpression (ec.CurrentType, loc), loc)));
559 binder_args.Add (new Argument (new ImplicitlyTypedArrayCreation (args.CreateDynamicBinderArguments (ec), loc)));
561 return new Invocation (GetBinder (isSet ? "SetIndex" : "GetIndex", loc), binder_args);
565 class DynamicInvocation : DynamicExpressionStatement, IDynamicBinder
567 ATypeNameExpression member;
569 public DynamicInvocation (ATypeNameExpression member, Arguments args, Location loc)
570 : base (null, args, loc)
573 this.member = member;
577 // When a return type is known not to be dynamic
579 public DynamicInvocation (ATypeNameExpression member, Arguments args, TypeSpec type, Location loc)
580 : this (member, args, loc)
585 public static DynamicInvocation CreateSpecialNameInvoke (ATypeNameExpression member, Arguments args, Location loc)
587 return new DynamicInvocation (member, args, loc) {
588 flags = CSharpBinderFlags.InvokeSpecialName
592 public Expression CreateCallSiteBinder (ResolveContext ec, Arguments args)
594 Arguments binder_args = new Arguments (member != null ? 5 : 3);
595 bool is_member_access = member is MemberAccess;
597 CSharpBinderFlags call_flags;
598 if (!is_member_access && member is SimpleName) {
599 call_flags = CSharpBinderFlags.InvokeSimpleName;
600 is_member_access = true;
605 binder_args.Add (new Argument (new BinderFlags (call_flags, this)));
607 if (is_member_access)
608 binder_args.Add (new Argument (new StringLiteral (member.Name, member.Location)));
610 if (member != null && member.HasTypeArguments) {
611 TypeArguments ta = member.TypeArguments;
612 if (ta.Resolve (ec)) {
613 var targs = new ArrayInitializer (ta.Count, loc);
614 foreach (TypeSpec t in ta.Arguments)
615 targs.Add (new TypeOf (new TypeExpression (t, loc), loc));
617 binder_args.Add (new Argument (new ImplicitlyTypedArrayCreation (targs, loc)));
619 } else if (is_member_access) {
620 binder_args.Add (new Argument (new NullLiteral (loc)));
623 binder_args.Add (new Argument (new TypeOf (new TypeExpression (ec.CurrentType, loc), loc)));
625 Expression real_args;
627 // Cannot be null because .NET trips over
628 real_args = new ArrayCreation (
629 new MemberAccess (GetBinderNamespace (loc), "CSharpArgumentInfo", loc),
630 new ArrayInitializer (0, loc), loc);
632 real_args = new ImplicitlyTypedArrayCreation (args.CreateDynamicBinderArguments (ec), loc);
635 binder_args.Add (new Argument (real_args));
637 return new Invocation (GetBinder (is_member_access ? "InvokeMember" : "Invoke", loc), binder_args);
640 public override void EmitStatement (EmitContext ec)
642 flags |= CSharpBinderFlags.ResultDiscarded;
643 base.EmitStatement (ec);
647 class DynamicMemberBinder : DynamicMemberAssignable
649 readonly string name;
651 public DynamicMemberBinder (string name, Arguments args, Location loc)
657 protected override Expression CreateCallSiteBinder (ResolveContext ec, Arguments args, bool isSet)
659 Arguments binder_args = new Arguments (4);
661 binder_args.Add (new Argument (new BinderFlags (0, this)));
662 binder_args.Add (new Argument (new StringLiteral (name, loc)));
663 binder_args.Add (new Argument (new TypeOf (new TypeExpression (ec.CurrentType, loc), loc)));
664 binder_args.Add (new Argument (new ImplicitlyTypedArrayCreation (args.CreateDynamicBinderArguments (ec), loc)));
666 return new Invocation (GetBinder (isSet ? "SetMember" : "GetMember", loc), binder_args);
671 // Any member binder which can be source and target of assignment
673 abstract class DynamicMemberAssignable : DynamicExpressionStatement, IDynamicBinder, IAssignMethod
676 Arguments setter_args;
678 protected DynamicMemberAssignable (Arguments args, Location loc)
679 : base (null, args, loc)
684 public Expression CreateCallSiteBinder (ResolveContext ec, Arguments args)
687 // DoResolve always uses getter
689 return CreateCallSiteBinder (ec, args, false);
692 protected abstract Expression CreateCallSiteBinder (ResolveContext ec, Arguments args, bool isSet);
694 public override Expression DoResolveLValue (ResolveContext rc, Expression right_side)
696 if (right_side == EmptyExpression.OutAccess.Instance) {
697 right_side.DoResolveLValue (rc, this);
701 if (DoResolveCore (rc)) {
702 setter_args = new Arguments (Arguments.Count + 1);
703 setter_args.AddRange (Arguments);
704 setter_args.Add (new Argument (right_side));
705 setter = CreateCallSiteBinder (rc, setter_args, true);
708 eclass = ExprClass.Variable;
712 public override void Emit (EmitContext ec)
714 // It's null for ResolveLValue used without assignment
715 if (binder_expr == null)
716 EmitCall (ec, setter, Arguments, false);
721 public override void EmitStatement (EmitContext ec)
723 // It's null for ResolveLValue used without assignment
724 if (binder_expr == null)
725 EmitCall (ec, setter, Arguments, true);
727 base.EmitStatement (ec);
730 #region IAssignMethod Members
732 public void Emit (EmitContext ec, bool leave_copy)
734 throw new NotImplementedException ();
737 public void EmitAssign (EmitContext ec, Expression source, bool leave_copy, bool prepare_for_load)
739 EmitCall (ec, setter, setter_args, !leave_copy);
745 class DynamicUnaryConversion : DynamicExpressionStatement, IDynamicBinder
749 public DynamicUnaryConversion (string name, Arguments args, Location loc)
750 : base (null, args, loc)
754 if (name == "IsTrue" || name == "IsFalse")
755 type = TypeManager.bool_type;
758 public Expression CreateCallSiteBinder (ResolveContext ec, Arguments args)
760 Arguments binder_args = new Arguments (4);
762 MemberAccess sle = new MemberAccess (new MemberAccess (
763 new QualifiedAliasMember (QualifiedAliasMember.GlobalAlias, "System", loc), "Linq", loc), "Expressions", loc);
765 var flags = ec.HasSet (ResolveContext.Options.CheckedScope) ? CSharpBinderFlags.CheckedContext : 0;
767 binder_args.Add (new Argument (new BinderFlags (flags, this)));
768 binder_args.Add (new Argument (new MemberAccess (new MemberAccess (sle, "ExpressionType", loc), name, loc)));
769 binder_args.Add (new Argument (new TypeOf (new TypeExpression (ec.CurrentType, loc), loc)));
770 binder_args.Add (new Argument (new ImplicitlyTypedArrayCreation (args.CreateDynamicBinderArguments (ec), loc)));
772 return new Invocation (GetBinder ("UnaryOperation", loc), binder_args);