Browse Source
Boxing conversion for attribute arguments is now used consistently in C# type system and Cecil-loaded type system.newNRvisualizers
Daniel Grunwald
14 years ago
15 changed files with 589 additions and 312 deletions
@ -0,0 +1,450 @@
@@ -0,0 +1,450 @@
|
||||
// Copyright (c) AlphaSierraPapa for the SharpDevelop Team
|
||||
//
|
||||
// Permission is hereby granted, free of charge, to any person obtaining a copy of this
|
||||
// software and associated documentation files (the "Software"), to deal in the Software
|
||||
// without restriction, including without limitation the rights to use, copy, modify, merge,
|
||||
// publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons
|
||||
// to whom the Software is furnished to do so, subject to the following conditions:
|
||||
//
|
||||
// The above copyright notice and this permission notice shall be included in all copies or
|
||||
// substantial portions of the Software.
|
||||
//
|
||||
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED,
|
||||
// INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR
|
||||
// PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE
|
||||
// FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR
|
||||
// OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
|
||||
// DEALINGS IN THE SOFTWARE.
|
||||
|
||||
using System; |
||||
using ICSharpCode.NRefactory.TypeSystem; |
||||
|
||||
namespace ICSharpCode.NRefactory.Semantics |
||||
{ |
||||
/// <summary>
|
||||
/// Holds information about a conversion between two types.
|
||||
/// </summary>
|
||||
public abstract class Conversion : IEquatable<Conversion> |
||||
{ |
||||
#region Conversion factory methods
|
||||
/// <summary>
|
||||
/// Not a valid conversion.
|
||||
/// </summary>
|
||||
public static readonly Conversion None = new InvalidConversion(); |
||||
|
||||
/// <summary>
|
||||
/// Identity conversion.
|
||||
/// </summary>
|
||||
public static readonly Conversion IdentityConversion = new BuiltinConversion(true, 0); |
||||
|
||||
public static readonly Conversion ImplicitNumericConversion = new NumericOrEnumerationConversion(true, false); |
||||
public static readonly Conversion ExplicitNumericConversion = new NumericOrEnumerationConversion(false, false); |
||||
public static readonly Conversion ImplicitLiftedNumericConversion = new NumericOrEnumerationConversion(true, true); |
||||
public static readonly Conversion ExplicitLiftedNumericConversion = new NumericOrEnumerationConversion(false, true); |
||||
|
||||
public static Conversion EnumerationConversion(bool isImplicit, bool isLifted) |
||||
{ |
||||
return new NumericOrEnumerationConversion(isImplicit, isLifted, true); |
||||
} |
||||
|
||||
public static readonly Conversion NullLiteralConversion = new BuiltinConversion(true, 1); |
||||
|
||||
/// <summary>
|
||||
/// The numeric conversion of a constant expression.
|
||||
/// </summary>
|
||||
public static readonly Conversion ImplicitConstantExpressionConversion = new BuiltinConversion(true, 2); |
||||
|
||||
public static readonly Conversion ImplicitReferenceConversion = new BuiltinConversion(true, 3); |
||||
public static readonly Conversion ExplicitReferenceConversion = new BuiltinConversion(false, 3); |
||||
|
||||
public static readonly Conversion ImplicitDynamicConversion = new BuiltinConversion(true, 4); |
||||
public static readonly Conversion ExplicitDynamicConversion = new BuiltinConversion(false, 4); |
||||
|
||||
public static readonly Conversion ImplicitNullableConversion = new BuiltinConversion(true, 5); |
||||
public static readonly Conversion ExplicitNullableConversion = new BuiltinConversion(false, 5); |
||||
|
||||
public static readonly Conversion ImplicitPointerConversion = new BuiltinConversion(true, 6); |
||||
public static readonly Conversion ExplicitPointerConversion = new BuiltinConversion(false, 6); |
||||
|
||||
public static readonly Conversion BoxingConversion = new BuiltinConversion(true, 7); |
||||
public static readonly Conversion UnboxingConversion = new BuiltinConversion(false, 8); |
||||
|
||||
public static Conversion UserDefinedImplicitConversion(IMethod operatorMethod, bool isLifted) |
||||
{ |
||||
if (operatorMethod == null) |
||||
throw new ArgumentNullException("operatorMethod"); |
||||
return new UserDefinedConversion(true, operatorMethod, isLifted); |
||||
} |
||||
|
||||
public static Conversion UserDefinedExplicitConversion(IMethod operatorMethod, bool isLifted) |
||||
{ |
||||
if (operatorMethod == null) |
||||
throw new ArgumentNullException("operatorMethod"); |
||||
return new UserDefinedConversion(false, operatorMethod, isLifted); |
||||
} |
||||
|
||||
public static Conversion MethodGroupConversion(IMethod chosenMethod) |
||||
{ |
||||
if (chosenMethod == null) |
||||
throw new ArgumentNullException("chosenMethod"); |
||||
return new MethodGroupConv(chosenMethod); |
||||
} |
||||
#endregion
|
||||
|
||||
#region Inner classes
|
||||
sealed class InvalidConversion : Conversion |
||||
{ |
||||
public override bool IsValid { |
||||
get { return false; } |
||||
} |
||||
|
||||
public override string ToString() |
||||
{ |
||||
return "None"; |
||||
} |
||||
} |
||||
|
||||
sealed class NumericOrEnumerationConversion : Conversion |
||||
{ |
||||
readonly bool isImplicit; |
||||
readonly bool isLifted; |
||||
readonly bool isEnumeration; |
||||
|
||||
public NumericOrEnumerationConversion(bool isImplicit, bool isLifted, bool isEnumeration = false) |
||||
{ |
||||
this.isImplicit = isImplicit; |
||||
this.isLifted = isLifted; |
||||
this.isEnumeration = isEnumeration; |
||||
} |
||||
|
||||
public override bool IsImplicit { |
||||
get { return isImplicit; } |
||||
} |
||||
|
||||
public override bool IsExplicit { |
||||
get { return !isImplicit; } |
||||
} |
||||
|
||||
public override bool IsNumericConversion { |
||||
get { return !isEnumeration; } |
||||
} |
||||
|
||||
public override bool IsEnumerationConversion { |
||||
get { return isEnumeration; } |
||||
} |
||||
|
||||
public override bool IsLifted { |
||||
get { return isLifted; } |
||||
} |
||||
|
||||
public override string ToString() |
||||
{ |
||||
return (isImplicit ? "implicit" : "explicit") |
||||
+ (isLifted ? " lifted" : "") |
||||
+ (isEnumeration ? " enumeration" : " numeric") |
||||
+ " conversion"; |
||||
} |
||||
|
||||
public override bool Equals(Conversion other) |
||||
{ |
||||
NumericOrEnumerationConversion o = other as NumericOrEnumerationConversion; |
||||
return o != null && isImplicit == o.isImplicit && isLifted == o.isLifted && isEnumeration == o.isEnumeration; |
||||
} |
||||
|
||||
public override int GetHashCode() |
||||
{ |
||||
return (isImplicit ? 1 : 0) + (isLifted ? 2 : 0) + (isEnumeration ? 4 : 0); |
||||
} |
||||
} |
||||
|
||||
sealed class BuiltinConversion : Conversion |
||||
{ |
||||
readonly bool isImplicit; |
||||
readonly byte type; |
||||
|
||||
public BuiltinConversion(bool isImplicit, byte type) |
||||
{ |
||||
this.isImplicit = isImplicit; |
||||
this.type = type; |
||||
} |
||||
|
||||
public override bool IsImplicit { |
||||
get { return isImplicit; } |
||||
} |
||||
|
||||
public override bool IsExplicit { |
||||
get { return !isImplicit; } |
||||
} |
||||
|
||||
public override bool IsIdentityConversion { |
||||
get { return type == 0; } |
||||
} |
||||
|
||||
public override bool IsReferenceConversion { |
||||
get { return type == 3; } |
||||
} |
||||
|
||||
public override bool IsDynamicConversion { |
||||
get { return type == 4; } |
||||
} |
||||
|
||||
public override bool IsNullableConversion { |
||||
get { return type == 5; } |
||||
} |
||||
|
||||
public override bool IsPointerConversion { |
||||
get { return type == 6; } |
||||
} |
||||
|
||||
public override bool IsBoxingConversion { |
||||
get { return type == 7; } |
||||
} |
||||
|
||||
public override bool IsUnboxingConversion { |
||||
get { return type == 8; } |
||||
} |
||||
|
||||
public override string ToString() |
||||
{ |
||||
string name = null; |
||||
switch (type) { |
||||
case 0: |
||||
return "identity conversion"; |
||||
case 1: |
||||
return "null-literal conversion"; |
||||
case 2: |
||||
name = "constant-expression"; |
||||
break; |
||||
case 3: |
||||
name = "reference"; |
||||
break; |
||||
case 4: |
||||
name = "dynamic"; |
||||
break; |
||||
case 5: |
||||
name = "nullable"; |
||||
break; |
||||
case 6: |
||||
name = "pointer"; |
||||
break; |
||||
case 7: |
||||
return "boxing conversion"; |
||||
case 8: |
||||
return "unboxing conversion"; |
||||
} |
||||
return (isImplicit ? "implicit " : "explicit ") + name + " conversion"; |
||||
} |
||||
} |
||||
|
||||
sealed class UserDefinedConversion : Conversion |
||||
{ |
||||
readonly IMethod method; |
||||
readonly bool isLifted; |
||||
readonly bool isImplicit; |
||||
|
||||
public UserDefinedConversion(bool isImplicit, IMethod method, bool isLifted) |
||||
{ |
||||
this.method = method; |
||||
this.isLifted = isLifted; |
||||
this.isImplicit = isImplicit; |
||||
} |
||||
|
||||
public override bool IsImplicit { |
||||
get { return isImplicit; } |
||||
} |
||||
|
||||
public override bool IsExplicit { |
||||
get { return !isImplicit; } |
||||
} |
||||
|
||||
public override bool IsLifted { |
||||
get { return isLifted; } |
||||
} |
||||
|
||||
public override bool IsUserDefined { |
||||
get { return true; } |
||||
} |
||||
|
||||
public override IMethod Method { |
||||
get { return method; } |
||||
} |
||||
|
||||
public override bool Equals(Conversion other) |
||||
{ |
||||
UserDefinedConversion o = other as UserDefinedConversion; |
||||
return o != null && isLifted == o.isLifted && isImplicit == o.isImplicit && method.Equals(o.method); |
||||
} |
||||
|
||||
public override int GetHashCode() |
||||
{ |
||||
return unchecked(method.GetHashCode() * (isLifted ? 31 : 27) * (isImplicit ? 71 : 61)); |
||||
} |
||||
|
||||
public override string ToString() |
||||
{ |
||||
return (isImplicit ? "implicit" : "explicit") |
||||
+ (isLifted ? " lifted" : "") |
||||
+ "user-defined conversion (" + method + ")"; |
||||
} |
||||
} |
||||
|
||||
sealed class MethodGroupConv : Conversion |
||||
{ |
||||
readonly IMethod method; |
||||
|
||||
public MethodGroupConv(IMethod method) |
||||
{ |
||||
this.method = method; |
||||
} |
||||
|
||||
public override bool IsImplicit { |
||||
get { return true; } |
||||
} |
||||
|
||||
public override bool IsMethodGroupConversion { |
||||
get { return true; } |
||||
} |
||||
|
||||
public override IMethod Method { |
||||
get { return method; } |
||||
} |
||||
|
||||
public override bool Equals(Conversion other) |
||||
{ |
||||
MethodGroupConv o = other as MethodGroupConv; |
||||
return o != null && method.Equals(o.method); |
||||
} |
||||
|
||||
public override int GetHashCode() |
||||
{ |
||||
return method.GetHashCode(); |
||||
} |
||||
} |
||||
#endregion
|
||||
|
||||
/// <summary>
|
||||
/// Gets whether the conversion is valid.
|
||||
/// </summary>
|
||||
public virtual bool IsValid { |
||||
get { return true; } |
||||
} |
||||
|
||||
public virtual bool IsImplicit { |
||||
get { return false; } |
||||
} |
||||
|
||||
public virtual bool IsExplicit { |
||||
get { return false; } |
||||
} |
||||
|
||||
public virtual bool IsIdentityConversion { |
||||
get { return false; } |
||||
} |
||||
|
||||
public virtual bool IsNumericConversion { |
||||
get { return false; } |
||||
} |
||||
|
||||
/// <summary>
|
||||
/// Gets whether this conversion is a lifted version of another conversion.
|
||||
/// </summary>
|
||||
public virtual bool IsLifted { |
||||
get { return false; } |
||||
} |
||||
|
||||
/// <summary>
|
||||
/// Gets whether the conversion is dynamic.
|
||||
/// </summary>
|
||||
public virtual bool IsDynamicConversion { |
||||
get { return false; } |
||||
} |
||||
|
||||
/// <summary>
|
||||
/// Gets whether the conversion is a reference conversion.
|
||||
/// </summary>
|
||||
public virtual bool IsReferenceConversion { |
||||
get { return false; } |
||||
} |
||||
|
||||
/// <summary>
|
||||
/// Gets whether the conversion is an enumeration conversion.
|
||||
/// </summary>
|
||||
public virtual bool IsEnumerationConversion { |
||||
get { return false; } |
||||
} |
||||
|
||||
/// <summary>
|
||||
/// Gets whether the conversion is a nullable conversion
|
||||
/// (conversion between a nullable type and the regular type).
|
||||
/// </summary>
|
||||
public virtual bool IsNullableConversion { |
||||
get { return false; } |
||||
} |
||||
|
||||
/// <summary>
|
||||
/// Gets whether this conversion is user-defined (op_Implicit or op_Explicit).
|
||||
/// </summary>
|
||||
public virtual bool IsUserDefined { |
||||
get { return false; } |
||||
} |
||||
|
||||
/// <summary>
|
||||
/// Gets whether this conversion is a boxing conversion.
|
||||
/// </summary>
|
||||
public virtual bool IsBoxingConversion { |
||||
get { return false; } |
||||
} |
||||
|
||||
/// <summary>
|
||||
/// Gets whether this conversion is an unboxing conversion.
|
||||
/// </summary>
|
||||
public virtual bool IsUnboxingConversion { |
||||
get { return false; } |
||||
} |
||||
|
||||
/// <summary>
|
||||
/// Gets whether this conversion is an unboxing conversion.
|
||||
/// </summary>
|
||||
public virtual bool IsPointerConversion { |
||||
get { return false; } |
||||
} |
||||
|
||||
/// <summary>
|
||||
/// Gets whether this conversion is a method group conversion.
|
||||
/// </summary>
|
||||
public virtual bool IsMethodGroupConversion { |
||||
get { return false; } |
||||
} |
||||
|
||||
/// <summary>
|
||||
/// Gets whether this conversion is an anonymous function conversion.
|
||||
/// </summary>
|
||||
public virtual bool IsAnonymousFunctionConversion { |
||||
get { return false; } |
||||
} |
||||
|
||||
/// <summary>
|
||||
/// Gets the method associated with this conversion.
|
||||
/// For user-defined conversions, this is the method being called.
|
||||
/// For method-group conversions, this is the method that was chosen from the group.
|
||||
/// </summary>
|
||||
public virtual IMethod Method { |
||||
get { return null; } |
||||
} |
||||
|
||||
public override sealed bool Equals(object obj) |
||||
{ |
||||
return Equals(obj as Conversion); |
||||
} |
||||
|
||||
public override int GetHashCode() |
||||
{ |
||||
return base.GetHashCode(); |
||||
} |
||||
|
||||
public virtual bool Equals(Conversion other) |
||||
{ |
||||
return this == other; |
||||
} |
||||
} |
||||
} |
||||
Loading…
Reference in new issue