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
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)
50 public override TypeSpec ResolveAsType (IMemberContext ec)
52 eclass = ExprClass.Type;
53 type = ec.Module.Compiler.BuiltinTypes.Dynamic;
58 #region Dynamic runtime binder expressions
61 // Expression created from runtime dynamic object value by dynamic binder
63 public class RuntimeValueExpression : Expression, IDynamicAssign, IMemoryLocation
66 public class DynamicMetaObject
68 public TypeSpec RuntimeType;
69 public TypeSpec LimitType;
70 public SLE.Expression Expression;
74 readonly DynamicMetaObject obj;
76 public RuntimeValueExpression (DynamicMetaObject obj, TypeSpec type)
80 this.eclass = ExprClass.Variable;
85 public bool IsSuggestionOnly { get; set; }
87 public DynamicMetaObject MetaObject {
93 public void AddressOf (EmitContext ec, AddressOp mode)
95 throw new NotImplementedException ();
98 public override Expression CreateExpressionTree (ResolveContext ec)
100 throw new NotImplementedException ();
103 protected override Expression DoResolve (ResolveContext ec)
108 public override Expression DoResolveLValue (ResolveContext ec, Expression right_side)
113 public override void Emit (EmitContext ec)
115 throw new NotImplementedException ();
118 #region IAssignMethod Members
120 public void Emit (EmitContext ec, bool leave_copy)
122 throw new NotImplementedException ();
125 public void EmitAssign (EmitContext ec, Expression source, bool leave_copy, bool prepare_for_load)
127 throw new NotImplementedException ();
132 public SLE.Expression MakeAssignExpression (BuilderContext ctx, Expression source)
134 return obj.Expression;
137 public override SLE.Expression MakeExpression (BuilderContext ctx)
140 return base.MakeExpression (ctx);
144 if (type.IsStruct && !obj.Expression.Type.IsValueType)
145 return SLE.Expression.Unbox (obj.Expression, type.GetMetaInfo ());
147 if (obj.Expression.NodeType == SLE.ExpressionType.Parameter) {
148 if (((SLE.ParameterExpression) obj.Expression).IsByRef)
149 return obj.Expression;
153 return SLE.Expression.Convert (obj.Expression, type.GetMetaInfo ());
159 // Wraps runtime dynamic expression into expected type. Needed
160 // to satify expected type check by dynamic binder and no conversion
161 // is required (ResultDiscarded).
163 public class DynamicResultCast : ShimExpression
165 public DynamicResultCast (TypeSpec type, Expression expr)
171 protected override Expression DoResolve (ResolveContext ec)
173 expr = expr.Resolve (ec);
174 eclass = ExprClass.Value;
179 public override SLE.Expression MakeExpression (BuilderContext ctx)
182 return base.MakeExpression (ctx);
184 return SLE.Expression.Block (expr.MakeExpression (ctx), SLE.Expression.Default (type.GetMetaInfo ()));
193 // Creates dynamic binder expression
195 interface IDynamicBinder
197 Expression CreateCallSiteBinder (ResolveContext ec, Arguments args);
201 // Extends standard assignment interface for expressions
202 // supported by dynamic resolver
204 interface IDynamicAssign : IAssignMethod
206 SLE.Expression MakeAssignExpression (BuilderContext ctx, Expression source);
210 // Base dynamic expression statement creator
212 class DynamicExpressionStatement : ExpressionStatement
215 // Binder flag dynamic constant, the value is combination of
216 // flags known at resolve stage and flags known only at emit
219 protected class BinderFlags : EnumConstant
221 DynamicExpressionStatement statement;
222 CSharpBinderFlags flags;
224 public BinderFlags (CSharpBinderFlags flags, DynamicExpressionStatement statement)
225 : base (statement.loc)
228 this.statement = statement;
232 protected override Expression DoResolve (ResolveContext ec)
234 Child = new IntConstant (ec.BuiltinTypes, (int) (flags | statement.flags), statement.loc);
236 type = ec.Module.PredefinedTypes.BinderFlags.Resolve ();
237 eclass = Child.eclass;
242 readonly Arguments arguments;
243 protected IDynamicBinder binder;
244 protected Expression binder_expr;
246 // Used by BinderFlags
247 protected CSharpBinderFlags flags;
249 TypeSpec binder_type;
250 TypeParameter[] context_mvars;
252 public DynamicExpressionStatement (IDynamicBinder binder, Arguments args, Location loc)
254 this.binder = binder;
255 this.arguments = args;
259 public Arguments Arguments {
265 public override Expression CreateExpressionTree (ResolveContext ec)
267 ec.Report.Error (1963, loc, "An expression tree cannot contain a dynamic operation");
271 protected override Expression DoResolve (ResolveContext rc)
273 if (DoResolveCore (rc))
274 binder_expr = binder.CreateCallSiteBinder (rc, arguments);
279 protected bool DoResolveCore (ResolveContext rc)
281 if (rc.CurrentTypeParameters != null && rc.CurrentTypeParameters[0].IsMethodTypeParameter)
282 context_mvars = rc.CurrentTypeParameters;
284 int errors = rc.Report.Errors;
285 var pt = rc.Module.PredefinedTypes;
287 binder_type = pt.Binder.Resolve ();
288 pt.CallSite.Resolve ();
289 pt.CallSiteGeneric.Resolve ();
291 eclass = ExprClass.Value;
294 type = rc.BuiltinTypes.Dynamic;
296 if (rc.Report.Errors == errors)
299 rc.Report.Error (1969, loc,
300 "Dynamic operation cannot be compiled without `Microsoft.CSharp.dll' assembly reference");
304 public override void Emit (EmitContext ec)
306 EmitCall (ec, binder_expr, arguments, false);
309 public override void EmitStatement (EmitContext ec)
311 EmitCall (ec, binder_expr, arguments, true);
314 protected void EmitCall (EmitContext ec, Expression binder, Arguments arguments, bool isStatement)
317 // This method generates all internal infrastructure for a dynamic call. The
318 // reason why it's quite complicated is the mixture of dynamic and anonymous
319 // methods. Dynamic itself requires a temporary class (ContainerX) and anonymous
320 // methods can generate temporary storey as well (AnonStorey). Handling MVAR
321 // type parameters rewrite is non-trivial in such case as there are various
322 // combinations possible therefore the mutator is not straightforward. Secondly
323 // we need to keep both MVAR(possibly VAR for anon storey) and type VAR to emit
324 // correct Site field type and its access from EmitContext.
327 int dyn_args_count = arguments == null ? 0 : arguments.Count;
328 int default_args = isStatement ? 1 : 2;
329 var module = ec.Module;
331 bool has_ref_out_argument = false;
332 var targs = new TypeExpression[dyn_args_count + default_args];
333 targs[0] = new TypeExpression (module.PredefinedTypes.CallSite.TypeSpec, loc);
335 TypeExpression[] targs_for_instance = null;
336 TypeParameterMutator mutator;
338 var site_container = ec.CreateDynamicSite ();
340 if (context_mvars != null) {
341 TypeParameter[] tparam;
342 TypeContainer sc = site_container;
344 tparam = sc.CurrentTypeParameters;
346 } while (tparam == null);
348 mutator = new TypeParameterMutator (context_mvars, tparam);
350 if (!ec.IsAnonymousStoreyMutateRequired) {
351 targs_for_instance = new TypeExpression[targs.Length];
352 targs_for_instance[0] = targs[0];
358 for (int i = 0; i < dyn_args_count; ++i) {
359 Argument a = arguments[i];
360 if (a.ArgType == Argument.AType.Out || a.ArgType == Argument.AType.Ref)
361 has_ref_out_argument = true;
365 // Convert any internal type like dynamic or null to object
366 if (t.Kind == MemberKind.InternalCompilerType)
367 t = ec.BuiltinTypes.Object;
369 if (targs_for_instance != null)
370 targs_for_instance[i + 1] = new TypeExpression (t, loc);
373 t = t.Mutate (mutator);
375 targs[i + 1] = new TypeExpression (t, loc);
378 TypeExpr del_type = null;
379 TypeExpr del_type_instance_access = null;
380 if (!has_ref_out_argument) {
381 string d_name = isStatement ? "Action" : "Func";
384 Namespace type_ns = module.GlobalRootNamespace.GetNamespace ("System", true);
385 if (type_ns != null) {
386 te = type_ns.LookupType (module, d_name, dyn_args_count + default_args, LookupMode.Normal, loc);
392 if (t.Kind == MemberKind.InternalCompilerType)
393 t = ec.BuiltinTypes.Object;
395 if (targs_for_instance != null)
396 targs_for_instance[targs_for_instance.Length - 1] = new TypeExpression (t, loc);
399 t = t.Mutate (mutator);
401 targs[targs.Length - 1] = new TypeExpression (t, loc);
404 del_type = new GenericTypeExpr (te.Type, new TypeArguments (targs), loc);
405 if (targs_for_instance != null)
406 del_type_instance_access = new GenericTypeExpr (te.Type, new TypeArguments (targs_for_instance), loc);
408 del_type_instance_access = del_type;
413 // Create custom delegate when no appropriate predefined delegate has been found
416 if (del_type == null) {
417 TypeSpec rt = isStatement ? ec.BuiltinTypes.Void : type;
418 Parameter[] p = new Parameter[dyn_args_count + 1];
419 p[0] = new Parameter (targs[0], "p0", Parameter.Modifier.NONE, null, loc);
421 var site = ec.CreateDynamicSite ();
422 int index = site.Types == null ? 0 : site.Types.Count;
425 rt = mutator.Mutate (rt);
427 for (int i = 1; i < dyn_args_count + 1; ++i) {
428 p[i] = new Parameter (targs[i], "p" + i.ToString ("X"), arguments[i - 1].Modifier, null, loc);
431 d = new Delegate (site.NamespaceEntry, site, new TypeExpression (rt, loc),
432 Modifiers.INTERNAL | Modifiers.COMPILER_GENERATED,
433 new MemberName ("Container" + index.ToString ("X")),
434 new ParametersCompiled (p), null);
441 site.AddDelegate (d);
442 del_type = new TypeExpression (d.CurrentType, loc);
443 if (targs_for_instance != null) {
444 del_type_instance_access = null;
446 del_type_instance_access = del_type;
452 var site_type_decl = new GenericTypeExpr (module.PredefinedTypes.CallSiteGeneric.TypeSpec, new TypeArguments (del_type), loc);
453 var field = site_container.CreateCallSiteField (site_type_decl, loc);
457 if (del_type_instance_access == null) {
458 var dt = d.CurrentType.DeclaringType.MakeGenericType (module, context_mvars.Select (l => l.Type).ToArray ());
459 del_type_instance_access = new TypeExpression (MemberCache.GetMember (dt, d.CurrentType), loc);
462 var instanceAccessExprType = new GenericTypeExpr (module.PredefinedTypes.CallSiteGeneric.TypeSpec,
463 new TypeArguments (del_type_instance_access), loc);
465 if (instanceAccessExprType.ResolveAsType (ec.MemberContext) == null)
468 bool inflate_using_mvar = context_mvars != null && ec.IsAnonymousStoreyMutateRequired;
471 if (inflate_using_mvar || context_mvars == null) {
472 gt = site_container.CurrentType;
474 gt = site_container.CurrentType.MakeGenericType (module, context_mvars.Select (l => l.Type).ToArray ());
477 // When site container already exists the inflated version has to be
478 // updated manually to contain newly created field
479 if (gt is InflatedTypeSpec && site_container.Fields.Count > 1) {
480 var tparams = gt.MemberDefinition.TypeParametersCount > 0 ? gt.MemberDefinition.TypeParameters : TypeParameterSpec.EmptyTypes;
481 var inflator = new TypeParameterInflator (module, gt, tparams, gt.TypeArguments);
482 gt.MemberCache.AddMember (field.InflateMember (inflator));
485 FieldExpr site_field_expr = new FieldExpr (MemberCache.GetMember (gt, field), loc);
487 BlockContext bc = new BlockContext (ec.MemberContext, null, ec.BuiltinTypes.Void);
488 SymbolWriter.OpenCompilerGeneratedBlock (ec);
490 Arguments args = new Arguments (1);
491 args.Add (new Argument (binder));
492 StatementExpression s = new StatementExpression (new SimpleAssign (site_field_expr, new Invocation (new MemberAccess (instanceAccessExprType, "Create"), args)));
494 if (s.Resolve (bc)) {
495 Statement init = new If (new Binary (Binary.Operator.Equality, site_field_expr, new NullLiteral (loc), loc), s, loc);
499 args = new Arguments (1 + dyn_args_count);
500 args.Add (new Argument (site_field_expr));
501 if (arguments != null) {
503 foreach (Argument a in arguments) {
504 if (a is NamedArgument) {
505 // Name is not valid in this context
506 args.Add (new Argument (a.Expr, a.ArgType));
511 if (inflate_using_mvar && a.Type != targs[arg_pos].Type)
512 a.Expr.Type = targs[arg_pos].Type;
518 Expression target = new DelegateInvocation (new MemberAccess (site_field_expr, "Target", loc).Resolve (bc), args, loc).Resolve (bc);
522 SymbolWriter.CloseCompilerGeneratedBlock (ec);
525 public static MemberAccess GetBinderNamespace (Location loc)
527 return new MemberAccess (new MemberAccess (
528 new QualifiedAliasMember (QualifiedAliasMember.GlobalAlias, "Microsoft", loc), "CSharp", loc), "RuntimeBinder", loc);
531 protected MemberAccess GetBinder (string name, Location loc)
533 return new MemberAccess (new TypeExpression (binder_type, loc), name, loc);
538 // Dynamic member access compound assignment for events
540 class DynamicEventCompoundAssign : ExpressionStatement
542 class IsEvent : DynamicExpressionStatement, IDynamicBinder
546 public IsEvent (string name, Arguments args, Location loc)
547 : base (null, args, loc)
553 public Expression CreateCallSiteBinder (ResolveContext ec, Arguments args)
555 type = ec.BuiltinTypes.Bool;
557 Arguments binder_args = new Arguments (3);
559 binder_args.Add (new Argument (new BinderFlags (0, this)));
560 binder_args.Add (new Argument (new StringLiteral (ec.BuiltinTypes, name, loc)));
561 binder_args.Add (new Argument (new TypeOf (ec.CurrentType, loc)));
563 return new Invocation (GetBinder ("IsEvent", loc), binder_args);
567 Expression condition;
568 ExpressionStatement invoke, assign;
570 public DynamicEventCompoundAssign (string name, Arguments args, ExpressionStatement assignment, ExpressionStatement invoke, Location loc)
572 condition = new IsEvent (name, args, loc);
573 this.invoke = invoke;
574 this.assign = assignment;
578 public override Expression CreateExpressionTree (ResolveContext ec)
580 return condition.CreateExpressionTree (ec);
583 protected override Expression DoResolve (ResolveContext rc)
585 type = rc.BuiltinTypes.Dynamic;
586 eclass = ExprClass.Value;
587 condition = condition.Resolve (rc);
591 public override void Emit (EmitContext ec)
593 var rc = new ResolveContext (ec.MemberContext);
594 var expr = new Conditional (new BooleanExpression (condition), invoke, assign, loc).Resolve (rc);
598 public override void EmitStatement (EmitContext ec)
600 var stmt = new If (condition, new StatementExpression (invoke), new StatementExpression (assign), loc);
605 class DynamicConversion : DynamicExpressionStatement, IDynamicBinder
607 public DynamicConversion (TypeSpec targetType, CSharpBinderFlags flags, Arguments args, Location loc)
608 : base (null, args, loc)
615 public Expression CreateCallSiteBinder (ResolveContext ec, Arguments args)
617 Arguments binder_args = new Arguments (3);
619 flags |= ec.HasSet (ResolveContext.Options.CheckedScope) ? CSharpBinderFlags.CheckedContext : 0;
621 binder_args.Add (new Argument (new BinderFlags (flags, this)));
622 binder_args.Add (new Argument (new TypeOf (type, loc)));
623 binder_args.Add (new Argument (new TypeOf (ec.CurrentType, loc)));
624 return new Invocation (GetBinder ("Convert", loc), binder_args);
628 class DynamicConstructorBinder : DynamicExpressionStatement, IDynamicBinder
630 public DynamicConstructorBinder (TypeSpec type, Arguments args, Location loc)
631 : base (null, args, loc)
637 public Expression CreateCallSiteBinder (ResolveContext ec, Arguments args)
639 Arguments binder_args = new Arguments (3);
641 binder_args.Add (new Argument (new BinderFlags (0, this)));
642 binder_args.Add (new Argument (new TypeOf (ec.CurrentType, loc)));
643 binder_args.Add (new Argument (new ImplicitlyTypedArrayCreation (args.CreateDynamicBinderArguments (ec), loc)));
645 return new Invocation (GetBinder ("InvokeConstructor", loc), binder_args);
649 class DynamicIndexBinder : DynamicMemberAssignable
653 public DynamicIndexBinder (Arguments args, Location loc)
658 public DynamicIndexBinder (CSharpBinderFlags flags, Arguments args, Location loc)
664 protected override Expression DoResolve (ResolveContext ec)
666 can_be_mutator = true;
667 return base.DoResolve (ec);
670 protected override Expression CreateCallSiteBinder (ResolveContext ec, Arguments args, bool isSet)
672 Arguments binder_args = new Arguments (3);
674 binder_args.Add (new Argument (new BinderFlags (flags, this)));
675 binder_args.Add (new Argument (new TypeOf (ec.CurrentType, loc)));
676 binder_args.Add (new Argument (new ImplicitlyTypedArrayCreation (args.CreateDynamicBinderArguments (ec), loc)));
678 isSet |= (flags & CSharpBinderFlags.ValueFromCompoundAssignment) != 0;
679 return new Invocation (GetBinder (isSet ? "SetIndex" : "GetIndex", loc), binder_args);
682 protected override Arguments CreateSetterArguments (ResolveContext rc, Expression rhs)
685 // Indexer has arguments which complicates things as the setter and getter
686 // are called in two steps when unary mutator is used. We have to make a
687 // copy of all variable arguments to not duplicate any side effect.
689 // ++d[++arg, Foo ()]
693 return base.CreateSetterArguments (rc, rhs);
695 var setter_args = new Arguments (Arguments.Count + 1);
696 for (int i = 0; i < Arguments.Count; ++i) {
697 var expr = Arguments[i].Expr;
699 if (expr is Constant || expr is VariableReference || expr is This) {
700 setter_args.Add (Arguments [i]);
704 LocalVariable temp = LocalVariable.CreateCompilerGenerated (expr.Type, rc.CurrentBlock, loc);
705 expr = new SimpleAssign (temp.CreateReferenceExpression (rc, expr.Location), expr).Resolve (rc);
706 Arguments[i].Expr = temp.CreateReferenceExpression (rc, expr.Location).Resolve (rc);
707 setter_args.Add (Arguments [i].Clone (expr));
710 setter_args.Add (new Argument (rhs));
715 class DynamicInvocation : DynamicExpressionStatement, IDynamicBinder
717 ATypeNameExpression member;
719 public DynamicInvocation (ATypeNameExpression member, Arguments args, Location loc)
720 : base (null, args, loc)
723 this.member = member;
727 // When a return type is known not to be dynamic
729 public DynamicInvocation (ATypeNameExpression member, Arguments args, TypeSpec type, Location loc)
730 : this (member, args, loc)
735 public static DynamicInvocation CreateSpecialNameInvoke (ATypeNameExpression member, Arguments args, Location loc)
737 return new DynamicInvocation (member, args, loc) {
738 flags = CSharpBinderFlags.InvokeSpecialName
742 public Expression CreateCallSiteBinder (ResolveContext ec, Arguments args)
744 Arguments binder_args = new Arguments (member != null ? 5 : 3);
745 bool is_member_access = member is MemberAccess;
747 CSharpBinderFlags call_flags;
748 if (!is_member_access && member is SimpleName) {
749 call_flags = CSharpBinderFlags.InvokeSimpleName;
750 is_member_access = true;
755 binder_args.Add (new Argument (new BinderFlags (call_flags, this)));
757 if (is_member_access)
758 binder_args.Add (new Argument (new StringLiteral (ec.BuiltinTypes, member.Name, member.Location)));
760 if (member != null && member.HasTypeArguments) {
761 TypeArguments ta = member.TypeArguments;
762 if (ta.Resolve (ec)) {
763 var targs = new ArrayInitializer (ta.Count, loc);
764 foreach (TypeSpec t in ta.Arguments)
765 targs.Add (new TypeOf (t, loc));
767 binder_args.Add (new Argument (new ImplicitlyTypedArrayCreation (targs, loc)));
769 } else if (is_member_access) {
770 binder_args.Add (new Argument (new NullLiteral (loc)));
773 binder_args.Add (new Argument (new TypeOf (ec.CurrentType, loc)));
775 Expression real_args;
777 // Cannot be null because .NET trips over
778 real_args = new ArrayCreation (
779 new MemberAccess (GetBinderNamespace (loc), "CSharpArgumentInfo", loc),
780 new ArrayInitializer (0, loc), loc);
782 real_args = new ImplicitlyTypedArrayCreation (args.CreateDynamicBinderArguments (ec), loc);
785 binder_args.Add (new Argument (real_args));
787 return new Invocation (GetBinder (is_member_access ? "InvokeMember" : "Invoke", loc), binder_args);
790 public override void EmitStatement (EmitContext ec)
792 flags |= CSharpBinderFlags.ResultDiscarded;
793 base.EmitStatement (ec);
797 class DynamicMemberBinder : DynamicMemberAssignable
799 readonly string name;
801 public DynamicMemberBinder (string name, Arguments args, Location loc)
807 public DynamicMemberBinder (string name, CSharpBinderFlags flags, Arguments args, Location loc)
808 : this (name, args, loc)
813 protected override Expression CreateCallSiteBinder (ResolveContext ec, Arguments args, bool isSet)
815 Arguments binder_args = new Arguments (4);
817 binder_args.Add (new Argument (new BinderFlags (flags, this)));
818 binder_args.Add (new Argument (new StringLiteral (ec.BuiltinTypes, name, loc)));
819 binder_args.Add (new Argument (new TypeOf (ec.CurrentType, loc)));
820 binder_args.Add (new Argument (new ImplicitlyTypedArrayCreation (args.CreateDynamicBinderArguments (ec), loc)));
822 isSet |= (flags & CSharpBinderFlags.ValueFromCompoundAssignment) != 0;
823 return new Invocation (GetBinder (isSet ? "SetMember" : "GetMember", loc), binder_args);
828 // Any member binder which can be source and target of assignment
830 abstract class DynamicMemberAssignable : DynamicExpressionStatement, IDynamicBinder, IAssignMethod
833 Arguments setter_args;
835 protected DynamicMemberAssignable (Arguments args, Location loc)
836 : base (null, args, loc)
841 public Expression CreateCallSiteBinder (ResolveContext ec, Arguments args)
844 // DoResolve always uses getter
846 return CreateCallSiteBinder (ec, args, false);
849 protected abstract Expression CreateCallSiteBinder (ResolveContext ec, Arguments args, bool isSet);
851 protected virtual Arguments CreateSetterArguments (ResolveContext rc, Expression rhs)
853 var setter_args = new Arguments (Arguments.Count + 1);
854 setter_args.AddRange (Arguments);
855 setter_args.Add (new Argument (rhs));
859 public override Expression DoResolveLValue (ResolveContext rc, Expression right_side)
861 if (right_side == EmptyExpression.OutAccess) {
862 right_side.DoResolveLValue (rc, this);
866 if (DoResolveCore (rc)) {
867 setter_args = CreateSetterArguments (rc, right_side);
868 setter = CreateCallSiteBinder (rc, setter_args, true);
871 eclass = ExprClass.Variable;
875 public override void Emit (EmitContext ec)
877 // It's null for ResolveLValue used without assignment
878 if (binder_expr == null)
879 EmitCall (ec, setter, Arguments, false);
884 public override void EmitStatement (EmitContext ec)
886 // It's null for ResolveLValue used without assignment
887 if (binder_expr == null)
888 EmitCall (ec, setter, Arguments, true);
890 base.EmitStatement (ec);
893 #region IAssignMethod Members
895 public void Emit (EmitContext ec, bool leave_copy)
897 throw new NotImplementedException ();
900 public void EmitAssign (EmitContext ec, Expression source, bool leave_copy, bool prepare_for_load)
902 EmitCall (ec, setter, setter_args, !leave_copy);
908 class DynamicUnaryConversion : DynamicExpressionStatement, IDynamicBinder
910 readonly string name;
912 public DynamicUnaryConversion (string name, Arguments args, Location loc)
913 : base (null, args, loc)
919 public static DynamicUnaryConversion CreateIsTrue (ResolveContext rc, Arguments args, Location loc)
921 return new DynamicUnaryConversion ("IsTrue", args, loc) { type = rc.BuiltinTypes.Bool };
924 public static DynamicUnaryConversion CreateIsFalse (ResolveContext rc, Arguments args, Location loc)
926 return new DynamicUnaryConversion ("IsFalse", args, loc) { type = rc.BuiltinTypes.Bool };
929 public Expression CreateCallSiteBinder (ResolveContext ec, Arguments args)
931 Arguments binder_args = new Arguments (4);
933 MemberAccess sle = new MemberAccess (new MemberAccess (
934 new QualifiedAliasMember (QualifiedAliasMember.GlobalAlias, "System", loc), "Linq", loc), "Expressions", loc);
936 var flags = ec.HasSet (ResolveContext.Options.CheckedScope) ? CSharpBinderFlags.CheckedContext : 0;
938 binder_args.Add (new Argument (new BinderFlags (flags, this)));
939 binder_args.Add (new Argument (new MemberAccess (new MemberAccess (sle, "ExpressionType", loc), name, loc)));
940 binder_args.Add (new Argument (new TypeOf (ec.CurrentType, loc)));
941 binder_args.Add (new Argument (new ImplicitlyTypedArrayCreation (args.CreateDynamicBinderArguments (ec), loc)));
943 return new Invocation (GetBinder ("UnaryOperation", loc), binder_args);
947 sealed class DynamicSiteClass : HoistedStoreyClass
949 public DynamicSiteClass (TypeContainer parent, MemberBase host, TypeParameter[] tparams)
950 : base (parent, MakeMemberName (host, "DynamicSite", parent.DynamicSitesCounter, tparams, Location.Null), tparams, Modifiers.STATIC)
952 parent.DynamicSitesCounter++;
955 public FieldSpec CreateCallSiteField (FullNamedExpression type, Location loc)
957 int index = fields == null ? 0 : fields.Count;
958 Field f = new HoistedField (this, type, Modifiers.PUBLIC | Modifiers.STATIC, "Site" + index.ToString ("X"), null, loc);