2 // const.cs: Constant declarations.
5 // Miguel de Icaza (miguel@ximian.com)
6 // Marek Safar (marek.safar@seznam.cz)
8 // (C) 2001 Ximian, Inc.
12 namespace Mono.CSharp {
15 using System.Reflection;
16 using System.Reflection.Emit;
17 using System.Collections;
19 public interface IConstant
21 void CheckObsoleteness (Location loc);
23 Constant Value { get; }
26 public class Const : FieldMember, IConstant {
30 public const int AllowedModifiers =
37 public Const (DeclSpace parent, Expression constant_type, string name,
38 Expression expr, int mod_flags, Attributes attrs, Location loc)
39 : base (parent, constant_type, mod_flags, AllowedModifiers,
40 new MemberName (name, loc), attrs)
43 ModFlags |= Modifiers.STATIC;
46 protected override bool CheckBase ()
48 // Constant.Define can be called when the parent type hasn't yet been populated
49 // and it's base types need not have been populated. So, we defer this check
50 // to the second time Define () is called on this member.
51 if (Parent.PartialContainer.BaseCache == null)
53 return base.CheckBase ();
57 /// Defines the constant in the @parent
59 public override bool Define ()
61 // Make Define () idempotent, but ensure that the error check happens.
62 if (FieldBuilder != null)
63 return base.CheckBase ();
68 Type ttype = MemberType;
70 ttype = TypeManager.GetElementType (ttype);
72 FieldAttributes field_attr = FieldAttributes.Static | Modifiers.FieldAttr (ModFlags);
73 // Decimals cannot be emitted into the constant blob. So, convert to 'readonly'.
74 if (ttype == TypeManager.decimal_type) {
75 field_attr |= FieldAttributes.InitOnly;
76 Parent.PartialContainer.RegisterFieldForInitialization (this);
78 field_attr |= FieldAttributes.Literal;
81 FieldBuilder = Parent.TypeBuilder.DefineField (Name, MemberType, field_attr);
83 TypeManager.RegisterConstant (FieldBuilder, this);
89 /// Emits the field value by evaluating the expression
91 public override void Emit ()
96 if (value.Type == TypeManager.decimal_type) {
97 Decimal d = ((DecimalConstant)value).Value;
98 int[] bits = Decimal.GetBits (d);
99 object[] args = new object[] { (byte)(bits [3] >> 16), (byte)(bits [3] >> 31), (uint)bits [2], (uint)bits [1], (uint)bits [0] };
100 CustomAttributeBuilder cab = new CustomAttributeBuilder (TypeManager.decimal_constant_attribute_ctor, args);
101 FieldBuilder.SetCustomAttribute (cab);
104 FieldBuilder.SetConstant (value.GetTypedValue ());
110 public static void Error_ExpressionMustBeConstant (Type constantType, Location loc, string e_name)
112 if (constantType != null && TypeManager.IsValueType (constantType) &&
113 !TypeManager.IsBuiltinOrEnum (constantType)) {
114 Report.Error (283, loc, "The type `{0}' cannot be declared const", TypeManager.CSharpName (constantType));
117 Report.Error (133, loc, "The expression being assigned to `{0}' must be constant", e_name);
120 public static void Error_CyclicDeclaration (MemberCore mc)
122 Report.Error (110, mc.Location, "The evaluation of the constant value for `{0}' involves a circular definition",
123 mc.GetSignatureForError ());
126 public static void Error_ConstantCanBeInitializedWithNullOnly (Location loc, string name)
128 Report.Error (134, loc, "`{0}': the constant of reference type other than string can only be initialized with null",
132 #region IConstant Members
134 public bool ResolveValue ()
141 Error_CyclicDeclaration (this);
142 // Suppress cyclic errors
143 value = New.Constantify (MemberType);
148 // TODO: IResolveContext here
149 EmitContext ec = new EmitContext (this, Parent, Location, null, MemberType, ModFlags);
150 value = initializer.ResolveAsConstant (ec, this);
156 value = value.ToType (MemberType, Location);
160 if (!MemberType.IsValueType && MemberType != TypeManager.string_type && !value.IsDefaultValue) {
161 Error_ConstantCanBeInitializedWithNullOnly (Location, GetSignatureForError ());
168 public Constant Value {
177 public class ExternalConstant : IConstant
182 public ExternalConstant (FieldInfo fi)
187 private ExternalConstant (FieldInfo fi, Constant value):
194 // Decimal constants cannot be encoded in the constant blob, and thus are marked
195 // as IsInitOnly ('readonly' in C# parlance). We get its value from the
196 // DecimalConstantAttribute metadata.
198 public static IConstant CreateDecimal (FieldInfo fi)
200 if (fi is FieldBuilder)
203 object[] attrs = fi.GetCustomAttributes (TypeManager.decimal_constant_attribute_type, false);
204 if (attrs.Length != 1)
207 IConstant ic = new ExternalConstant (fi,
208 new DecimalConstant (((System.Runtime.CompilerServices.DecimalConstantAttribute) attrs [0]).Value, Location.Null));
213 #region IConstant Members
215 public void CheckObsoleteness (Location loc)
217 ObsoleteAttribute oa = AttributeTester.GetMemberObsoleteAttribute (fi);
222 AttributeTester.Report_ObsoleteMessage (oa, TypeManager.GetFullNameSignature (fi), loc);
225 public bool ResolveValue ()
230 if (fi.DeclaringType.IsEnum) {
231 value = Expression.Constantify (fi.GetValue (fi), TypeManager.EnumToUnderlying (fi.FieldType));
232 value = new EnumConstant (value, fi.DeclaringType);
236 value = Expression.Constantify (fi.GetValue (fi), fi.FieldType);
240 public Constant Value {