2005-07-13 Maverson Eduardo Schulze Rosa <maverson@gmail.com>
[mono.git] / mcs / mbas / rootcontext.cs
index b8580a3a4144ed0d5fcad48a21c61cad98a83ea7..086973b55347e4905dfae2ce858482987e3044f3 100644 (file)
-//\r
-// rootcontext.cs: keeps track of our tree representation, and assemblies loaded.\r
-//\r
-// Author: Miguel de Icaza (miguel@ximian.com)\r
-//         Ravi Pratap     (ravi@ximian.com)\r
-//\r
-// Licensed under the terms of the GNU GPL\r
-//\r
-// (C) 2001 Ximian, Inc (http://www.ximian.com)\r
-\r
-using System;\r
-using System.Collections;\r
-using System.Reflection;\r
-using System.Reflection.Emit;\r
-using System.Diagnostics;\r
-\r
-namespace Mono.MonoBASIC {\r
-\r
-       public class RootContext {\r
-\r
-               //\r
-               // Contains the parsed tree\r
-               //\r
-               static Tree tree;\r
-
-               //\r
+//
+// rootcontext.cs: keeps track of our tree representation, and assemblies loaded.
+//
+// Author: Miguel de Icaza (miguel@ximian.com)
+//         Ravi Pratap     (ravi@ximian.com)
+//
+// Licensed under the terms of the GNU GPL
+//
+// (C) 2001 Ximian, Inc (http://www.ximian.com)
+
+using System;
+using System.Collections;
+using System.Reflection;
+using System.Reflection.Emit;
+using System.Diagnostics;
+
+namespace Mono.MonoBASIC {
+
+       public class RootContext {
+
+               //
+               // Contains the parsed tree
+               //
+               static Tree tree;
+
+               //
                // Tracks Imported namespaces
                //
                static SourceBeingCompiled sourceBeingCompiled = new SourceBeingCompiled();
 
-               //\r
-               // This hashtable contains all of the #definitions across the source code\r
-               // it is used by the ConditionalAttribute handler.\r
-               //\r
-               public static Hashtable AllDefines = new Hashtable ();\r
-               \r
-               //\r
-               // The list of global attributes (those that target the assembly)\r
-               //\r
-               static Hashtable global_attributes = new Hashtable ();\r
-               \r
-               //\r
-               // Whether we are being linked against the standard libraries.\r
-               // This is only used to tell whether `System.Object' should\r
-               // have a parent or not.\r
-               //\r
-               public static bool StdLib = true;\r
-\r
-               //\r
-               // This keeps track of the order in which classes were defined\r
-               // so that we can poulate them in that order.\r
-               //\r
-               // Order is important, because we need to be able to tell by\r
-               // examining the parent's list of methods which ones are virtual\r
-               // or abstract as well as the parent names (to implement new, \r
-               // override).\r
-               //\r
-               static ArrayList type_container_resolve_order;\r
-               static ArrayList interface_resolve_order;\r
-               static ArrayList attribute_types;\r
-\r
-               //\r
-               // Holds a reference to the Private Implementation Details\r
-               // class.\r
-               //\r
-               static TypeBuilder impl_details_class;\r
-\r
-               public static int WarningLevel = 2;\r
-               \r
-               //\r
-               // Constructor\r
-               //\r
-               static RootContext ()\r
-               {\r
-                       tree = new Tree ();\r
-                       interface_resolve_order = new ArrayList ();\r
-                       type_container_resolve_order = new ArrayList ();\r
-               }\r
-\r
-               static public Tree Tree {\r
-                       get {\r
-                               return tree;\r
-                       }\r
-               }\r
-\r
-               static public string MainClass;\r
-               \r
-               public static void RegisterOrder (Interface iface)\r
-               {\r
-                       interface_resolve_order.Add (iface);\r
-               }\r
-               \r
-               public static void RegisterOrder (TypeContainer tc)\r
-               {\r
-                       type_container_resolve_order.Add (tc);\r
-               }\r
-\r
-               public static void RegisterAttribute (TypeContainer tc)\r
-               {\r
-                       if (attribute_types == null)\r
-                               attribute_types = new ArrayList ();\r
-                       \r
-                       attribute_types.Add (tc);\r
-               }\r
+               //
+               // This hashtable contains all of the #definitions across the source code
+               // it is used by the ConditionalAttribute handler.
+               //
+               public static Hashtable AllDefines = new Hashtable ();
+               
+               //
+               // Whether we are being linked against the standard libraries.
+               // This is only used to tell whether `System.Object' should
+               // have a parent or not.
+               //
+               public static bool StdLib = true;
+
+               //
+               // This keeps track of the order in which classes were defined
+               // so that we can poulate them in that order.
+               //
+               // Order is important, because we need to be able to tell by
+               // examining the parent's list of methods which ones are virtual
+               // or abstract as well as the parent names (to implement new, 
+               // override).
+               //
+               static ArrayList type_container_resolve_order;
+               static ArrayList interface_resolve_order;
+               static ArrayList attribute_types;
+
+               //
+               // Holds a reference to the Private Implementation Details
+               // class.
+               //
+               static TypeBuilder impl_details_class;
+
+               public static int WarningLevel = 2;
+               
+               //
+               // Constructor
+               //
+               static RootContext ()
+               {
+                       tree = new Tree ();
+                       interface_resolve_order = new ArrayList ();
+                       type_container_resolve_order = new ArrayList ();
+               }
+
+               static public Tree Tree {
+                       get {
+                               return tree;
+                       }
+               }
+
+               static public string MainClass;
+               
+               public static void RegisterOrder (Interface iface)
+               {
+                       interface_resolve_order.Add (iface);
+               }
+               
+               public static void RegisterOrder (TypeContainer tc)
+               {
+                       type_container_resolve_order.Add (tc);
+               }
+
+               public static void RegisterAttribute (TypeContainer tc)
+               {
+                       if (attribute_types == null)
+                               attribute_types = new ArrayList ();
+                       
+                       attribute_types.Add (tc);
+               }
                
                public static void InitializeImports(ArrayList ImportsList)
                {
@@ -117,762 +112,715 @@ namespace Mono.MonoBASIC {
                {
                        sourceBeingCompiled.VerifyImports();
                }
-\r
-               // \r
-               // The default compiler checked state\r
-               //\r
-               static public bool Checked = false;\r
-\r
-               //\r
-               // Whether to allow Unsafe code\r
-               //\r
-               static public bool Unsafe = false;\r
-               \r
-               // Root namespace name (implicit namespace)\r
-               static public string RootNamespace = "";\r
-               \r
-               static string MakeFQN (string nsn, string name)\r
-               {\r
-                       string prefix = (nsn == "" ? "" : nsn + ".");\r
-\r
-                       return prefix + name;\r
-               }\r
-                      \r
-               // <remarks>\r
-               //   This function is used to resolve the hierarchy tree.\r
-               //   It processes interfaces, structs and classes in that order.\r
-               //\r
-               //   It creates the TypeBuilder's as it processes the user defined\r
-               //   types.  \r
-               // </remarks>\r
-               static public void ResolveTree ()\r
-               {\r
-                       //\r
-                       // Process the attribute types separately and before anything else\r
-                       //\r
-                       if (attribute_types != null)\r
-                               foreach (TypeContainer tc in attribute_types)\r
-                                       tc.DefineType ();\r
-                       \r
-                       //\r
-                       // Interfaces are processed next, as classes and\r
-                       // structs might inherit from an object or implement\r
-                       // a set of interfaces, we need to be able to tell\r
-                       // them appart by just using the TypeManager.\r
-                       //\r
-                       TypeContainer root = Tree.Types;\r
-\r
-                       ArrayList ifaces = root.Interfaces;\r
-                       if (ifaces != null){\r
-                               foreach (Interface i in ifaces) \r
-                                       i.DefineType ();\r
-                       }\r
-\r
-                       \r
-                       foreach (TypeContainer tc in root.Types) \r
-                               tc.DefineType ();\r
-\r
-                       if (root.Delegates != null)\r
-                               foreach (Delegate d in root.Delegates) \r
-                                       d.DefineType ();\r
-\r
-                       if (root.Enums != null)\r
-                               foreach (Enum e in root.Enums)\r
-                                       e.DefineType ();\r
-                       \r
-               }\r
-\r
-               static void Error_TypeConflict (string name, Location loc)\r
-               {\r
-                       Report.Error (\r
-                               520, loc, "`" + name + "' conflicts with a predefined type");\r
-               }\r
-\r
-               static void Error_TypeConflict (string name)\r
-               {\r
-                       Report.Error (\r
-                               520, "`" + name + "' conflicts with a predefined type");\r
-               }\r
-\r
-               //\r
-               // Resolves a single class during the corlib bootstrap process\r
-               //\r
-               static TypeBuilder BootstrapCorlib_ResolveClass (TypeContainer root, string name)\r
-               {\r
-                       object o = root.GetDefinition (name);\r
-                       if (o == null){\r
-                               Report.Error (518, "The predefined type `" + name + "' is not defined");\r
-                               return null;\r
-                       }\r
-\r
-                       if (!(o is Class)){\r
-                               if (o is DeclSpace){\r
-                                       DeclSpace d = (DeclSpace) o;\r
-\r
-                                       Error_TypeConflict (name, d.Location);\r
-                               } else\r
-                                       Error_TypeConflict (name);\r
-\r
-                               return null;\r
-                       }\r
-\r
-                       return ((DeclSpace) o).DefineType ();\r
-               }\r
-\r
-               //\r
-               // Resolves a struct during the corlib bootstrap process\r
-               //\r
-               static void BootstrapCorlib_ResolveStruct (TypeContainer root, string name)\r
-               {\r
-                       object o = root.GetDefinition (name);\r
-                       if (o == null){\r
-                               Report.Error (518, "The predefined type `" + name + "' is not defined");\r
-                               return;\r
-                       }\r
-\r
-                       if (!(o is Struct)){\r
-                               if (o is DeclSpace){\r
-                                       DeclSpace d = (DeclSpace) o;\r
-\r
-                                       Error_TypeConflict (name, d.Location);\r
-                               } else\r
-                                       Error_TypeConflict (name);\r
-\r
-                               return;\r
-                       }\r
-\r
-                       ((DeclSpace) o).DefineType ();\r
-               }\r
-\r
-               //\r
-               // Resolves a struct during the corlib bootstrap process\r
-               //\r
-               static void BootstrapCorlib_ResolveInterface (TypeContainer root, string name)\r
-               {\r
-                       object o = root.GetDefinition (name);\r
-                       if (o == null){\r
-                               Report.Error (518, "The predefined type `" + name + "' is not defined");\r
-                               return;\r
-                       }\r
-\r
-                       if (!(o is Interface)){\r
-                               if (o is DeclSpace){\r
-                                       DeclSpace d = (DeclSpace) o;\r
-\r
-                                       Error_TypeConflict (name, d.Location);\r
-                               } else\r
-                                       Error_TypeConflict (name);\r
-\r
-                               return;\r
-                       }\r
-\r
-                       ((DeclSpace) o).DefineType ();\r
-               }\r
-\r
-               //\r
-               // Resolves a delegate during the corlib bootstrap process\r
-               //\r
-               static void BootstrapCorlib_ResolveDelegate (TypeContainer root, string name)\r
-               {\r
-                       object o = root.GetDefinition (name);\r
-                       if (o == null){\r
-                               Report.Error (518, "The predefined type `" + name + "' is not defined");\r
-                               Environment.Exit (0);\r
-                       }\r
-\r
-                       if (!(o is Delegate)){\r
-                               Error_TypeConflict (name);\r
-                               return;\r
-                       }\r
-\r
-                       ((DeclSpace) o).DefineType ();\r
-               }\r
-               \r
-\r
-               /// <summary>\r
-               ///    Resolves the core types in the compiler when compiling with --nostdlib\r
-               /// </summary>\r
-               static public void ResolveCore ()\r
-               {\r
-                       TypeContainer root = Tree.Types;\r
-\r
-                       TypeManager.object_type = BootstrapCorlib_ResolveClass (root, "System.Object");\r
-                       TypeManager.value_type = BootstrapCorlib_ResolveClass (root, "System.ValueType");\r
-                       TypeManager.attribute_type = BootstrapCorlib_ResolveClass (root, "System.Attribute");\r
-                       \r
-                       string [] interfaces_first_stage = {\r
-                               "System.IComparable", "System.ICloneable",\r
-                               "System.IConvertible",\r
-                               \r
-                               "System.Collections.IEnumerable",\r
-                               "System.Collections.ICollection",\r
-                               "System.Collections.IEnumerator",\r
-                               "System.Collections.IList", \r
-                               "System.IAsyncResult",\r
-                               "System.IDisposable",\r
-                               \r
-                               "System.Runtime.Serialization.ISerializable",\r
-\r
-                               "System.Reflection.IReflect",\r
-                               "System.Reflection.ICustomAttributeProvider"\r
-                       };\r
-\r
-                       foreach (string iname in interfaces_first_stage)\r
-                               BootstrapCorlib_ResolveInterface (root, iname);\r
-\r
-                       //\r
-                       // These are the base value types\r
-                       //\r
-                       string [] structs_first_stage = {\r
-                               "System.Byte",    "System.SByte",\r
-                               "System.Int16",   "System.UInt16",\r
-                               "System.Int32",   "System.UInt32",\r
-                               "System.Int64",   "System.UInt64",\r
-                       };\r
-\r
-                       foreach (string cname in structs_first_stage)\r
-                               BootstrapCorlib_ResolveStruct (root, cname);\r
-\r
-                       //\r
-                       // Now, we can load the enumerations, after this point,\r
-                       // we can use enums.\r
-                       //\r
-                       TypeManager.InitEnumUnderlyingTypes ();\r
-\r
-                       string [] structs_second_stage = {\r
-                               "System.Single",  "System.Double",\r
-                               "System.Char",    "System.Boolean",\r
-                               "System.Decimal", "System.Void",\r
-                               "System.RuntimeFieldHandle",\r
-                               "System.RuntimeTypeHandle",\r
-                               "System.IntPtr"\r
-                       };\r
-                       \r
-                       foreach (string cname in structs_second_stage)\r
-                               BootstrapCorlib_ResolveStruct (root, cname);\r
-                       \r
-                       //\r
-                       // These are classes that depends on the core interfaces\r
-                       //\r
-                       string [] classes_second_stage = {\r
-                               "System.Reflection.MemberInfo",\r
-                               "System.Type",\r
-                               "System.Exception",\r
-\r
-                               //\r
-                               // These are not really important in the order, but they\r
-                               // are used by the compiler later on (typemanager/CoreLookupType-d)\r
-                               //\r
-                               "System.Runtime.CompilerServices.RuntimeHelpers",\r
-                               "System.Reflection.DefaultMemberAttribute",\r
-                               "System.Threading.Monitor",\r
-                               \r
-                               "System.AttributeUsageAttribute",\r
-                               "System.Runtime.InteropServices.DllImportAttribute",\r
-                               "System.Runtime.CompilerServices.MethodImplAttribute",\r
-                               "System.Runtime.InteropServices.MarshalAsAttribute",\r
-                               "System.Diagnostics.ConditionalAttribute",\r
-                               "System.ObsoleteAttribute",\r
-                               "System.ParamArrayAttribute",\r
-                               "System.Security.UnverifiableCodeAttribute",\r
-                               "System.Runtime.CompilerServices.IndexerNameAttribute",\r
-                       };\r
-\r
-                       // We must store them here before calling BootstrapCorlib_ResolveDelegate.\r
-                       TypeManager.string_type = BootstrapCorlib_ResolveClass (root, "System.String");\r
-                       TypeManager.enum_type = BootstrapCorlib_ResolveClass (root, "System.Enum");\r
-                       TypeManager.array_type = BootstrapCorlib_ResolveClass (root, "System.Array");\r
-                       TypeManager.multicast_delegate_type = BootstrapCorlib_ResolveClass (root, "System.MulticastDelegate");\r
-                       TypeManager.delegate_type = BootstrapCorlib_ResolveClass (root, "System.Delegate");\r
-                       \r
-                       foreach (string cname in classes_second_stage)\r
-                               BootstrapCorlib_ResolveClass (root, cname);\r
-\r
-                       BootstrapCorlib_ResolveDelegate (root, "System.AsyncCallback");\r
-               }\r
-                       \r
-               // <summary>\r
-               //   Closes all open types\r
-               // </summary>\r
-               //\r
-               // <remarks>\r
-               //   We usually use TypeBuilder types.  When we are done\r
-               //   creating the type (which will happen after we have added\r
-               //   methods, fields, etc) we need to "Define" them before we\r
-               //   can save the Assembly\r
-               // </remarks>\r
-               static public void CloseTypes ()\r
-               {\r
-                       TypeContainer root = Tree.Types;\r
-                       \r
-                       ArrayList ifaces = root.Interfaces;\r
-\r
-                       if (root.Enums != null)\r
-                               foreach (Enum en in root.Enums)\r
-                                       en.CloseType ();\r
-\r
-                       if (attribute_types != null)\r
-                               foreach (TypeContainer tc in attribute_types)\r
-                                       tc.CloseType ();\r
-                       \r
-                       foreach (Interface iface in interface_resolve_order)\r
-                               iface.CloseType ();\r
-\r
-                       //\r
-                       // We do this in two passes, first we close the structs,\r
-                       // then the classes, because it seems the code needs it this\r
-                       // way.  If this is really what is going on, we should probably\r
-                       // make sure that we define the structs in order as well.\r
-                       //\r
-                       foreach (TypeContainer tc in type_container_resolve_order){\r
-                               if (tc is Struct && tc.Parent == tree.Types){\r
-                                       tc.CloseType ();\r
-                               }\r
-                       }\r
-\r
-                       foreach (TypeContainer tc in type_container_resolve_order){\r
-                               if (!(tc is Struct && tc.Parent == tree.Types))\r
-                                       tc.CloseType ();                                        \r
-                       }\r
-                       \r
-                       if (root.Delegates != null)\r
-                               foreach (Delegate d in root.Delegates)\r
-                                       d.CloseType ();\r
-\r
-\r
-                       //\r
-                       // If we have a <PrivateImplementationDetails> class, close it\r
-                       //\r
-                       if (impl_details_class != null){\r
-                               impl_details_class.CreateType ();\r
-                       }\r
-               }\r
-\r
-               //\r
-               // This idea is from Felix Arrese-Igor\r
-               //\r
-               // Returns : the implicit parent of a composite namespace string\r
-               //   eg. Implicit parent of A.B is A\r
-               //\r
-               static public string ImplicitParent (string ns)\r
-               {\r
-                       int i = ns.LastIndexOf (".");\r
-                       if (i < 0)\r
-                               return null;\r
-                       \r
-                       return ns.Substring (0, i);\r
-               }\r
-\r
-               static Type NamespaceLookup (Namespace curr_ns, string name, Location loc)\r
-               {\r
-                       Type t;\r
-                       \r
-                       //\r
-                       // Try in the current namespace and all its implicit parents\r
-                       //\r
-                       for (string ns = curr_ns.Name; ns != null; ns = ImplicitParent (ns)) {\r
-                               t = TypeManager.LookupType (MakeFQN (ns, name));\r
-                               if (t != null)\r
-                                       return t;\r
-                       }\r
-                       \r
-                       //\r
-                       // It's possible that name already is fully qualified. So we do\r
-                       // a simple direct lookup without adding any namespace names\r
-                       //\r
-                       t = TypeManager.LookupType (name); \r
-                       if (t != null)\r
-                               return t;\r
-\r
-                       //\r
-                       // Try the aliases in the current namespace\r
-                       //\r
-                       string alias = sourceBeingCompiled.LookupAlias (name);\r
-\r
-                       if (alias != null) {\r
-                               t = TypeManager.LookupType (alias);\r
-                               if (t != null)\r
-                                       return t;\r
-\r
-                               t = TypeManager.LookupType (MakeFQN (alias, name));\r
-                               if (t != null)\r
-                                       return t;\r
-                       }\r
-                       \r
-                       for (Namespace ns = curr_ns; ns != null; ns = ns.Parent) {\r
-                               //\r
-                               // Look in the namespace ns\r
-                               //\r
-                               t = TypeManager.LookupType (MakeFQN (ns.Name, name));\r
-                               if (t != null)\r
-                                       return t;\r
-                               \r
-                               //\r
-                               // Then try with the using clauses\r
+
+               // 
+               // The default compiler checked state
+               //
+               static public bool Checked = false;
+
+               //
+               // Whether to allow Unsafe code
+               //
+               static public bool Unsafe = false;
+               
+               // Root namespace name (implicit namespace)
+               static public string RootNamespace = "";
+               
+               static string MakeFQN (string nsn, string name)
+               {
+                       string prefix = (nsn == "" ? "" : nsn + ".");
+
+                       return prefix + name;
+               }
+                      
+               // <remarks>
+               //   This function is used to resolve the hierarchy tree.
+               //   It processes interfaces, structs and classes in that order.
+               //
+               //   It creates the TypeBuilder's as it processes the user defined
+               //   types.  
+               // </remarks>
+               static public void ResolveTree ()
+               {
+                       //
+                       // Process the attribute types separately and before anything else
+                       //
+                       if (attribute_types != null)
+                               foreach (TypeContainer tc in attribute_types)
+                                       tc.DefineType ();
+                       
+                       //
+                       // Interfaces are processed next, as classes and
+                       // structs might inherit from an object or implement
+                       // a set of interfaces, we need to be able to tell
+                       // them appart by just using the TypeManager.
+                       //
+                       TypeContainer root = Tree.Types;
+
+                       ArrayList ifaces = root.Interfaces;
+                       if (ifaces != null){
+                               foreach (Interface i in ifaces) 
+                                       i.DefineType ();
+                       }
+
+                       
+                       foreach (TypeContainer tc in root.Types) 
+                               tc.DefineType ();
+
+                       if (root.Delegates != null)
+                               foreach (Delegate d in root.Delegates) 
+                                       d.DefineType ();
+
+                       if (root.Enums != null)
+                               foreach (Enum e in root.Enums)
+                                       e.DefineType ();
+                       
+               }
+
+               static void Error_TypeConflict (string name, Location loc)
+               {
+                       Report.Error (
+                               520, loc, "`" + name + "' conflicts with a predefined type");
+               }
+
+               static void Error_TypeConflict (string name)
+               {
+                       Report.Error (
+                               520, "`" + name + "' conflicts with a predefined type");
+               }
+
+               //
+               // Resolves a single class during the corlib bootstrap process
+               //
+               static TypeBuilder BootstrapCorlib_ResolveClass (TypeContainer root, string name)
+               {
+                       object o = root.GetDefinition (name);
+                       if (o == null){
+                               Report.Error (518, "The predefined type `" + name + "' is not defined");
+                               return null;
+                       }
+
+                       if (!(o is Class)){
+                               if (o is DeclSpace){
+                                       DeclSpace d = (DeclSpace) o;
+
+                                       Error_TypeConflict (name, d.Location);
+                               } else
+                                       Error_TypeConflict (name);
+
+                               return null;
+                       }
+
+                       return ((DeclSpace) o).DefineType ();
+               }
+
+               //
+               // Resolves a struct during the corlib bootstrap process
+               //
+               static void BootstrapCorlib_ResolveStruct (TypeContainer root, string name)
+               {
+                       object o = root.GetDefinition (name);
+                       if (o == null){
+                               Report.Error (518, "The predefined type `" + name + "' is not defined");
+                               return;
+                       }
+
+                       if (!(o is Struct)){
+                               if (o is DeclSpace){
+                                       DeclSpace d = (DeclSpace) o;
+
+                                       Error_TypeConflict (name, d.Location);
+                               } else
+                                       Error_TypeConflict (name);
+
+                               return;
+                       }
+
+                       ((DeclSpace) o).DefineType ();
+               }
+
+               //
+               // Resolves a struct during the corlib bootstrap process
+               //
+               static void BootstrapCorlib_ResolveInterface (TypeContainer root, string name)
+               {
+                       object o = root.GetDefinition (name);
+                       if (o == null){
+                               Report.Error (518, "The predefined type `" + name + "' is not defined");
+                               return;
+                       }
+
+                       if (!(o is Interface)){
+                               if (o is DeclSpace){
+                                       DeclSpace d = (DeclSpace) o;
+
+                                       Error_TypeConflict (name, d.Location);
+                               } else
+                                       Error_TypeConflict (name);
+
+                               return;
+                       }
+
+                       ((DeclSpace) o).DefineType ();
+               }
+
+               //
+               // Resolves a delegate during the corlib bootstrap process
+               //
+               static void BootstrapCorlib_ResolveDelegate (TypeContainer root, string name)
+               {
+                       object o = root.GetDefinition (name);
+                       if (o == null){
+                               Report.Error (518, "The predefined type `" + name + "' is not defined");
+                               Environment.Exit (0);
+                       }
+
+                       if (!(o is Delegate)){
+                               Error_TypeConflict (name);
+                               return;
+                       }
+
+                       ((DeclSpace) o).DefineType ();
+               }
+               
+
+               /// <summary>
+               ///    Resolves the core types in the compiler when compiling with --nostdlib
+               /// </summary>
+               static public void ResolveCore ()
+               {
+                       TypeContainer root = Tree.Types;
+
+                       TypeManager.object_type = BootstrapCorlib_ResolveClass (root, "System.Object");
+                       TypeManager.value_type = BootstrapCorlib_ResolveClass (root, "System.ValueType");
+                       TypeManager.attribute_type = BootstrapCorlib_ResolveClass (root, "System.Attribute");
+                       
+                       string [] interfaces_first_stage = {
+                               "System.IComparable", "System.ICloneable",
+                               "System.IConvertible",
+                               
+                               "System.Collections.IEnumerable",
+                               "System.Collections.ICollection",
+                               "System.Collections.IEnumerator",
+                               "System.Collections.IList", 
+                               "System.IAsyncResult",
+                               "System.IDisposable",
+                               
+                               "System.Runtime.Serialization.ISerializable",
+
+                               "System.Reflection.IReflect",
+                               "System.Reflection.ICustomAttributeProvider"
+                       };
+
+                       foreach (string iname in interfaces_first_stage)
+                               BootstrapCorlib_ResolveInterface (root, iname);
+
+                       //
+                       // These are the base value types
+                       //
+                       string [] structs_first_stage = {
+                               "System.Byte",    "System.SByte",
+                               "System.Int16",   "System.UInt16",
+                               "System.Int32",   "System.UInt32",
+                               "System.Int64",   "System.UInt64",
+                       };
+
+                       foreach (string cname in structs_first_stage)
+                               BootstrapCorlib_ResolveStruct (root, cname);
+
+                       //
+                       // Now, we can load the enumerations, after this point,
+                       // we can use enums.
+                       //
+                       TypeManager.InitEnumUnderlyingTypes ();
+
+                       string [] structs_second_stage = {
+                               "System.Single",  "System.Double",
+                               "System.Char",    "System.Boolean",
+                               "System.Decimal", "System.Void",
+                               "System.RuntimeFieldHandle",
+                               "System.RuntimeTypeHandle",
+                               "System.IntPtr"
+                       };
+                       
+                       foreach (string cname in structs_second_stage)
+                               BootstrapCorlib_ResolveStruct (root, cname);
+                       
+                       //
+                       // These are classes that depends on the core interfaces
+                       //
+                       string [] classes_second_stage = {
+                               "System.Reflection.MemberInfo",
+                               "System.Type",
+                               "System.Exception",
+
+                               //
+                               // These are not really important in the order, but they
+                               // are used by the compiler later on (typemanager/CoreLookupType-d)
                                //
+                               "System.Runtime.CompilerServices.RuntimeHelpers",
+                               "System.Reflection.DefaultMemberAttribute",
+                               "System.Threading.Monitor",
+                               
+                               "System.AttributeUsageAttribute",
+                               "System.Runtime.InteropServices.DllImportAttribute",
+                               "System.Runtime.CompilerServices.MethodImplAttribute",
+                               "System.Runtime.InteropServices.MarshalAsAttribute",
+                               "System.Diagnostics.ConditionalAttribute",
+                               "System.ObsoleteAttribute",
+                               "System.ParamArrayAttribute",
+                               "System.Security.UnverifiableCodeAttribute",
+                               "System.Runtime.CompilerServices.IndexerNameAttribute",
+                       };
 
-                               ICollection imports_list = sourceBeingCompiled.ImportsTable;\r
-\r
-                               if (imports_list == null)\r
-                                       continue;\r
-\r
-                               Type match = null;\r
+                       // We must store them here before calling BootstrapCorlib_ResolveDelegate.
+                       TypeManager.string_type = BootstrapCorlib_ResolveClass (root, "System.String");
+                       TypeManager.enum_type = BootstrapCorlib_ResolveClass (root, "System.Enum");
+                       TypeManager.array_type = BootstrapCorlib_ResolveClass (root, "System.Array");
+                       TypeManager.multicast_delegate_type = BootstrapCorlib_ResolveClass (root, "System.MulticastDelegate");
+                       TypeManager.delegate_type = BootstrapCorlib_ResolveClass (root, "System.Delegate");
+                       
+                       foreach (string cname in classes_second_stage)
+                               BootstrapCorlib_ResolveClass (root, cname);
+
+                       BootstrapCorlib_ResolveDelegate (root, "System.AsyncCallback");
+               }
+                       
+               // <summary>
+               //   Closes all open types
+               // </summary>
+               //
+               // <remarks>
+               //   We usually use TypeBuilder types.  When we are done
+               //   creating the type (which will happen after we have added
+               //   methods, fields, etc) we need to "Define" them before we
+               //   can save the Assembly
+               // </remarks>
+               static public void CloseTypes ()
+               {
+                       TypeContainer root = Tree.Types;
+                       
+                       //ArrayList ifaces = root.Interfaces;
+
+                       if (root.Enums != null)
+                               foreach (Enum en in root.Enums)
+                                       en.CloseType ();
+
+                       if (attribute_types != null)
+                               foreach (TypeContainer tc in attribute_types)
+                                       tc.CloseType ();
+                       
+                       foreach (Interface iface in interface_resolve_order)
+                               iface.CloseType ();
+
+                       //
+                       // We do this in two passes, first we close the structs,
+                       // then the classes, because it seems the code needs it this
+                       // way.  If this is really what is going on, we should probably
+                       // make sure that we define the structs in order as well.
+                       //
+                       foreach (TypeContainer tc in type_container_resolve_order){
+                               if (tc is Struct && tc.Parent == tree.Types){
+                                       tc.CloseType ();
+                               }
+                       }
+
+                       foreach (TypeContainer tc in type_container_resolve_order){
+                               if (!(tc is Struct && tc.Parent == tree.Types))
+                                       tc.CloseType ();                                        
+                       }
+                       
+                       if (root.Delegates != null)
+                               foreach (Delegate d in root.Delegates)
+                                       d.CloseType ();
+
+
+                       //
+                       // If we have a <PrivateImplementationDetails> class, close it
+                       //
+                       if (impl_details_class != null){
+                               impl_details_class.CreateType ();
+                       }
+               }
+
+               //
+               // This idea is from Felix Arrese-Igor
+               //
+               // Returns : the implicit parent of a composite namespace string
+               //   eg. Implicit parent of A.B is A
+               //
+               static public string ImplicitParent (string ns)
+               {
+                       int i = ns.LastIndexOf (".");
+                       if (i < 0)
+                               return null;
+                       
+                       return ns.Substring (0, i);
+               }
+
+               static Type NamespaceLookup (Namespace curr_ns, string name, Location loc)
+               {
+                       Type t;
+                       
+                       //
+                       // Try in the current namespace and all its implicit parents
+                       //
+                       for (string ns = curr_ns.Name; ns != null; ns = ImplicitParent (ns)) {
+                               t = TypeManager.LookupType (MakeFQN (ns, name));
+                               if (t != null)
+                                       return t;
+                       }
+                       
+                       //
+                       // It's possible that name already is fully qualified. So we do
+                       // a simple direct lookup without adding any namespace names
+                       //
+                       t = TypeManager.LookupType (name); 
+                       if (t != null)
+                               return t;
+
+                       //
+                       // Try the aliases in the current namespace
+                       //
+                       string alias = sourceBeingCompiled.LookupAlias (name);
+
+                       if (alias != null) {
+                               t = TypeManager.LookupType (alias);
+                               if (t != null)
+                                       return t;
+
+                               t = TypeManager.LookupType (MakeFQN (alias, name));
+                               if (t != null)
+                                       return t;
+                       }
+                       
+                       for (Namespace ns = curr_ns; ns != null; ns = ns.Parent) {
+                               //
+                               // Look in the namespace ns
+                               //
+                               t = TypeManager.LookupType (MakeFQN (ns.Name, name));
+                               if (t != null)
+                                       return t;
+                               
+                               //
+                               // Then try with the using clauses
+                               //
+
+                               ICollection imports_list = sourceBeingCompiled.ImportsTable;
+
+                               if (imports_list == null)
+                                       continue;
+
+                               Type match = null;
                                foreach (SourceBeingCompiled.ImportsEntry ue in imports_list) {
-                               //TODO: deal with standard modules\r
-                                       match = TypeManager.LookupType (MakeFQN (ue.Name, name));\r
-                                       if (match != null){\r
-                                               if (t != null){\r
-                                                       DeclSpace.Error_AmbiguousTypeReference (loc, name, t, match);\r
-                                                       return null;\r
-                                               }\r
-                                               \r
-                                               t = match;\r
-                                               ue.Used = true;\r
-                                       }\r
-                               }\r
-                               if (t != null)\r
-                                       return t;\r
-\r
-                               //\r
-                               // Try with aliases\r
-                               //\r
-                               string a = sourceBeingCompiled.LookupAlias (name);\r
-                               if (a != null) {\r
-                                       t = TypeManager.LookupType (a);\r
-                                       if (t != null)\r
-                                               return t;\r
-\r
-                                       t = TypeManager.LookupType (MakeFQN (a, name));\r
-                                       if (t != null)\r
-                                               return t;\r
-                               }\r
-                       }\r
-\r
-                       return null;\r
-               }\r
-               \r
-               //\r
-               // Public function used to locate types, this can only\r
-               // be used after the ResolveTree function has been invoked.\r
-               //\r
-               // Returns: Type or null if they type can not be found.\r
-               //\r
-               // Come to think of it, this should be a DeclSpace\r
-               //\r
-               static public Type LookupType (DeclSpace ds, string name, bool silent, Location loc)\r
-               {\r
-                       Type t;\r
-\r
-                       if (ds.Cache.Contains (name)){\r
-                               t = (Type) ds.Cache [name];\r
-                               if (t != null)\r
-                                       return t;\r
-                       } else {\r
-                               //\r
-                               // For the case the type we are looking for is nested within this one\r
-                               // or is in any base class\r
-                               //\r
-                               DeclSpace containing_ds = ds;\r
-                               while (containing_ds != null){\r
-                                       Type current_type = containing_ds.TypeBuilder;\r
-                                       \r
-                                       while (current_type != null) {\r
-                                               //\r
-                                               // nested class\r
-                                               //\r
-                                               t = TypeManager.LookupType (current_type.FullName + "." + name);\r
-                                               if (t != null){\r
-                                                       ds.Cache [name] = t;\r
-                                                       return t;\r
-                                               }\r
-                                               \r
-                                               current_type = current_type.BaseType;\r
-                                       }\r
-                                       \r
-                                       containing_ds = containing_ds.Parent;\r
-                               }\r
-                               \r
-                               t = NamespaceLookup (ds.Namespace, name, loc);\r
-                               if (t != null){\r
-                                       ds.Cache [name] = t;\r
-                                       return t;\r
-                               }\r
-                       }\r
-\r
-                       if (!silent)\r
-                               Report.Error (246, loc, "Cannot find type `"+name+"'");\r
-                       \r
-                       return null;\r
-               }\r
-\r
-               // <summary>\r
-               //   This is the silent version of LookupType, you can use this\r
-               //   to `probe' for a type\r
-               // </summary>\r
-               static public Type LookupType (TypeContainer tc, string name, Location loc)\r
-               {\r
-                       return LookupType (tc, name, true, loc);\r
-               }\r
-\r
-               static public bool IsNamespace (string name)\r
-               {\r
-                       Namespace ns;\r
-\r
-                       if (tree.Namespaces != null){\r
-                               ns = (Namespace) tree.Namespaces [name];\r
-\r
-                               if (ns != null)\r
-                                       return true;\r
-                       }\r
-\r
-                       return false;\r
-               }\r
-\r
-               static void Report1530 (Location loc)\r
-               {\r
-                       Report.Error (1530, loc, "Keyword new not allowed for namespace elements");\r
-               }\r
-               \r
-               static public void PopulateCoreType (TypeContainer root, string name)\r
-               {\r
-                       DeclSpace ds = (DeclSpace) root.GetDefinition (name);\r
-\r
-                       ds.DefineMembers (root);\r
-                       ds.Define (root);\r
-               }\r
-               \r
-               static public void BootCorlib_PopulateCoreTypes ()\r
-               {\r
-                       TypeContainer root = tree.Types;\r
-\r
-                       PopulateCoreType (root, "System.Object");\r
-                       PopulateCoreType (root, "System.ValueType");\r
-                       PopulateCoreType (root, "System.Attribute");\r
-               }\r
-               \r
-               // <summary>\r
-               //   Populates the structs and classes with fields and methods\r
-               // </summary>\r
-               //\r
-               // This is invoked after all interfaces, structs and classes\r
-               // have been defined through `ResolveTree' \r
-               static public void PopulateTypes ()\r
-               {\r
-                       TypeContainer root = Tree.Types;\r
-\r
-                       if (attribute_types != null)\r
-                               foreach (TypeContainer tc in attribute_types)\r
-                                       tc.DefineMembers (root);\r
-                       \r
-                       if (interface_resolve_order != null){\r
-                               foreach (Interface iface in interface_resolve_order)\r
-                                       if ((iface.ModFlags & Modifiers.NEW) == 0)\r
-                                               iface.DefineMembers (root);\r
-                                       else\r
-                                               Report1530 (iface.Location);\r
-                       }\r
-\r
-\r
-                       if (type_container_resolve_order != null){\r
-                               foreach (TypeContainer tc in type_container_resolve_order) {\r
-                                       // When compiling corlib, these types have already been\r
-                                       // populated from BootCorlib_PopulateCoreTypes ().\r
-                                       if (!RootContext.StdLib &&\r
-                                           ((tc.Name == "System.Object") ||\r
-                                            (tc.Name == "System.Attribute") ||\r
-                                            (tc.Name == "System.ValueType")))\r
-                                               continue;\r
-\r
-                                       if ((tc.ModFlags & Modifiers.NEW) == 0)\r
-                                               tc.DefineMembers (root);\r
-                                       else\r
-                                               Report1530 (tc.Location);\r
-                               }\r
-                       }\r
-\r
-                       ArrayList delegates = root.Delegates;\r
-                       if (delegates != null){\r
-                               foreach (Delegate d in delegates)\r
-                                       if ((d.ModFlags & Modifiers.NEW) == 0)\r
-                                               d.DefineMembers (root);\r
-                                       else\r
-                                               Report1530 (d.Location);\r
-                       }\r
-\r
-                       ArrayList enums = root.Enums;\r
-                       if (enums != null){\r
-                               foreach (Enum en in enums)\r
-                                       if ((en.ModFlags & Modifiers.NEW) == 0)\r
-                                               en.DefineMembers (root);\r
-                                       else\r
-                                               Report1530 (en.Location);\r
-                       }\r
-               }\r
-\r
-               static public void DefineTypes ()\r
-               {\r
-                       TypeContainer root = Tree.Types;\r
-\r
-                       if (attribute_types != null)\r
-                               foreach (TypeContainer tc in attribute_types)\r
-                                       tc.Define (root);\r
-                       \r
-                       if (interface_resolve_order != null){\r
-                               foreach (Interface iface in interface_resolve_order)\r
-                                       if ((iface.ModFlags & Modifiers.NEW) == 0)\r
-                                               iface.Define (root);\r
-                       }\r
-\r
-\r
-                       if (type_container_resolve_order != null){\r
-                               foreach (TypeContainer tc in type_container_resolve_order) {\r
-                                       // When compiling corlib, these types have already been\r
-                                       // populated from BootCorlib_PopulateCoreTypes ().\r
-                                       if (!RootContext.StdLib &&\r
-                                           ((tc.Name == "System.Object") ||\r
-                                            (tc.Name == "System.Attribute") ||\r
-                                            (tc.Name == "System.ValueType")))\r
-                                               continue;\r
-\r
-                                       if ((tc.ModFlags & Modifiers.NEW) == 0)\r
-                                               tc.Define (root);\r
-                               }\r
-                       }\r
-\r
-                       ArrayList delegates = root.Delegates;\r
-                       if (delegates != null){\r
-                               foreach (Delegate d in delegates)\r
-                                       if ((d.ModFlags & Modifiers.NEW) == 0)\r
-                                               d.Define (root);\r
-                       }\r
-\r
-                       ArrayList enums = root.Enums;\r
-                       if (enums != null){\r
-                               foreach (Enum en in enums)\r
-                                       if ((en.ModFlags & Modifiers.NEW) == 0)\r
-                                               en.Define (root);\r
-                       }\r
-               }\r
-\r
-               static public void EmitCode ()\r
-               {\r
-                       //\r
-                       // Because of the strange way in which we do things, global\r
-                       // attributes must be processed first.\r
-                       //\r
-                       if (global_attributes.Count > 0){\r
-                               AssemblyBuilder ab = CodeGen.AssemblyBuilder;\r
-                               TypeContainer dummy = new TypeContainer (null, "", new Location (-1, 0));\r
-                               EmitContext temp_ec = new EmitContext (\r
-                                       dummy, Mono.MonoBASIC.Location.Null, null, null, 0, false);\r
-                       \r
-                               foreach (DictionaryEntry de in global_attributes){\r
-                                       Namespace ns = (Namespace) de.Key;\r
-                                       Attributes attrs = (Attributes) de.Value;\r
-                                       \r
-                                       dummy.Namespace = ns;\r
-                                       Attribute.ApplyAttributes (temp_ec, ab, ab, attrs, attrs.Location);\r
-                               }\r
-                       }\r
-\r
-                       if (attribute_types != null)\r
-                               foreach (TypeContainer tc in attribute_types)\r
-                                       tc.Emit ();\r
-                       \r
-                       if (type_container_resolve_order != null) {\r
-                               foreach (TypeContainer tc in type_container_resolve_order)\r
-                                       tc.EmitConstants ();\r
-                               \r
-                               foreach (TypeContainer tc in type_container_resolve_order)\r
-                                       tc.Emit ();\r
-                       }\r
-                       \r
-                       if (Unsafe) {\r
-                               if (TypeManager.unverifiable_code_ctor == null) {\r
-                                       Console.WriteLine ("Internal error ! Cannot set unverifiable code attribute.");\r
-                                       return;\r
-                               }\r
-                               \r
-                               CustomAttributeBuilder cb = new CustomAttributeBuilder (TypeManager.unverifiable_code_ctor, new object [0]);\r
-                               CodeGen.ModuleBuilder.SetCustomAttribute (cb);\r
-                       }\r
-               }\r
-               \r
-               //\r
-               // Public Field, used to track which method is the public entry\r
-               // point.\r
-               //\r
-               static public MethodInfo EntryPoint;\r
-\r
-                //\r
-                // Track the location of the entry point.\r
-                //\r
-                static public Location EntryPointLocation;\r
-\r
-               //\r
-               // These are used to generate unique names on the structs and fields.\r
-               //\r
-               static int field_count;\r
-               \r
-               //\r
-               // Makes an initialized struct, returns the field builder that\r
-               // references the data.  Thanks go to Sergey Chaban for researching\r
-               // how to do this.  And coming up with a shorter mechanism than I\r
-               // was able to figure out.\r
-               //\r
-               // This works but makes an implicit public struct $ArrayType$SIZE and\r
-               // makes the fields point to it.  We could get more control if we did\r
-               // use instead:\r
-               //\r
-               // 1. DefineNestedType on the impl_details_class with our struct.\r
-               //\r
-               // 2. Define the field on the impl_details_class\r
-               //\r
-               static public FieldBuilder MakeStaticData (byte [] data)\r
-               {\r
-                       FieldBuilder fb;\r
-                       int size = data.Length;\r
-                       \r
-                       if (impl_details_class == null)\r
-                               impl_details_class = CodeGen.ModuleBuilder.DefineType (\r
-                                       "<PrivateImplementationDetails>", TypeAttributes.NotPublic, TypeManager.object_type);\r
-\r
-                       fb = impl_details_class.DefineInitializedData (\r
-                               "$$field-" + (field_count++), data,\r
-                               FieldAttributes.Static | FieldAttributes.Assembly);\r
-                       \r
-                       return fb;\r
-               }\r
-\r
-               //\r
-               // Adds a global attribute that was declared in `container', \r
-               // the attribute is in `attr', and it was defined at `loc'\r
-               //\r
-               static public void AddGlobalAttribute (TypeContainer container,\r
-                                                      AttributeSection attr, Location loc)\r
-               {\r
-                       Namespace ns = container.Namespace;\r
-                       Attributes a = (Attributes) global_attributes [ns];\r
-\r
-                       if (a == null)\r
-                               global_attributes [ns] = new Attributes (attr, loc);\r
-                       else\r
-                               a.AddAttribute (attr);\r
-               }\r
-               \r
-               //\r
-               // Adds a global attribute that was declared in `container', \r
-               // the attribute is in `attr', and it was defined at `loc'\r
-               //\r
-               static public void AddGlobalAttributeSection (TypeContainer container, AttributeSection attr)\r
-               {\r
-                       Namespace ns = container.Namespace;\r
-                       Attributes a = (Attributes) global_attributes [ns];\r
-\r
-                       if (a == null)\r
-                               global_attributes [ns] = new Attributes (attr, Location.Null);\r
-                       else\r
-                               a.AddAttributeSection (attr);\r
-               }               \r
-       }\r
+                               //TODO: deal with standard modules
+                                       match = TypeManager.LookupType (MakeFQN (ue.Name, name));
+                                       if (match != null){
+                                               if (t != null){
+                                                       DeclSpace.Error_AmbiguousTypeReference (loc, name, t, match);
+                                                       return null;
+                                               }
+                                               
+                                               t = match;
+                                               ue.Used = true;
+                                       }
+                               }
+                               if (t != null)
+                                       return t;
+
+                               //
+                               // Try with aliases
+                               //
+                               string a = sourceBeingCompiled.LookupAlias (name);
+                               if (a != null) {
+                                       t = TypeManager.LookupType (a);
+                                       if (t != null)
+                                               return t;
+
+                                       t = TypeManager.LookupType (MakeFQN (a, name));
+                                       if (t != null)
+                                               return t;
+                               }
+                       }
+
+                       return null;
+               }
+               
+               //
+               // Public function used to locate types, this can only
+               // be used after the ResolveTree function has been invoked.
+               //
+               // Returns: Type or null if they type can not be found.
+               //
+               // Come to think of it, this should be a DeclSpace
+               //
+               static public Type LookupType (DeclSpace ds, string name, bool silent, Location loc)
+               {
+                       Type t;
+
+                       if (ds.Cache.Contains (name)){
+                               t = (Type) ds.Cache [name];
+                               if (t != null)
+                                       return t;
+                       } else {
+                               //
+                               // For the case the type we are looking for is nested within this one
+                               // or is in any base class
+                               //
+                               DeclSpace containing_ds = ds;
+                               while (containing_ds != null){
+                                       Type current_type = containing_ds.TypeBuilder;
+                                       
+                                       while (current_type != null) {
+                                               //
+                                               // nested class
+                                               //
+                                               t = TypeManager.LookupType (current_type.FullName + "." + name);
+                                               if (t != null){
+                                                       ds.Cache [name] = t;
+                                                       return t;
+                                               }
+                                               
+                                               current_type = current_type.BaseType;
+                                       }
+                                       
+                                       containing_ds = containing_ds.Parent;
+                               }
+                               
+                               t = NamespaceLookup (ds.Namespace, name, loc);
+                               if (t != null){
+                                       ds.Cache [name] = t;
+                                       return t;
+                               }
+                       }
+
+                       if (!silent)
+                               Report.Error (30002, loc, "Cannot find type `"+name+"'");
+                       
+                       return null;
+               }
+
+               // <summary>
+               //   This is the silent version of LookupType, you can use this
+               //   to `probe' for a type
+               // </summary>
+               static public Type LookupType (TypeContainer tc, string name, Location loc)
+               {
+                       return LookupType (tc, name, true, loc);
+               }
+
+               static public bool IsNamespace (string name)
+               {
+                       Namespace ns;
+
+                       if (tree.Namespaces != null){
+                               ns = (Namespace) tree.Namespaces [name];
+
+                               if (ns != null)
+                                       return true;
+                       }
+
+                       return false;
+               }
+
+               static void Report1530 (Location loc)
+               {
+                       Report.Error (1530, loc, "Keyword new not allowed for namespace elements");
+               }
+               
+               static public void PopulateCoreType (TypeContainer root, string name)
+               {
+                       DeclSpace ds = (DeclSpace) root.GetDefinition (name);
+
+                       ds.DefineMembers (root);
+                       ds.Define (root);
+               }
+               
+               static public void BootCorlib_PopulateCoreTypes ()
+               {
+                       TypeContainer root = tree.Types;
+
+                       PopulateCoreType (root, "System.Object");
+                       PopulateCoreType (root, "System.ValueType");
+                       PopulateCoreType (root, "System.Attribute");
+               }
+               
+               // <summary>
+               //   Populates the structs and classes with fields and methods
+               // </summary>
+               //
+               // This is invoked after all interfaces, structs and classes
+               // have been defined through `ResolveTree' 
+               static public void PopulateTypes ()
+               {
+                       TypeContainer root = Tree.Types;
+
+                       if (attribute_types != null)
+                               foreach (TypeContainer tc in attribute_types)
+                                       tc.DefineMembers (root);
+                       
+                       if (interface_resolve_order != null){
+                               foreach (Interface iface in interface_resolve_order)
+                                       if ((iface.ModFlags & Modifiers.NEW) == 0)
+                                               iface.DefineMembers (root);
+                                       else
+                                               Report1530 (iface.Location);
+                       }
+
+
+                       if (type_container_resolve_order != null){
+                               foreach (TypeContainer tc in type_container_resolve_order) {
+                                       // When compiling corlib, these types have already been
+                                       // populated from BootCorlib_PopulateCoreTypes ().
+                                       if (!RootContext.StdLib &&
+                                           ((tc.Name == "System.Object") ||
+                                            (tc.Name == "System.Attribute") ||
+                                            (tc.Name == "System.ValueType")))
+                                               continue;
+
+                                       if ((tc.ModFlags & Modifiers.NEW) == 0)
+                                               tc.DefineMembers (root);
+                                       else
+                                               Report1530 (tc.Location);
+                               }
+                       }
+
+                       ArrayList delegates = root.Delegates;
+                       if (delegates != null){
+                               foreach (Delegate d in delegates)
+                                       if ((d.ModFlags & Modifiers.NEW) == 0)
+                                               d.DefineMembers (root);
+                                       else
+                                               Report1530 (d.Location);
+                       }
+
+                       ArrayList enums = root.Enums;
+                       if (enums != null){
+                               foreach (Enum en in enums)
+                                       if ((en.ModFlags & Modifiers.NEW) == 0)
+                                               en.DefineMembers (root);
+                                       else
+                                               Report1530 (en.Location);
+                       }
+               }
+
+               static public void DefineTypes ()
+               {
+                       TypeContainer root = Tree.Types;
+
+                       if (attribute_types != null)
+                               foreach (TypeContainer tc in attribute_types)
+                                       tc.Define (root);
+                       
+                       if (interface_resolve_order != null){
+                               foreach (Interface iface in interface_resolve_order)
+                                       if ((iface.ModFlags & Modifiers.NEW) == 0)
+                                               iface.Define (root);
+                       }
+
+
+                       if (type_container_resolve_order != null){
+                               foreach (TypeContainer tc in type_container_resolve_order) {
+                                       // When compiling corlib, these types have already been
+                                       // populated from BootCorlib_PopulateCoreTypes ().
+                                       if (!RootContext.StdLib &&
+                                           ((tc.Name == "System.Object") ||
+                                            (tc.Name == "System.Attribute") ||
+                                            (tc.Name == "System.ValueType")))
+                                               continue;
+
+                                       if ((tc.ModFlags & Modifiers.NEW) == 0)
+                                               tc.Define (root);
+                               }
+                       }
+
+                       ArrayList delegates = root.Delegates;
+                       if (delegates != null){
+                               foreach (Delegate d in delegates)
+                                       if ((d.ModFlags & Modifiers.NEW) == 0)
+                                               d.Define (root);
+                       }
+
+                       ArrayList enums = root.Enums;
+                       if (enums != null){
+                               foreach (Enum en in enums)
+                                       if ((en.ModFlags & Modifiers.NEW) == 0)
+                                               en.Define (root);
+                       }
+               }
+
+               static public void EmitCode ()
+               {
+                       if (attribute_types != null)
+                               foreach (TypeContainer tc in attribute_types)
+                                       tc.Emit ();
+
+                       CodeGen.EmitGlobalAttributes ();
+                       
+                       if (type_container_resolve_order != null) {
+                               foreach (TypeContainer tc in type_container_resolve_order)
+                                       tc.EmitConstants ();
+                               
+                               foreach (TypeContainer tc in type_container_resolve_order)
+                                       tc.Emit ();
+                       }
+                       
+                       if (Unsafe) {
+                               if (TypeManager.unverifiable_code_ctor == null) {
+                                       Console.WriteLine ("Internal error ! Cannot set unverifiable code attribute.");
+                                       return;
+                               }
+                               
+                               CustomAttributeBuilder cb = new CustomAttributeBuilder (TypeManager.unverifiable_code_ctor, new object [0]);
+                               CodeGen.ModuleBuilder.SetCustomAttribute (cb);
+                       }
+               }
+               
+               //
+               // Public Field, used to track which method is the public entry
+               // point.
+               //
+               static public MethodInfo EntryPoint;
+
+                //
+                // Track the location of the entry point.
+                //
+                static public Location EntryPointLocation;
+
+               //
+               // These are used to generate unique names on the structs and fields.
+               //
+               static int field_count;
+               
+               //
+               // Makes an initialized struct, returns the field builder that
+               // references the data.  Thanks go to Sergey Chaban for researching
+               // how to do this.  And coming up with a shorter mechanism than I
+               // was able to figure out.
+               //
+               // This works but makes an implicit public struct $ArrayType$SIZE and
+               // makes the fields point to it.  We could get more control if we did
+               // use instead:
+               //
+               // 1. DefineNestedType on the impl_details_class with our struct.
+               //
+               // 2. Define the field on the impl_details_class
+               //
+               static public FieldBuilder MakeStaticData (byte [] data)
+               {
+                       FieldBuilder fb;
+                       //int size = data.Length;
+                       
+                       if (impl_details_class == null)
+                               impl_details_class = CodeGen.ModuleBuilder.DefineType (
+                                       "<PrivateImplementationDetails>", TypeAttributes.NotPublic, TypeManager.object_type);
+
+                       fb = impl_details_class.DefineInitializedData (
+                               "$$field-" + (field_count++), data,
+                               FieldAttributes.Static | FieldAttributes.Assembly);
+                       
+                       return fb;
+               }
+
+       }
 }