2 // roottypes.cs: keeps a tree representation of the generated code
4 // Authors: Miguel de Icaza (miguel@gnu.org)
5 // Marek Safar (marek.safar@gmail.com)
7 // Dual licensed under the terms of the MIT X11 or GNU GPL
9 // Copyright 2001-2003 Ximian, Inc (http://www.ximian.com)
10 // Copyright 2003-2008 Novell, Inc.
14 using System.Collections.Generic;
15 using System.Runtime.InteropServices;
16 using Mono.CompilerServices.SymbolWriter;
19 using IKVM.Reflection;
20 using IKVM.Reflection.Emit;
22 using System.Reflection;
23 using System.Reflection.Emit;
29 // Module (top-level type) container
31 public class ModuleContainer : TypeContainer
34 // Compiler generated container for static data
36 sealed class StaticDataContainer : CompilerGeneratedClass
38 Dictionary<int, Struct> size_types;
41 static MethodInfo set_data;
44 public StaticDataContainer (ModuleContainer module)
45 : base (module, new MemberName ("<PrivateImplementationDetails>" + module.builder.ModuleVersionId.ToString ("B"), Location.Null), Modifiers.STATIC)
47 size_types = new Dictionary<int, Struct> ();
50 public override void CloseType ()
54 foreach (var entry in size_types) {
55 entry.Value.CloseType ();
59 public FieldSpec DefineInitializedData (byte[] data, Location loc)
62 if (!size_types.TryGetValue (data.Length, out size_type)) {
64 // Build common type for this data length. We cannot use
65 // DefineInitializedData because it creates public type,
66 // and its name is not unique among modules
68 size_type = new Struct (null, this, new MemberName ("$ArrayType=" + data.Length, Location), Modifiers.PRIVATE | Modifiers.COMPILER_GENERATED, null);
69 size_type.CreateType ();
70 size_type.DefineType ();
72 size_types.Add (data.Length, size_type);
74 var pa = Module.PredefinedAttributes.StructLayout;
75 if (pa.Constructor != null || pa.ResolveConstructor (Location, TypeManager.short_type)) {
76 var argsEncoded = new AttributeEncoder (false);
77 argsEncoded.Encode ((short) LayoutKind.Explicit);
79 var field_size = pa.GetField ("Size", TypeManager.int32_type, Location);
80 var pack = pa.GetField ("Pack", TypeManager.int32_type, Location);
81 if (field_size != null) {
82 argsEncoded.EncodeNamedArguments (
83 new[] { field_size, pack },
84 new[] { new IntConstant ((int) data.Length, Location), new IntConstant (1, Location) }
88 pa.EmitAttribute (size_type.TypeBuilder, argsEncoded);
92 var name = "$field-" + fields.ToString ("X");
94 const Modifiers fmod = Modifiers.STATIC | Modifiers.INTERNAL;
95 var fbuilder = TypeBuilder.DefineField (name, size_type.CurrentType.GetMetaInfo (), ModifiersExtensions.FieldAttr (fmod) | FieldAttributes.HasFieldRVA);
97 fbuilder.__SetDataAndRVA (data);
100 set_data = typeof (FieldBuilder).GetMethod ("SetRVAData", System.Reflection.BindingFlags.NonPublic | System.Reflection.BindingFlags.Instance);
103 set_data.Invoke (fbuilder, new object[] { data });
105 Report.RuntimeMissingSupport (loc, "SetRVAData");
109 return new FieldSpec (CurrentType, null, size_type.CurrentType, fbuilder, fmod);
113 public CharSet DefaultCharSet = CharSet.Ansi;
114 public TypeAttributes DefaultCharSetType = TypeAttributes.AnsiClass;
116 Dictionary<int, List<AnonymousTypeClass>> anonymous_types;
117 StaticDataContainer static_data;
119 AssemblyDefinition assembly;
120 readonly CompilerContext context;
121 readonly RootNamespace global_ns;
122 Dictionary<string, RootNamespace> alias_ns;
124 ModuleBuilder builder;
126 bool has_default_charset;
127 bool has_extenstion_method;
129 PredefinedAttributes predefined_attributes;
130 PredefinedTypes predefined_types;
132 static readonly string[] attribute_targets = new string[] { "assembly", "module" };
134 public ModuleContainer (CompilerContext context)
135 : base (null, null, MemberName.Null, null, 0)
137 this.context = context;
139 caching_flags &= ~(Flags.Obsolete_Undetected | Flags.Excluded_Undetected);
141 types = new List<TypeContainer> ();
142 anonymous_types = new Dictionary<int, List<AnonymousTypeClass>> ();
143 global_ns = new GlobalRootNamespace ();
144 alias_ns = new Dictionary<string, RootNamespace> ();
149 public override AttributeTargets AttributeTargets {
151 return AttributeTargets.Assembly;
155 public ModuleBuilder Builder {
161 public override CompilerContext Compiler {
167 public override AssemblyDefinition DeclaringAssembly {
173 public bool HasDefaultCharSet {
175 return has_default_charset;
179 public bool HasExtensionMethod {
181 return has_extenstion_method;
184 has_extenstion_method = value;
189 // Returns module global:: namespace
191 public RootNamespace GlobalRootNamespace {
197 public override ModuleContainer Module {
203 internal PredefinedAttributes PredefinedAttributes {
205 return predefined_attributes;
209 internal PredefinedTypes PredefinedTypes {
211 return predefined_types;
215 public override string[] ValidAttributeTargets {
217 return attribute_targets;
223 public void AddAnonymousType (AnonymousTypeClass type)
225 List<AnonymousTypeClass> existing;
226 if (!anonymous_types.TryGetValue (type.Parameters.Count, out existing))
227 if (existing == null) {
228 existing = new List<AnonymousTypeClass> ();
229 anonymous_types.Add (type.Parameters.Count, existing);
235 public void AddAttributes (List<Attribute> attrs)
237 AddAttributes (attrs, this);
240 public void AddAttributes (List<Attribute> attrs, IMemberContext context)
242 foreach (Attribute a in attrs)
243 a.AttachTo (this, context);
245 if (attributes == null) {
246 attributes = new Attributes (attrs);
249 attributes.AddAttributes (attrs);
252 public override TypeContainer AddPartial (TypeContainer nextPart)
254 return AddPartial (nextPart, nextPart.Name);
257 public override void ApplyAttributeBuilder (Attribute a, MethodSpec ctor, byte[] cdata, PredefinedAttributes pa)
259 if (a.Target == AttributeTargets.Assembly) {
260 assembly.ApplyAttributeBuilder (a, ctor, cdata, pa);
264 if (a.Type == pa.CLSCompliant) {
265 Attribute cls = DeclaringAssembly.CLSCompliantAttribute;
267 Report.Warning (3012, 1, a.Location,
268 "You must specify the CLSCompliant attribute on the assembly, not the module, to enable CLS compliance checking");
269 } else if (DeclaringAssembly.IsCLSCompliant != a.GetBoolean ()) {
270 Report.SymbolRelatedToPreviousError (cls.Location, cls.GetSignatureForError ());
271 Report.Warning (3017, 1, a.Location,
272 "You cannot specify the CLSCompliant attribute on a module that differs from the CLSCompliant attribute on the assembly");
277 builder.SetCustomAttribute ((ConstructorInfo) ctor.GetMetaInfo (), cdata);
280 public override void CloseType ()
282 foreach (TypeContainer tc in types) {
286 if (compiler_generated != null)
287 foreach (CompilerGeneratedClass c in compiler_generated)
291 public TypeBuilder CreateBuilder (string name, TypeAttributes attr, int typeSize)
293 return builder.DefineType (name, attr, null, typeSize);
297 // Creates alias global namespace
299 public RootNamespace CreateRootNamespace (string alias)
301 if (alias == global_ns.Alias) {
302 NamespaceEntry.Error_GlobalNamespaceRedefined (Location.Null, Report);
307 if (!alias_ns.TryGetValue (alias, out rn)) {
308 rn = new RootNamespace (alias);
309 alias_ns.Add (alias, rn);
315 public new void Define ()
317 builder = assembly.CreateModuleBuilder ();
319 // FIXME: Temporary hack for repl to reset
322 // TODO: It should be done much later when the types are resolved
323 // but that require DefineType clean-up
324 ResolveGlobalAttributes ();
326 foreach (TypeContainer tc in types)
329 InitializePredefinedTypes ();
331 foreach (TypeContainer tc in types)
334 foreach (TypeContainer tc in types)
335 tc.ResolveTypeParameters ();
337 foreach (TypeContainer tc in types) {
340 } catch (Exception e) {
341 throw new InternalErrorException (tc, e);
346 public override void Emit ()
348 if (OptAttributes != null)
349 OptAttributes.Emit ();
351 if (RootContext.Unsafe) {
352 var pa = PredefinedAttributes.UnverifiableCode;
354 pa.EmitAttribute (builder);
357 foreach (var tc in types)
358 tc.DefineConstants ();
360 foreach (TypeContainer tc in types)
363 if (Compiler.Report.Errors > 0)
366 foreach (TypeContainer tc in types)
369 if (compiler_generated != null)
370 foreach (var c in compiler_generated)
374 public AnonymousTypeClass GetAnonymousType (IList<AnonymousTypeParameter> parameters)
376 List<AnonymousTypeClass> candidates;
377 if (!anonymous_types.TryGetValue (parameters.Count, out candidates))
381 foreach (AnonymousTypeClass at in candidates) {
382 for (i = 0; i < parameters.Count; ++i) {
383 if (!parameters [i].Equals (at.Parameters [i]))
387 if (i == parameters.Count)
394 public RootNamespace GetRootNamespace (string name)
397 alias_ns.TryGetValue (name, out rn);
401 public override string GetSignatureForError ()
406 public void InitializePredefinedTypes ()
408 predefined_attributes = new PredefinedAttributes (this);
409 predefined_types = new PredefinedTypes (this);
412 public override bool IsClsComplianceRequired ()
414 return DeclaringAssembly.IsCLSCompliant;
418 // Makes const data field inside internal type container
420 public FieldSpec MakeStaticData (byte[] data, Location loc)
422 if (static_data == null) {
423 static_data = new StaticDataContainer (this);
424 static_data.CreateType ();
425 static_data.DefineType ();
427 AddCompilerGeneratedClass (static_data);
430 return static_data.DefineInitializedData (data, loc);
433 protected override bool AddMemberType (TypeContainer ds)
435 if (!AddToContainer (ds, ds.Name))
437 ds.NamespaceEntry.NS.AddType (ds.Definition);
441 protected override void RemoveMemberType (DeclSpace ds)
443 ds.NamespaceEntry.NS.RemoveDeclSpace (ds.Basename);
444 base.RemoveMemberType (ds);
448 /// It is called very early therefore can resolve only predefined attributes
450 void ResolveGlobalAttributes ()
452 if (OptAttributes == null)
455 if (!OptAttributes.CheckTargets ())
458 // FIXME: Define is wrong as the type may not exist yet
459 var DefaultCharSet_attr = new PredefinedAttribute (this, "System.Runtime.InteropServices", "DefaultCharSetAttribute");
460 DefaultCharSet_attr.Define ();
461 Attribute a = ResolveModuleAttribute (DefaultCharSet_attr);
463 has_default_charset = true;
464 DefaultCharSet = a.GetCharSetValue ();
465 switch (DefaultCharSet) {
470 DefaultCharSetType = TypeAttributes.AutoClass;
472 case CharSet.Unicode:
473 DefaultCharSetType = TypeAttributes.UnicodeClass;
476 Report.Error (1724, a.Location, "Value specified for the argument to `{0}' is not valid",
477 DefaultCharSet_attr.GetSignatureForError ());
483 public Attribute ResolveAssemblyAttribute (PredefinedAttribute a_type)
485 Attribute a = OptAttributes.Search ("assembly", a_type);
492 Attribute ResolveModuleAttribute (PredefinedAttribute a_type)
494 Attribute a = OptAttributes.Search ("module", a_type);
501 public void SetDeclaringAssembly (AssemblyDefinition assembly)
503 // TODO: This setter is quite ugly but I have not found a way around it yet
504 this.assembly = assembly;
508 class RootDeclSpace : TypeContainer {
509 public RootDeclSpace (NamespaceEntry ns)
510 : base (ns, null, MemberName.Null, null, 0)
512 PartialContainer = RootContext.ToplevelTypes;
515 public override AttributeTargets AttributeTargets {
516 get { throw new InternalErrorException ("should not be called"); }
519 public override CompilerContext Compiler {
521 return PartialContainer.Compiler;
525 public override string DocCommentHeader {
526 get { throw new InternalErrorException ("should not be called"); }
529 public override void DefineType ()
531 throw new InternalErrorException ("should not be called");
534 public override ModuleContainer Module {
536 return PartialContainer.Module;
540 public override bool IsClsComplianceRequired ()
542 return PartialContainer.IsClsComplianceRequired ();
545 public override FullNamedExpression LookupNamespaceAlias (string name)
547 return NamespaceEntry.LookupNamespaceAlias (name);