/* ****************************************************************************
*
* Copyright (c) Microsoft Corporation.
*
* This source code is subject to terms and conditions of the Microsoft Public License. A
* copy of the license can be found in the License.html file at the root of this distribution. If
* you cannot locate the Microsoft Public License, please send an email to
* dlr@microsoft.com. By using this source code in any fashion, you are agreeing to be bound
* by the terms of the Microsoft Public License.
*
* You must not remove this notice, or any other, from this software.
*
*
* ***************************************************************************/
using System;
using System.Diagnostics;
using System.Dynamic.Utils;
#if SILVERLIGHT
using System.Core;
#endif
#if CLR2
namespace Microsoft.Scripting.Ast{
#else
namespace System.Linq.Expressions {
#endif
/// <summary>
/// Represents a named parameter expression.
/// </summary>
#if !SILVERLIGHT
[DebuggerTypeProxy(typeof(Expression.ParameterExpressionProxy))]
#endif
public class ParameterExpression : Expression {
private readonly string _name;
internal ParameterExpression(string name) {
_name = name;
}
internal static ParameterExpression Make(Type type, string name, bool isByRef) {
if (isByRef) {
return new ByRefParameterExpression(type, name);
} else {
if (!type.IsEnum) {
switch (Type.GetTypeCode(type)) {
case TypeCode.Boolean: return new PrimitiveParameterExpression<Boolean>(name);
case TypeCode.Byte: return new PrimitiveParameterExpression<Byte>(name);
case TypeCode.Char: return new PrimitiveParameterExpression<Char>(name);
case TypeCode.DateTime: return new PrimitiveParameterExpression<DateTime>(name);
case TypeCode.DBNull: return new PrimitiveParameterExpression<DBNull>(name);
case TypeCode.Decimal: return new PrimitiveParameterExpression<Decimal>(name);
case TypeCode.Double: return new PrimitiveParameterExpression<Double>(name);
case TypeCode.Int16: return new PrimitiveParameterExpression<Int16>(name);
case TypeCode.Int32: return new PrimitiveParameterExpression<Int32>(name);
case TypeCode.Int64: return new PrimitiveParameterExpression<Int64>(name);
case TypeCode.Object:
// common reference types which we optimize go here. Of course object is in
// the list, the others are driven by profiling of various workloads. This list
// should be kept short.
if (type == typeof(object)) {
return new ParameterExpression(name);
} else if (type == typeof(Exception)) {
return new PrimitiveParameterExpression<Exception>(name);
} else if (type == typeof(object[])) {
return new PrimitiveParameterExpression<object[]>(name);
}
break;
case TypeCode.SByte: return new PrimitiveParameterExpression<SByte>(name);
case TypeCode.Single: return new PrimitiveParameterExpression<Single>(name);
case TypeCode.String: return new PrimitiveParameterExpression<String>(name);
case TypeCode.UInt16: return new PrimitiveParameterExpression<UInt16>(name);
case TypeCode.UInt32: return new PrimitiveParameterExpression<UInt32>(name);
case TypeCode.UInt64: return new PrimitiveParameterExpression<UInt64>(name);
}
}
}
return new TypedParameterExpression(type, name);
}
/// <summary>
/// Gets the static type of the expression that this <see cref="Expression" /> represents. (Inherited from <see cref="Expression"/>.)
/// </summary>
/// <returns>The <see cref="Type"/> that represents the static type of the expression.</returns>
public override Type Type {
get { return typeof(object); }
}
/// <summary>
/// Returns the node type of this <see cref="Expression" />. (Inherited from <see cref="Expression" />.)
/// </summary>
/// <returns>The <see cref="ExpressionType"/> that represents this expression.</returns>
public sealed override ExpressionType NodeType {
get { return ExpressionType.Parameter; }
}
/// <summary>
/// The Name of the parameter or variable.
/// </summary>
public string Name {
get { return _name; }
}
/// <summary>
/// Indicates that this ParameterExpression is to be treated as a ByRef parameter.
/// </summary>
public bool IsByRef {
get {
return GetIsByRef();
}
}
internal virtual bool GetIsByRef() {
return false;
}
/// <summary>
/// Dispatches to the specific visit method for this node type.
/// </summary>
protected internal override Expression Accept(ExpressionVisitor visitor) {
return visitor.VisitParameter(this);
}
}
/// <summary>
/// Specialized subclass to avoid holding onto the byref flag in a
/// parameter expression. This version always holds onto the expression
/// type explicitly and therefore derives from TypedParameterExpression.
/// </summary>
internal sealed class ByRefParameterExpression : TypedParameterExpression {
internal ByRefParameterExpression(Type type, string name)
: base(type, name) {
}
internal override bool GetIsByRef() {
return true;
}
}
/// <summary>
/// Specialized subclass which holds onto the type of the expression for
/// uncommon types.
/// </summary>
internal class TypedParameterExpression : ParameterExpression {
private readonly Type _paramType;
internal TypedParameterExpression(Type type, string name)
: base(name) {
_paramType = type;
}
public sealed override Type Type {
get { return _paramType; }
}
}
/// <summary>
/// Generic type to avoid needing explicit storage for primitive data types
/// which are commonly used.
/// </summary>
internal sealed class PrimitiveParameterExpression<T> : ParameterExpression {
internal PrimitiveParameterExpression(string name)
: base(name) {
}
public sealed override Type Type {
get { return typeof(T); }
}
}
public partial class Expression {
/// <summary>
/// Creates a <see cref="ParameterExpression" /> node that can be used to identify a parameter or a variable in an expression tree.
/// </summary>
/// <param name="type">The type of the parameter or variable.</param>
/// <returns>A <see cref="ParameterExpression" /> node with the specified name and type.</returns>
public static ParameterExpression Parameter(Type type) {
return Parameter(type, null);
}
/// <summary>
/// Creates a <see cref="ParameterExpression" /> node that can be used to identify a parameter or a variable in an expression tree.
/// </summary>
/// <param name="type">The type of the parameter or variable.</param>
/// <returns>A <see cref="ParameterExpression" /> node with the specified name and type.</returns>
public static ParameterExpression Variable(Type type) {
return Variable(type, null);
}
/// <summary>
/// Creates a <see cref="ParameterExpression" /> node that can be used to identify a parameter or a variable in an expression tree.
/// </summary>
/// <param name="type">The type of the parameter or variable.</param>
/// <param name="name">The name of the parameter or variable, used for debugging or pretty printing purpose only.</param>
/// <returns>A <see cref="ParameterExpression" /> node with the specified name and type.</returns>
public static ParameterExpression Parameter(Type type, string name) {
ContractUtils.RequiresNotNull(type, "type");
if (type == typeof(void)) {
throw Error.ArgumentCannotBeOfTypeVoid();
}
bool byref = type.IsByRef;
if (byref) {
type = type.GetElementType();
}
return ParameterExpression.Make(type, name, byref);
}
/// <summary>
/// Creates a <see cref="ParameterExpression" /> node that can be used to identify a parameter or a variable in an expression tree.
/// </summary>
/// <param name="type">The type of the parameter or variable.</param>
/// <param name="name">The name of the parameter or variable, used for debugging or pretty printing purpose only.</param>
/// <returns>A <see cref="ParameterExpression" /> node with the specified name and type.</returns>
public static ParameterExpression Variable(Type type, string name) {
ContractUtils.RequiresNotNull(type, "type");
if (type == typeof(void)) throw Error.ArgumentCannotBeOfTypeVoid();
if (type.IsByRef) throw Error.TypeMustNotBeByRef();
return ParameterExpression.Make(type, name, false);
}
}
}
|