-
Notifications
You must be signed in to change notification settings - Fork 4
/
TypeEnvironment.cs
400 lines (352 loc) · 13 KB
/
TypeEnvironment.cs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
using System;
namespace Flame.TypeSystem
{
/// <summary>
/// A base class for classes that augment Flame's
/// type system with types specific to a particular
/// environment
/// </summary>
public abstract class TypeEnvironment
{
/// <summary>
/// Tries to create a signed integer type with
/// a particular number of bits of storage.
/// </summary>
/// <param name="sizeInBits">
/// The size in bits of the integer type to create.
/// </param>
/// <param name="integerType">
/// The integer type.
/// </param>
/// <returns>
/// <c>true</c> if the environment can create such an
/// integer type; otherwise, <c>false</c>.
/// </returns>
public abstract bool TryMakeSignedIntegerType(
int sizeInBits,
out IType integerType);
/// <summary>
/// Tries to create an unsigned integer type with
/// a particular number of bits of storage.
/// </summary>
/// <param name="sizeInBits">
/// The size in bits of the integer type to create.
/// </param>
/// <param name="integerType">
/// The integer type.
/// </param>
/// <returns>
/// <c>true</c> if the environment can create such an
/// integer type; otherwise, <c>false</c>.
/// </returns>
public abstract bool TryMakeUnsignedIntegerType(
int sizeInBits,
out IType integerType);
/// <summary>
/// Tries to create an array type with a particular
/// element type and rank.
/// </summary>
/// <param name="elementType">
/// The type of value to store in the array.
/// </param>
/// <param name="rank">
/// The rank of the array, that is, the number of
/// dimensions in the array.
/// </param>
/// <param name="arrayType">
/// An array with the specified element type and rank.
/// </param>
/// <returns>
/// <c>true</c> if the environment can create such an
/// array type; otherwise, <c>false</c>.
/// </returns>
public abstract bool TryMakeArrayType(
IType elementType,
int rank,
out IType arrayType);
/// <summary>
/// Gets the subtyping rules for this type environment.
/// </summary>
/// <value>The subtyping rules.</value>
public abstract SubtypingRules Subtyping { get; }
/// <summary>
/// Gets the Void type in this type environment.
/// </summary>
/// <value>The Void type.</value>
public abstract IType Void { get; }
/// <summary>
/// Gets the 32-bit floating point type in this type environment.
/// </summary>
/// <value>A 32-bit floating point type.</value>
public abstract IType Float32 { get; }
/// <summary>
/// Gets the 64-bit floating point type in this type environment.
/// </summary>
/// <value>A 64-bit floating point type.</value>
public abstract IType Float64 { get; }
/// <summary>
/// Gets the character string type in this type environment.
/// </summary>
/// <value>The character string type.</value>
public abstract IType String { get; }
/// <summary>
/// Gets the character type in this type environment.
/// </summary>
/// <value>The character type.</value>
public abstract IType Char { get; }
/// <summary>
/// Gets the natural signed integer type in this type environment.
/// </summary>
/// <value>The natural signed integer type.</value>
public abstract IType NaturalInt { get; }
/// <summary>
/// Gets the natural unsigned integer type in this type environment.
/// </summary>
/// <value>The natural unsigned integer type.</value>
public abstract IType NaturalUInt { get; }
/// <summary>
/// Gets the root type for this environment, if there is a root type.
/// </summary>
/// <value>The root type.</value>
public abstract IType Object { get; }
/// <summary>
/// Gets the canonical type of a type token in this environment, if there is such a type.
/// </summary>
/// <value>The type token type.</value>
public abstract IType TypeToken { get; }
/// <summary>
/// Gets the canonical type of a field token in this environment, if there is such a type.
/// </summary>
/// <value>The field token type.</value>
public abstract IType FieldToken { get; }
/// <summary>
/// Gets the canonical type of a method token in this environment, if there is such a type.
/// </summary>
/// <value>The method token type.</value>
public abstract IType MethodToken { get; }
/// <summary>
/// Gets the canonical type of a captured exception in this environment.
/// </summary>
/// <value>The captured exception type.</value>
public abstract IType CapturedException { get; }
/// <summary>
/// Gets the Boolean type in this type environment.
/// Booleans are represented by the UInt1 type.
/// </summary>
/// <value>The Boolean type aka UInt1.</value>
public IType Boolean => MakeUnsignedIntegerType(1);
/// <summary>
/// Gets an 8-bit signed integer type.
/// </summary>
/// <returns>
/// An 8-bit signed integer type if one can be created;
/// otherwise, <c>null</c>.
/// </returns>
public IType Int8 => MakeSignedIntegerType(8);
/// <summary>
/// Gets an 8-bit unsigned integer type.
/// </summary>
/// <returns>
/// An 8-bit unsigned integer type if one can be created;
/// otherwise, <c>null</c>.
/// </returns>
public IType UInt8 => MakeUnsignedIntegerType(8);
/// <summary>
/// Gets a 16-bit signed integer type.
/// </summary>
/// <returns>
/// A 16-bit signed integer type if one can be created;
/// otherwise, <c>null</c>.
/// </returns>
public IType Int16 => MakeSignedIntegerType(16);
/// <summary>
/// Gets a 16-bit unsigned integer type.
/// </summary>
/// <returns>
/// A 16-bit unsigned integer type if one can be created;
/// otherwise, <c>null</c>.
/// </returns>
public IType UInt16 => MakeUnsignedIntegerType(16);
/// <summary>
/// Gets a 32-bit signed integer type.
/// </summary>
/// <returns>
/// A 32-bit signed integer type if one can be created;
/// otherwise, <c>null</c>.
/// </returns>
public IType Int32 => MakeSignedIntegerType(32);
/// <summary>
/// Gets a 32-bit unsigned integer type.
/// </summary>
/// <returns>
/// A 32-bit unsigned integer type if one can be created;
/// otherwise, <c>null</c>.
/// </returns>
public IType UInt32 => MakeUnsignedIntegerType(32);
/// <summary>
/// Gets a 64-bit signed integer type.
/// </summary>
/// <returns>
/// A 64-bit signed integer type if one can be created;
/// otherwise, <c>null</c>.
/// </returns>
public IType Int64 => MakeSignedIntegerType(64);
/// <summary>
/// Gets a 64-bit unsigned integer type.
/// </summary>
/// <returns>
/// A 64-bit unsigned integer type if one can be created;
/// otherwise, <c>null</c>.
/// </returns>
public IType UInt64 => MakeUnsignedIntegerType(64);
/// <summary>
/// Creates a signed integer type with a particular number
/// of bits of storage.
/// </summary>
/// <param name="sizeInBits">The integer type's size in bits.</param>
/// <returns>
/// A signed integer type if one can be created;
/// otherwise, <c>null</c>.
/// </returns>
public IType MakeSignedIntegerType(int sizeInBits)
{
IType result;
if (TryMakeSignedIntegerType(sizeInBits, out result))
{
return result;
}
else
{
return null;
}
}
/// <summary>
/// Creates an unsigned integer type with a particular number
/// of bits of storage.
/// </summary>
/// <param name="sizeInBits">The integer type's size in bits.</param>
/// <returns>
/// An unsigned integer type if one can be created;
/// otherwise, <c>null</c>.
/// </returns>
public IType MakeUnsignedIntegerType(int sizeInBits)
{
IType result;
if (TryMakeUnsignedIntegerType(sizeInBits, out result))
{
return result;
}
else
{
return null;
}
}
/// <summary>
/// Creates an array type of a particular rank.
/// </summary>
/// <param name="elementType">
/// The type of element stored in the array.
/// </param>
/// <param name="rank">The array's rank.</param>
/// <returns>
/// An array type if one can be created in this environment;
/// otherwise, <c>null</c>.
/// </returns>
public IType MakeArrayType(IType elementType, int rank)
{
IType result;
if (TryMakeArrayType(elementType, rank, out result))
{
return result;
}
else
{
return null;
}
}
}
/// <summary>
/// A type environment that wraps an inner type environment that
/// can be changed at will.
///
/// The main use-case for this kind of environment is a situation
/// where the type environment for an assembly is defined by that
/// assembly itself but the assembly does not allow for the type
/// environment to change.
/// </summary>
public sealed class MutableTypeEnvironment : TypeEnvironment
{
/// <summary>
/// Creates a mutable type environment.
/// </summary>
/// <param name="innerEnvironment">
/// An inner environment to forward requests to.
/// </param>
public MutableTypeEnvironment(
TypeEnvironment innerEnvironment)
{
this.InnerEnvironment = innerEnvironment;
}
/// <summary>
/// Gets or sets the inner environment, to which all requests
/// are forwarded by this type environment.
/// </summary>
/// <returns>The inner type environment.</returns>
public TypeEnvironment InnerEnvironment { get; set; }
/// <inheritdoc/>
public override IType Void => InnerEnvironment.Void;
/// <inheritdoc/>
public override IType Float32 => InnerEnvironment.Float32;
/// <inheritdoc/>
public override IType Float64 => InnerEnvironment.Float64;
/// <inheritdoc/>
public override IType Char => InnerEnvironment.Char;
/// <inheritdoc/>
public override IType String => InnerEnvironment.String;
/// <inheritdoc/>
public override IType NaturalInt => InnerEnvironment.NaturalInt;
/// <inheritdoc/>
public override IType NaturalUInt => InnerEnvironment.NaturalUInt;
/// <inheritdoc/>
public override IType Object => InnerEnvironment.Object;
/// <inheritdoc/>
public override IType TypeToken => InnerEnvironment.TypeToken;
/// <inheritdoc/>
public override IType FieldToken => InnerEnvironment.FieldToken;
/// <inheritdoc/>
public override IType MethodToken => InnerEnvironment.MethodToken;
/// <inheritdoc/>
public override IType CapturedException => InnerEnvironment.CapturedException;
/// <inheritdoc/>
public override SubtypingRules Subtyping => InnerEnvironment.Subtyping;
/// <inheritdoc/>
public override bool TryMakeArrayType(
IType elementType,
int rank,
out IType arrayType)
{
return InnerEnvironment.TryMakeArrayType(
elementType,
rank,
out arrayType);
}
/// <inheritdoc/>
public override bool TryMakeSignedIntegerType(
int sizeInBits,
out IType integerType)
{
return InnerEnvironment.TryMakeSignedIntegerType(
sizeInBits,
out integerType);
}
/// <inheritdoc/>
public override bool TryMakeUnsignedIntegerType(
int sizeInBits,
out IType integerType)
{
return InnerEnvironment.TryMakeUnsignedIntegerType(
sizeInBits,
out integerType);
}
}
}