diff --git a/src/Libraries/IQToolkit/IQToolkit.dll b/src/Libraries/IQToolkit/IQToolkit.dll new file mode 100644 index 0000000000..f2a3fdc532 Binary files /dev/null and b/src/Libraries/IQToolkit/IQToolkit.dll differ diff --git a/src/Libraries/IQToolkit/IQToolkit/IQToolkit.csproj b/src/Libraries/IQToolkit/IQToolkit/IQToolkit.csproj new file mode 100644 index 0000000000..bd53f3680a --- /dev/null +++ b/src/Libraries/IQToolkit/IQToolkit/IQToolkit.csproj @@ -0,0 +1,64 @@ + + + + Debug + AnyCPU + 9.0.21022 + 2.0 + {0DA62A7C-3B40-456F-A4B2-B3E19ED4080E} + Library + Properties + IQToolkit + IQToolkit + v4.0 + 512 + + + + + true + full + false + bin\Debug\ + TRACE;DEBUG + prompt + 4 + + + pdbonly + true + bin\Release\ + TRACE + prompt + 4 + + + + + 3.5 + + + 3.0 + + + 3.5 + + + + + + + + + + + + + + \ No newline at end of file diff --git a/src/Libraries/IQToolkit/IQToolkit/IQToolkit.sln b/src/Libraries/IQToolkit/IQToolkit/IQToolkit.sln new file mode 100644 index 0000000000..3a2626e801 --- /dev/null +++ b/src/Libraries/IQToolkit/IQToolkit/IQToolkit.sln @@ -0,0 +1,20 @@ + +Microsoft Visual Studio Solution File, Format Version 11.00 +# Visual Studio 10 +# SharpDevelop 4.0.0.4995 +Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "IQToolkit", "IQToolkit.csproj", "{0DA62A7C-3B40-456F-A4B2-B3E19ED4080E}" +EndProject +Global + GlobalSection(SolutionConfigurationPlatforms) = preSolution + Debug|Any CPU = Debug|Any CPU + Release|Any CPU = Release|Any CPU + Debug|Any CPU = Debug|Any CPU + Release|Any CPU = Release|Any CPU + EndGlobalSection + GlobalSection(ProjectConfigurationPlatforms) = postSolution + {0DA62A7C-3B40-456F-A4B2-B3E19ED4080E}.Debug|Any CPU.Build.0 = Debug|Any CPU + {0DA62A7C-3B40-456F-A4B2-B3E19ED4080E}.Debug|Any CPU.ActiveCfg = Debug|Any CPU + {0DA62A7C-3B40-456F-A4B2-B3E19ED4080E}.Release|Any CPU.Build.0 = Release|Any CPU + {0DA62A7C-3B40-456F-A4B2-B3E19ED4080E}.Release|Any CPU.ActiveCfg = Release|Any CPU + EndGlobalSection +EndGlobal diff --git a/src/Libraries/IQToolkit/IQToolkit/PartialEvaluator.cs b/src/Libraries/IQToolkit/IQToolkit/PartialEvaluator.cs new file mode 100644 index 0000000000..0a6ca73ab4 --- /dev/null +++ b/src/Libraries/IQToolkit/IQToolkit/PartialEvaluator.cs @@ -0,0 +1,175 @@ +// Copyright (c) Microsoft Corporation. All rights reserved. +// This source code is made available under the terms of the Microsoft Public License (MS-PL) + +using System; +using System.Collections.Generic; +using System.Linq; +using System.Linq.Expressions; +using System.Reflection; + +namespace IQToolkit +{ + /// + /// Rewrites an expression tree so that locally isolatable sub-expressions are evaluated and converted into ConstantExpression nodes. + /// + public static class PartialEvaluator + { + /// + /// Performs evaluation & replacement of independent sub-trees + /// + /// The root of the expression tree. + /// A function that decides whether a given expression node can be part of the local function. + /// A new tree with sub-trees evaluated and replaced. + public static Expression Eval(Expression expression, Func fnCanBeEvaluated) + { + return SubtreeEvaluator.Eval(Nominator.Nominate(fnCanBeEvaluated, expression), expression); + } + + /// + /// Performs evaluation & replacement of independent sub-trees + /// + /// The root of the expression tree. + /// A new tree with sub-trees evaluated and replaced. + public static Expression Eval(Expression expression) + { + return Eval(expression, PartialEvaluator.CanBeEvaluatedLocally); + } + + private static bool CanBeEvaluatedLocally(Expression expression) + { + return expression.NodeType != ExpressionType.Parameter; + } + + /// + /// Evaluates & replaces sub-trees when first candidate is reached (top-down) + /// + class SubtreeEvaluator : ExpressionVisitor + { + HashSet candidates; + + private SubtreeEvaluator(HashSet candidates) + { + this.candidates = candidates; + } + + internal static Expression Eval(HashSet candidates, Expression exp) + { + return new SubtreeEvaluator(candidates).Visit(exp); + } + + public override Expression Visit(Expression exp) + { + if (exp == null) + { + return null; + } + if (this.candidates.Contains(exp)) + { + return this.Evaluate(exp); + } + return base.Visit(exp); + } + + private Expression Evaluate(Expression e) + { + Type type = e.Type; + if (e.NodeType == ExpressionType.Convert) + { + // check for unnecessary convert & strip them + var u = (UnaryExpression)e; + if (TypeHelper.GetNonNullableType(u.Operand.Type) == TypeHelper.GetNonNullableType(type)) + { + e = ((UnaryExpression)e).Operand; + } + } + if (e.NodeType == ExpressionType.Constant) + { + // in case we actually threw out a nullable conversion above, simulate it here + if (e.Type == type) + { + return e; + } + else if (TypeHelper.GetNonNullableType(e.Type) == TypeHelper.GetNonNullableType(type)) + { + return Expression.Constant(((ConstantExpression)e).Value, type); + } + } + var me = e as MemberExpression; + if (me != null) + { + // member accesses off of constant's are common, and yet since these partial evals + // are never re-used, using reflection to access the member is faster than compiling + // and invoking a lambda + var ce = me.Expression as ConstantExpression; + if (ce != null) + { + return Expression.Constant(me.Member.GetValue(ce.Value), type); + } + } + if (type.IsValueType) + { + e = Expression.Convert(e, typeof(object)); + } + Expression> lambda = Expression.Lambda>(e); +#if NOREFEMIT + Func fn = ExpressionEvaluator.CreateDelegate(lambda); +#else + Func fn = lambda.Compile(); +#endif + return Expression.Constant(fn(), type); + } + } + + /// + /// Performs bottom-up analysis to determine which nodes can possibly + /// be part of an evaluated sub-tree. + /// + class Nominator : ExpressionVisitor + { + Func fnCanBeEvaluated; + HashSet candidates; + bool cannotBeEvaluated; + + private Nominator(Func fnCanBeEvaluated) + { + this.candidates = new HashSet(); + this.fnCanBeEvaluated = fnCanBeEvaluated; + } + + internal static HashSet Nominate(Func fnCanBeEvaluated, Expression expression) + { + Nominator nominator = new Nominator(fnCanBeEvaluated); + nominator.Visit(expression); + return nominator.candidates; + } + + protected override Expression VisitConstant(ConstantExpression c) + { + return base.VisitConstant(c); + } + + public override Expression Visit(Expression expression) + { + if (expression != null) + { + bool saveCannotBeEvaluated = this.cannotBeEvaluated; + this.cannotBeEvaluated = false; + base.Visit(expression); + if (!this.cannotBeEvaluated) + { + if (this.fnCanBeEvaluated(expression)) + { + this.candidates.Add(expression); + } + else + { + this.cannotBeEvaluated = true; + } + } + this.cannotBeEvaluated |= saveCannotBeEvaluated; + } + return expression; + } + } + } +} \ No newline at end of file diff --git a/src/Libraries/IQToolkit/IQToolkit/Properties/AssemblyInfo.cs b/src/Libraries/IQToolkit/IQToolkit/Properties/AssemblyInfo.cs new file mode 100644 index 0000000000..7b73e41583 --- /dev/null +++ b/src/Libraries/IQToolkit/IQToolkit/Properties/AssemblyInfo.cs @@ -0,0 +1,36 @@ +using System.Reflection; +using System.Runtime.CompilerServices; +using System.Runtime.InteropServices; + +// General Information about an assembly is controlled through the following +// set of attributes. Change these attribute values to modify the information +// associated with an assembly. +[assembly: AssemblyTitle("IQueryable Toolkit")] +[assembly: AssemblyDescription("")] +[assembly: AssemblyConfiguration("")] +[assembly: AssemblyCompany("Microsoft Corporation")] +[assembly: AssemblyProduct("IQToolkit")] +[assembly: AssemblyCopyright("Copyright © Microsoft Corporation 2009 (MSPL)")] +[assembly: AssemblyTrademark("")] +[assembly: AssemblyCulture("")] + +// Setting ComVisible to false makes the types in this assembly not visible +// to COM components. If you need to access a type in this assembly from +// COM, set the ComVisible attribute to true on that type. +[assembly: ComVisible(false)] + +// The following GUID is for the ID of the typelib if this project is exposed to COM +[assembly: Guid("46264a3c-2573-4343-b40e-7cab4e1e411c")] + +// Version information for an assembly consists of the following four values: +// +// Major Version +// Minor Version +// Build Number +// Revision +// +// You can specify all the values or you can default the Build and Revision Numbers +// by using the '*' as shown below: +// [assembly: AssemblyVersion("1.0.*")] +[assembly: AssemblyVersion("1.0.0.0")] +[assembly: AssemblyFileVersion("1.0.0.0")] diff --git a/src/Libraries/IQToolkit/IQToolkit/Query.cs b/src/Libraries/IQToolkit/IQToolkit/Query.cs new file mode 100644 index 0000000000..f5a7f07d17 --- /dev/null +++ b/src/Libraries/IQToolkit/IQToolkit/Query.cs @@ -0,0 +1,114 @@ +// Copyright (c) Microsoft Corporation. All rights reserved. +// This source code is made available under the terms of the Microsoft Public License (MS-PL) + +using System; +using System.Collections; +using System.Collections.Generic; +using System.Linq; +using System.Linq.Expressions; +using System.Reflection; +using System.Text; + +namespace IQToolkit +{ + /// + /// Optional interface for IQueryProvider to implement Query's QueryText property. + /// + public interface IQueryText + { + string GetQueryText(Expression expression); + } + + /// + /// A default implementation of IQueryable for use with QueryProvider + /// + public class Query : IQueryable, IQueryable, IEnumerable, IEnumerable, IOrderedQueryable, IOrderedQueryable + { + IQueryProvider provider; + Expression expression; + + public Query(IQueryProvider provider) + : this(provider, null) + { + } + + public Query(IQueryProvider provider, Type staticType) + { + if (provider == null) + { + throw new ArgumentNullException("Provider"); + } + this.provider = provider; + this.expression = staticType != null ? Expression.Constant(this, staticType) : Expression.Constant(this); + } + + public Query(QueryProvider provider, Expression expression) + { + if (provider == null) + { + throw new ArgumentNullException("Provider"); + } + if (expression == null) + { + throw new ArgumentNullException("expression"); + } + if (!typeof(IQueryable).IsAssignableFrom(expression.Type)) + { + throw new ArgumentOutOfRangeException("expression"); + } + this.provider = provider; + this.expression = expression; + } + + public Expression Expression + { + get { return this.expression; } + } + + public Type ElementType + { + get { return typeof(T); } + } + + public IQueryProvider Provider + { + get { return this.provider; } + } + + public IEnumerator GetEnumerator() + { + return ((IEnumerable)this.provider.Execute(this.expression)).GetEnumerator(); + } + + IEnumerator IEnumerable.GetEnumerator() + { + return ((IEnumerable)this.provider.Execute(this.expression)).GetEnumerator(); + } + + public override string ToString() + { + if (this.expression.NodeType == ExpressionType.Constant && + ((ConstantExpression)this.expression).Value == this) + { + return "Query(" + typeof(T) + ")"; + } + else + { + return this.expression.ToString(); + } + } + + public string QueryText + { + get + { + IQueryText iqt = this.provider as IQueryText; + if (iqt != null) + { + return iqt.GetQueryText(this.expression); + } + return ""; + } + } + } +} diff --git a/src/Libraries/IQToolkit/IQToolkit/QueryProvider.cs b/src/Libraries/IQToolkit/IQToolkit/QueryProvider.cs new file mode 100644 index 0000000000..e11c4da39a --- /dev/null +++ b/src/Libraries/IQToolkit/IQToolkit/QueryProvider.cs @@ -0,0 +1,54 @@ +// Copyright (c) Microsoft Corporation. All rights reserved. +// This source code is made available under the terms of the Microsoft Public License (MS-PL) + +using System; +using System.Collections; +using System.Collections.Generic; +using System.Linq; +using System.Linq.Expressions; +using System.Reflection; +using System.Text; + +namespace IQToolkit +{ + /// + /// A basic abstract LINQ query provider + /// + public abstract class QueryProvider : IQueryProvider, IQueryText + { + protected QueryProvider() + { + } + + IQueryable IQueryProvider.CreateQuery(Expression expression) + { + return new Query(this, expression); + } + + IQueryable IQueryProvider.CreateQuery(Expression expression) + { + Type elementType = TypeHelper.GetElementType(expression.Type); + try + { + return (IQueryable)Activator.CreateInstance(typeof(Query<>).MakeGenericType(elementType), new object[] { this, expression }); + } + catch (TargetInvocationException tie) + { + throw tie.InnerException; + } + } + + S IQueryProvider.Execute(Expression expression) + { + return (S)this.Execute(expression); + } + + object IQueryProvider.Execute(Expression expression) + { + return this.Execute(expression); + } + + public abstract string GetQueryText(Expression expression); + public abstract object Execute(Expression expression); + } +} diff --git a/src/Libraries/IQToolkit/IQToolkit/ReflectionExtensions.cs b/src/Libraries/IQToolkit/IQToolkit/ReflectionExtensions.cs new file mode 100644 index 0000000000..ce55891165 --- /dev/null +++ b/src/Libraries/IQToolkit/IQToolkit/ReflectionExtensions.cs @@ -0,0 +1,41 @@ +// Copyright (c) Microsoft Corporation. All rights reserved. +// This source code is made available under the terms of the Microsoft Public License (MS-PL) + +using System; +using System.Reflection; + +namespace IQToolkit +{ + public static class ReflectionExtensions + { + public static object GetValue(this MemberInfo member, object instance) + { + switch (member.MemberType) + { + case MemberTypes.Property: + return ((PropertyInfo)member).GetValue(instance, null); + case MemberTypes.Field: + return ((FieldInfo)member).GetValue(instance); + default: + throw new InvalidOperationException(); + } + } + + public static void SetValue(this MemberInfo member, object instance, object value) + { + switch (member.MemberType) + { + case MemberTypes.Property: + var pi = (PropertyInfo)member; + pi.SetValue(instance, value, null); + break; + case MemberTypes.Field: + var fi = (FieldInfo)member; + fi.SetValue(instance, value); + break; + default: + throw new InvalidOperationException(); + } + } + } +} \ No newline at end of file diff --git a/src/Libraries/IQToolkit/IQToolkit/TypeHelper.cs b/src/Libraries/IQToolkit/IQToolkit/TypeHelper.cs new file mode 100644 index 0000000000..af220eb697 --- /dev/null +++ b/src/Libraries/IQToolkit/IQToolkit/TypeHelper.cs @@ -0,0 +1,150 @@ +// Copyright (c) Microsoft Corporation. All rights reserved. +// This source code is made available under the terms of the Microsoft Public License (MS-PL) + +using System; +using System.Collections.Generic; +using System.Linq; +using System.Linq.Expressions; +using System.Reflection; +using System.Text; + +namespace IQToolkit +{ + /// + /// Type related helper methods + /// + public static class TypeHelper + { + public static Type FindIEnumerable(Type seqType) + { + if (seqType == null || seqType == typeof(string)) + return null; + if (seqType.IsArray) + return typeof(IEnumerable<>).MakeGenericType(seqType.GetElementType()); + if (seqType.IsGenericType) + { + foreach (Type arg in seqType.GetGenericArguments()) + { + Type ienum = typeof(IEnumerable<>).MakeGenericType(arg); + if (ienum.IsAssignableFrom(seqType)) + { + return ienum; + } + } + } + Type[] ifaces = seqType.GetInterfaces(); + if (ifaces != null && ifaces.Length > 0) + { + foreach (Type iface in ifaces) + { + Type ienum = FindIEnumerable(iface); + if (ienum != null) return ienum; + } + } + if (seqType.BaseType != null && seqType.BaseType != typeof(object)) + { + return FindIEnumerable(seqType.BaseType); + } + return null; + } + + public static Type GetSequenceType(Type elementType) + { + return typeof(IEnumerable<>).MakeGenericType(elementType); + } + + public static Type GetElementType(Type seqType) + { + Type ienum = FindIEnumerable(seqType); + if (ienum == null) return seqType; + return ienum.GetGenericArguments()[0]; + } + + public static bool IsNullableType(Type type) + { + return type != null && type.IsGenericType && type.GetGenericTypeDefinition() == typeof(Nullable<>); + } + + public static bool IsNullAssignable(Type type) + { + return !type.IsValueType || IsNullableType(type); + } + + public static Type GetNonNullableType(Type type) + { + if (IsNullableType(type)) + { + return type.GetGenericArguments()[0]; + } + return type; + } + + public static Type GetNullAssignableType(Type type) + { + if (!IsNullAssignable(type)) + { + return typeof(Nullable<>).MakeGenericType(type); + } + return type; + } + + public static ConstantExpression GetNullConstant(Type type) + { + return Expression.Constant(null, GetNullAssignableType(type)); + } + + public static Type GetMemberType(MemberInfo mi) + { + FieldInfo fi = mi as FieldInfo; + if (fi != null) return fi.FieldType; + PropertyInfo pi = mi as PropertyInfo; + if (pi != null) return pi.PropertyType; + EventInfo ei = mi as EventInfo; + if (ei != null) return ei.EventHandlerType; + MethodInfo meth = mi as MethodInfo; // property getters really + if (meth != null) return meth.ReturnType; + return null; + } + + public static object GetDefault(Type type) + { + bool isNullable = !type.IsValueType || TypeHelper.IsNullableType(type); + if (!isNullable) + return Activator.CreateInstance(type); + return null; + } + + public static bool IsReadOnly(MemberInfo member) + { + switch (member.MemberType) + { + case MemberTypes.Field: + return (((FieldInfo)member).Attributes & FieldAttributes.InitOnly) != 0; + case MemberTypes.Property: + PropertyInfo pi = (PropertyInfo)member; + return !pi.CanWrite || pi.GetSetMethod() == null; + default: + return true; + } + } + + public static bool IsInteger(Type type) + { + Type nnType = GetNonNullableType(type); + switch (Type.GetTypeCode(type)) + { + case TypeCode.SByte: + case TypeCode.Int16: + case TypeCode.Int32: + case TypeCode.Int64: + case TypeCode.Byte: + case TypeCode.UInt16: + case TypeCode.UInt32: + case TypeCode.UInt64: + return true; + default: + return false; + } + } + } +} diff --git a/src/Libraries/IQToolkit/license.txt b/src/Libraries/IQToolkit/license.txt new file mode 100644 index 0000000000..e12bbfb0ab --- /dev/null +++ b/src/Libraries/IQToolkit/license.txt @@ -0,0 +1,31 @@ +Microsoft Public License (Ms-PL) + +This license governs use of the accompanying software. If you use the software, you accept this license. If you do not accept the license, do not use the software. + +1. Definitions + +The terms "reproduce," "reproduction," "derivative works," and "distribution" have the same meaning here as under U.S. copyright law. + +A "contribution" is the original software, or any additions or changes to the software. + +A "contributor" is any person that distributes its contribution under this license. + +"Licensed patents" are a contributor's patent claims that read directly on its contribution. + +2. Grant of Rights + +(A) Copyright Grant- Subject to the terms of this license, including the license conditions and limitations in section 3, each contributor grants you a non-exclusive, worldwide, royalty-free copyright license to reproduce its contribution, prepare derivative works of its contribution, and distribute its contribution or any derivative works that you create. + +(B) Patent Grant- Subject to the terms of this license, including the license conditions and limitations in section 3, each contributor grants you a non-exclusive, worldwide, royalty-free license under its licensed patents to make, have made, use, sell, offer for sale, import, and/or otherwise dispose of its contribution in the software or derivative works of the contribution in the software. + +3. Conditions and Limitations + +(A) No Trademark License- This license does not grant you rights to use any contributors' name, logo, or trademarks. + +(B) If you bring a patent claim against any contributor over patents that you claim are infringed by the software, your patent license from such contributor to the software ends automatically. + +(C) If you distribute any portion of the software, you must retain all copyright, patent, trademark, and attribution notices that are present in the software. + +(D) If you distribute any portion of the software in source code form, you may do so only under this license by including a complete copy of this license with your distribution. If you distribute any portion of the software in compiled or object code form, you may only do so under a license that complies with this license. + +(E) The software is licensed "as-is." You bear the risk of using it. The contributors give no express warranties, guarantees or conditions. You may have additional consumer rights under your local laws which this license cannot change. To the extent permitted under your local laws, the contributors exclude the implied warranties of merchantability, fitness for a particular purpose and non-infringement. diff --git a/src/Libraries/IQToolkit/readme.txt b/src/Libraries/IQToolkit/readme.txt new file mode 100644 index 0000000000..2b0cd7ee69 --- /dev/null +++ b/src/Libraries/IQToolkit/readme.txt @@ -0,0 +1,2 @@ +This is a stripped-down version of IQToolkit; it uses the .NET 4 ExpressionVisitor instead of the custom one. +This is necessary for .NET 4-style extension classes to expression trees as used by the SharpDevelop profiler. \ No newline at end of file