← Back to branch summary

~ubuntu-branches/ubuntu/trusty/monodevelop/trusty-proposed

« back to all changes in this revision

Viewing changes to contrib/ICSharpCode.NRefactory.CSharp/TypeSystem/ConstantValues.cs

  • Committer: Package Import Robot
  • Author(s): Jo Shields
  • Date: 2013-05-12 09:46:03 UTC
  • mto: This revision was merged to the branch mainline in revision 29.
  • Revision ID: package-import@ubuntu.com-20130512094603-mad323bzcxvmcam0
Tags: upstream-4.0.5+dfsg
ImportĀ upstreamĀ versionĀ 4.0.5+dfsg

Show diffs side-by-side

added added

removed removed

Lines of Context:
contrib/ICSharpCode.NRefactory.CSharp/TypeSystem/ConstantValues.cs
1
 
ļ»æ// Copyright (c) AlphaSierraPapa for the SharpDevelop Team
2
 
// 
3
 
// Permission is hereby granted, free of charge, to any person obtaining a copy of this
4
 
// software and associated documentation files (the "Software"), to deal in the Software
5
 
// without restriction, including without limitation the rights to use, copy, modify, merge,
6
 
// publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons
7
 
// to whom the Software is furnished to do so, subject to the following conditions:
8
 
// 
9
 
// The above copyright notice and this permission notice shall be included in all copies or
10
 
// substantial portions of the Software.
11
 
// 
12
 
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED,
13
 
// INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR
14
 
// PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE
15
 
// FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR
16
 
// OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
17
 
// DEALINGS IN THE SOFTWARE.
18
 
 
19
 
using System;
20
 
using System.Collections.Generic;
21
 
using System.Linq;
22
 
using ICSharpCode.NRefactory.CSharp.Analysis;
23
 
using ICSharpCode.NRefactory.CSharp.Resolver;
24
 
using ICSharpCode.NRefactory.Semantics;
25
 
using ICSharpCode.NRefactory.TypeSystem;
26
 
using ICSharpCode.NRefactory.TypeSystem.Implementation;
27
 
using ICSharpCode.NRefactory.Utils;
28
 
 
29
 
namespace ICSharpCode.NRefactory.CSharp.TypeSystem.ConstantValues
30
 
{
31
 
        // Contains representations for constant C# expressions.
32
 
        // We use these instead of storing the full AST to reduce the memory usage.
33
 
        
34
 
        [Serializable]
35
 
        public abstract class ConstantExpression : IConstantValue
36
 
        {
37
 
                public abstract ResolveResult Resolve(CSharpResolver resolver);
38
 
                
39
 
                public ResolveResult Resolve(ITypeResolveContext context)
40
 
                {
41
 
                        var csContext = (CSharpTypeResolveContext)context;
42
 
                        if (context.CurrentAssembly != context.Compilation.MainAssembly) {
43
 
                                // The constant needs to be resolved in a different compilation.
44
 
                                IProjectContent pc = context.CurrentAssembly as IProjectContent;
45
 
                                if (pc != null) {
46
 
                                        ICompilation nestedCompilation = context.Compilation.SolutionSnapshot.GetCompilation(pc);
47
 
                                        if (nestedCompilation != null) {
48
 
                                                var nestedContext = MapToNestedCompilation(csContext, nestedCompilation);
49
 
                                                ResolveResult rr = Resolve(new CSharpResolver(nestedContext));
50
 
                                                return MapToNewContext(rr, context);
51
 
                                        }
52
 
                                }
53
 
                        }
54
 
                        // Resolve in current context.
55
 
                        return Resolve(new CSharpResolver(csContext));
56
 
                }
57
 
                
58
 
                CSharpTypeResolveContext MapToNestedCompilation(CSharpTypeResolveContext context, ICompilation nestedCompilation)
59
 
                {
60
 
                        var nestedContext = new CSharpTypeResolveContext(nestedCompilation.MainAssembly);
61
 
                        if (context.CurrentUsingScope != null) {
62
 
                                nestedContext = nestedContext.WithUsingScope(context.CurrentUsingScope.UnresolvedUsingScope.Resolve(nestedCompilation));
63
 
                        }
64
 
                        if (context.CurrentTypeDefinition != null) {
65
 
                                nestedContext = nestedContext.WithCurrentTypeDefinition(nestedCompilation.Import(context.CurrentTypeDefinition));
66
 
                        }
67
 
                        return nestedContext;
68
 
                }
69
 
                
70
 
                static ResolveResult MapToNewContext(ResolveResult rr, ITypeResolveContext newContext)
71
 
                {
72
 
                        if (rr is TypeOfResolveResult) {
73
 
                                return new TypeOfResolveResult(
74
 
                                        rr.Type.ToTypeReference().Resolve(newContext),
75
 
                                        ((TypeOfResolveResult)rr).ReferencedType.ToTypeReference().Resolve(newContext));
76
 
                        } else if (rr is ArrayCreateResolveResult) {
77
 
                                ArrayCreateResolveResult acrr = (ArrayCreateResolveResult)rr;
78
 
                                return new ArrayCreateResolveResult(
79
 
                                        acrr.Type.ToTypeReference().Resolve(newContext),
80
 
                                        MapToNewContext(acrr.SizeArguments, newContext),
81
 
                                        MapToNewContext(acrr.InitializerElements, newContext));
82
 
                        } else if (rr.IsCompileTimeConstant) {
83
 
                                return new ConstantResolveResult(
84
 
                                        rr.Type.ToTypeReference().Resolve(newContext),
85
 
                                        rr.ConstantValue
86
 
                                );
87
 
                        } else {
88
 
                                return new ErrorResolveResult(rr.Type.ToTypeReference().Resolve(newContext));
89
 
                        }
90
 
                }
91
 
                
92
 
                static ResolveResult[] MapToNewContext(IList<ResolveResult> input, ITypeResolveContext newContext)
93
 
                {
94
 
                        if (input == null)
95
 
                                return null;
96
 
                        ResolveResult[] output = new ResolveResult[input.Count];
97
 
                        for (int i = 0; i < output.Length; i++) {
98
 
                                output[i] = MapToNewContext(input[i], newContext);
99
 
                        }
100
 
                        return output;
101
 
                }
102
 
        }
103
 
        
104
 
        /// <summary>
105
 
        /// Used for constants that could not be converted to IConstantValue.
106
 
        /// </summary>
107
 
        [Serializable]
108
 
        public sealed class ErrorConstantValue : IConstantValue
109
 
        {
110
 
                readonly ITypeReference type;
111
 
                
112
 
                public ErrorConstantValue(ITypeReference type)
113
 
                {
114
 
                        if (type == null)
115
 
                                throw new ArgumentNullException("type");
116
 
                        this.type = type;
117
 
                }
118
 
                
119
 
                public ResolveResult Resolve(ITypeResolveContext context)
120
 
                {
121
 
                        return new ErrorResolveResult(type.Resolve(context));
122
 
                }
123
 
        }
124
 
        
125
 
        /// <summary>
126
 
        /// Increments an integer <see cref="IConstantValue"/> by a fixed amount without changing the type.
127
 
        /// </summary>
128
 
        [Serializable]
129
 
        public sealed class IncrementConstantValue : IConstantValue, ISupportsInterning
130
 
        {
131
 
                IConstantValue baseValue;
132
 
                int incrementAmount;
133
 
                
134
 
                public IncrementConstantValue(IConstantValue baseValue, int incrementAmount = 1)
135
 
                {
136
 
                        if (baseValue == null)
137
 
                                throw new ArgumentNullException("baseValue");
138
 
                        IncrementConstantValue icv = baseValue as IncrementConstantValue;
139
 
                        if (icv != null) {
140
 
                                this.baseValue = icv.baseValue;
141
 
                                this.incrementAmount = icv.incrementAmount + incrementAmount;
142
 
                        } else {
143
 
                                this.baseValue = baseValue;
144
 
                                this.incrementAmount = incrementAmount;
145
 
                        }
146
 
                }
147
 
                
148
 
                public ResolveResult Resolve(ITypeResolveContext context)
149
 
                {
150
 
                        ResolveResult rr = baseValue.Resolve(context);
151
 
                        if (rr.IsCompileTimeConstant && rr.ConstantValue != null) {
152
 
                                object val = rr.ConstantValue;
153
 
                                TypeCode typeCode = Type.GetTypeCode(val.GetType());
154
 
                                if (typeCode >= TypeCode.SByte && typeCode <= TypeCode.UInt64) {
155
 
                                        long intVal = (long)CSharpPrimitiveCast.Cast(TypeCode.Int64, val, false);
156
 
                                        object newVal = CSharpPrimitiveCast.Cast(typeCode, unchecked(intVal + incrementAmount), false);
157
 
                                        return new ConstantResolveResult(rr.Type, newVal);
158
 
                                }
159
 
                        }
160
 
                        return new ErrorResolveResult(rr.Type);
161
 
                }
162
 
                
163
 
                void ISupportsInterning.PrepareForInterning(IInterningProvider provider)
164
 
                {
165
 
                        baseValue = provider.Intern(baseValue);
166
 
                }
167
 
                
168
 
                int ISupportsInterning.GetHashCodeForInterning()
169
 
                {
170
 
                        unchecked {
171
 
                                return baseValue.GetHashCode() * 33 ^ incrementAmount;
172
 
                        }
173
 
                }
174
 
                
175
 
                bool ISupportsInterning.EqualsForInterning(ISupportsInterning other)
176
 
                {
177
 
                        IncrementConstantValue o = other as IncrementConstantValue;
178
 
                        return o != null && baseValue == o.baseValue && incrementAmount == o.incrementAmount;
179
 
                }
180
 
        }
181
 
        
182
 
        /// <summary>
183
 
        /// C#'s equivalent to the SimpleConstantValue.
184
 
        /// </summary>
185
 
        [Serializable]
186
 
        public sealed class PrimitiveConstantExpression : ConstantExpression, ISupportsInterning
187
 
        {
188
 
                ITypeReference type;
189
 
                object value;
190
 
                
191
 
                public ITypeReference Type {
192
 
                        get { return type; }
193
 
                }
194
 
                
195
 
                public object Value {
196
 
                        get { return value; }
197
 
                }
198
 
                
199
 
                public PrimitiveConstantExpression(ITypeReference type, object value)
200
 
                {
201
 
                        if (type == null)
202
 
                                throw new ArgumentNullException("type");
203
 
                        this.type = type;
204
 
                        this.value = value;
205
 
                }
206
 
                
207
 
                public override ResolveResult Resolve(CSharpResolver resolver)
208
 
                {
209
 
                        return new ConstantResolveResult(type.Resolve(resolver.CurrentTypeResolveContext), value);
210
 
                }
211
 
                
212
 
                void ISupportsInterning.PrepareForInterning(IInterningProvider provider)
213
 
                {
214
 
                        type = provider.Intern(type);
215
 
                        value = provider.Intern(value);
216
 
                }
217
 
                
218
 
                int ISupportsInterning.GetHashCodeForInterning()
219
 
                {
220
 
                        return type.GetHashCode() ^ (value != null ? value.GetHashCode() : 0);
221
 
                }
222
 
                
223
 
                bool ISupportsInterning.EqualsForInterning(ISupportsInterning other)
224
 
                {
225
 
                        PrimitiveConstantExpression scv = other as PrimitiveConstantExpression;
226
 
                        return scv != null && type == scv.type && value == scv.value;
227
 
                }
228
 
        }
229
 
        
230
 
        [Serializable]
231
 
        public sealed class TypeOfConstantExpression : ConstantExpression, ISupportsInterning
232
 
        {
233
 
                ITypeReference type;
234
 
                
235
 
                public ITypeReference Type {
236
 
                        get { return type; }
237
 
                }
238
 
                
239
 
                public TypeOfConstantExpression(ITypeReference type)
240
 
                {
241
 
                        this.type = type;
242
 
                }
243
 
                
244
 
                public override ResolveResult Resolve(CSharpResolver resolver)
245
 
                {
246
 
                        return resolver.ResolveTypeOf(type.Resolve(resolver.CurrentTypeResolveContext));
247
 
                }
248
 
                
249
 
                void ISupportsInterning.PrepareForInterning(IInterningProvider provider)
250
 
                {
251
 
                        type = provider.Intern(type);
252
 
                }
253
 
                
254
 
                int ISupportsInterning.GetHashCodeForInterning()
255
 
                {
256
 
                        return type.GetHashCode();
257
 
                }
258
 
                
259
 
                bool ISupportsInterning.EqualsForInterning(ISupportsInterning other)
260
 
                {
261
 
                        TypeOfConstantExpression o = other as TypeOfConstantExpression;
262
 
                        return o != null && type == o.type;
263
 
                }
264
 
        }
265
 
        
266
 
        [Serializable]
267
 
        public sealed class ConstantCast : ConstantExpression, ISupportsInterning
268
 
        {
269
 
                ITypeReference targetType;
270
 
                ConstantExpression expression;
271
 
                
272
 
                public ConstantCast(ITypeReference targetType, ConstantExpression expression)
273
 
                {
274
 
                        if (targetType == null)
275
 
                                throw new ArgumentNullException("targetType");
276
 
                        if (expression == null)
277
 
                                throw new ArgumentNullException("expression");
278
 
                        this.targetType = targetType;
279
 
                        this.expression = expression;
280
 
                }
281
 
                
282
 
                public override ResolveResult Resolve(CSharpResolver resolver)
283
 
                {
284
 
                        return resolver.ResolveCast(targetType.Resolve(resolver.CurrentTypeResolveContext), expression.Resolve(resolver));
285
 
                }
286
 
                
287
 
                void ISupportsInterning.PrepareForInterning(IInterningProvider provider)
288
 
                {
289
 
                        targetType = provider.Intern(targetType);
290
 
                        expression = provider.Intern(expression);
291
 
                }
292
 
                
293
 
                int ISupportsInterning.GetHashCodeForInterning()
294
 
                {
295
 
                        unchecked {
296
 
                                return targetType.GetHashCode() + expression.GetHashCode() * 1018829;
297
 
                        }
298
 
                }
299
 
                
300
 
                bool ISupportsInterning.EqualsForInterning(ISupportsInterning other)
301
 
                {
302
 
                        ConstantCast cast = other as ConstantCast;
303
 
                        return cast != null
304
 
                                && this.targetType == cast.targetType && this.expression == cast.expression;
305
 
                }
306
 
        }
307
 
        
308
 
        [Serializable]
309
 
        public sealed class ConstantIdentifierReference : ConstantExpression, ISupportsInterning
310
 
        {
311
 
                string identifier;
312
 
                IList<ITypeReference> typeArguments;
313
 
                
314
 
                public ConstantIdentifierReference(string identifier, IList<ITypeReference> typeArguments = null)
315
 
                {
316
 
                        if (identifier == null)
317
 
                                throw new ArgumentNullException("identifier");
318
 
                        this.identifier = identifier;
319
 
                        this.typeArguments = typeArguments ?? EmptyList<ITypeReference>.Instance;
320
 
                }
321
 
                
322
 
                public override ResolveResult Resolve(CSharpResolver resolver)
323
 
                {
324
 
                        return resolver.ResolveSimpleName(identifier, typeArguments.Resolve(resolver.CurrentTypeResolveContext));
325
 
                }
326
 
                
327
 
                void ISupportsInterning.PrepareForInterning(IInterningProvider provider)
328
 
                {
329
 
                        identifier = provider.Intern(identifier);
330
 
                        typeArguments = provider.InternList(typeArguments);
331
 
                }
332
 
                
333
 
                int ISupportsInterning.GetHashCodeForInterning()
334
 
                {
335
 
                        unchecked {
336
 
                                return identifier.GetHashCode() ^ typeArguments.GetHashCode();
337
 
                        }
338
 
                }
339
 
                
340
 
                bool ISupportsInterning.EqualsForInterning(ISupportsInterning other)
341
 
                {
342
 
                        ConstantIdentifierReference cir = other as ConstantIdentifierReference;
343
 
                        return cir != null &&
344
 
                                this.identifier == cir.identifier && this.typeArguments == cir.typeArguments;
345
 
                }
346
 
        }
347
 
        
348
 
        [Serializable]
349
 
        public sealed class ConstantMemberReference : ConstantExpression, ISupportsInterning
350
 
        {
351
 
                ITypeReference targetType;
352
 
                ConstantExpression targetExpression;
353
 
                string memberName;
354
 
                IList<ITypeReference> typeArguments;
355
 
                
356
 
                public ConstantMemberReference(ITypeReference targetType, string memberName, IList<ITypeReference> typeArguments = null)
357
 
                {
358
 
                        if (targetType == null)
359
 
                                throw new ArgumentNullException("targetType");
360
 
                        if (memberName == null)
361
 
                                throw new ArgumentNullException("memberName");
362
 
                        this.targetType = targetType;
363
 
                        this.memberName = memberName;
364
 
                        this.typeArguments = typeArguments ?? EmptyList<ITypeReference>.Instance;
365
 
                }
366
 
                
367
 
                public ConstantMemberReference(ConstantExpression targetExpression, string memberName, IList<ITypeReference> typeArguments = null)
368
 
                {
369
 
                        if (targetExpression == null)
370
 
                                throw new ArgumentNullException("targetExpression");
371
 
                        if (memberName == null)
372
 
                                throw new ArgumentNullException("memberName");
373
 
                        this.targetExpression = targetExpression;
374
 
                        this.memberName = memberName;
375
 
                        this.typeArguments = typeArguments ?? EmptyList<ITypeReference>.Instance;
376
 
                }
377
 
                
378
 
                public override ResolveResult Resolve(CSharpResolver resolver)
379
 
                {
380
 
                        ResolveResult rr;
381
 
                        if (targetType != null)
382
 
                                rr = new TypeResolveResult(targetType.Resolve(resolver.CurrentTypeResolveContext));
383
 
                        else
384
 
                                rr = targetExpression.Resolve(resolver);
385
 
                        return resolver.ResolveMemberAccess(rr, memberName, typeArguments.Resolve(resolver.CurrentTypeResolveContext));
386
 
                }
387
 
                
388
 
                void ISupportsInterning.PrepareForInterning(IInterningProvider provider)
389
 
                {
390
 
                        targetType = provider.Intern(targetType);
391
 
                        targetExpression = provider.Intern(targetExpression);
392
 
                        memberName = provider.Intern(memberName);
393
 
                        typeArguments = provider.InternList(typeArguments);
394
 
                }
395
 
                
396
 
                int ISupportsInterning.GetHashCodeForInterning()
397
 
                {
398
 
                        unchecked {
399
 
                                int hashCode;
400
 
                                if (targetType != null)
401
 
                                        hashCode = targetType.GetHashCode();
402
 
                                else
403
 
                                        hashCode = targetExpression.GetHashCode();
404
 
                                hashCode ^= memberName.GetHashCode();
405
 
                                hashCode ^= typeArguments.GetHashCode();
406
 
                                return hashCode;
407
 
                        }
408
 
                }
409
 
                
410
 
                bool ISupportsInterning.EqualsForInterning(ISupportsInterning other)
411
 
                {
412
 
                        ConstantMemberReference cmr = other as ConstantMemberReference;
413
 
                        return cmr != null
414
 
                                && this.targetType == cmr.targetType && this.targetExpression == cmr.targetExpression
415
 
                                && this.memberName == cmr.memberName && this.typeArguments == cmr.typeArguments;
416
 
                }
417
 
        }
418
 
        
419
 
        [Serializable]
420
 
        public sealed class ConstantCheckedExpression : ConstantExpression, ISupportsInterning
421
 
        {
422
 
                bool checkForOverflow;
423
 
                ConstantExpression expression;
424
 
                
425
 
                public ConstantCheckedExpression(bool checkForOverflow, ConstantExpression expression)
426
 
                {
427
 
                        if (expression == null)
428
 
                                throw new ArgumentNullException("expression");
429
 
                        this.checkForOverflow = checkForOverflow;
430
 
                        this.expression = expression;
431
 
                }
432
 
                
433
 
                public override ResolveResult Resolve(CSharpResolver resolver)
434
 
                {
435
 
                        return expression.Resolve(resolver.WithCheckForOverflow(checkForOverflow));
436
 
                }
437
 
                
438
 
                void ISupportsInterning.PrepareForInterning(IInterningProvider provider)
439
 
                {
440
 
                        expression = provider.Intern(expression);
441
 
                }
442
 
                
443
 
                int ISupportsInterning.GetHashCodeForInterning()
444
 
                {
445
 
                        return expression.GetHashCode() ^ (checkForOverflow ? 161851612 : 75163517);
446
 
                }
447
 
                
448
 
                bool ISupportsInterning.EqualsForInterning(ISupportsInterning other)
449
 
                {
450
 
                        ConstantCheckedExpression cce = other as ConstantCheckedExpression;
451
 
                        return cce != null
452
 
                                && this.expression == cce.expression
453
 
                                && this.checkForOverflow == cce.checkForOverflow;
454
 
                }
455
 
        }
456
 
        
457
 
        [Serializable]
458
 
        public sealed class ConstantDefaultValue : ConstantExpression, ISupportsInterning
459
 
        {
460
 
                ITypeReference type;
461
 
                
462
 
                public ConstantDefaultValue(ITypeReference type)
463
 
                {
464
 
                        if (type == null)
465
 
                                throw new ArgumentNullException("type");
466
 
                        this.type = type;
467
 
                }
468
 
                
469
 
                public override ResolveResult Resolve(CSharpResolver resolver)
470
 
                {
471
 
                        return resolver.ResolveDefaultValue(type.Resolve(resolver.CurrentTypeResolveContext));
472
 
                }
473
 
                
474
 
                void ISupportsInterning.PrepareForInterning(IInterningProvider provider)
475
 
                {
476
 
                        type = provider.Intern(type);
477
 
                }
478
 
                
479
 
                int ISupportsInterning.GetHashCodeForInterning()
480
 
                {
481
 
                        return type.GetHashCode();
482
 
                }
483
 
                
484
 
                bool ISupportsInterning.EqualsForInterning(ISupportsInterning other)
485
 
                {
486
 
                        ConstantDefaultValue o = other as ConstantDefaultValue;
487
 
                        return o != null && this.type == o.type;
488
 
                }
489
 
        }
490
 
        
491
 
        [Serializable]
492
 
        public sealed class ConstantUnaryOperator : ConstantExpression, ISupportsInterning
493
 
        {
494
 
                UnaryOperatorType operatorType;
495
 
                ConstantExpression expression;
496
 
                
497
 
                public ConstantUnaryOperator(UnaryOperatorType operatorType, ConstantExpression expression)
498
 
                {
499
 
                        if (expression == null)
500
 
                                throw new ArgumentNullException("expression");
501
 
                        this.operatorType = operatorType;
502
 
                        this.expression = expression;
503
 
                }
504
 
                
505
 
                public override ResolveResult Resolve(CSharpResolver resolver)
506
 
                {
507
 
                        return resolver.ResolveUnaryOperator(operatorType, expression.Resolve(resolver));
508
 
                }
509
 
                
510
 
                void ISupportsInterning.PrepareForInterning(IInterningProvider provider)
511
 
                {
512
 
                        expression = provider.Intern(expression);
513
 
                }
514
 
                
515
 
                int ISupportsInterning.GetHashCodeForInterning()
516
 
                {
517
 
                        unchecked {
518
 
                                return expression.GetHashCode() * 811 + operatorType.GetHashCode();
519
 
                        }
520
 
                }
521
 
                
522
 
                bool ISupportsInterning.EqualsForInterning(ISupportsInterning other)
523
 
                {
524
 
                        ConstantUnaryOperator uop = other as ConstantUnaryOperator;
525
 
                        return uop != null
526
 
                                && this.operatorType == uop.operatorType
527
 
                                && this.expression == uop.expression;
528
 
                }
529
 
        }
530
 
 
531
 
        [Serializable]
532
 
        public sealed class ConstantBinaryOperator : ConstantExpression, ISupportsInterning
533
 
        {
534
 
                ConstantExpression left;
535
 
                BinaryOperatorType operatorType;
536
 
                ConstantExpression right;
537
 
                
538
 
                public ConstantBinaryOperator(ConstantExpression left, BinaryOperatorType operatorType, ConstantExpression right)
539
 
                {
540
 
                        if (left == null)
541
 
                                throw new ArgumentNullException("left");
542
 
                        if (right == null)
543
 
                                throw new ArgumentNullException("right");
544
 
                        this.left = left;
545
 
                        this.operatorType = operatorType;
546
 
                        this.right = right;
547
 
                }
548
 
                
549
 
                public override ResolveResult Resolve(CSharpResolver resolver)
550
 
                {
551
 
                        ResolveResult lhs = left.Resolve(resolver);
552
 
                        ResolveResult rhs = right.Resolve(resolver);
553
 
                        return resolver.ResolveBinaryOperator(operatorType, lhs, rhs);
554
 
                }
555
 
                
556
 
                void ISupportsInterning.PrepareForInterning(IInterningProvider provider)
557
 
                {
558
 
                        left = provider.Intern(left);
559
 
                        right = provider.Intern(right);
560
 
                }
561
 
                
562
 
                int ISupportsInterning.GetHashCodeForInterning()
563
 
                {
564
 
                        unchecked {
565
 
                                return left.GetHashCode() * 811 + operatorType.GetHashCode() + right.GetHashCode() * 91781;
566
 
                        }
567
 
                }
568
 
                
569
 
                bool ISupportsInterning.EqualsForInterning(ISupportsInterning other)
570
 
                {
571
 
                        ConstantBinaryOperator bop = other as ConstantBinaryOperator;
572
 
                        return bop != null
573
 
                                && this.operatorType == bop.operatorType
574
 
                                && this.left == bop.left && this.right == bop.right;
575
 
                }
576
 
        }
577
 
        
578
 
        [Serializable]
579
 
        public sealed class ConstantConditionalOperator : ConstantExpression, ISupportsInterning
580
 
        {
581
 
                ConstantExpression condition, trueExpr, falseExpr;
582
 
                
583
 
                public ConstantConditionalOperator(ConstantExpression condition, ConstantExpression trueExpr, ConstantExpression falseExpr)
584
 
                {
585
 
                        if (condition == null)
586
 
                                throw new ArgumentNullException("condition");
587
 
                        if (trueExpr == null)
588
 
                                throw new ArgumentNullException("trueExpr");
589
 
                        if (falseExpr == null)
590
 
                                throw new ArgumentNullException("falseExpr");
591
 
                        this.condition = condition;
592
 
                        this.trueExpr = trueExpr;
593
 
                        this.falseExpr = falseExpr;
594
 
                }
595
 
                
596
 
                public override ResolveResult Resolve(CSharpResolver resolver)
597
 
                {
598
 
                        return resolver.ResolveConditional(
599
 
                                condition.Resolve(resolver),
600
 
                                trueExpr.Resolve(resolver),
601
 
                                falseExpr.Resolve(resolver)
602
 
                        );
603
 
                }
604
 
                
605
 
                void ISupportsInterning.PrepareForInterning(IInterningProvider provider)
606
 
                {
607
 
                        condition = provider.Intern(condition);
608
 
                        trueExpr = provider.Intern(trueExpr);
609
 
                        falseExpr = provider.Intern(falseExpr);
610
 
                }
611
 
                
612
 
                int ISupportsInterning.GetHashCodeForInterning()
613
 
                {
614
 
                        unchecked {
615
 
                                return condition.GetHashCode() * 182981713
616
 
                                        + trueExpr.GetHashCode() * 917517169
617
 
                                        + falseExpr.GetHashCode() * 611651;
618
 
                        }
619
 
                }
620
 
                
621
 
                bool ISupportsInterning.EqualsForInterning(ISupportsInterning other)
622
 
                {
623
 
                        ConstantConditionalOperator coo = other as ConstantConditionalOperator;
624
 
                        return coo != null
625
 
                                && this.condition == coo.condition
626
 
                                && this.trueExpr == coo.trueExpr
627
 
                                && this.falseExpr == coo.falseExpr;
628
 
                }
629
 
        }
630
 
        
631
 
        /// <summary>
632
 
        /// Represents an array creation (as used within an attribute argument)
633
 
        /// </summary>
634
 
        [Serializable]
635
 
        public sealed class ConstantArrayCreation : ConstantExpression, ISupportsInterning
636
 
        {
637
 
                // type may be null when the element is being inferred
638
 
                ITypeReference elementType;
639
 
                IList<ConstantExpression> arrayElements;
640
 
                
641
 
                public ConstantArrayCreation(ITypeReference type, IList<ConstantExpression> arrayElements)
642
 
                {
643
 
                        if (arrayElements == null)
644
 
                                throw new ArgumentNullException("arrayElements");
645
 
                        this.elementType = type;
646
 
                        this.arrayElements = arrayElements;
647
 
                }
648
 
                
649
 
                public override ResolveResult Resolve(CSharpResolver resolver)
650
 
                {
651
 
                        ResolveResult[] elements = new ResolveResult[arrayElements.Count];
652
 
                        for (int i = 0; i < elements.Length; i++) {
653
 
                                elements[i] = arrayElements[i].Resolve(resolver);
654
 
                        }
655
 
                        if (elementType != null) {
656
 
                                return resolver.ResolveArrayCreation(elementType.Resolve(resolver.CurrentTypeResolveContext), 1, null, elements);
657
 
                        } else {
658
 
                                return resolver.ResolveArrayCreation(null, 1, null, elements);
659
 
                        }
660
 
                }
661
 
                
662
 
                void ISupportsInterning.PrepareForInterning(IInterningProvider provider)
663
 
                {
664
 
                        elementType = provider.Intern(elementType);
665
 
                        arrayElements = provider.InternList(arrayElements);
666
 
                }
667
 
                
668
 
                int ISupportsInterning.GetHashCodeForInterning()
669
 
                {
670
 
                        return (elementType != null ? elementType.GetHashCode() : 0) ^ arrayElements.GetHashCode();
671
 
                }
672
 
                
673
 
                bool ISupportsInterning.EqualsForInterning(ISupportsInterning other)
674
 
                {
675
 
                        ConstantArrayCreation cac = other as ConstantArrayCreation;
676
 
                        return cac != null && this.elementType == cac.elementType && this.arrayElements == cac.arrayElements;
677
 
                }
678
 
        }
679
 
}