* ILTokenizer.cs: Handle comments first, handle whitespace in hex
[mono.git] / mcs / mcs / enum.cs
index efe1fd0e276050ba3e097182a7807eeb679b63bb..ac9ef2b430533d49fe20041eefddcd7c9b03440a 100755 (executable)
@@ -13,9 +13,92 @@ using System;
 using System.Collections;
 using System.Reflection;
 using System.Reflection.Emit;
+using System.Globalization;
 
 namespace Mono.CSharp {
 
+       // Maybe can be usefull to derive from MemberCore
+       class EnumMember: Attributable {
+               string name;
+               Enum parent;
+               Location loc;
+
+               static string[] attribute_targets = new string [] { "field" };
+
+               public FieldBuilder builder;
+
+               public EnumMember (string name, Enum parent, Location loc, Attributes attrs):
+                       base (attrs)
+               {
+                       this.name = name;
+                       this.parent = parent;
+                       this.loc = loc;
+               }
+
+               public override void ApplyAttributeBuilder(Attribute a, CustomAttributeBuilder cb)
+               {
+                       if (a.Type == TypeManager.marshal_as_attr_type) {
+                               UnmanagedMarshal marshal = a.GetMarshal ();
+                               if (marshal != null) {
+                                       builder.SetMarshal (marshal);
+                                       return;
+                               }
+                               Report.Warning_T (-24, a.Location);
+                               return;
+                       }
+
+                       builder.SetCustomAttribute (cb);
+               }
+
+               public override AttributeTargets AttributeTargets {
+                       get {
+                               return AttributeTargets.Field;
+                       }
+               }
+
+               public override bool IsClsCompliaceRequired(DeclSpace ds)
+               {
+                       return parent.IsClsCompliaceRequired (ds);
+               }
+
+               public void DefineMember (TypeBuilder tb)
+               {
+                       FieldAttributes attr = FieldAttributes.Public | FieldAttributes.Static
+                               | FieldAttributes.Literal;
+                       
+                       builder = tb.DefineField (name, tb, attr);
+               }
+
+               public void Emit (EmitContext ec)
+               {
+                       if (OptAttributes != null)
+                               OptAttributes.Emit (ec, this); 
+               }
+
+               // TODO: caching would be usefull
+               public ObsoleteAttribute GetObsoleteAttribute (EmitContext ec)
+               {
+                       if (OptAttributes == null)
+                               return null;
+
+                       Attribute obsolete_attr = OptAttributes.Search (TypeManager.obsolete_attribute_type, ec);
+                       if (obsolete_attr == null)
+                               return null;
+
+                       ObsoleteAttribute obsolete = obsolete_attr.GetObsoleteAttribute (ec.DeclSpace);
+                       if (obsolete == null)
+                               return null;
+
+                       return obsolete;
+               }
+
+               protected override string[] ValidAttributeTargets {
+                       get {
+                               return attribute_targets;
+                       }
+               }
+       }
+
        /// <summary>
        ///   Enumeration container
        /// </summary>
@@ -23,7 +106,6 @@ namespace Mono.CSharp {
                ArrayList ordered_enums;
                
                public Expression BaseType;
-               public Attributes  OptAttributes;
                
                public Type UnderlyingType;
 
@@ -41,6 +123,9 @@ namespace Mono.CSharp {
                Hashtable in_transit;
                
                ArrayList field_builders;
+
+
+               Hashtable name_to_member;
                
                public const int AllowedModifiers =
                        Modifiers.NEW |
@@ -49,19 +134,21 @@ namespace Mono.CSharp {
                        Modifiers.INTERNAL |
                        Modifiers.PRIVATE;
 
-               public Enum (TypeContainer parent, Expression type, int mod_flags, string name, Attributes attrs, Location l)
-                       : base (parent, name, l)
+               public Enum (NamespaceEntry ns, TypeContainer parent, Expression type, int mod_flags,
+                            string name, Attributes attrs, Location l)
+                       : base (ns, parent, name, attrs, l)
                {
                        this.BaseType = type;
                        ModFlags = Modifiers.Check (AllowedModifiers, mod_flags,
                                                    IsTopLevel ? Modifiers.INTERNAL : Modifiers.PRIVATE, l);
-                       OptAttributes = attrs;
 
                        ordered_enums = new ArrayList ();
                        member_to_location = new Hashtable ();
                        member_to_value = new Hashtable ();
                        in_transit = new Hashtable ();
                        field_builders = new ArrayList ();
+
+                       name_to_member = new Hashtable ();
                }
 
                /// <summary>
@@ -74,6 +161,11 @@ namespace Mono.CSharp {
                        if (defined_names.Contains (name))
                                return AdditionResult.NameExists;
 
+                       if (name == "value__") {
+                               Report.Error (76, loc, "An item in an enumeration can't have an identifier `value__'");
+                               return AdditionResult.Error;
+                       }
+
                        DefineName (name, expr);
 
                        ordered_enums.Add (name);
@@ -83,6 +175,8 @@ namespace Mono.CSharp {
                                member_to_attributes = new Hashtable ();
 
                        member_to_attributes.Add (name, opt_attrs);
+
+                       name_to_member.Add (name, new EnumMember (name, this, loc, opt_attrs));
                        
                        return AdditionResult.Success;
                }
@@ -128,6 +222,13 @@ namespace Mono.CSharp {
 
                        attr |= TypeAttributes.Class | TypeAttributes.Sealed;
 
+                       if (!(BaseType is TypeLookupExpression)) {
+                               Report.Error (1008, Location,
+                                             "Type byte, sbyte, short, ushort, int, uint, " +
+                                             "long, or ulong expected (got: `{0}')", BaseType);
+                               return null;
+                       }
+
                        UnderlyingType = ResolveType (BaseType, false, Location);
 
                        if (UnderlyingType != TypeManager.int32_type &&
@@ -137,20 +238,19 @@ namespace Mono.CSharp {
                            UnderlyingType != TypeManager.short_type &&
                            UnderlyingType != TypeManager.ushort_type &&
                            UnderlyingType != TypeManager.byte_type  &&
-                           UnderlyingType != TypeManager.char_type  &&
                            UnderlyingType != TypeManager.sbyte_type) {
                                Report.Error (1008, Location,
-                                             "Type byte, sbyte, short, char, ushort, int, uint, " +
+                                             "Type byte, sbyte, short, ushort, int, uint, " +
                                              "long, or ulong expected (got: " +
                                              TypeManager.CSharpName (UnderlyingType) + ")");
                                return null;
                        }
 
                        if (IsTopLevel) {
-                               if (TypeManager.NamespaceClash (Name))
+                               if (TypeManager.NamespaceClash (Name, Location))
                                        return null;
                                
-                               ModuleBuilder builder = CodeGen.ModuleBuilder;
+                               ModuleBuilder builder = CodeGen.Module.Builder;
 
                                TypeBuilder = builder.DefineType (Name, attr, TypeManager.enum_type);
                        } else {
@@ -490,17 +590,15 @@ namespace Mono.CSharp {
                                        Type etype = TypeManager.EnumToUnderlying (c.Type);
                                        
                                        if (!ImplicitConversionExists (etype, UnderlyingType)){
-                                               Expression.Error_CannotConvertImplicit (
+                                               Convert.Error_CannotImplicitConversion (
                                                        loc, c.Type, UnderlyingType);
                                                return null;
                                        }
                                }
                        }
 
-                       FieldAttributes attr = FieldAttributes.Public | FieldAttributes.Static
-                                       | FieldAttributes.Literal;
-                       
-                       FieldBuilder fb = TypeBuilder.DefineField (name, TypeBuilder, attr);
+                       EnumMember em = name_to_member [name] as EnumMember;
+                       em.DefineMember (TypeBuilder);
 
                        bool fail;
                        default_value = TypeManager.ChangeType (default_value, UnderlyingType, out fail);
@@ -509,18 +607,13 @@ namespace Mono.CSharp {
                                return null;
                        }
 
-                       fb.SetConstant (default_value);
-                       field_builders.Add (fb);
+                       em.builder.SetConstant (default_value);
+                       field_builders.Add (em.builder);
                        member_to_value [name] = default_value;
 
-                       if (!TypeManager.RegisterFieldValue (fb, default_value))
+                       if (!TypeManager.RegisterFieldValue (em.builder, default_value))
                                return null;
 
-                       //
-                       // Now apply attributes
-                       //
-                       Attribute.ApplyAttributes (ec, fb, fb, (Attributes) member_to_attributes [name]); 
-                       
                        return default_value;
                }
 
@@ -536,17 +629,14 @@ namespace Mono.CSharp {
                        //
                        if (TypeBuilder == null)
                                return false;
-                       
+
                        EmitContext ec = new EmitContext (this, this, Location, null,
                                                          UnderlyingType, ModFlags, false);
 
                        
                        object default_value = 0;
                        
-                       FieldAttributes attr = FieldAttributes.Public | FieldAttributes.Static
-                                            | FieldAttributes.Literal;
-
-                       
+               
                        foreach (string name in ordered_enums) {
                                //
                                // Have we already been defined, thanks to some cross-referencing ?
@@ -567,8 +657,10 @@ namespace Mono.CSharp {
                                                return false;
                                        }
 
-                                       FieldBuilder fb = TypeBuilder.DefineField (
-                                               name, TypeBuilder, attr);
+                                       EnumMember em = name_to_member [name] as EnumMember;
+
+                                       em.DefineMember (TypeBuilder);
+                                       FieldBuilder fb = em.builder;
                                        
                                        if (default_value == null) {
                                           Report.Error (543, loc, "Enumerator value for '" + name + "' is too large to " +
@@ -589,21 +681,70 @@ namespace Mono.CSharp {
                                        
                                        if (!TypeManager.RegisterFieldValue (fb, default_value))
                                                return false;
-
-                                       //
-                                       // Apply attributes on the enum member
-                                       //
-                                       Attribute.ApplyAttributes (ec, fb, fb, (Attributes) member_to_attributes [name]);
                                }
 
                                default_value = GetNextDefaultValue (default_value);
                        }
-                       
-                       Attribute.ApplyAttributes (ec, TypeBuilder, this, OptAttributes);
+                       return true;
+               }
+
+               public override void Emit (TypeContainer tc)
+               {
+                       EmitContext ec = new EmitContext (tc, this, Location, null, null, ModFlags, false);
+
+                       if (OptAttributes != null) {
+                               OptAttributes.Emit (ec, this);
+                       }
+
+                       foreach (EnumMember em in name_to_member.Values) {
+                               em.Emit (ec);
+                       }
+
+                       base.Emit (tc);
+               }
+               
+               protected override bool IsIdentifierClsCompliant (DeclSpace ds)
+               {
+                       if (!base.IsIdentifierClsCompliant (ds))
+                               return false;
+
+                       for (int i = 1; i < ordered_enums.Count; ++i) {
+                               string checked_name = ordered_enums [i] as string;
+                               for (int ii = 0; ii < ordered_enums.Count; ++ii) {
+                                       if (ii == i)
+                                               continue;
+
+                                       string enumerator_name = ordered_enums [ii] as string;
+                                       if (String.Compare (checked_name, enumerator_name, true, CultureInfo.InvariantCulture) == 0) {
+                                               Report.SymbolRelatedToPreviousError ((Location)member_to_location [enumerator_name], enumerator_name);
+                                               Report.Error_T (3005, (Location)member_to_location [checked_name], GetEnumeratorName (checked_name));
+                                               break;
+                                       }
+                               }
+                       }
+                       return true;
+               }
+
+               protected override bool VerifyClsCompliance (DeclSpace ds)
+               {
+                       if (!base.VerifyClsCompliance (ds))
+                               return false;
+
+                       if (!AttributeTester.IsClsCompliant (UnderlyingType)) {
+                               Report.Error_T (3009, Location, GetSignatureForError (), TypeManager.CSharpName (UnderlyingType));
+                       }
 
                        return true;
                }
                
+               /// <summary>
+               /// Returns full enum name.
+               /// </summary>
+               string GetEnumeratorName (string valueName)
+               {
+                       return String.Concat (Name, ".", valueName);
+               }
+
                //
                // IMemberFinder
                //
@@ -645,5 +786,39 @@ namespace Mono.CSharp {
                                return (Expression) defined_names [name];
                        }
                }
+
+               public override AttributeTargets AttributeTargets {
+                       get {
+                               return AttributeTargets.Enum;
+                       }
+               }
+
+               protected override void VerifyObsoleteAttribute()
+               {
+                       // UnderlyingType is never obsolete
+               }
+
+               /// <summary>
+               /// Returns ObsoleteAttribute for both enum type and enum member
+               /// </summary>
+               public ObsoleteAttribute GetObsoleteAttribute (EmitContext ec, string identifier)
+               {
+                       if ((caching_flags & Flags.Obsolete_Undetected) == 0 && (caching_flags & Flags.Obsolete) == 0) {
+                               return null;
+                       }
+
+                       ObsoleteAttribute oa = GetObsoleteAttribute (ec.DeclSpace);
+                       if (oa != null)
+                               return oa;
+
+                       EnumMember em = (EnumMember)name_to_member [identifier];
+                       oa = em.GetObsoleteAttribute (ec);
+
+                       if (oa == null)
+                               return null;
+
+                       caching_flags |= Flags.Obsolete;
+                       return oa;
+               }
        }
 }