A type parameter can never be optional.
[mono.git] / mcs / gmcs / rootcontext.cs
1 //
2 // rootcontext.cs: keeps track of our tree representation, and assemblies loaded.
3 //
4 // Author: Miguel de Icaza (miguel@ximian.com)
5 //         Ravi Pratap     (ravi@ximian.com)
6 //
7 // Licensed under the terms of the GNU GPL
8 //
9 // (C) 2001 Ximian, Inc (http://www.ximian.com)
10
11 using System;
12 using System.Collections;
13 using System.Reflection;
14 using System.Reflection.Emit;
15 using System.Diagnostics;
16
17 namespace Mono.CSharp {
18
19         public class RootContext {
20
21                 //
22                 // Contains the parsed tree
23                 //
24                 static Tree tree;
25
26                 //
27                 // This hashtable contains all of the #definitions across the source code
28                 // it is used by the ConditionalAttribute handler.
29                 //
30                 public static Hashtable AllDefines = new Hashtable ();
31                 
32                 //
33                 // Whether we are being linked against the standard libraries.
34                 // This is only used to tell whether `System.Object' should
35                 // have a parent or not.
36                 //
37                 public static bool StdLib = true;
38
39                 //
40                 // This keeps track of the order in which classes were defined
41                 // so that we can poulate them in that order.
42                 //
43                 // Order is important, because we need to be able to tell by
44                 // examining the parent's list of methods which ones are virtual
45                 // or abstract as well as the parent names (to implement new, 
46                 // override).
47                 //
48                 static ArrayList type_container_resolve_order;
49                 static ArrayList interface_resolve_order;
50                 static ArrayList attribute_types;
51
52                 //
53                 // Holds a reference to the Private Implementation Details
54                 // class.
55                 //
56                 static ArrayList helper_classes;
57                 
58                 static TypeBuilder impl_details_class;
59
60                 public static int WarningLevel = 2;
61
62                 public static Target Target = Target.Exe;
63                 public static string TargetExt = ".exe";
64
65                 public static bool VerifyClsCompliance = true;
66
67                 //
68                 // If set, enable C# version 2 features
69                 //
70                 public static bool V2 = true;
71
72                 //
73                 // We keep strongname related info here because
74                 // it's also used as complier options from CSC 8.x
75                 //
76                 public static string StrongNameKeyFile;
77                 public static string StrongNameKeyContainer;
78                 public static bool StrongNameDelaySign = false;
79
80                 //
81                 // Constructor
82                 //
83                 static RootContext ()
84                 {
85                         tree = new Tree ();
86                         interface_resolve_order = new ArrayList ();
87                         type_container_resolve_order = new ArrayList ();
88                 }
89
90                 public static bool NeedsEntryPoint {
91                         get {
92                                 return RootContext.Target == Target.Exe || RootContext.Target == Target.WinExe;
93                         }
94                 }
95
96                 static public Tree Tree {
97                         get {
98                                 return tree;
99                         }
100                 }
101
102                 static public string MainClass;
103                 
104                 public static void RegisterOrder (Interface iface)
105                 {
106                         interface_resolve_order.Add (iface);
107                 }
108                 
109                 public static void RegisterOrder (TypeContainer tc)
110                 {
111                         type_container_resolve_order.Add (tc);
112                 }
113
114                 public static void RegisterAttribute (TypeContainer tc)
115                 {
116                         if (attribute_types == null)
117                                 attribute_types = new ArrayList ();
118                         
119                         attribute_types.Add (tc);
120                 }
121                 
122                 // 
123                 // The default compiler checked state
124                 //
125                 static public bool Checked = false;
126
127                 //
128                 // Whether to allow Unsafe code
129                 //
130                 static public bool Unsafe = false;
131                 
132                 static string MakeFQN (string nsn, string name)
133                 {
134                         if (nsn == "")
135                                 return name;
136                         return String.Concat (nsn, ".", name);
137                 }
138
139                 // <remarks>
140                 //   This function is used to resolve the hierarchy tree.
141                 //   It processes interfaces, structs and classes in that order.
142                 //
143                 //   It creates the TypeBuilder's as it processes the user defined
144                 //   types.  
145                 // </remarks>
146                 static public void ResolveTree ()
147                 {
148                         //
149                         // Process the attribute types separately and before anything else
150                         //
151                         if (attribute_types != null)
152                                 foreach (TypeContainer tc in attribute_types)
153                                         tc.DefineType ();
154                         
155                         //
156                         // Interfaces are processed next, as classes and
157                         // structs might inherit from an object or implement
158                         // a set of interfaces, we need to be able to tell
159                         // them appart by just using the TypeManager.
160                         //
161                         TypeContainer root = Tree.Types;
162
163                         ArrayList ifaces = root.Interfaces;
164                         if (ifaces != null){
165                                 foreach (Interface i in ifaces) 
166                                         i.DefineType ();
167                         }
168
169                         foreach (TypeContainer tc in root.Types)
170                                 tc.DefineType ();
171
172                         if (root.Delegates != null)
173                                 foreach (Delegate d in root.Delegates) 
174                                         d.DefineType ();
175
176                         if (root.Enums != null)
177                                 foreach (Enum e in root.Enums)
178                                         e.DefineType ();
179                 }
180
181                 static void Error_TypeConflict (string name, Location loc)
182                 {
183                         Report.Error (
184                                 520, loc, "`" + name + "' conflicts with a predefined type");
185                 }
186
187                 static void Error_TypeConflict (string name)
188                 {
189                         Report.Error (
190                                 520, "`" + name + "' conflicts with a predefined type");
191                 }
192
193                 //
194                 // Resolves a single class during the corlib bootstrap process
195                 //
196                 static TypeBuilder BootstrapCorlib_ResolveClass (TypeContainer root, string name)
197                 {
198                         object o = root.GetDefinition (name);
199                         if (o == null){
200                                 Report.Error (518, "The predefined type `" + name + "' is not defined");
201                                 return null;
202                         }
203
204                         if (!(o is Class)){
205                                 if (o is DeclSpace){
206                                         DeclSpace d = (DeclSpace) o;
207
208                                         Error_TypeConflict (name, d.Location);
209                                 } else
210                                         Error_TypeConflict (name);
211
212                                 return null;
213                         }
214
215                         return ((DeclSpace) o).DefineType ();
216                 }
217
218                 //
219                 // Resolves a struct during the corlib bootstrap process
220                 //
221                 static void BootstrapCorlib_ResolveStruct (TypeContainer root, string name)
222                 {
223                         object o = root.GetDefinition (name);
224                         if (o == null){
225                                 Report.Error (518, "The predefined type `" + name + "' is not defined");
226                                 return;
227                         }
228
229                         if (!(o is Struct)){
230                                 if (o is DeclSpace){
231                                         DeclSpace d = (DeclSpace) o;
232
233                                         Error_TypeConflict (name, d.Location);
234                                 } else
235                                         Error_TypeConflict (name);
236
237                                 return;
238                         }
239
240                         ((DeclSpace) o).DefineType ();
241                 }
242
243                 //
244                 // Resolves a struct during the corlib bootstrap process
245                 //
246                 static void BootstrapCorlib_ResolveInterface (TypeContainer root, string name)
247                 {
248                         object o = root.GetDefinition (name);
249                         if (o == null){
250                                 Report.Error (518, "The predefined type `" + name + "' is not defined");
251                                 return;
252                         }
253
254                         if (!(o is Interface)){
255                                 if (o is DeclSpace){
256                                         DeclSpace d = (DeclSpace) o;
257
258                                         Error_TypeConflict (name, d.Location);
259                                 } else
260                                         Error_TypeConflict (name);
261
262                                 return;
263                         }
264
265                         ((DeclSpace) o).DefineType ();
266                 }
267
268                 //
269                 // Resolves a delegate during the corlib bootstrap process
270                 //
271                 static void BootstrapCorlib_ResolveDelegate (TypeContainer root, string name)
272                 {
273                         object o = root.GetDefinition (name);
274                         if (o == null){
275                                 Report.Error (518, "The predefined type `" + name + "' is not defined");
276                                 Environment.Exit (1);
277                         }
278
279                         if (!(o is Delegate)){
280                                 Error_TypeConflict (name);
281                                 return;
282                         }
283
284                         ((DeclSpace) o).DefineType ();
285                 }
286                 
287
288                 /// <summary>
289                 ///    Resolves the core types in the compiler when compiling with --nostdlib
290                 /// </summary>
291                 static public void ResolveCore ()
292                 {
293                         TypeContainer root = Tree.Types;
294
295                         TypeManager.object_type = BootstrapCorlib_ResolveClass (root, "System.Object");
296                         TypeManager.value_type = BootstrapCorlib_ResolveClass (root, "System.ValueType");
297                         TypeManager.attribute_type = BootstrapCorlib_ResolveClass (root, "System.Attribute");
298                         
299                         string [] interfaces_first_stage = {
300                                 "System.IComparable", "System.ICloneable",
301                                 "System.IConvertible",
302                                 
303                                 "System.Collections.IEnumerable",
304                                 "System.Collections.ICollection",
305                                 "System.Collections.IEnumerator",
306                                 "System.Collections.IList", 
307                                 "System.IAsyncResult",
308                                 "System.IDisposable",
309                                 
310                                 "System.Runtime.Serialization.ISerializable",
311
312                                 "System.Reflection.IReflect",
313                                 "System.Reflection.ICustomAttributeProvider"
314                         };
315
316                         foreach (string iname in interfaces_first_stage)
317                                 BootstrapCorlib_ResolveInterface (root, iname);
318
319                         //
320                         // These are the base value types
321                         //
322                         string [] structs_first_stage = {
323                                 "System.Byte",    "System.SByte",
324                                 "System.Int16",   "System.UInt16",
325                                 "System.Int32",   "System.UInt32",
326                                 "System.Int64",   "System.UInt64",
327                         };
328
329                         foreach (string cname in structs_first_stage)
330                                 BootstrapCorlib_ResolveStruct (root, cname);
331
332                         //
333                         // Now, we can load the enumerations, after this point,
334                         // we can use enums.
335                         //
336                         TypeManager.InitEnumUnderlyingTypes ();
337
338                         string [] structs_second_stage = {
339                                 "System.Single",  "System.Double",
340                                 "System.Char",    "System.Boolean",
341                                 "System.Decimal", "System.Void",
342                                 "System.RuntimeFieldHandle",
343                                 "System.RuntimeTypeHandle",
344                                 "System.IntPtr",
345                                 "System.TypedReference",
346                                 "System.ArgIterator"
347                         };
348                         
349                         foreach (string cname in structs_second_stage)
350                                 BootstrapCorlib_ResolveStruct (root, cname);
351                         
352                         //
353                         // These are classes that depends on the core interfaces
354                         //
355                         string [] classes_second_stage = {
356                                 "System.Reflection.MemberInfo",
357                                 "System.Type",
358                                 "System.Exception",
359                                 "System.Activator",
360
361                                 //
362                                 // These are not really important in the order, but they
363                                 // are used by the compiler later on (typemanager/CoreLookupType-d)
364                                 //
365                                 "System.Runtime.CompilerServices.RuntimeHelpers",
366                                 "System.Reflection.DefaultMemberAttribute",
367                                 "System.Threading.Monitor",
368                                 
369                                 "System.AttributeUsageAttribute",
370                                 "System.Runtime.InteropServices.DllImportAttribute",
371                                 "System.Runtime.CompilerServices.MethodImplAttribute",
372                                 "System.Runtime.InteropServices.MarshalAsAttribute",
373                                 "System.Runtime.CompilerServices.NewConstraintAttribute",
374                                 "System.Diagnostics.ConditionalAttribute",
375                                 "System.ObsoleteAttribute",
376                                 "System.ParamArrayAttribute",
377                                 "System.CLSCompliantAttribute",
378                                 "System.Security.UnverifiableCodeAttribute",
379                                 "System.Runtime.CompilerServices.IndexerNameAttribute",
380                                 "System.Runtime.InteropServices.InAttribute",
381                                 "System.Runtime.InteropServices.StructLayoutAttribute",
382                                 "System.Runtime.InteropServices.FieldOffsetAttribute",
383                                 "System.InvalidOperationException",
384                                 "System.MarshalByRefObject"
385                         };
386
387                         // We must store them here before calling BootstrapCorlib_ResolveDelegate.
388                         TypeManager.string_type = BootstrapCorlib_ResolveClass (root, "System.String");
389                         TypeManager.enum_type = BootstrapCorlib_ResolveClass (root, "System.Enum");
390                         TypeManager.array_type = BootstrapCorlib_ResolveClass (root, "System.Array");
391                         TypeManager.multicast_delegate_type = BootstrapCorlib_ResolveClass (root, "System.MulticastDelegate");
392                         TypeManager.delegate_type = BootstrapCorlib_ResolveClass (root, "System.Delegate");
393                         
394                         foreach (string cname in classes_second_stage)
395                                 BootstrapCorlib_ResolveClass (root, cname);
396
397                         BootstrapCorlib_ResolveDelegate (root, "System.AsyncCallback");
398                 }
399                         
400                 // <summary>
401                 //   Closes all open types
402                 // </summary>
403                 //
404                 // <remarks>
405                 //   We usually use TypeBuilder types.  When we are done
406                 //   creating the type (which will happen after we have added
407                 //   methods, fields, etc) we need to "Define" them before we
408                 //   can save the Assembly
409                 // </remarks>
410                 static public void CloseTypes ()
411                 {
412                         TypeContainer root = Tree.Types;
413                         
414                         if (root.Enums != null)
415                                 foreach (Enum en in root.Enums)
416                                         en.CloseType ();
417
418                         if (attribute_types != null)
419                                 foreach (TypeContainer tc in attribute_types)
420                                         tc.CloseType ();
421                         
422                         foreach (Interface iface in interface_resolve_order)
423                                 iface.CloseType ();
424
425                         //
426                         // We do this in two passes, first we close the structs,
427                         // then the classes, because it seems the code needs it this
428                         // way.  If this is really what is going on, we should probably
429                         // make sure that we define the structs in order as well.
430                         //
431                         foreach (TypeContainer tc in type_container_resolve_order){
432                                 if (tc is Struct && tc.Parent == tree.Types){
433                                         tc.CloseType ();
434                                 }
435                         }
436
437                         foreach (TypeContainer tc in type_container_resolve_order){
438                                 if (!(tc is Struct && tc.Parent == tree.Types))
439                                         tc.CloseType ();                                        
440                         }
441                         
442                         if (root.Delegates != null)
443                                 foreach (Delegate d in root.Delegates)
444                                         d.CloseType ();
445
446
447                         //
448                         // If we have a <PrivateImplementationDetails> class, close it
449                         //
450                         if (helper_classes != null){
451                                 foreach (TypeBuilder type_builder in helper_classes)
452                                         type_builder.CreateType ();
453                         }
454                         
455                         attribute_types = null;
456                         interface_resolve_order = null;
457                         type_container_resolve_order = null;
458                         helper_classes = null;
459                         tree = null;
460                         TypeManager.CleanUp ();
461                 }
462
463                 /// <summary>
464                 ///   Used to register classes that need to be closed after all the
465                 ///   user defined classes
466                 /// </summary>
467                 public static void RegisterHelperClass (TypeBuilder helper_class)
468                 {
469                         if (helper_classes == null)
470                                 helper_classes = new ArrayList ();
471                         helper_classes.Add (helper_class);
472                 }
473                 
474                 //
475                 // This idea is from Felix Arrese-Igor
476                 //
477                 // Returns : the implicit parent of a composite namespace string
478                 //   eg. Implicit parent of A.B is A
479                 //
480                 static public string ImplicitParent (string ns)
481                 {
482                         int i = ns.LastIndexOf ('.');
483                         if (i < 0)
484                                 return null;
485                         
486                         return ns.Substring (0, i);
487                 }
488
489                 static TypeExpr NamespaceLookup (DeclSpace ds, string name,
490                                                  int num_type_args, bool silent, Location loc)
491                 {
492                         //
493                         // Try in the current namespace and all its implicit parents
494                         //
495                         for (NamespaceEntry ns = ds.NamespaceEntry; ns != null; ns = ns.ImplicitParent) {
496                                 IAlias result = ns.Lookup (ds, name, num_type_args, silent, loc);
497
498                                 if (result == null)
499                                         continue;
500
501                                 if (!result.IsType)
502                                         return null;
503
504                                 return result.Type;
505                         }
506
507                         return null;
508                 }
509                 
510                 static public TypeExpr LookupType (DeclSpace ds, string name, bool silent,
511                                                    Location loc)
512                 {
513                         return LookupType (ds, name, silent, 0, loc);
514                 }
515
516                 //
517                 // Public function used to locate types, this can only
518                 // be used after the ResolveTree function has been invoked.
519                 //
520                 // Returns: Type or null if they type can not be found.
521                 //
522                 // Come to think of it, this should be a DeclSpace
523                 //
524                 static public TypeExpr LookupType (DeclSpace ds, string name, bool silent,
525                                                    int num_type_params, Location loc)
526                 {
527                         TypeExpr t;
528
529                         if (ds.Cache.Contains (name)){
530                                 t = (TypeExpr) ds.Cache [name];
531                                 if (t != null)
532                                         return t;
533                         } else {
534                                 //
535                                 // For the case the type we are looking for is nested within this one
536                                 // or is in any base class
537                                 //
538                                 DeclSpace containing_ds = ds;
539                                 while (containing_ds != null){
540                                         Type current_type = containing_ds.TypeBuilder;
541                                         
542                                         while (current_type != null) {
543                                                 //
544                                                 // nested class
545                                                 //
546                                                 Type type = TypeManager.LookupType (current_type.FullName + "." + name);
547                                                 if (type != null){
548                                                         t = new TypeExpression (type, loc);
549                                                         ds.Cache [name] = t;
550                                                         return t;
551                                                 }
552                                                 
553                                                 current_type = current_type.BaseType;
554                                         }
555                                         
556                                         containing_ds = containing_ds.Parent;
557                                 }
558                                 
559                                 t = NamespaceLookup (ds, name, num_type_params, silent, loc);
560                                 if (t != null){
561                                         ds.Cache [name] = t;
562                                         return t;
563                                 }
564                         }
565
566                         if (!silent)
567                                 Report.Error (246, loc, "Cannot find type `"+name+"'");
568                         
569                         return null;
570                 }
571
572                 // <summary>
573                 //   This is the silent version of LookupType, you can use this
574                 //   to `probe' for a type
575                 // </summary>
576                 static public TypeExpr LookupType (TypeContainer tc, string name, Location loc)
577                 {
578                         return LookupType (tc, name, true, loc);
579                 }
580
581                 static public bool IsNamespace (string name)
582                 {
583                         Namespace ns;
584
585                         if (tree.Namespaces != null){
586                                 ns = (Namespace) tree.Namespaces [name];
587
588                                 if (ns != null)
589                                         return true;
590                         }
591
592                         return false;
593                 }
594
595                 static void Report1530 (Location loc)
596                 {
597                         Report.Error (1530, loc, "Keyword new not allowed for namespace elements");
598                 }
599                 
600                 static public void PopulateCoreType (TypeContainer root, string name)
601                 {
602                         DeclSpace ds = (DeclSpace) root.GetDefinition (name);
603
604                         ds.DefineMembers (root);
605                         ds.Define (root);
606                 }
607                 
608                 static public void BootCorlib_PopulateCoreTypes ()
609                 {
610                         TypeContainer root = tree.Types;
611
612                         PopulateCoreType (root, "System.Object");
613                         PopulateCoreType (root, "System.ValueType");
614                         PopulateCoreType (root, "System.Attribute");
615                 }
616                 
617                 // <summary>
618                 //   Populates the structs and classes with fields and methods
619                 // </summary>
620                 //
621                 // This is invoked after all interfaces, structs and classes
622                 // have been defined through `ResolveTree' 
623                 static public void PopulateTypes ()
624                 {
625                         TypeContainer root = Tree.Types;
626
627                         if (attribute_types != null)
628                                 foreach (TypeContainer tc in attribute_types)
629                                         tc.DefineMembers (root);
630                         
631                         if (interface_resolve_order != null){
632                                 foreach (Interface iface in interface_resolve_order)
633                                         if ((iface.ModFlags & Modifiers.NEW) == 0)
634                                                 iface.DefineMembers (root);
635                                         else
636                                                 Report1530 (iface.Location);
637                         }
638
639
640                         if (type_container_resolve_order != null){
641                                 if (RootContext.StdLib){
642                                         foreach (TypeContainer tc in type_container_resolve_order)
643                                                 tc.DefineMembers (root);
644                                 } else {
645                                         foreach (TypeContainer tc in type_container_resolve_order) {
646                                                 // When compiling corlib, these types have already been
647                                                 // populated from BootCorlib_PopulateCoreTypes ().
648                                                 if (((tc.Name == "System.Object") ||
649                                                      (tc.Name == "System.Attribute") ||
650                                                      (tc.Name == "System.ValueType")))
651                                                 continue;
652
653                                                 tc.DefineMembers (root);
654                                         }
655                                 } 
656                         }
657
658                         ArrayList delegates = root.Delegates;
659                         if (delegates != null){
660                                 foreach (Delegate d in delegates)
661                                         if ((d.ModFlags & Modifiers.NEW) == 0)
662                                                 d.DefineMembers (root);
663                                         else
664                                                 Report1530 (d.Location);
665                         }
666
667                         ArrayList enums = root.Enums;
668                         if (enums != null){
669                                 foreach (Enum en in enums)
670                                         if ((en.ModFlags & Modifiers.NEW) == 0)
671                                                 en.DefineMembers (root);
672                                         else
673                                                 Report1530 (en.Location);
674                         }
675
676                         //
677                         // Check for cycles in the struct layout
678                         //
679                         if (type_container_resolve_order != null){
680                                 Hashtable seen = new Hashtable ();
681                                 foreach (TypeContainer tc in type_container_resolve_order)
682                                         TypeManager.CheckStructCycles (tc, seen);
683                         }
684                 }
685
686                 //
687                 // A generic hook delegate
688                 //
689                 public delegate void Hook ();
690
691                 //
692                 // A hook invoked when the code has been generated.
693                 //
694                 public static event Hook EmitCodeHook;
695
696                 //
697                 // DefineTypes is used to fill in the members of each type.
698                 //
699                 static public void DefineTypes ()
700                 {
701                         TypeContainer root = Tree.Types;
702
703                         if (attribute_types != null)
704                                 foreach (TypeContainer tc in attribute_types)
705                                         tc.Define (root);
706                         
707                         if (interface_resolve_order != null){
708                                 foreach (Interface iface in interface_resolve_order)
709                                         if ((iface.ModFlags & Modifiers.NEW) == 0)
710                                                 iface.Define (root);
711                         }
712
713
714                         if (type_container_resolve_order != null){
715                                 foreach (TypeContainer tc in type_container_resolve_order) {
716                                         // When compiling corlib, these types have already been
717                                         // populated from BootCorlib_PopulateCoreTypes ().
718                                         if (!RootContext.StdLib &&
719                                             ((tc.Name == "System.Object") ||
720                                              (tc.Name == "System.Attribute") ||
721                                              (tc.Name == "System.ValueType")))
722                                                 continue;
723
724                                         if ((tc.ModFlags & Modifiers.NEW) == 0)
725                                                 tc.Define (root);
726                                 }
727                         }
728
729                         ArrayList delegates = root.Delegates;
730                         if (delegates != null){
731                                 foreach (Delegate d in delegates)
732                                         if ((d.ModFlags & Modifiers.NEW) == 0)
733                                                 d.Define (root);
734                         }
735
736                         ArrayList enums = root.Enums;
737                         if (enums != null){
738                                 foreach (Enum en in enums)
739                                         if ((en.ModFlags & Modifiers.NEW) == 0)
740                                                 en.Define (root);
741                         }
742                 }
743
744                 static public void EmitCode ()
745                 {
746                         if (attribute_types != null)
747                                 foreach (TypeContainer tc in attribute_types)
748                                         tc.Emit ();
749
750                         CodeGen.Assembly.Emit (Tree.Types);
751                         CodeGen.Module.Emit (Tree.Types);
752                         
753                         if (Tree.Types.Enums != null) {
754                                 foreach (Enum e in Tree.Types.Enums)
755                                         e.Emit (Tree.Types);
756                         }
757
758                         if (interface_resolve_order != null){
759                                 foreach (Interface iface in interface_resolve_order)
760                                         iface.Emit (Tree.Types);
761                         }                        
762                         
763                         if (type_container_resolve_order != null) {
764                                 foreach (TypeContainer tc in type_container_resolve_order)
765                                         tc.EmitConstants ();
766                                 
767                                 foreach (TypeContainer tc in type_container_resolve_order)
768                                         tc.Emit ();
769                         }
770                         
771                         if (Tree.Types.Delegates != null) {
772                                 foreach (Delegate d in Tree.Types.Delegates)
773                                         d.Emit (Tree.Types);
774                         }                       
775                         //
776                         // Run any hooks after all the types have been defined.
777                         // This is used to create nested auxiliary classes for example
778                         //
779
780                         if (EmitCodeHook != null)
781                                 EmitCodeHook ();
782                 }
783                 
784                 //
785                 // Public Field, used to track which method is the public entry
786                 // point.
787                 //
788                 static public MethodInfo EntryPoint;
789
790                 //
791                 // Track the location of the entry point.
792                 //
793                 static public Location EntryPointLocation;
794
795                 //
796                 // These are used to generate unique names on the structs and fields.
797                 //
798                 static int field_count;
799                 
800                 //
801                 // Makes an initialized struct, returns the field builder that
802                 // references the data.  Thanks go to Sergey Chaban for researching
803                 // how to do this.  And coming up with a shorter mechanism than I
804                 // was able to figure out.
805                 //
806                 // This works but makes an implicit public struct $ArrayType$SIZE and
807                 // makes the fields point to it.  We could get more control if we did
808                 // use instead:
809                 //
810                 // 1. DefineNestedType on the impl_details_class with our struct.
811                 //
812                 // 2. Define the field on the impl_details_class
813                 //
814                 static public FieldBuilder MakeStaticData (byte [] data)
815                 {
816                         FieldBuilder fb;
817                         
818                         if (impl_details_class == null){
819                                 impl_details_class = CodeGen.Module.Builder.DefineType (
820                                         "<PrivateImplementationDetails>",
821                                         TypeAttributes.NotPublic,
822                                         TypeManager.object_type);
823                                 
824                                 RegisterHelperClass (impl_details_class);
825                         }
826
827                         fb = impl_details_class.DefineInitializedData (
828                                 "$$field-" + (field_count++), data,
829                                 FieldAttributes.Static | FieldAttributes.Assembly);
830                         
831                         return fb;
832                 }
833         }
834 }
835               
836