public class Yield : Statement {
public Expression expr;
-
+ ArrayList finally_blocks;
+
public Yield (Expression expr, Location l)
{
this.expr = expr;
public static bool CheckContext (EmitContext ec, Location loc)
{
- if (ec.InFinally){
- Report.Error (-208, loc, "yield statement can not appear in finally clause");
+ if (ec.CurrentBranching.InFinally (true)){
+ Report.Error (1625, loc, "Cannot yield in the body of a " +
+ "finally clause");
return false;
}
- if (ec.InCatch){
- Report.Error (-209, loc, "yield statement can not appear in the catch clause");
+ if (ec.CurrentBranching.InCatch ()){
+ Report.Error (1631, loc, "Cannot yield in the body of a " +
+ "catch clause");
return false;
}
if (ec.InAnonymousMethod){
- Report.Error (-209, loc, "yield statement can not appear inside an anonymoud method");
+ Report.Error (1621, loc, "yield statement can not appear " +
+ "inside an anonymoud method");
return false;
}
return false;
if (!CheckContext (ec, loc))
return false;
-
- Type iterator_type = IteratorHandler.Current.IteratorType;
- if (expr.Type != iterator_type){
- expr = Convert.ImplicitConversionRequired (ec, expr, iterator_type, loc);
+
+ Iterator iterator = ec.CurrentIterator;
+ if (expr.Type != iterator.IteratorType){
+ expr = Convert.ImplicitConversionRequired (
+ ec, expr, iterator.IteratorType, loc);
if (expr == null)
return false;
}
+
+ ec.CurrentBranching.StealFinallyClauses (ref finally_blocks);
return true;
}
- protected override bool DoEmit (EmitContext ec)
+ protected override void DoEmit (EmitContext ec)
{
- IteratorHandler.Current.MarkYield (ec, expr);
-
- return false;
+ ec.CurrentIterator.MarkYield (ec, expr, finally_blocks);
}
}
if (!Yield.CheckContext (ec, loc))
return false;
- ec.CurrentBranching.Goto ();
+ ec.CurrentBranching.CurrentUsageVector.Goto ();
return true;
}
- protected override bool DoEmit (EmitContext ec)
+ protected override void DoEmit (EmitContext ec)
{
- IteratorHandler.Current.EmitYieldBreak (ec.ig, true);
- return false;
+ ec.CurrentIterator.EmitYieldBreak (ec.ig);
}
}
- public class IteratorHandler {
- //
- // Points to the current iterator handler, will be probed by
- // Yield and YieldBreak to get their context information
- //
- public static IteratorHandler Current;
-
- //
- // The typebuilder to the proxy class we create
- //
- TypeBuilder enumerator_proxy_class;
- TypeBuilder enumerable_proxy_class;
-
- //
- // The type of this iterator, object by default.
- //
- public Type IteratorType;
-
- //
- // The members we create on the proxy class
- //
- MethodBuilder move_next_method;
- MethodBuilder reset_method;
- MethodBuilder get_current_method;
- MethodBuilder dispose_method;
- MethodBuilder getenumerator_method;
- PropertyBuilder current_property;
- ConstructorBuilder enumerator_proxy_constructor;
- ConstructorBuilder enumerable_proxy_constructor;
-
- //
- // The PC for the state machine.
- //
- FieldBuilder pc_field;
-
- //
- // The value computed for Current
- //
- FieldBuilder current_field;
+ public class Iterator : Class {
+ string original_name;
+ Block original_block;
+ Block block;
- //
- // Used to reference fields on the container class (instance methods)
- //
- public FieldBuilder this_field;
- public FieldBuilder enumerable_this_field;
+ Type iterator_type;
+ TypeExpr iterator_type_expr;
+ bool is_enumerable;
+ bool is_static;
- //
- // References the parameters
- //
+ Hashtable fields;
- public FieldBuilder [] parameter_fields;
- FieldBuilder [] enumerable_parameter_fields;
-
//
// The state as we generate the iterator
//
- ArrayList resume_labels = new ArrayList ();
+ Label move_next_ok, move_next_error;
+ ArrayList resume_points = new ArrayList ();
int pc;
//
// Context from the original method
//
- string name;
TypeContainer container;
Type return_type;
Type [] param_types;
InternalParameters parameters;
- Block original_block;
- Location loc;
- int modifiers;
- static int proxy_count;
- string MakeProxyName ()
- {
- return String.Format ("__Proxy_{0}", proxy_count++);
+ Expression enumerator_type;
+ Expression enumerable_type;
+ Expression generic_enumerator_type;
+ Expression generic_enumerable_type;
+ TypeArguments generic_args;
+
+ protected enum State {
+ Uninitialized = -2,
+ After,
+ Running
}
- public void EmitYieldBreak (ILGenerator ig, bool add_return)
+ static int proxy_count;
+
+ public void EmitYieldBreak (ILGenerator ig)
{
ig.Emit (OpCodes.Ldarg_0);
- IntConstant.EmitInt (ig, -1);
- ig.Emit (OpCodes.Stfld, pc_field);
- if (add_return){
- ig.Emit (OpCodes.Ldc_I4_0);
- ig.Emit (OpCodes.Ret);
- }
+ IntConstant.EmitInt (ig, (int) State.After);
+ ig.Emit (OpCodes.Br, move_next_error);
}
- void EmitThrowInvalidOp (ILGenerator ig)
+ public void EmitMoveNext (EmitContext ec)
{
- ig.Emit (OpCodes.Newobj, TypeManager.invalid_operation_ctor);
- ig.Emit (OpCodes.Throw);
+ ILGenerator ig = ec.ig;
+
+ move_next_ok = ig.DefineLabel ();
+ move_next_error = ig.DefineLabel ();
+
+ LocalBuilder retval = ec.GetTemporaryLocal (TypeManager.int32_type);
+
+ ig.BeginExceptionBlock ();
+
+ Label dispatcher = ig.DefineLabel ();
+ ig.Emit (OpCodes.Br, dispatcher);
+
+ ResumePoint entry_point = new ResumePoint (null);
+ resume_points.Add (entry_point);
+ entry_point.Define (ig);
+
+ ec.EmitTopBlock (original_block, parameters, Location);
+ EmitYieldBreak (ig);
+
+ ig.MarkLabel (dispatcher);
+
+ Label [] labels = new Label [resume_points.Count];
+ for (int i = 0; i < labels.Length; i++)
+ labels [i] = ((ResumePoint) resume_points [i]).Label;
+
+ ig.Emit (OpCodes.Ldarg_0);
+ ig.Emit (OpCodes.Ldfld, pc_field.FieldBuilder);
+ ig.Emit (OpCodes.Switch, labels);
+
+ Label end = ig.DefineLabel ();
+
+ ig.MarkLabel (move_next_error);
+ ig.Emit (OpCodes.Ldc_I4_0);
+ ig.Emit (OpCodes.Stloc, retval);
+ ig.Emit (OpCodes.Leave, end);
+
+ ig.MarkLabel (move_next_ok);
+ ig.Emit (OpCodes.Ldc_I4_1);
+ ig.Emit (OpCodes.Stloc, retval);
+ ig.Emit (OpCodes.Leave, end);
+
+ ig.BeginFaultBlock ();
+
+ ig.Emit (OpCodes.Ldarg_0);
+ ig.Emit (OpCodes.Callvirt, dispose.MethodBuilder);
+
+ ig.EndExceptionBlock ();
+
+ ig.MarkLabel (end);
+ ig.Emit (OpCodes.Ldloc, retval);
+ ig.Emit (OpCodes.Ret);
}
-
- void Create_MoveNext ()
- {
- move_next_method = enumerator_proxy_class.DefineMethod (
- "System.IEnumerator.MoveNext",
- MethodAttributes.HideBySig | MethodAttributes.NewSlot |
- MethodAttributes.Virtual,
- CallingConventions.HasThis, TypeManager.bool_type, TypeManager.NoTypes);
- enumerator_proxy_class.DefineMethodOverride (move_next_method, TypeManager.bool_movenext_void);
- ILGenerator ig = move_next_method.GetILGenerator ();
- EmitContext ec = new EmitContext (
- container, loc, ig,
- TypeManager.void_type, modifiers);
+ public void EmitDispose (EmitContext ec)
+ {
+ ILGenerator ig = ec.ig;
+ Label end = ig.DefineLabel ();
Label dispatcher = ig.DefineLabel ();
ig.Emit (OpCodes.Br, dispatcher);
- Label entry_point = ig.DefineLabel ();
- ig.MarkLabel (entry_point);
- resume_labels.Add (entry_point);
-
- Current = this;
- SymbolWriter sw = CodeGen.SymbolWriter;
- if ((sw != null) && !Location.IsNull (loc) && !Location.IsNull (original_block.EndLocation)) {
- sw.OpenMethod (container, move_next_method, loc, original_block.EndLocation);
-
- ec.EmitTopBlock (original_block, parameters, loc);
-
- sw.CloseMethod ();
- } else {
- ec.EmitTopBlock (original_block, parameters, loc);
- }
- Current = null;
- EmitYieldBreak (ig, true);
+ Label [] labels = new Label [resume_points.Count];
+ for (int i = 0; i < labels.Length; i++) {
+ ResumePoint point = (ResumePoint) resume_points [i];
+
+ if (point.FinallyBlocks == null) {
+ labels [i] = end;
+ continue;
+ }
+
+ labels [i] = ig.DefineLabel ();
+ ig.MarkLabel (labels [i]);
+
+ ig.BeginExceptionBlock ();
+ ig.BeginFinallyBlock ();
+
+ foreach (ExceptionStatement stmt in point.FinallyBlocks) {
+ if (stmt != null)
+ stmt.EmitFinally (ec);
+ }
+
+ ig.EndExceptionBlock ();
+ ig.Emit (OpCodes.Br, end);
+ }
- //
- // FIXME: Split the switch in blocks that can be consumed by switch.
- //
ig.MarkLabel (dispatcher);
-
- Label [] labels = new Label [resume_labels.Count];
- resume_labels.CopyTo (labels);
ig.Emit (OpCodes.Ldarg_0);
- ig.Emit (OpCodes.Ldfld, pc_field);
+ ig.Emit (OpCodes.Ldfld, pc_field.FieldBuilder);
ig.Emit (OpCodes.Switch, labels);
- ig.Emit (OpCodes.Ldc_I4_0);
- ig.Emit (OpCodes.Ret);
+
+ ig.Emit (OpCodes.Ldarg_0);
+ IntConstant.EmitInt (ig, (int) State.After);
+ ig.Emit (OpCodes.Stfld, pc_field.FieldBuilder);
+
+ ig.MarkLabel (end);
+ }
+
+ protected class ResumePoint
+ {
+ public Label Label;
+ public readonly ExceptionStatement[] FinallyBlocks;
+
+ public ResumePoint (ArrayList list)
+ {
+ if (list != null) {
+ FinallyBlocks = new ExceptionStatement [list.Count];
+ list.CopyTo (FinallyBlocks, 0);
+ }
+ }
+
+ public void Define (ILGenerator ig)
+ {
+ Label = ig.DefineLabel ();
+ ig.MarkLabel (Label);
+ }
}
//
//
public FieldBuilder MapVariable (string pfx, string name, Type t)
{
- return enumerator_proxy_class.DefineField (pfx + name, t, FieldAttributes.Public);
- }
-
- void Create_Reset ()
- {
- reset_method = enumerator_proxy_class.DefineMethod (
- "System.IEnumerator.Reset",
- MethodAttributes.HideBySig | MethodAttributes.NewSlot |
- MethodAttributes.Virtual,
- CallingConventions.HasThis, TypeManager.void_type, TypeManager.NoTypes);
- enumerator_proxy_class.DefineMethodOverride (reset_method, TypeManager.void_reset_void);
- ILGenerator ig = reset_method.GetILGenerator ();
- EmitThrowInvalidOp (ig);
+ string full_name = pfx + name;
+ FieldBuilder fb = (FieldBuilder) fields [full_name];
+ if (fb != null)
+ return fb;
+
+ fb = TypeBuilder.DefineField (full_name, t, FieldAttributes.Private);
+ fields.Add (full_name, fb);
+ return fb;
}
- void Create_Current ()
+ //
+ // Called back from Yield
+ //
+ public void MarkYield (EmitContext ec, Expression expr,
+ ArrayList finally_blocks)
{
- get_current_method = enumerator_proxy_class.DefineMethod (
- "System.IEnumerator.get_Current",
- MethodAttributes.HideBySig | MethodAttributes.SpecialName |
- MethodAttributes.NewSlot | MethodAttributes.Virtual,
- CallingConventions.HasThis, TypeManager.object_type, TypeManager.NoTypes);
- enumerator_proxy_class.DefineMethodOverride (get_current_method, TypeManager.object_getcurrent_void);
-
- current_property = enumerator_proxy_class.DefineProperty (
- "Current",
- PropertyAttributes.RTSpecialName | PropertyAttributes.SpecialName,
- TypeManager.object_type, null);
+ ILGenerator ig = ec.ig;
- current_property.SetGetMethod (get_current_method);
-
- ILGenerator ig = get_current_method.GetILGenerator ();
+ // Store the new current
+ ig.Emit (OpCodes.Ldarg_0);
+ expr.Emit (ec);
+ ig.Emit (OpCodes.Stfld, current_field.FieldBuilder);
+ // increment pc
+ pc++;
ig.Emit (OpCodes.Ldarg_0);
- ig.Emit (OpCodes.Ldfld, pc_field);
- ig.Emit (OpCodes.Ldc_I4_0);
- Label return_current = ig.DefineLabel ();
- ig.Emit (OpCodes.Bgt, return_current);
- EmitThrowInvalidOp (ig);
-
- ig.MarkLabel (return_current);
+ IntConstant.EmitInt (ig, pc);
+ ig.Emit (OpCodes.Stfld, pc_field.FieldBuilder);
+
+ // Return ok
+ ig.Emit (OpCodes.Br, move_next_ok);
+
+ ResumePoint point = new ResumePoint (finally_blocks);
+ resume_points.Add (point);
+ point.Define (ig);
+ }
+
+ public void MarkFinally (EmitContext ec, ArrayList finally_blocks)
+ {
+ ILGenerator ig = ec.ig;
+
+ // increment pc
+ pc++;
ig.Emit (OpCodes.Ldarg_0);
- ig.Emit (OpCodes.Ldfld, current_field);
- ig.Emit (OpCodes.Ret);
+ IntConstant.EmitInt (ig, pc);
+ ig.Emit (OpCodes.Stfld, pc_field.FieldBuilder);
+
+ ResumePoint point = new ResumePoint (finally_blocks);
+ resume_points.Add (point);
+ point.Define (ig);
}
- void Create_Dispose ()
+ private static MemberName MakeProxyName (string name)
{
- dispose_method = enumerator_proxy_class.DefineMethod (
- "System.IDisposable.Dispose",
- MethodAttributes.HideBySig | MethodAttributes.SpecialName |
- MethodAttributes.NewSlot | MethodAttributes.Virtual,
- CallingConventions.HasThis, TypeManager.void_type, TypeManager.NoTypes);
- enumerator_proxy_class.DefineMethodOverride (dispose_method, TypeManager.void_dispose_void);
- ILGenerator ig = dispose_method.GetILGenerator ();
+ int pos = name.LastIndexOf ('.');
+ if (pos > 0)
+ name = name.Substring (pos + 1);
- EmitYieldBreak (ig, false);
- ig.Emit (OpCodes.Ret);
+ return new MemberName ("<" + name + ">__" + (proxy_count++));
}
-
- void Create_GetEnumerator ()
+
+ //
+ // Our constructor
+ //
+ public Iterator (TypeContainer container, string name, Type return_type,
+ Type [] param_types, InternalParameters parameters,
+ int modifiers, Block block, Location loc)
+ : base (container.NamespaceEntry, container, MakeProxyName (name),
+ Modifiers.PRIVATE, null, loc)
{
- getenumerator_method = enumerable_proxy_class.DefineMethod (
- "IEnumerable.GetEnumerator",
- MethodAttributes.HideBySig | MethodAttributes.SpecialName |
- MethodAttributes.NewSlot | MethodAttributes.Virtual,
- CallingConventions.HasThis, TypeManager.ienumerator_type, TypeManager.NoTypes);
+ this.container = container;
+ this.return_type = return_type;
+ this.param_types = param_types;
+ this.parameters = parameters;
+ this.original_name = name;
+ this.original_block = block;
+ this.block = new Block (null);
+
+ fields = new Hashtable ();
- enumerable_proxy_class.DefineMethodOverride (getenumerator_method, TypeManager.ienumerable_getenumerator_void);
- ILGenerator ig = getenumerator_method.GetILGenerator ();
+ is_static = (modifiers & Modifiers.STATIC) != 0;
+ }
- if (enumerable_this_field != null){
- ig.Emit (OpCodes.Ldarg_0);
- ig.Emit (OpCodes.Ldfld, enumerable_this_field);
+ public bool DefineIterator ()
+ {
+ if (!CheckType (return_type)) {
+ Report.Error (
+ 1624, Location,
+ "The body of `{0}' cannot be an iterator block " +
+ "because '{1}' is not an iterator interface type",
+ original_name, TypeManager.CSharpName (return_type));
+ return false;
}
+
for (int i = 0; i < parameters.Count; i++){
- ig.Emit (OpCodes.Ldarg_0);
- ig.Emit (OpCodes.Ldfld, enumerable_parameter_fields [i]);
+ Parameter.Modifier mod = parameters.ParameterModifier (i);
+ if ((mod & (Parameter.Modifier.REF | Parameter.Modifier.OUT)) != 0){
+ Report.Error (
+ 1623, Location,
+ "Iterators cannot have ref or out parameters");
+ return false;
+ }
}
- ig.Emit (OpCodes.Newobj, (ConstructorInfo) enumerator_proxy_constructor);
- ig.Emit (OpCodes.Ret);
- }
- void LoadArgs (ILGenerator ig)
- {
- int count = parameters.Count;
- if ((modifiers & Modifiers.STATIC) == 0)
- count++;
+ generic_args = new TypeArguments (Location);
+ generic_args.Add (new TypeExpression (iterator_type, Location));
+
+ ArrayList list = new ArrayList ();
+ if (is_enumerable) {
+ enumerable_type = new TypeExpression (
+ TypeManager.ienumerable_type, Location);
+ list.Add (enumerable_type);
+
+ generic_enumerable_type = new ConstructedType (
+ TypeManager.generic_ienumerable_type,
+ generic_args, Location);
+ list.Add (generic_enumerable_type);
+ }
+
+ enumerator_type = new TypeExpression (
+ TypeManager.ienumerator_type, Location);
+ list.Add (enumerator_type);
+
+ list.Add (new TypeExpression (TypeManager.idisposable_type, Location));
- for (int i = 0; i < count; i++)
- ParameterReference.EmitLdArg (ig, i);
+ generic_enumerator_type = new ConstructedType (
+ TypeManager.generic_ienumerator_type,
+ generic_args, Location);
+ list.Add (generic_enumerator_type);
+
+ iterator_type_expr = new TypeExpression (iterator_type, Location);
+
+ container.AddIterator (this);
+
+ Bases = list;
+ return true;
}
-
+
//
- // Called back from Yield
+ // Returns the new block for the method, or null on failure
//
- public void MarkYield (EmitContext ec, Expression expr)
+ protected override bool DefineNestedTypes ()
{
- ILGenerator ig = ec.ig;
+ Define_Fields ();
+ Define_Constructor ();
+ Define_Current (false);
+ Define_Current (true);
+ Define_MoveNext ();
+ Define_Reset ();
+ Define_Dispose ();
+
+ if (is_enumerable) {
+ Define_GetEnumerator (false);
+ Define_GetEnumerator (true);
+ }
- // Store the new current
- ig.Emit (OpCodes.Ldarg_0);
- expr.Emit (ec);
- ig.Emit (OpCodes.Stfld, current_field);
+ Create_Block ();
- // increment pc
- pc++;
- ig.Emit (OpCodes.Ldarg_0);
- IntConstant.EmitInt (ig, pc);
- ig.Emit (OpCodes.Stfld, pc_field);
-
- // Return ok.
- ig.Emit (OpCodes.Ldc_I4_1);
- ig.Emit (OpCodes.Ret);
-
- Label resume_point = ig.DefineLabel ();
- ig.MarkLabel (resume_point);
- resume_labels.Add (resume_point);
+ return base.DefineNestedTypes ();
}
- void ComputeConstructorTypes (out Type [] constructor_types, out Parameters constructor_parameters)
+
+ Field pc_field;
+ Field current_field;
+ Method dispose;
+
+ public Field this_field;
+ public Field[] parameter_fields;
+
+ void Create_Block ()
{
- bool is_static = (modifiers & Modifiers.STATIC) != 0;
-
- if (is_static && parameters.Count == 0){
- constructor_types = TypeManager.NoTypes;
- constructor_parameters = Parameters.EmptyReadOnlyParameters;
- return;
+ int first = is_static ? 0 : 1;
+
+ ArrayList args = new ArrayList ();
+ if (!is_static) {
+ Type t = container.TypeBuilder;
+ args.Add (new Argument (
+ new ThisParameterReference (t, 0, Location)));
}
- int count = (is_static ? 0 : 1) + parameters.Count;
- constructor_types = new Type [count];
- Parameter [] pars = new Parameter [count];
- constructor_parameters = new Parameters (pars, null, loc);
-
- int i = 0;
- if (!is_static){
- constructor_types [0] = container.TypeBuilder;
+ args.Add (new Argument (new BoolLiteral (false)));
- Parameter THIS = new Parameter (
- new TypeExpr (container.TypeBuilder, loc), "this", Parameter.Modifier.NONE, null);
- pars [0] = THIS;
- i++;
+ for (int i = 0; i < parameters.Count; i++) {
+ Type t = parameters.ParameterType (i);
+ args.Add (new Argument (
+ new SimpleParameterReference (t, first + i, Location)));
}
- for (int j = 0; j < parameters.Count; j++, i++){
- Type partype = parameters.ParameterType (j);
-
- pars [i] = new Parameter (new TypeExpr (partype, loc),
- parameters.ParameterName (j),
- Parameter.Modifier.NONE, null);
- constructor_types [i] = partype;
+ Expression new_expr = new New (
+ new TypeExpression (TypeBuilder, Location), args, Location);
+
+ block.AddStatement (new NoCheckReturn (new_expr, Location));
+ }
+
+ void Define_Fields ()
+ {
+ Location loc = Location.Null;
+
+ pc_field = new Field (
+ this, TypeManager.system_int32_expr, Modifiers.PRIVATE, "PC",
+ null, null, loc);
+ AddField (pc_field);
+
+ current_field = new Field (
+ this, iterator_type_expr, Modifiers.PRIVATE, "current",
+ null, null, loc);
+ AddField (current_field);
+
+ if (!is_static) {
+ this_field = new Field (
+ this,
+ new TypeExpression (container.TypeBuilder, Location),
+ Modifiers.PRIVATE, "this", null, null, loc);
+ AddField (this_field);
+ }
+
+ parameter_fields = new Field [parameters.Count];
+ for (int i = 0; i < parameters.Count; i++) {
+ string fname = String.Format (
+ "field{0}_{1}", i, parameters.ParameterName (i));
+
+ parameter_fields [i] = new Field (
+ this,
+ new TypeExpression (parameters.ParameterType (i), loc),
+ Modifiers.PRIVATE, fname, null, null, loc);
+ AddField (parameter_fields [i]);
}
}
-
- //
- // Creates the IEnumerator Proxy class
- //
- void MakeEnumeratorProxy ()
+
+ void Define_Constructor ()
{
- Type [] proxy_base_interfaces = new Type [2];
- proxy_base_interfaces [0] = TypeManager.ienumerator_type;
- proxy_base_interfaces [1] = TypeManager.idisposable_type;
- TypeBuilder container_builder = container.TypeBuilder;
+ Parameters ctor_params;
- //
- // Create the class
- //
- enumerator_proxy_class = container_builder.DefineNestedType (
- MakeProxyName (), TypeAttributes.AutoLayout | TypeAttributes.Class |TypeAttributes.NestedPublic,
- TypeManager.object_type, proxy_base_interfaces);
+ ArrayList list = new ArrayList ();
- TypeManager.RegisterBuilder (enumerator_proxy_class, proxy_base_interfaces);
+ if (!is_static)
+ list.Add (new Parameter (
+ new TypeExpression (container.TypeBuilder, Location),
+ "this", Parameter.Modifier.NONE, null));
+ list.Add (new Parameter (
+ TypeManager.system_boolean_expr, "initialized",
+ Parameter.Modifier.NONE, null));
- //
- // Define our fields
- //
- pc_field = enumerator_proxy_class.DefineField ("PC", TypeManager.int32_type, FieldAttributes.Private);
- current_field = enumerator_proxy_class.DefineField ("current", IteratorType, FieldAttributes.Private);
- if ((modifiers & Modifiers.STATIC) == 0)
- this_field = enumerator_proxy_class.DefineField ("THIS", container.TypeBuilder, FieldAttributes.Private);
+ Parameter[] old_fixed = parameters.Parameters.FixedParameters;
+ if (old_fixed != null)
+ list.AddRange (old_fixed);
- parameter_fields = new FieldBuilder [parameters.Count];
- for (int i = 0; i < parameters.Count; i++){
- parameter_fields [i] = enumerator_proxy_class.DefineField (
- String.Format ("p{0}_{1}", i, parameters.ParameterName (i)),
- parameters.ParameterType (i), FieldAttributes.Private);
+ Parameter[] fixed_params = new Parameter [list.Count];
+ list.CopyTo (fixed_params);
+
+ ctor_params = new Parameters (
+ fixed_params, parameters.Parameters.ArrayParameter,
+ Location);
+
+ Constructor ctor = new Constructor (
+ this, Name, Modifiers.PUBLIC, ctor_params,
+ new ConstructorBaseInitializer (
+ null, Parameters.EmptyReadOnlyParameters, Location),
+ Location);
+ AddConstructor (ctor);
+
+ Block block = ctor.Block = new Block (null);
+
+ if (!is_static) {
+ Type t = container.TypeBuilder;
+
+ Assign assign = new Assign (
+ new FieldExpression (this_field),
+ new SimpleParameterReference (t, 1, Location),
+ Location);
+
+ block.AddStatement (new StatementExpression (assign, Location));
}
-
- //
- // Define a constructor
- //
- // FIXME: currently its parameterless
- Type [] constructor_types;
- Parameters constructor_parameters;
-
- ComputeConstructorTypes (out constructor_types, out constructor_parameters);
-
- enumerator_proxy_constructor = enumerator_proxy_class.DefineConstructor (
- MethodAttributes.Public | MethodAttributes.HideBySig |
- MethodAttributes.SpecialName | MethodAttributes.RTSpecialName,
- CallingConventions.HasThis, constructor_types);
- InternalParameters parameter_info = new InternalParameters (constructor_types, constructor_parameters);
- TypeManager.RegisterMethod (enumerator_proxy_constructor, parameter_info, constructor_types);
- //
- // Our constructor
- //
- ILGenerator ig = enumerator_proxy_constructor.GetILGenerator ();
- ig.Emit (OpCodes.Ldarg_0);
- ig.Emit (OpCodes.Call, TypeManager.object_ctor);
-
- int arg_start;
- if (this_field != null){
- arg_start = 2;
- ig.Emit (OpCodes.Ldarg_0);
- ig.Emit (OpCodes.Ldarg_1);
- ig.Emit (OpCodes.Stfld, this_field);
+ int first = is_static ? 2 : 3;
+
+ for (int i = 0; i < parameters.Count; i++) {
+ Type t = parameters.ParameterType (i);
+
+ Assign assign = new Assign (
+ new FieldExpression (parameter_fields [i]),
+ new SimpleParameterReference (t, first + i, Location),
+ Location);
+
+ block.AddStatement (new StatementExpression (assign, Location));
+ }
+
+ State initial = is_enumerable ? State.Uninitialized : State.Running;
+ block.AddStatement (new SetState (this, initial, Location));
+
+ block.AddStatement (new If (
+ new SimpleParameterReference (
+ TypeManager.bool_type, first - 1, Location),
+ new SetState (this, State.Running, Location),
+ Location));
+ }
+
+ Statement Create_ThrowInvalidOperation ()
+ {
+ TypeExpr ex_type = new TypeExpression (
+ TypeManager.invalid_operation_exception_type, Location);
+
+ return new Throw (new New (ex_type, null, Location), Location);
+ }
+
+ Statement Create_ThrowNotSupported ()
+ {
+ TypeExpr ex_type = new TypeExpression (
+ TypeManager.not_supported_exception_type, Location);
+
+ return new Throw (new New (ex_type, null, Location), Location);
+ }
+
+ void Define_Current (bool is_generic)
+ {
+ MemberName left;
+ Expression type;
+ if (is_generic) {
+ left = new MemberName (
+ "System.Collections.Generic.IEnumerator",
+ generic_args);
+ type = iterator_type_expr;
} else {
- arg_start = 1;
+ left = new MemberName ("System.Collections.IEnumerator");
+ type = TypeManager.system_object_expr;
}
- for (int i = 0; i < parameters.Count; i++){
- ig.Emit (OpCodes.Ldarg_0);
- ParameterReference.EmitLdArg (ig, i + arg_start);
- ig.Emit (OpCodes.Stfld, parameter_fields [i]);
+
+ MemberName name = new MemberName (left, "Current", null);
+
+ Block get_block = new Block (null);
+
+ get_block.AddStatement (new If (
+ new Binary (
+ Binary.Operator.LessThanOrEqual,
+ new FieldExpression (pc_field),
+ new IntLiteral ((int) State.Running), Location),
+ Create_ThrowInvalidOperation (),
+ new Return (
+ new FieldExpression (current_field), Location),
+ Location));
+
+ Accessor getter = new Accessor (get_block, null);
+
+ Property current = new Property (
+ this, type, 0, false, name, null, getter, null, Location);
+ AddProperty (current);
+ }
+
+ void Define_MoveNext ()
+ {
+ Method move_next = new Method (
+ this, null, TypeManager.system_boolean_expr,
+ Modifiers.PUBLIC, false, new MemberName ("MoveNext"),
+ Parameters.EmptyReadOnlyParameters, null,
+ Location.Null);
+ AddMethod (move_next);
+
+ Block block = move_next.Block = new Block (null);
+
+ MoveNextMethod inline = new MoveNextMethod (this, Location);
+ block.AddStatement (inline);
+ }
+
+ void Define_GetEnumerator (bool is_generic)
+ {
+ MemberName left;
+ Expression type;
+ if (is_generic) {
+ left = new MemberName (
+ "System.Collections.Generic.IEnumerable",
+ generic_args);
+ type = generic_enumerator_type;
+ } else {
+ left = new MemberName ("System.Collections.IEnumerable");
+ type = enumerator_type;
}
- ig.Emit (OpCodes.Ret);
+
+ MemberName name = new MemberName (left, "GetEnumerator", null);
+
+ Method get_enumerator = new Method (
+ this, null, type, 0, false, name,
+ Parameters.EmptyReadOnlyParameters, null,
+ Location.Null);
+ AddMethod (get_enumerator);
+
+ get_enumerator.Block = new Block (null);
+
+ Expression ce = new MemberAccess (
+ new SimpleName ("System.Threading.Interlocked", Location),
+ "CompareExchange", Location);
+
+ Expression pc = new FieldExpression (pc_field);
+ Expression before = new IntLiteral ((int) State.Running);
+ Expression uninitialized = new IntLiteral ((int) State.Uninitialized);
+
+ ArrayList args = new ArrayList ();
+ args.Add (new Argument (pc, Argument.AType.Ref));
+ args.Add (new Argument (before, Argument.AType.Expression));
+ args.Add (new Argument (uninitialized, Argument.AType.Expression));
+
+ get_enumerator.Block.AddStatement (new If (
+ new Binary (
+ Binary.Operator.Equality,
+ new Invocation (ce, args, Location),
+ uninitialized, Location),
+ new Return (new This (block, Location), Location),
+ Location));
+
+ args = new ArrayList ();
+ if (!is_static)
+ args.Add (new Argument (new FieldExpression (this_field)));
+
+ args.Add (new Argument (new BoolLiteral (true)));
+
+ for (int i = 0; i < parameters.Count; i++)
+ args.Add (new Argument (
+ new FieldExpression (parameter_fields [i])));
+
+ Expression new_expr = new New (
+ new TypeExpression (TypeBuilder, Location), args, Location);
+ get_enumerator.Block.AddStatement (new Return (new_expr, Location));
}
- //
- // Creates the IEnumerable proxy class
- //
- void MakeEnumerableProxy ()
+ protected class SimpleParameterReference : Expression
{
- TypeBuilder container_builder = container.TypeBuilder;
- Type [] proxy_base_interfaces = new Type [1];
- proxy_base_interfaces [0] = TypeManager.ienumerable_type;
+ int idx;
- //
- // Creates the Enumerable proxy class.
- //
- enumerable_proxy_class = container_builder.DefineNestedType (
- MakeProxyName (), TypeAttributes.AutoLayout | TypeAttributes.Class |TypeAttributes.NestedPublic,
- TypeManager.object_type, proxy_base_interfaces);
+ public SimpleParameterReference (Type type, int idx, Location loc)
+ {
+ this.idx = idx;
+ this.loc = loc;
+ this.type = type;
+ eclass = ExprClass.Variable;
+ }
- //
- // Constructor
- //
- Type [] constructor_types;
- Parameters constructor_parameters;
+ public override Expression DoResolve (EmitContext ec)
+ {
+ return this;
+ }
- ComputeConstructorTypes (out constructor_types, out constructor_parameters);
- if ((modifiers & Modifiers.STATIC) == 0){
- enumerable_this_field = enumerable_proxy_class.DefineField (
- "THIS", container.TypeBuilder, FieldAttributes.Private);
+ public override void Emit (EmitContext ec)
+ {
+ DoEmit (ec);
}
- enumerable_parameter_fields = new FieldBuilder [parameters.Count];
- for (int i = 0; i < parameters.Count; i++){
- enumerable_parameter_fields [i] = enumerable_proxy_class.DefineField (
- String.Format ("p{0}_{1}", i, parameters.ParameterName (i)),
- parameters.ParameterType (i), FieldAttributes.Private);
- }
-
- enumerable_proxy_constructor = enumerable_proxy_class.DefineConstructor (
- MethodAttributes.Public | MethodAttributes.HideBySig |
- MethodAttributes.SpecialName | MethodAttributes.RTSpecialName,
- CallingConventions.HasThis, constructor_types);
- InternalParameters parameter_info = new InternalParameters (constructor_types, constructor_parameters);
- TypeManager.RegisterMethod (enumerable_proxy_constructor, parameter_info, constructor_types);
-
- ILGenerator ig = enumerable_proxy_constructor.GetILGenerator ();
- ig.Emit (OpCodes.Ldarg_0);
- ig.Emit (OpCodes.Call, TypeManager.object_ctor);
-
- int first_arg;
- if (enumerable_this_field != null){
- ig.Emit (OpCodes.Ldarg_0);
- ig.Emit (OpCodes.Ldarg_1);
- ig.Emit (OpCodes.Stfld, enumerable_this_field);
- first_arg = 2;
- } else
- first_arg = 1;
-
- for (int i = 0; i < parameters.Count; i++){
- ig.Emit (OpCodes.Ldarg_0);
- ParameterReference.EmitLdArg (ig, i + first_arg);
- ig.Emit (OpCodes.Stfld, enumerable_parameter_fields [i]);
+
+ protected virtual void DoEmit (EmitContext ec)
+ {
+ ParameterReference.EmitLdArg (ec.ig, idx);
}
- ig.Emit (OpCodes.Ret);
}
- //
- // Populates the Enumerator Proxy class
- //
- void PopulateProxy ()
+ protected class ThisParameterReference : SimpleParameterReference
{
- RootContext.RegisterHelperClass (enumerator_proxy_class);
-
- Create_MoveNext ();
- Create_Reset ();
- Create_Current ();
- Create_Dispose ();
+ public ThisParameterReference (Type type, int idx, Location loc)
+ : base (type, idx, loc)
+ { }
- if (return_type == TypeManager.ienumerable_type){
- Create_GetEnumerator ();
- RootContext.RegisterHelperClass (enumerable_proxy_class);
+ protected override void DoEmit (EmitContext ec)
+ {
+ base.DoEmit (ec);
+ if (ec.TypeContainer is Struct)
+ ec.ig.Emit (OpCodes.Ldobj, type);
}
}
-
- //
- // This is invoked by the EmitCode hook
- //
- void SetupIterator ()
+ protected class FieldExpression : Expression
{
- PopulateProxy ();
+ Field field;
+
+ public FieldExpression (Field field)
+ {
+ this.field = field;
+ }
+
+ public override Expression DoResolve (EmitContext ec)
+ {
+ FieldExpr fexpr = new FieldExpr (field.FieldBuilder, loc);
+ fexpr.InstanceExpression = ec.GetThis (loc);
+ return fexpr.Resolve (ec);
+ }
+
+ public override void Emit (EmitContext ec)
+ {
+ throw new InvalidOperationException ();
+ }
}
- //
- // Our constructor
- //
- public IteratorHandler (string name, TypeContainer container, Type return_type, Type [] param_types,
- InternalParameters parameters, int modifiers, Location loc)
- {
- this.name = name;
- this.container = container;
- this.return_type = return_type;
- this.param_types = param_types;
- this.parameters = parameters;
- this.modifiers = modifiers;
- this.loc = loc;
+ protected class MoveNextMethod : Statement {
+ Iterator iterator;
+
+ public MoveNextMethod (Iterator iterator, Location loc)
+ {
+ this.loc = loc;
+ this.iterator = iterator;
+ }
+
+ public override bool Resolve (EmitContext ec)
+ {
+ ec.CurrentBranching.CurrentUsageVector.Return ();
+ return true;
+ }
+
+ protected override void DoEmit (EmitContext ec)
+ {
+ int code_flags = Modifiers.METHOD_YIELDS;
+ if (iterator.is_static)
+ code_flags |= Modifiers.STATIC;
+
+ EmitContext new_ec = new EmitContext (
+ iterator.container, loc, ec.ig,
+ TypeManager.int32_type, code_flags);
+
+ new_ec.CurrentIterator = iterator;
- IteratorType = TypeManager.object_type;
-
- RootContext.EmitCodeHook += new RootContext.Hook (SetupIterator);
+ iterator.EmitMoveNext (new_ec);
+ }
}
- //
- // This class is just an expression that evaluates to a type, and the
- // type is our internal proxy class. Used in the generated new body
- // of the original method
- //
- class NewInnerType : Expression {
- IteratorHandler handler;
-
- public NewInnerType (IteratorHandler handler, Location l)
+ protected class DisposeMethod : Statement {
+ Iterator iterator;
+
+ public DisposeMethod (Iterator iterator, Location loc)
{
- this.handler = handler;
- eclass = ExprClass.Value;
- loc = l;
+ this.loc = loc;
+ this.iterator = iterator;
}
- public override Expression DoResolve (EmitContext ec)
+ public override bool Resolve (EmitContext ec)
{
- // Create the proxy class type.
- handler.MakeEnumeratorProxy ();
+ return true;
+ }
- if (handler.return_type == TypeManager.ienumerable_type)
- handler.MakeEnumerableProxy ();
+ protected override void DoEmit (EmitContext ec)
+ {
+ iterator.EmitDispose (ec);
+ }
+ }
- type = handler.return_type;
- return this;
+ protected class StatementList : Statement {
+ ArrayList statements;
+
+ public StatementList (Location loc)
+ {
+ this.loc = loc;
+ statements = new ArrayList ();
}
- public override Expression ResolveAsTypeStep (EmitContext ec)
+ public void Add (Statement statement)
{
- return DoResolve (ec);
+ statements.Add (statement);
}
- public override void Emit (EmitContext ec)
+ public override bool Resolve (EmitContext ec)
+ {
+ foreach (Statement stmt in statements) {
+ if (!stmt.Resolve (ec))
+ return false;
+ }
+
+ return true;
+ }
+
+ protected override void DoEmit (EmitContext ec)
+ {
+ foreach (Statement stmt in statements)
+ stmt.Emit (ec);
+ }
+ }
+
+ protected class SetState : Statement
+ {
+ Iterator iterator;
+ State state;
+
+ public SetState (Iterator iterator, State state, Location loc)
+ {
+ this.iterator = iterator;
+ this.state = state;
+ this.loc = loc;
+ }
+
+ public override bool Resolve (EmitContext ec)
+ {
+ return true;
+ }
+
+ protected override void DoEmit (EmitContext ec)
{
- handler.LoadArgs (ec.ig);
-
- if (handler.return_type == TypeManager.ienumerable_type)
- ec.ig.Emit (OpCodes.Newobj, (ConstructorInfo) handler.enumerable_proxy_constructor);
- else
- ec.ig.Emit (OpCodes.Newobj, (ConstructorInfo) handler.enumerator_proxy_constructor);
+ ec.ig.Emit (OpCodes.Ldarg_0);
+ IntConstant.EmitInt (ec.ig, (int) state);
+ ec.ig.Emit (OpCodes.Stfld, iterator.pc_field.FieldBuilder);
}
}
+ void Define_Reset ()
+ {
+ Method reset = new Method (
+ this, null, TypeManager.system_void_expr, Modifiers.PUBLIC,
+ false, new MemberName ("Reset"),
+ Parameters.EmptyReadOnlyParameters, null, Location);
+ AddMethod (reset);
+
+ reset.Block = new Block (null);
+ reset.Block.AddStatement (Create_ThrowNotSupported ());
+ }
+
+ void Define_Dispose ()
+ {
+ dispose = new Method (
+ this, null, TypeManager.system_void_expr, Modifiers.PUBLIC,
+ false, new MemberName ("Dispose"),
+ Parameters.EmptyReadOnlyParameters, null, Location);
+ AddMethod (dispose);
+
+ dispose.Block = new Block (null);
+ dispose.Block.AddStatement (new DisposeMethod (this, Location));
+ }
+
+ public Block Block {
+ get { return block; }
+ }
+
+ public Type IteratorType {
+ get { return iterator_type; }
+ }
+
//
// This return statement tricks return into not flagging an error for being
// used in a Yields method
public NoCheckReturn (Expression expr, Location loc) : base (expr, loc)
{
}
-
+
public override bool Resolve (EmitContext ec)
{
ec.InIterator = false;
return ret_val;
}
}
-
- //
- // Returns the new block for the method, or null on failure
- //
- public Block Setup (Block block)
+
+ bool CheckType (Type t)
{
- if (return_type != TypeManager.ienumerator_type &&
- return_type != TypeManager.ienumerable_type){
- Report.Error (
- -205, loc, String.Format (
- "The method `{0}' contains a yield statement, but has an invalid return type for an iterator",
- name));
- return null;
+ if (t == TypeManager.ienumerable_type) {
+ iterator_type = TypeManager.object_type;
+ is_enumerable = true;
+ return true;
+ } else if (t == TypeManager.ienumerator_type) {
+ iterator_type = TypeManager.object_type;
+ is_enumerable = false;
+ return true;
}
- for (int i = 0; i < parameters.Count; i++){
- Parameter.Modifier mod = parameters.ParameterModifier (i);
- if ((mod & (Parameter.Modifier.REF | Parameter.Modifier.OUT)) != 0){
- Report.Error (-207, loc, String.Format (
- "Parameter {0} of `{1}' is {2} and not allowed for an iterator method",
- i+1, name, parameters.ParameterDesc (i)));
- return null;
- }
- }
+ if (!t.IsGenericInstance)
+ return false;
- original_block = block;
- Block b = new Block (null);
+ Type[] args = TypeManager.GetTypeArguments (t);
+ if (args.Length != 1)
+ return false;
- // return new InnerClass ()
- b.AddStatement (new NoCheckReturn (new NewInnerType (this, loc), loc));
- return b;
+ Type gt = t.GetGenericTypeDefinition ();
+ if (gt == TypeManager.generic_ienumerable_type) {
+ iterator_type = args [0];
+ is_enumerable = true;
+ return true;
+ } else if (gt == TypeManager.generic_ienumerator_type) {
+ iterator_type = args [0];
+ is_enumerable = false;
+ return true;
+ }
+
+ return false;
}
}
}