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
.Collections
;
13 using System
.Reflection
.Emit
;
17 using SLE
= System
.Linq
.Expressions
;
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
)
50 type
= InternalType
.Dynamic
;
51 eclass
= ExprClass
.Type
;
54 public override bool CheckAccessLevel (IMemberContext ds
)
59 protected override TypeExpr
DoResolveAsTypeStep (IMemberContext ec
)
65 #region Dynamic runtime binder expressions
68 // Expression created from runtime dynamic object value by dynamic binder
70 public class RuntimeValueExpression
: Expression
, IDynamicAssign
, IMemoryLocation
73 public class DynamicMetaObject
75 public Type RuntimeType
;
76 public Type LimitType
;
80 readonly DynamicMetaObject obj
;
82 public RuntimeValueExpression (DynamicMetaObject obj
, bool isCompileTimeType
)
85 this.type
= isCompileTimeType
? obj
.LimitType
: obj
.RuntimeType
;
86 this.type
= obj
.LimitType
;
87 this.eclass
= ExprClass
.Variable
;
90 public void AddressOf (EmitContext ec
, AddressOp mode
)
92 throw new NotImplementedException ();
95 public override Expression
CreateExpressionTree (ResolveContext ec
)
97 throw new NotImplementedException ();
100 protected override Expression
DoResolve (ResolveContext ec
)
105 public override Expression
DoResolveLValue (ResolveContext ec
, Expression right_side
)
110 public override void Emit (EmitContext ec
)
112 throw new NotImplementedException ();
115 #region IAssignMethod Members
117 public void Emit (EmitContext ec
, bool leave_copy
)
119 throw new NotImplementedException ();
122 public void EmitAssign (EmitContext ec
, Expression source
, bool leave_copy
, bool prepare_for_load
)
124 throw new NotImplementedException ();
130 public SLE
.Expression
MakeAssignExpression (BuilderContext ctx
)
132 return obj
.Expression
;
135 public override SLE
.Expression
MakeExpression (BuilderContext ctx
)
137 return SLE
.Expression
.Convert (obj
.Expression
, type
);
141 public DynamicMetaObject MetaObject
{
147 // Wraps runtime dynamic expression into expected type. Needed
148 // to satify expected type check by dynamic binder and no conversion
149 // is required (ResultDiscarded).
151 public class DynamicResultCast
: ShimExpression
153 public DynamicResultCast (Type type
, Expression expr
)
159 protected override Expression
DoResolve (ResolveContext ec
)
161 expr
= expr
.Resolve (ec
);
162 eclass
= ExprClass
.Value
;
167 public override SLE
.Expression
MakeExpression (BuilderContext ctx
)
169 return SLE
.Expression
.Block (expr
.MakeExpression (ctx
), SLE
.Expression
.Default (type
));
177 // Creates dynamic binder expression
179 interface IDynamicBinder
181 Expression
CreateCallSiteBinder (ResolveContext ec
, Arguments args
);
185 // Extends standard assignment interface for expressions
186 // supported by dynamic resolver
188 interface IDynamicAssign
: IAssignMethod
191 SLE
.Expression
MakeAssignExpression (BuilderContext ctx
);
196 // Base dynamic expression statement creator
198 class DynamicExpressionStatement
: ExpressionStatement
200 class StaticDataClass
: CompilerGeneratedClass
202 public StaticDataClass ()
203 : base (new RootDeclSpace (new NamespaceEntry (null, null, null)),
204 new MemberName (CompilerGeneratedClass
.MakeName (null, "c", "DynamicSites", 0)),
205 Modifiers
.INTERNAL
| Modifiers
.STATIC
)
207 ModFlags
&= ~Modifiers
.SEALED
;
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
.DefineType ();
268 global_site_container
.Define ();
269 // global_site_container.EmitType ();
271 RootContext
.RegisterCompilerGeneratedType (global_site_container
.TypeBuilder
);
274 return global_site_container
;
277 static Field
CreateSiteField (FullNamedExpression type
)
279 TypeContainer site_container
= CreateSiteContainer ();
280 Field f
= new Field (site_container
, type
, Modifiers
.PUBLIC
| Modifiers
.STATIC
,
281 new MemberName ("Site" + field_counter
++), null);
284 site_container
.AddField (f
);
288 public override Expression
CreateExpressionTree (ResolveContext ec
)
290 ec
.Report
.Error (1963, loc
, "An expression tree cannot contain a dynamic operation");
294 protected override Expression
DoResolve (ResolveContext ec
)
296 if (DoResolveCore (ec
))
297 binder_expr
= binder
.CreateCallSiteBinder (ec
, arguments
);
302 protected bool DoResolveCore (ResolveContext rc
)
304 int errors
= rc
.Report
.Errors
;
306 if (TypeManager
.binder_type
== null) {
307 var t
= TypeManager
.CoreLookupType (rc
.Compiler
,
308 "Microsoft.CSharp.RuntimeBinder", "Binder", Kind
.Class
, true);
310 TypeManager
.binder_type
= new TypeExpression (t
, Location
.Null
);
313 if (TypeManager
.call_site_type
== null)
314 TypeManager
.call_site_type
= TypeManager
.CoreLookupType (rc
.Compiler
,
315 "System.Runtime.CompilerServices", "CallSite", Kind
.Class
, true);
317 if (TypeManager
.generic_call_site_type
== null)
318 TypeManager
.generic_call_site_type
= TypeManager
.CoreLookupType (rc
.Compiler
,
319 "System.Runtime.CompilerServices", "CallSite`1", Kind
.Class
, true);
321 if (TypeManager
.binder_flags
== null) {
322 TypeManager
.binder_flags
= TypeManager
.CoreLookupType (rc
.Compiler
,
323 "Microsoft.CSharp.RuntimeBinder", "CSharpBinderFlags", Kind
.Enum
, true);
326 eclass
= ExprClass
.Value
;
329 type
= InternalType
.Dynamic
;
331 if (rc
.Report
.Errors
== errors
)
334 rc
.Report
.Error (1969, loc
,
335 "Dynamic operation cannot be compiled without `Microsoft.CSharp.dll' assembly reference");
339 public override void Emit (EmitContext ec
)
341 EmitCall (ec
, binder_expr
, arguments
, false);
344 public override void EmitStatement (EmitContext ec
)
346 EmitCall (ec
, binder_expr
, arguments
, true);
349 protected void EmitCall (EmitContext ec
, Expression binder
, Arguments arguments
, bool isStatement
)
351 int dyn_args_count
= arguments
== null ? 0 : arguments
.Count
;
352 TypeExpr site_type
= CreateSiteType (RootContext
.ToplevelTypes
.Compiler
, arguments
, dyn_args_count
, isStatement
);
353 FieldExpr site_field_expr
= new FieldExpr (CreateSiteField (site_type
).FieldBuilder
, loc
);
355 SymbolWriter
.OpenCompilerGeneratedBlock (ec
.ig
);
357 Arguments args
= new Arguments (1);
358 args
.Add (new Argument (binder
));
359 StatementExpression s
= new StatementExpression (new SimpleAssign (site_field_expr
, new Invocation (new MemberAccess (site_type
, "Create"), args
)));
361 BlockContext bc
= new BlockContext (ec
.MemberContext
, null, TypeManager
.void_type
);
362 if (s
.Resolve (bc
)) {
363 Statement init
= new If (new Binary (Binary
.Operator
.Equality
, site_field_expr
, new NullLiteral (loc
)), s
, loc
);
367 args
= new Arguments (1 + dyn_args_count
);
368 args
.Add (new Argument (site_field_expr
));
369 if (arguments
!= null) {
370 foreach (Argument a
in arguments
) {
371 if (a
is NamedArgument
) {
372 // Name is not valid in this context
373 args
.Add (new Argument (a
.Expr
, a
.ArgType
));
381 Expression target
= new DelegateInvocation (new MemberAccess (site_field_expr
, "Target", loc
).Resolve (bc
), args
, loc
).Resolve (bc
);
385 SymbolWriter
.CloseCompilerGeneratedBlock (ec
.ig
);
388 public static MemberAccess
GetBinderNamespace (Location loc
)
390 return new MemberAccess (new MemberAccess (
391 new QualifiedAliasMember (QualifiedAliasMember
.GlobalAlias
, "Microsoft", loc
), "CSharp", loc
), "RuntimeBinder", loc
);
394 public static MemberAccess
GetBinder (string name
, Location loc
)
396 return new MemberAccess (TypeManager
.binder_type
, name
, loc
);
399 TypeExpr
CreateSiteType (CompilerContext ctx
, Arguments arguments
, int dyn_args_count
, bool is_statement
)
401 int default_args
= is_statement
? 1 : 2;
403 bool has_ref_out_argument
= false;
404 FullNamedExpression
[] targs
= new FullNamedExpression
[dyn_args_count
+ default_args
];
405 targs
[0] = new TypeExpression (TypeManager
.call_site_type
, loc
);
406 for (int i
= 0; i
< dyn_args_count
; ++i
) {
408 Argument a
= arguments
[i
];
409 if (a
.Type
== TypeManager
.null_type
)
410 arg_type
= TypeManager
.object_type
;
414 if (a
.ArgType
== Argument
.AType
.Out
|| a
.ArgType
== Argument
.AType
.Ref
)
415 has_ref_out_argument
= true;
417 targs
[i
+ 1] = new TypeExpression (arg_type
, loc
);
420 TypeExpr del_type
= null;
421 if (!has_ref_out_argument
) {
422 string d_name
= is_statement
? "Action`" : "Func`";
424 Type t
= TypeManager
.CoreLookupType (ctx
, "System", d_name
+ (dyn_args_count
+ default_args
), Kind
.Delegate
, false);
427 targs
[targs
.Length
- 1] = new TypeExpression (type
, loc
);
429 del_type
= new GenericTypeExpr (t
, new TypeArguments (targs
), loc
);
434 // Create custom delegate when no appropriate predefined one is found
436 if (del_type
== null) {
437 Type rt
= is_statement
? TypeManager
.void_type
: type
;
438 Parameter
[] p
= new Parameter
[dyn_args_count
+ 1];
439 p
[0] = new Parameter (targs
[0], "p0", Parameter
.Modifier
.NONE
, null, loc
);
441 for (int i
= 1; i
< dyn_args_count
+ 1; ++i
)
442 p
[i
] = new Parameter (targs
[i
], "p" + i
.ToString ("X"), arguments
[i
- 1].Modifier
, null, loc
);
444 TypeContainer parent
= CreateSiteContainer ();
445 Delegate d
= new Delegate (parent
.NamespaceEntry
, parent
, new TypeExpression (rt
, loc
),
446 Modifiers
.INTERNAL
| Modifiers
.COMPILER_GENERATED
,
447 new MemberName ("Container" + container_counter
++.ToString ("X")),
448 new ParametersCompiled (ctx
, p
), null);
453 parent
.AddDelegate (d
);
454 del_type
= new TypeExpression (d
.TypeBuilder
, loc
);
457 TypeExpr site_type
= new GenericTypeExpr (TypeManager
.generic_call_site_type
, new TypeArguments (del_type
), loc
);
461 public static void Reset ()
463 global_site_container
= null;
464 field_counter
= container_counter
= 0;
469 // Dynamic member access compound assignment for events
471 class DynamicEventCompoundAssign
: DynamicExpressionStatement
, IDynamicBinder
476 public DynamicEventCompoundAssign (string name
, Arguments args
, ExpressionStatement assignment
, ExpressionStatement invoke
, Location loc
)
477 : base (null, args
, loc
)
482 // Used by += or -= only
483 type
= TypeManager
.bool_type
;
486 new Binary (Binary
.Operator
.Equality
, this, new BoolLiteral (true, loc
)),
487 new StatementExpression (invoke
), new StatementExpression (assignment
),
491 public Expression
CreateCallSiteBinder (ResolveContext ec
, Arguments args
)
493 Arguments binder_args
= new Arguments (3);
495 binder_args
.Add (new Argument (new BinderFlags (0, this)));
496 binder_args
.Add (new Argument (new StringLiteral (name
, loc
)));
497 binder_args
.Add (new Argument (new TypeOf (new TypeExpression (ec
.CurrentType
, loc
), loc
)));
499 return new Invocation (GetBinder ("IsEvent", loc
), binder_args
);
502 public override void EmitStatement (EmitContext ec
)
508 class DynamicConversion
: DynamicExpressionStatement
, IDynamicBinder
510 public DynamicConversion (Type targetType
, CSharpBinderFlags flags
, Arguments args
, Location loc
)
511 : base (null, args
, loc
)
518 public Expression
CreateCallSiteBinder (ResolveContext ec
, Arguments args
)
520 Arguments binder_args
= new Arguments (2);
522 flags
|= ec
.HasSet (ResolveContext
.Options
.CheckedScope
) ? CSharpBinderFlags
.CheckedContext
: 0;
524 binder_args
.Add (new Argument (new BinderFlags (flags
, this)));
525 binder_args
.Add (new Argument (new TypeOf (new TypeExpression (type
, loc
), loc
)));
526 return new Invocation (GetBinder ("Convert", loc
), binder_args
);
530 class DynamicConstructorBinder
: DynamicExpressionStatement
, IDynamicBinder
532 public DynamicConstructorBinder (Type type
, Arguments args
, Location loc
)
533 : base (null, args
, loc
)
539 public Expression
CreateCallSiteBinder (ResolveContext ec
, Arguments args
)
541 Arguments binder_args
= new Arguments (3);
543 binder_args
.Add (new Argument (new BinderFlags (0, this)));
544 binder_args
.Add (new Argument (new TypeOf (new TypeExpression (ec
.CurrentType
, loc
), loc
)));
545 binder_args
.Add (new Argument (new ImplicitlyTypedArrayCreation ("[]", args
.CreateDynamicBinderArguments (ec
), loc
)));
547 return new Invocation (GetBinder ("InvokeConstructor", loc
), binder_args
);
551 class DynamicIndexBinder
: DynamicMemberAssignable
553 public DynamicIndexBinder (Arguments args
, Location loc
)
558 protected override Expression
CreateCallSiteBinder (ResolveContext ec
, Arguments args
, bool isSet
)
560 Arguments binder_args
= new Arguments (3);
562 binder_args
.Add (new Argument (new BinderFlags (0, this)));
563 binder_args
.Add (new Argument (new TypeOf (new TypeExpression (ec
.CurrentType
, loc
), loc
)));
564 binder_args
.Add (new Argument (new ImplicitlyTypedArrayCreation ("[]", args
.CreateDynamicBinderArguments (ec
), loc
)));
566 return new Invocation (GetBinder (isSet
? "SetIndex" : "GetIndex", loc
), binder_args
);
570 class DynamicInvocation
: DynamicExpressionStatement
, IDynamicBinder
572 ATypeNameExpression member
;
574 public DynamicInvocation (ATypeNameExpression member
, Arguments args
, Location loc
)
575 : base (null, args
, loc
)
578 this.member
= member
;
581 public DynamicInvocation (ATypeNameExpression member
, Arguments args
, Type type
, Location loc
)
582 : this (member
, args
, loc
)
584 // When a return type is known not to be dynamic
588 public static DynamicInvocation
CreateSpecialNameInvoke (ATypeNameExpression member
, Arguments args
, Location loc
)
590 return new DynamicInvocation (member
, args
, loc
) {
591 flags
= CSharpBinderFlags
.InvokeSpecialName
595 public Expression
CreateCallSiteBinder (ResolveContext ec
, Arguments args
)
597 Arguments binder_args
= new Arguments (member
!= null ? 5 : 3);
598 bool is_member_access
= member
is MemberAccess
;
600 CSharpBinderFlags call_flags
;
601 if (!is_member_access
&& member
is SimpleName
) {
602 call_flags
= CSharpBinderFlags
.InvokeSimpleName
;
603 is_member_access
= true;
608 binder_args
.Add (new Argument (new BinderFlags (call_flags
, this)));
610 if (is_member_access
)
611 binder_args
.Add (new Argument (new StringLiteral (member
.Name
, member
.Location
)));
613 if (member
!= null && member
.HasTypeArguments
) {
614 TypeArguments ta
= member
.TypeArguments
;
615 if (ta
.Resolve (ec
)) {
616 ArrayList targs
= new ArrayList (ta
.Count
);
617 foreach (Type t
in ta
.Arguments
)
618 targs
.Add (new TypeOf (new TypeExpression (t
, loc
), loc
));
620 binder_args
.Add (new Argument (new ImplicitlyTypedArrayCreation ("[]", targs
, loc
)));
622 } else if (is_member_access
) {
623 binder_args
.Add (new Argument (new NullLiteral (loc
)));
626 binder_args
.Add (new Argument (new TypeOf (new TypeExpression (ec
.CurrentType
, loc
), loc
)));
628 Expression real_args
;
630 // Cannot be null because .NET trips over
631 real_args
= new ArrayCreation (new MemberAccess (GetBinderNamespace (loc
), "CSharpArgumentInfo", loc
), "[]", new ArrayList (0), loc
);
633 real_args
= new ImplicitlyTypedArrayCreation ("[]", args
.CreateDynamicBinderArguments (ec
), loc
);
636 binder_args
.Add (new Argument (real_args
));
638 return new Invocation (GetBinder (is_member_access
? "InvokeMember" : "Invoke", loc
), binder_args
);
641 public override void EmitStatement (EmitContext ec
)
643 flags
|= CSharpBinderFlags
.ResultDiscarded
;
644 base.EmitStatement (ec
);
648 class DynamicMemberBinder
: DynamicMemberAssignable
650 readonly string name
;
652 public DynamicMemberBinder (string name
, Arguments args
, Location loc
)
658 protected override Expression
CreateCallSiteBinder (ResolveContext ec
, Arguments args
, bool isSet
)
660 Arguments binder_args
= new Arguments (4);
662 binder_args
.Add (new Argument (new BinderFlags (0, this)));
663 binder_args
.Add (new Argument (new StringLiteral (name
, loc
)));
664 binder_args
.Add (new Argument (new TypeOf (new TypeExpression (ec
.CurrentType
, loc
), loc
)));
665 binder_args
.Add (new Argument (new ImplicitlyTypedArrayCreation ("[]", args
.CreateDynamicBinderArguments (ec
), loc
)));
667 return new Invocation (GetBinder (isSet
? "SetMember" : "GetMember", loc
), binder_args
);
672 // Any member binder which can be source and target of assignment
674 abstract class DynamicMemberAssignable
: DynamicExpressionStatement
, IDynamicBinder
, IAssignMethod
677 Arguments setter_args
;
679 protected DynamicMemberAssignable (Arguments args
, Location loc
)
680 : base (null, args
, loc
)
685 public Expression
CreateCallSiteBinder (ResolveContext ec
, Arguments args
)
688 // DoResolve always uses getter
690 return CreateCallSiteBinder (ec
, args
, false);
693 protected abstract Expression
CreateCallSiteBinder (ResolveContext ec
, Arguments args
, bool isSet
);
695 public override Expression
DoResolveLValue (ResolveContext rc
, Expression right_side
)
697 if (right_side
== EmptyExpression
.OutAccess
.Instance
) {
698 right_side
.DoResolveLValue (rc
, this);
702 if (DoResolveCore (rc
)) {
703 setter_args
= new Arguments (Arguments
.Count
+ 1);
704 setter_args
.AddRange (Arguments
);
705 setter_args
.Add (new Argument (right_side
));
706 setter
= CreateCallSiteBinder (rc
, setter_args
, true);
709 eclass
= ExprClass
.Variable
;
713 public override void Emit (EmitContext ec
)
715 // It's null for ResolveLValue used without assignment
716 if (binder_expr
== null)
717 EmitCall (ec
, setter
, Arguments
, false);
722 public override void EmitStatement (EmitContext ec
)
724 // It's null for ResolveLValue used without assignment
725 if (binder_expr
== null)
726 EmitCall (ec
, setter
, Arguments
, true);
728 base.EmitStatement (ec
);
731 #region IAssignMethod Members
733 public void Emit (EmitContext ec
, bool leave_copy
)
735 throw new NotImplementedException ();
738 public void EmitAssign (EmitContext ec
, Expression source
, bool leave_copy
, bool prepare_for_load
)
740 EmitCall (ec
, setter
, setter_args
, !leave_copy
);
746 class DynamicUnaryConversion
: DynamicExpressionStatement
, IDynamicBinder
750 public DynamicUnaryConversion (string name
, Arguments args
, Location loc
)
751 : base (null, args
, loc
)
755 if (name
== "IsTrue" || name
== "IsFalse")
756 type
= TypeManager
.bool_type
;
759 public Expression
CreateCallSiteBinder (ResolveContext ec
, Arguments args
)
761 Arguments binder_args
= new Arguments (3);
763 MemberAccess sle
= new MemberAccess (new MemberAccess (
764 new QualifiedAliasMember (QualifiedAliasMember
.GlobalAlias
, "System", loc
), "Linq", loc
), "Expressions", loc
);
766 var flags
= ec
.HasSet (ResolveContext
.Options
.CheckedScope
) ? CSharpBinderFlags
.CheckedContext
: 0;
768 binder_args
.Add (new Argument (new BinderFlags (flags
, this)));
769 binder_args
.Add (new Argument (new MemberAccess (new MemberAccess (sle
, "ExpressionType", loc
), name
, loc
)));
770 binder_args
.Add (new Argument (new ImplicitlyTypedArrayCreation ("[]", args
.CreateDynamicBinderArguments (ec
), loc
)));
772 return new Invocation (GetBinder ("UnaryOperation", loc
), binder_args
);