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_MODIFER = 0x40000,
50
METHOD_EXTENSION = 0x80000,
51
COMPILER_GENERATED = 0x100000,
52
BACKING_FIELD = 0x200000,
53
DEBUGGER_HIDDEN = 0x400000,
55
AccessibilityMask = PUBLIC | PROTECTED | INTERNAL | PRIVATE,
56
AllowedExplicitImplFlags = UNSAFE | EXTERN,
59
static class ModifiersExtensions
61
public static string AccessibilityName (Modifiers mod)
63
switch (mod & Modifiers.AccessibilityMask) {
64
case Modifiers.PUBLIC:
66
case Modifiers.PROTECTED:
68
case Modifiers.PROTECTED | Modifiers.INTERNAL:
69
return "protected internal";
70
case Modifiers.INTERNAL:
72
case Modifiers.PRIVATE:
75
throw new NotImplementedException (mod.ToString ());
79
static public string Name (Modifiers i)
86
case Modifiers.PUBLIC:
88
case Modifiers.PROTECTED:
89
s = "protected"; break;
90
case Modifiers.INTERNAL:
91
s = "internal"; break;
92
case Modifiers.PRIVATE:
94
case Modifiers.ABSTRACT:
95
s = "abstract"; break;
96
case Modifiers.SEALED:
98
case Modifiers.STATIC:
100
case Modifiers.READONLY:
101
s = "readonly"; break;
102
case Modifiers.VIRTUAL:
103
s = "virtual"; break;
104
case Modifiers.OVERRIDE:
105
s = "override"; break;
106
case Modifiers.EXTERN:
108
case Modifiers.VOLATILE:
109
s = "volatile"; break;
110
case Modifiers.UNSAFE:
112
case Modifiers.ASYNC:
120
// Used by custom property accessors to check whether @modA is more restrictive than @modB
122
public static bool IsRestrictedModifier (Modifiers modA, Modifiers modB)
126
if ((modB & Modifiers.PUBLIC) != 0) {
127
flags = Modifiers.PROTECTED | Modifiers.INTERNAL | Modifiers.PRIVATE;
128
} else if ((modB & Modifiers.PROTECTED) != 0) {
129
if ((modB & Modifiers.INTERNAL) != 0)
130
flags = Modifiers.PROTECTED | Modifiers.INTERNAL;
132
flags |= Modifiers.PRIVATE;
133
} else if ((modB & Modifiers.INTERNAL) != 0)
134
flags = Modifiers.PRIVATE;
136
return modB != modA && (modA & (~flags)) == 0;
139
public static TypeAttributes TypeAttr (Modifiers mod_flags, bool is_toplevel)
141
TypeAttributes t = 0;
144
if ((mod_flags & Modifiers.PUBLIC) != 0)
145
t = TypeAttributes.Public;
146
else if ((mod_flags & Modifiers.PRIVATE) != 0)
147
t = TypeAttributes.NotPublic;
149
if ((mod_flags & Modifiers.PUBLIC) != 0)
150
t = TypeAttributes.NestedPublic;
151
else if ((mod_flags & Modifiers.PRIVATE) != 0)
152
t = TypeAttributes.NestedPrivate;
153
else if ((mod_flags & (Modifiers.PROTECTED | Modifiers.INTERNAL)) == (Modifiers.PROTECTED | Modifiers.INTERNAL))
154
t = TypeAttributes.NestedFamORAssem;
155
else if ((mod_flags & Modifiers.PROTECTED) != 0)
156
t = TypeAttributes.NestedFamily;
157
else if ((mod_flags & Modifiers.INTERNAL) != 0)
158
t = TypeAttributes.NestedAssembly;
161
if ((mod_flags & Modifiers.SEALED) != 0)
162
t |= TypeAttributes.Sealed;
163
if ((mod_flags & Modifiers.ABSTRACT) != 0)
164
t |= TypeAttributes.Abstract;
169
public static FieldAttributes FieldAttr (Modifiers mod_flags)
171
FieldAttributes fa = 0;
173
if ((mod_flags & Modifiers.PUBLIC) != 0)
174
fa |= FieldAttributes.Public;
175
if ((mod_flags & Modifiers.PRIVATE) != 0)
176
fa |= FieldAttributes.Private;
177
if ((mod_flags & Modifiers.PROTECTED) != 0) {
178
if ((mod_flags & Modifiers.INTERNAL) != 0)
179
fa |= FieldAttributes.FamORAssem;
181
fa |= FieldAttributes.Family;
183
if ((mod_flags & Modifiers.INTERNAL) != 0)
184
fa |= FieldAttributes.Assembly;
187
if ((mod_flags & Modifiers.STATIC) != 0)
188
fa |= FieldAttributes.Static;
189
if ((mod_flags & Modifiers.READONLY) != 0)
190
fa |= FieldAttributes.InitOnly;
195
public static MethodAttributes MethodAttr (Modifiers mod_flags)
197
MethodAttributes ma = MethodAttributes.HideBySig;
199
switch (mod_flags & Modifiers.AccessibilityMask) {
200
case Modifiers.PUBLIC:
201
ma |= MethodAttributes.Public;
203
case Modifiers.PRIVATE:
204
ma |= MethodAttributes.Private;
206
case Modifiers.PROTECTED | Modifiers.INTERNAL:
207
ma |= MethodAttributes.FamORAssem;
209
case Modifiers.PROTECTED:
210
ma |= MethodAttributes.Family;
212
case Modifiers.INTERNAL:
213
ma |= MethodAttributes.Assembly;
216
throw new NotImplementedException (mod_flags.ToString ());
219
if ((mod_flags & Modifiers.STATIC) != 0)
220
ma |= MethodAttributes.Static;
221
if ((mod_flags & Modifiers.ABSTRACT) != 0) {
222
ma |= MethodAttributes.Abstract | MethodAttributes.Virtual;
224
if ((mod_flags & Modifiers.SEALED) != 0)
225
ma |= MethodAttributes.Final;
227
if ((mod_flags & Modifiers.VIRTUAL) != 0)
228
ma |= MethodAttributes.Virtual;
230
if ((mod_flags & Modifiers.OVERRIDE) != 0) {
231
ma |= MethodAttributes.Virtual;
233
if ((ma & MethodAttributes.Virtual) != 0)
234
ma |= MethodAttributes.NewSlot;
241
// Checks the object @mod modifiers to be in @allowed.
242
// Returns the new mask. Side effect: reports any
243
// incorrect attributes.
245
public static Modifiers Check (Modifiers allowed, Modifiers mod, Modifiers def_access, Location l, Report Report)
247
int invalid_flags = (~(int) allowed) & ((int) mod & ((int) Modifiers.TOP - 1));
250
if (invalid_flags == 0){
252
// If no accessibility bits provided
253
// then provide the defaults.
255
if ((mod & Modifiers.AccessibilityMask) == 0) {
258
mod |= Modifiers.DEFAULT_ACCESS_MODIFER;
265
for (i = 1; i <= (int) Modifiers.TOP; i <<= 1) {
266
if ((i & invalid_flags) == 0)
269
Error_InvalidModifier ((Modifiers)i, l, Report);
272
return allowed & mod;
275
static void Error_InvalidModifier (Modifiers mod, Location l, Report Report)
277
Report.Error (106, l, "The modifier `{0}' is not valid for this item",