2 // modifiers.cs: Modifiers handling
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, 2002, 2003 Ximian, Inc (http://www.ximian.com)
10 // Copyright 2004-2010 Novell, Inc
16 using IKVM.Reflection;
18 using System.Reflection;
44 // Compiler specific flags
46 PROPERTY_CUSTOM = 0x10000,
49 DEFAULT_ACCESS_MODIFIER = 0x40000,
50 METHOD_EXTENSION = 0x80000,
51 COMPILER_GENERATED = 0x100000,
52 BACKING_FIELD = 0x200000,
53 DEBUGGER_HIDDEN = 0x400000,
54 DEBUGGER_STEP_THROUGH = 0x800000,
55 AutoProperty = 0x1000000,
57 AccessibilityMask = PUBLIC | PROTECTED | INTERNAL | PRIVATE,
58 AllowedExplicitImplFlags = UNSAFE | EXTERN,
61 static class ModifiersExtensions
63 public static string AccessibilityName (Modifiers mod)
65 switch (mod & Modifiers.AccessibilityMask) {
66 case Modifiers.PUBLIC:
68 case Modifiers.PROTECTED:
70 case Modifiers.PROTECTED | Modifiers.INTERNAL:
71 return "protected internal";
72 case Modifiers.INTERNAL:
74 case Modifiers.PRIVATE:
77 throw new NotImplementedException (mod.ToString ());
81 static public string Name (Modifiers i)
88 case Modifiers.PUBLIC:
90 case Modifiers.PROTECTED:
91 s = "protected"; break;
92 case Modifiers.INTERNAL:
93 s = "internal"; break;
94 case Modifiers.PRIVATE:
96 case Modifiers.ABSTRACT:
97 s = "abstract"; break;
98 case Modifiers.SEALED:
100 case Modifiers.STATIC:
102 case Modifiers.READONLY:
103 s = "readonly"; break;
104 case Modifiers.VIRTUAL:
105 s = "virtual"; break;
106 case Modifiers.OVERRIDE:
107 s = "override"; break;
108 case Modifiers.EXTERN:
110 case Modifiers.VOLATILE:
111 s = "volatile"; break;
112 case Modifiers.UNSAFE:
114 case Modifiers.ASYNC:
122 // Used by custom property accessors to check whether @modA is more restrictive than @modB
124 public static bool IsRestrictedModifier (Modifiers modA, Modifiers modB)
128 if ((modB & Modifiers.PUBLIC) != 0) {
129 flags = Modifiers.PROTECTED | Modifiers.INTERNAL | Modifiers.PRIVATE;
130 } else if ((modB & Modifiers.PROTECTED) != 0) {
131 if ((modB & Modifiers.INTERNAL) != 0)
132 flags = Modifiers.PROTECTED | Modifiers.INTERNAL;
134 flags |= Modifiers.PRIVATE;
135 } else if ((modB & Modifiers.INTERNAL) != 0)
136 flags = Modifiers.PRIVATE;
138 return modB != modA && (modA & (~flags)) == 0;
141 public static TypeAttributes TypeAttr (Modifiers mod_flags, bool is_toplevel)
143 TypeAttributes t = 0;
146 if ((mod_flags & Modifiers.PUBLIC) != 0)
147 t = TypeAttributes.Public;
148 else if ((mod_flags & Modifiers.PRIVATE) != 0)
149 t = TypeAttributes.NotPublic;
151 if ((mod_flags & Modifiers.PUBLIC) != 0)
152 t = TypeAttributes.NestedPublic;
153 else if ((mod_flags & Modifiers.PRIVATE) != 0)
154 t = TypeAttributes.NestedPrivate;
155 else if ((mod_flags & (Modifiers.PROTECTED | Modifiers.INTERNAL)) == (Modifiers.PROTECTED | Modifiers.INTERNAL))
156 t = TypeAttributes.NestedFamORAssem;
157 else if ((mod_flags & Modifiers.PROTECTED) != 0)
158 t = TypeAttributes.NestedFamily;
159 else if ((mod_flags & Modifiers.INTERNAL) != 0)
160 t = TypeAttributes.NestedAssembly;
163 if ((mod_flags & Modifiers.SEALED) != 0)
164 t |= TypeAttributes.Sealed;
165 if ((mod_flags & Modifiers.ABSTRACT) != 0)
166 t |= TypeAttributes.Abstract;
171 public static FieldAttributes FieldAttr (Modifiers mod_flags)
173 FieldAttributes fa = 0;
175 if ((mod_flags & Modifiers.PUBLIC) != 0)
176 fa |= FieldAttributes.Public;
177 if ((mod_flags & Modifiers.PRIVATE) != 0)
178 fa |= FieldAttributes.Private;
179 if ((mod_flags & Modifiers.PROTECTED) != 0) {
180 if ((mod_flags & Modifiers.INTERNAL) != 0)
181 fa |= FieldAttributes.FamORAssem;
183 fa |= FieldAttributes.Family;
185 if ((mod_flags & Modifiers.INTERNAL) != 0)
186 fa |= FieldAttributes.Assembly;
189 if ((mod_flags & Modifiers.STATIC) != 0)
190 fa |= FieldAttributes.Static;
191 if ((mod_flags & Modifiers.READONLY) != 0)
192 fa |= FieldAttributes.InitOnly;
197 public static MethodAttributes MethodAttr (Modifiers mod_flags)
199 MethodAttributes ma = MethodAttributes.HideBySig;
201 switch (mod_flags & Modifiers.AccessibilityMask) {
202 case Modifiers.PUBLIC:
203 ma |= MethodAttributes.Public;
205 case Modifiers.PRIVATE:
206 ma |= MethodAttributes.Private;
208 case Modifiers.PROTECTED | Modifiers.INTERNAL:
209 ma |= MethodAttributes.FamORAssem;
211 case Modifiers.PROTECTED:
212 ma |= MethodAttributes.Family;
214 case Modifiers.INTERNAL:
215 ma |= MethodAttributes.Assembly;
218 throw new NotImplementedException (mod_flags.ToString ());
221 if ((mod_flags & Modifiers.STATIC) != 0)
222 ma |= MethodAttributes.Static;
223 if ((mod_flags & Modifiers.ABSTRACT) != 0) {
224 ma |= MethodAttributes.Abstract | MethodAttributes.Virtual;
226 if ((mod_flags & Modifiers.SEALED) != 0)
227 ma |= MethodAttributes.Final;
229 if ((mod_flags & Modifiers.VIRTUAL) != 0)
230 ma |= MethodAttributes.Virtual;
232 if ((mod_flags & Modifiers.OVERRIDE) != 0) {
233 ma |= MethodAttributes.Virtual;
235 if ((ma & MethodAttributes.Virtual) != 0)
236 ma |= MethodAttributes.NewSlot;
243 // Checks the object @mod modifiers to be in @allowed.
244 // Returns the new mask. Side effect: reports any
245 // incorrect attributes.
247 public static Modifiers Check (Modifiers allowed, Modifiers mod, Modifiers def_access, Location l, Report Report)
249 int invalid_flags = (~(int) allowed) & ((int) mod & ((int) Modifiers.TOP - 1));
252 if (invalid_flags == 0){
254 // If no accessibility bits provided
255 // then provide the defaults.
257 if ((mod & Modifiers.AccessibilityMask) == 0) {
260 mod |= Modifiers.DEFAULT_ACCESS_MODIFIER;
267 for (i = 1; i < (int) Modifiers.TOP; i <<= 1) {
268 if ((i & invalid_flags) == 0)
271 Error_InvalidModifier ((Modifiers)i, l, Report);
274 return allowed & mod;
277 static void Error_InvalidModifier (Modifiers mod, Location l, Report Report)
279 Report.Error (106, l, "The modifier `{0}' is not valid for this item",