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
9 // Copyright 2011 Xamarin Inc.
14 using SLE = System.Linq.Expressions;
16 #if NET_4_0 || MOBILE_DYNAMIC
23 // A copy of Microsoft.CSharp/Microsoft.CSharp.RuntimeBinder/CSharpBinderFlags.cs
24 // has to be kept in sync
27 public enum CSharpBinderFlags
31 InvokeSimpleName = 1 << 1,
32 InvokeSpecialName = 1 << 2,
33 BinaryOperationLogical = 1 << 3,
34 ConvertExplicit = 1 << 4,
35 ConvertArrayIndex = 1 << 5,
36 ResultIndexed = 1 << 6,
37 ValueFromCompoundAssignment = 1 << 7,
38 ResultDiscarded = 1 << 8
42 // Type expression with internal dynamic type symbol
44 class DynamicTypeExpr : TypeExpr
46 public DynamicTypeExpr (Location loc)
51 public override TypeSpec ResolveAsType (IMemberContext ec, bool allowUnboundTypeArguments)
53 eclass = ExprClass.Type;
54 type = ec.Module.Compiler.BuiltinTypes.Dynamic;
59 #region Dynamic runtime binder expressions
62 // Expression created from runtime dynamic object value by dynamic binder
64 public class RuntimeValueExpression : Expression, IDynamicAssign, IMemoryLocation
66 #if !NET_4_0 && !MOBILE_DYNAMIC
67 public class DynamicMetaObject
69 public TypeSpec RuntimeType;
70 public TypeSpec LimitType;
71 public SLE.Expression Expression;
75 readonly DynamicMetaObject obj;
77 public RuntimeValueExpression (DynamicMetaObject obj, TypeSpec type)
81 this.eclass = ExprClass.Variable;
86 public bool IsSuggestionOnly { get; set; }
88 public DynamicMetaObject MetaObject {
94 public void AddressOf (EmitContext ec, AddressOp mode)
96 throw new NotImplementedException ();
99 public override bool ContainsEmitWithAwait ()
101 throw new NotSupportedException ();
104 public override Expression CreateExpressionTree (ResolveContext ec)
106 throw new NotSupportedException ();
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 isCompound)
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)
146 return base.MakeExpression (ctx);
149 #if NET_4_0 || MOBILE_DYNAMIC
150 if (type.IsStruct && !obj.Expression.Type.IsValueType)
151 return SLE.Expression.Unbox (obj.Expression, type.GetMetaInfo ());
153 if (obj.Expression.NodeType == SLE.ExpressionType.Parameter) {
154 if (((SLE.ParameterExpression) obj.Expression).IsByRef)
155 return obj.Expression;
159 return SLE.Expression.Convert (obj.Expression, type.GetMetaInfo ());
165 // Wraps runtime dynamic expression into expected type. Needed
166 // to satify expected type check by dynamic binder and no conversion
167 // is required (ResultDiscarded).
169 public class DynamicResultCast : ShimExpression
171 public DynamicResultCast (TypeSpec type, Expression expr)
177 protected override Expression DoResolve (ResolveContext ec)
179 expr = expr.Resolve (ec);
180 eclass = ExprClass.Value;
184 #if NET_4_0 || MOBILE_DYNAMIC
185 public override SLE.Expression MakeExpression (BuilderContext ctx)
188 return base.MakeExpression (ctx);
190 return SLE.Expression.Block (expr.MakeExpression (ctx), SLE.Expression.Default (type.GetMetaInfo ()));
199 // Creates dynamic binder expression
201 interface IDynamicBinder
203 Expression CreateCallSiteBinder (ResolveContext ec, Arguments args);
207 // Extends standard assignment interface for expressions
208 // supported by dynamic resolver
210 interface IDynamicAssign : IAssignMethod
212 SLE.Expression MakeAssignExpression (BuilderContext ctx, Expression source);
216 // Base dynamic expression statement creator
218 class DynamicExpressionStatement : ExpressionStatement
221 // Binder flag dynamic constant, the value is combination of
222 // flags known at resolve stage and flags known only at emit
225 protected class BinderFlags : EnumConstant
227 readonly DynamicExpressionStatement statement;
228 readonly CSharpBinderFlags flags;
230 public BinderFlags (CSharpBinderFlags flags, DynamicExpressionStatement statement)
231 : base (statement.loc)
234 this.statement = statement;
238 protected override Expression DoResolve (ResolveContext ec)
240 Child = new IntConstant (ec.BuiltinTypes, (int) (flags | statement.flags), statement.loc);
242 type = ec.Module.PredefinedTypes.BinderFlags.Resolve ();
243 eclass = Child.eclass;
248 readonly Arguments arguments;
249 protected IDynamicBinder binder;
250 protected Expression binder_expr;
252 // Used by BinderFlags
253 protected CSharpBinderFlags flags;
255 TypeSpec binder_type;
256 TypeParameters context_mvars;
258 public DynamicExpressionStatement (IDynamicBinder binder, Arguments args, Location loc)
260 this.binder = binder;
261 this.arguments = args;
265 public Arguments Arguments {
271 public override bool ContainsEmitWithAwait ()
273 return arguments.ContainsEmitWithAwait ();
276 public override Expression CreateExpressionTree (ResolveContext ec)
278 ec.Report.Error (1963, loc, "An expression tree cannot contain a dynamic operation");
282 protected override Expression DoResolve (ResolveContext rc)
284 if (DoResolveCore (rc))
285 binder_expr = binder.CreateCallSiteBinder (rc, arguments);
290 protected bool DoResolveCore (ResolveContext rc)
292 foreach (var arg in arguments) {
293 if (arg.Type == InternalType.VarOutType) {
294 // Should be special error message about dynamic dispatch
295 rc.Report.Error (8047, arg.Expr.Location, "Declaration expression cannot be used in this context");
299 if (rc.CurrentTypeParameters != null && rc.CurrentTypeParameters[0].IsMethodTypeParameter)
300 context_mvars = rc.CurrentTypeParameters;
302 int errors = rc.Report.Errors;
303 var pt = rc.Module.PredefinedTypes;
305 binder_type = pt.Binder.Resolve ();
306 pt.CallSite.Resolve ();
307 pt.CallSiteGeneric.Resolve ();
309 eclass = ExprClass.Value;
312 type = rc.BuiltinTypes.Dynamic;
314 if (rc.Report.Errors == errors)
317 rc.Report.Error (1969, loc,
318 "Dynamic operation cannot be compiled without `Microsoft.CSharp.dll' assembly reference");
322 public override void Emit (EmitContext ec)
324 EmitCall (ec, binder_expr, arguments, false);
327 public override void EmitStatement (EmitContext ec)
329 EmitCall (ec, binder_expr, arguments, true);
332 protected void EmitCall (EmitContext ec, Expression binder, Arguments arguments, bool isStatement)
335 // This method generates all internal infrastructure for a dynamic call. The
336 // reason why it's quite complicated is the mixture of dynamic and anonymous
337 // methods. Dynamic itself requires a temporary class (ContainerX) and anonymous
338 // methods can generate temporary storey as well (AnonStorey). Handling MVAR
339 // type parameters rewrite is non-trivial in such case as there are various
340 // combinations possible therefore the mutator is not straightforward. Secondly
341 // we need to keep both MVAR(possibly VAR for anon storey) and type VAR to emit
342 // correct Site field type and its access from EmitContext.
345 int dyn_args_count = arguments == null ? 0 : arguments.Count;
346 int default_args = isStatement ? 1 : 2;
347 var module = ec.Module;
349 bool has_ref_out_argument = false;
350 var targs = new TypeExpression[dyn_args_count + default_args];
351 targs[0] = new TypeExpression (module.PredefinedTypes.CallSite.TypeSpec, loc);
353 TypeExpression[] targs_for_instance = null;
354 TypeParameterMutator mutator;
356 var site_container = ec.CreateDynamicSite ();
358 if (context_mvars != null) {
359 TypeParameters tparam;
360 TypeContainer sc = site_container;
362 tparam = sc.CurrentTypeParameters;
364 } while (tparam == null);
366 mutator = new TypeParameterMutator (context_mvars, tparam);
368 if (!ec.IsAnonymousStoreyMutateRequired) {
369 targs_for_instance = new TypeExpression[targs.Length];
370 targs_for_instance[0] = targs[0];
376 for (int i = 0; i < dyn_args_count; ++i) {
377 Argument a = arguments[i];
378 if (a.ArgType == Argument.AType.Out || a.ArgType == Argument.AType.Ref)
379 has_ref_out_argument = true;
383 // Convert any internal type like dynamic or null to object
384 if (t.Kind == MemberKind.InternalCompilerType)
385 t = ec.BuiltinTypes.Object;
387 if (targs_for_instance != null)
388 targs_for_instance[i + 1] = new TypeExpression (t, loc);
391 t = t.Mutate (mutator);
393 targs[i + 1] = new TypeExpression (t, loc);
396 TypeExpr del_type = null;
397 TypeExpr del_type_instance_access = null;
398 if (!has_ref_out_argument) {
399 string d_name = isStatement ? "Action" : "Func";
402 Namespace type_ns = module.GlobalRootNamespace.GetNamespace ("System", true);
403 if (type_ns != null) {
404 te = type_ns.LookupType (module, d_name, dyn_args_count + default_args, LookupMode.Normal, loc);
410 if (t.Kind == MemberKind.InternalCompilerType)
411 t = ec.BuiltinTypes.Object;
413 if (targs_for_instance != null)
414 targs_for_instance[targs_for_instance.Length - 1] = new TypeExpression (t, loc);
417 t = t.Mutate (mutator);
419 targs[targs.Length - 1] = new TypeExpression (t, loc);
422 del_type = new GenericTypeExpr (te, new TypeArguments (targs), loc);
423 if (targs_for_instance != null)
424 del_type_instance_access = new GenericTypeExpr (te, new TypeArguments (targs_for_instance), loc);
426 del_type_instance_access = del_type;
431 // Create custom delegate when no appropriate predefined delegate has been found
434 if (del_type == null) {
435 TypeSpec rt = isStatement ? ec.BuiltinTypes.Void : type;
436 Parameter[] p = new Parameter[dyn_args_count + 1];
437 p[0] = new Parameter (targs[0], "p0", Parameter.Modifier.NONE, null, loc);
439 var site = ec.CreateDynamicSite ();
440 int index = site.Containers == null ? 0 : site.Containers.Count;
443 rt = mutator.Mutate (rt);
445 for (int i = 1; i < dyn_args_count + 1; ++i) {
446 p[i] = new Parameter (targs[i], "p" + i.ToString ("X"), arguments[i - 1].Modifier, null, loc);
449 d = new Delegate (site, new TypeExpression (rt, loc),
450 Modifiers.INTERNAL | Modifiers.COMPILER_GENERATED,
451 new MemberName ("Container" + index.ToString ("X")),
452 new ParametersCompiled (p), null);
454 d.CreateContainer ();
455 d.DefineContainer ();
459 site.AddTypeContainer (d);
462 // Add new container to inflated site container when the
463 // member cache already exists
465 if (site.CurrentType is InflatedTypeSpec && index > 0)
466 site.CurrentType.MemberCache.AddMember (d.CurrentType);
468 del_type = new TypeExpression (d.CurrentType, loc);
469 if (targs_for_instance != null) {
470 del_type_instance_access = null;
472 del_type_instance_access = del_type;
478 var site_type_decl = new GenericTypeExpr (module.PredefinedTypes.CallSiteGeneric.TypeSpec, new TypeArguments (del_type), loc);
479 var field = site_container.CreateCallSiteField (site_type_decl, loc);
483 if (del_type_instance_access == null) {
484 var dt = d.CurrentType.DeclaringType.MakeGenericType (module, context_mvars.Types);
485 del_type_instance_access = new TypeExpression (MemberCache.GetMember (dt, d.CurrentType), loc);
488 var instanceAccessExprType = new GenericTypeExpr (module.PredefinedTypes.CallSiteGeneric.TypeSpec,
489 new TypeArguments (del_type_instance_access), loc);
491 if (instanceAccessExprType.ResolveAsType (ec.MemberContext) == null)
494 bool inflate_using_mvar = context_mvars != null && ec.IsAnonymousStoreyMutateRequired;
497 if (inflate_using_mvar || context_mvars == null) {
498 gt = site_container.CurrentType;
500 gt = site_container.CurrentType.MakeGenericType (module, context_mvars.Types);
503 // When site container already exists the inflated version has to be
504 // updated manually to contain newly created field
505 if (gt is InflatedTypeSpec && site_container.AnonymousMethodsCounter > 1) {
506 var tparams = gt.MemberDefinition.TypeParametersCount > 0 ? gt.MemberDefinition.TypeParameters : TypeParameterSpec.EmptyTypes;
507 var inflator = new TypeParameterInflator (module, gt, tparams, gt.TypeArguments);
508 gt.MemberCache.AddMember (field.InflateMember (inflator));
511 FieldExpr site_field_expr = new FieldExpr (MemberCache.GetMember (gt, field), loc);
513 BlockContext bc = new BlockContext (ec.MemberContext, null, ec.BuiltinTypes.Void);
515 Arguments args = new Arguments (1);
516 args.Add (new Argument (binder));
517 StatementExpression s = new StatementExpression (new SimpleAssign (site_field_expr, new Invocation (new MemberAccess (instanceAccessExprType, "Create"), args)));
519 using (ec.With (BuilderContext.Options.OmitDebugInfo, true)) {
520 if (s.Resolve (bc)) {
521 Statement init = new If (new Binary (Binary.Operator.Equality, site_field_expr, new NullLiteral (loc)), s, loc);
525 args = new Arguments (1 + dyn_args_count);
526 args.Add (new Argument (site_field_expr));
527 if (arguments != null) {
529 foreach (Argument a in arguments) {
530 if (a is NamedArgument) {
531 // Name is not valid in this context
532 args.Add (new Argument (a.Expr, a.ArgType));
537 if (inflate_using_mvar && a.Type != targs[arg_pos].Type)
538 a.Expr.Type = targs[arg_pos].Type;
544 Expression target = new DelegateInvocation (new MemberAccess (site_field_expr, "Target", loc).Resolve (bc), args, false, loc).Resolve (bc);
550 public override void FlowAnalysis (FlowAnalysisContext fc)
552 arguments.FlowAnalysis (fc);
555 public static MemberAccess GetBinderNamespace (Location loc)
557 return new MemberAccess (new MemberAccess (
558 new QualifiedAliasMember (QualifiedAliasMember.GlobalAlias, "Microsoft", loc), "CSharp", loc), "RuntimeBinder", loc);
561 protected MemberAccess GetBinder (string name, Location loc)
563 return new MemberAccess (new TypeExpression (binder_type, loc), name, loc);
568 // Dynamic member access compound assignment for events
570 class DynamicEventCompoundAssign : ExpressionStatement
572 class IsEvent : DynamicExpressionStatement, IDynamicBinder
576 public IsEvent (string name, Arguments args, Location loc)
577 : base (null, args, loc)
583 public Expression CreateCallSiteBinder (ResolveContext ec, Arguments args)
585 type = ec.BuiltinTypes.Bool;
587 Arguments binder_args = new Arguments (3);
589 binder_args.Add (new Argument (new BinderFlags (0, this)));
590 binder_args.Add (new Argument (new StringLiteral (ec.BuiltinTypes, name, loc)));
591 binder_args.Add (new Argument (new TypeOf (ec.CurrentType, loc)));
593 return new Invocation (GetBinder ("IsEvent", loc), binder_args);
597 Expression condition;
598 ExpressionStatement invoke, assign;
600 public DynamicEventCompoundAssign (string name, Arguments args, ExpressionStatement assignment, ExpressionStatement invoke, Location loc)
602 condition = new IsEvent (name, args, loc);
603 this.invoke = invoke;
604 this.assign = assignment;
608 public override Expression CreateExpressionTree (ResolveContext ec)
610 return condition.CreateExpressionTree (ec);
613 protected override Expression DoResolve (ResolveContext rc)
615 type = rc.BuiltinTypes.Dynamic;
616 eclass = ExprClass.Value;
617 condition = condition.Resolve (rc);
621 public override void Emit (EmitContext ec)
623 var rc = new ResolveContext (ec.MemberContext);
624 var expr = new Conditional (new BooleanExpression (condition), invoke, assign, loc).Resolve (rc);
628 public override void EmitStatement (EmitContext ec)
630 var stmt = new If (condition, new StatementExpression (invoke), new StatementExpression (assign), loc);
631 using (ec.With (BuilderContext.Options.OmitDebugInfo, true)) {
636 public override void FlowAnalysis (FlowAnalysisContext fc)
638 invoke.FlowAnalysis (fc);
642 class DynamicConversion : DynamicExpressionStatement, IDynamicBinder
644 public DynamicConversion (TypeSpec targetType, CSharpBinderFlags flags, Arguments args, Location loc)
645 : base (null, args, loc)
652 public Expression CreateCallSiteBinder (ResolveContext ec, Arguments args)
654 Arguments binder_args = new Arguments (3);
656 flags |= ec.HasSet (ResolveContext.Options.CheckedScope) ? CSharpBinderFlags.CheckedContext : 0;
658 binder_args.Add (new Argument (new BinderFlags (flags, this)));
659 binder_args.Add (new Argument (new TypeOf (type, loc)));
660 binder_args.Add (new Argument (new TypeOf (ec.CurrentType, loc)));
661 return new Invocation (GetBinder ("Convert", loc), binder_args);
665 class DynamicConstructorBinder : DynamicExpressionStatement, IDynamicBinder
667 public DynamicConstructorBinder (TypeSpec type, Arguments args, Location loc)
668 : base (null, args, loc)
674 public Expression CreateCallSiteBinder (ResolveContext ec, Arguments args)
676 Arguments binder_args = new Arguments (3);
678 binder_args.Add (new Argument (new BinderFlags (0, this)));
679 binder_args.Add (new Argument (new TypeOf (ec.CurrentType, loc)));
680 binder_args.Add (new Argument (new ImplicitlyTypedArrayCreation (args.CreateDynamicBinderArguments (ec), loc)));
682 return new Invocation (GetBinder ("InvokeConstructor", loc), binder_args);
686 class DynamicIndexBinder : DynamicMemberAssignable
690 public DynamicIndexBinder (Arguments args, Location loc)
695 public DynamicIndexBinder (CSharpBinderFlags flags, Arguments args, Location loc)
701 protected override Expression DoResolve (ResolveContext ec)
703 can_be_mutator = true;
704 return base.DoResolve (ec);
707 protected override Expression CreateCallSiteBinder (ResolveContext ec, Arguments args, bool isSet)
709 Arguments binder_args = new Arguments (3);
711 binder_args.Add (new Argument (new BinderFlags (flags, this)));
712 binder_args.Add (new Argument (new TypeOf (ec.CurrentType, loc)));
713 binder_args.Add (new Argument (new ImplicitlyTypedArrayCreation (args.CreateDynamicBinderArguments (ec), loc)));
715 isSet |= (flags & CSharpBinderFlags.ValueFromCompoundAssignment) != 0;
716 return new Invocation (GetBinder (isSet ? "SetIndex" : "GetIndex", loc), binder_args);
719 protected override Arguments CreateSetterArguments (ResolveContext rc, Expression rhs)
722 // Indexer has arguments which complicates things as the setter and getter
723 // are called in two steps when unary mutator is used. We have to make a
724 // copy of all variable arguments to not duplicate any side effect.
726 // ++d[++arg, Foo ()]
730 return base.CreateSetterArguments (rc, rhs);
732 var setter_args = new Arguments (Arguments.Count + 1);
733 for (int i = 0; i < Arguments.Count; ++i) {
734 var expr = Arguments[i].Expr;
736 if (expr is Constant || expr is VariableReference || expr is This) {
737 setter_args.Add (Arguments [i]);
741 LocalVariable temp = LocalVariable.CreateCompilerGenerated (expr.Type, rc.CurrentBlock, loc);
742 expr = new SimpleAssign (temp.CreateReferenceExpression (rc, expr.Location), expr).Resolve (rc);
743 Arguments[i].Expr = temp.CreateReferenceExpression (rc, expr.Location).Resolve (rc);
744 setter_args.Add (Arguments [i].Clone (expr));
747 setter_args.Add (new Argument (rhs));
752 class DynamicInvocation : DynamicExpressionStatement, IDynamicBinder
754 readonly ATypeNameExpression member;
756 public DynamicInvocation (ATypeNameExpression member, Arguments args, Location loc)
757 : base (null, args, loc)
760 this.member = member;
763 public static DynamicInvocation CreateSpecialNameInvoke (ATypeNameExpression member, Arguments args, Location loc)
765 return new DynamicInvocation (member, args, loc) {
766 flags = CSharpBinderFlags.InvokeSpecialName
770 public Expression CreateCallSiteBinder (ResolveContext ec, Arguments args)
772 Arguments binder_args = new Arguments (member != null ? 5 : 3);
773 bool is_member_access = member is MemberAccess;
775 CSharpBinderFlags call_flags;
776 if (!is_member_access && member is SimpleName) {
777 call_flags = CSharpBinderFlags.InvokeSimpleName;
778 is_member_access = true;
783 binder_args.Add (new Argument (new BinderFlags (call_flags, this)));
785 if (is_member_access)
786 binder_args.Add (new Argument (new StringLiteral (ec.BuiltinTypes, member.Name, member.Location)));
788 if (member != null && member.HasTypeArguments) {
789 TypeArguments ta = member.TypeArguments;
790 if (ta.Resolve (ec)) {
791 var targs = new ArrayInitializer (ta.Count, loc);
792 foreach (TypeSpec t in ta.Arguments)
793 targs.Add (new TypeOf (t, loc));
795 binder_args.Add (new Argument (new ImplicitlyTypedArrayCreation (targs, loc)));
797 } else if (is_member_access) {
798 binder_args.Add (new Argument (new NullLiteral (loc)));
801 binder_args.Add (new Argument (new TypeOf (ec.CurrentType, loc)));
803 Expression real_args;
805 // Cannot be null because .NET trips over
806 real_args = new ArrayCreation (
807 new MemberAccess (GetBinderNamespace (loc), "CSharpArgumentInfo", loc),
808 new ArrayInitializer (0, loc), loc);
810 real_args = new ImplicitlyTypedArrayCreation (args.CreateDynamicBinderArguments (ec), loc);
813 binder_args.Add (new Argument (real_args));
815 return new Invocation (GetBinder (is_member_access ? "InvokeMember" : "Invoke", loc), binder_args);
818 public override void EmitStatement (EmitContext ec)
820 flags |= CSharpBinderFlags.ResultDiscarded;
821 base.EmitStatement (ec);
825 class DynamicMemberBinder : DynamicMemberAssignable
827 readonly string name;
829 public DynamicMemberBinder (string name, Arguments args, Location loc)
835 public DynamicMemberBinder (string name, CSharpBinderFlags flags, Arguments args, Location loc)
836 : this (name, args, loc)
841 protected override Expression CreateCallSiteBinder (ResolveContext ec, Arguments args, bool isSet)
843 Arguments binder_args = new Arguments (4);
845 binder_args.Add (new Argument (new BinderFlags (flags, this)));
846 binder_args.Add (new Argument (new StringLiteral (ec.BuiltinTypes, name, loc)));
847 binder_args.Add (new Argument (new TypeOf (ec.CurrentType, loc)));
848 binder_args.Add (new Argument (new ImplicitlyTypedArrayCreation (args.CreateDynamicBinderArguments (ec), loc)));
850 isSet |= (flags & CSharpBinderFlags.ValueFromCompoundAssignment) != 0;
851 return new Invocation (GetBinder (isSet ? "SetMember" : "GetMember", loc), binder_args);
856 // Any member binder which can be source and target of assignment
858 abstract class DynamicMemberAssignable : DynamicExpressionStatement, IDynamicBinder, IAssignMethod
861 Arguments setter_args;
863 protected DynamicMemberAssignable (Arguments args, Location loc)
864 : base (null, args, loc)
869 public Expression CreateCallSiteBinder (ResolveContext ec, Arguments args)
872 // DoResolve always uses getter
874 return CreateCallSiteBinder (ec, args, false);
877 protected abstract Expression CreateCallSiteBinder (ResolveContext ec, Arguments args, bool isSet);
879 protected virtual Arguments CreateSetterArguments (ResolveContext rc, Expression rhs)
881 var setter_args = new Arguments (Arguments.Count + 1);
882 setter_args.AddRange (Arguments);
883 setter_args.Add (new Argument (rhs));
887 public override Expression DoResolveLValue (ResolveContext rc, Expression right_side)
889 if (right_side == EmptyExpression.OutAccess) {
890 right_side.DoResolveLValue (rc, this);
894 if (DoResolveCore (rc)) {
895 setter_args = CreateSetterArguments (rc, right_side);
896 setter = CreateCallSiteBinder (rc, setter_args, true);
899 eclass = ExprClass.Variable;
903 public override void Emit (EmitContext ec)
905 // It's null for ResolveLValue used without assignment
906 if (binder_expr == null)
907 EmitCall (ec, setter, Arguments, false);
912 public override void EmitStatement (EmitContext ec)
914 // It's null for ResolveLValue used without assignment
915 if (binder_expr == null)
916 EmitCall (ec, setter, Arguments, true);
918 base.EmitStatement (ec);
921 #region IAssignMethod Members
923 public void Emit (EmitContext ec, bool leave_copy)
925 throw new NotImplementedException ();
928 public void EmitAssign (EmitContext ec, Expression source, bool leave_copy, bool isCompound)
930 EmitCall (ec, setter, setter_args, !leave_copy);
936 class DynamicUnaryConversion : DynamicExpressionStatement, IDynamicBinder
938 readonly string name;
940 public DynamicUnaryConversion (string name, Arguments args, Location loc)
941 : base (null, args, loc)
947 public static DynamicUnaryConversion CreateIsTrue (ResolveContext rc, Arguments args, Location loc)
949 return new DynamicUnaryConversion ("IsTrue", args, loc) { type = rc.BuiltinTypes.Bool };
952 public static DynamicUnaryConversion CreateIsFalse (ResolveContext rc, Arguments args, Location loc)
954 return new DynamicUnaryConversion ("IsFalse", args, loc) { type = rc.BuiltinTypes.Bool };
957 public Expression CreateCallSiteBinder (ResolveContext ec, Arguments args)
959 Arguments binder_args = new Arguments (4);
961 MemberAccess sle = new MemberAccess (new MemberAccess (
962 new QualifiedAliasMember (QualifiedAliasMember.GlobalAlias, "System", loc), "Linq", loc), "Expressions", loc);
964 var flags = ec.HasSet (ResolveContext.Options.CheckedScope) ? CSharpBinderFlags.CheckedContext : 0;
966 binder_args.Add (new Argument (new BinderFlags (flags, this)));
967 binder_args.Add (new Argument (new MemberAccess (new MemberAccess (sle, "ExpressionType", loc), name, loc)));
968 binder_args.Add (new Argument (new TypeOf (ec.CurrentType, loc)));
969 binder_args.Add (new Argument (new ImplicitlyTypedArrayCreation (args.CreateDynamicBinderArguments (ec), loc)));
971 return new Invocation (GetBinder ("UnaryOperation", loc), binder_args);
975 sealed class DynamicSiteClass : HoistedStoreyClass
977 public DynamicSiteClass (TypeDefinition parent, MemberBase host, TypeParameters tparams)
978 : base (parent, MakeMemberName (host, "DynamicSite", parent.DynamicSitesCounter, tparams, Location.Null), tparams, Modifiers.STATIC, MemberKind.Class)
980 parent.DynamicSitesCounter++;
983 public FieldSpec CreateCallSiteField (FullNamedExpression type, Location loc)
985 int index = AnonymousMethodsCounter++;
986 Field f = new HoistedField (this, type, Modifiers.PUBLIC | Modifiers.STATIC, "Site" + index.ToString ("X"), null, loc);