/*-------------------- Constructors ---------------------------------*/ internal Module(string mName) : base(GetBaseName(mName)) { mvid = Guid.NewGuid(); //isDLL = name.EndsWith(".dll") || name.EndsWith(".DLL"); defaultClass = new ClassDef((PEFile)this, TypeAttr.Private, "", "<Module>"); defaultClass.MakeSpecial(); tabIx = MDTable.Module; ismscorlib = name.ToLower() == "mscorlib.dll"; if (Diag.DiagOn) { Console.WriteLine("Module name = " + name); } // FIXME Contract.Ensures(defaultClass != null); }