Tile.cs source code in C# .NET

                        
Code:
                         / Net / Net / 3.5.50727.3053 / DEVDIV / depot / DevDiv / releases / Orcas / SP / ndp / fx / src / DataEntity / System / Data / Map / ViewGeneration / QueryRewriting / Tile.cs / 1 / Tile.cs
                        

                        
                            using System; 
using System.Diagnostics;
using System.Collections.Generic;
using System.Text;
using System.Collections.ObjectModel; 
using System.Linq;
using System.Globalization; 
 
namespace System.Data.Mapping.ViewGeneration.QueryRewriting
{ 
    internal enum TileOpKind
    {
        Union,
        Join, 
        AntiSemiJoin,
        // Project, 
        Named 
    }
 
    internal interface ITileQuery
    {
        string Description { get; }
    } 

    internal abstract class TileQueryProcessor where T_Query : ITileQuery 
    { 
        internal abstract T_Query Intersect(T_Query arg1, T_Query arg2);
        internal abstract T_Query Difference(T_Query arg1, T_Query arg2); 
        internal abstract T_Query Union(T_Query arg1, T_Query arg2);
        internal abstract bool IsSatisfiable(T_Query query);
        internal abstract T_Query CreateDerivedViewBySelectingConstantAttributes(T_Query query);
    } 

    internal class DefaultTileProcessor : TileProcessor> where T_Query : ITileQuery 
    { 
        private readonly TileQueryProcessor _tileQueryProcessor;
 
        internal DefaultTileProcessor(TileQueryProcessor tileQueryProcessor)
        {
            _tileQueryProcessor = tileQueryProcessor;
        } 

        internal TileQueryProcessor QueryProcessor 
        { 
            get { return _tileQueryProcessor; }
        } 

        internal override bool IsEmpty(Tile tile)
        {
            return false == _tileQueryProcessor.IsSatisfiable(tile.Query); 
        }
 
        internal override Tile Union(Tile arg1, Tile arg2) 
        {
            return new TileBinaryOperator(arg1, arg2, TileOpKind.Union, _tileQueryProcessor.Union(arg1.Query, arg2.Query)); 
        }

        internal override Tile Join(Tile arg1, Tile arg2)
        { 
            return new TileBinaryOperator(arg1, arg2, TileOpKind.Join, _tileQueryProcessor.Intersect(arg1.Query, arg2.Query));
        } 
 
        internal override Tile AntiSemiJoin(Tile arg1, Tile arg2)
        { 
            return new TileBinaryOperator(arg1, arg2, TileOpKind.AntiSemiJoin, _tileQueryProcessor.Difference(arg1.Query, arg2.Query));
        }

        internal override Tile GetArg1(Tile tile) 
        {
            return tile.Arg1; 
        } 

        internal override Tile GetArg2(Tile tile) 
        {
            return tile.Arg2;
        }
 
        internal override TileOpKind GetOpKind(Tile tile)
        { 
            return tile.OpKind; 
        }
 
        internal bool IsContainedIn(Tile arg1, Tile arg2)
        {
            return IsEmpty(AntiSemiJoin(arg1, arg2));
        } 

        internal bool IsEquivalentTo(Tile arg1, Tile arg2) 
        { 
            return IsContainedIn(arg1, arg2) && IsContainedIn(arg2, arg1);
        } 
    }

    internal abstract class Tile where T_Query : ITileQuery
    { 
        private readonly T_Query m_query;
        private readonly TileOpKind m_opKind; 
 
        protected Tile(TileOpKind opKind, T_Query query)
        { 
            m_opKind = opKind;
            m_query = query;
        }
 
        public T_Query Query
        { 
            get { return m_query; } 
        }
 
        public abstract string Description { get; }

        // multiple occurrences possible
        public IEnumerable GetNamedQueries() 
        {
            return GetNamedQueries(this); 
        } 
        private static IEnumerable GetNamedQueries(Tile rewriting)
        { 
            if (rewriting != null)
            {
                if (rewriting.OpKind == TileOpKind.Named)
                { 
                    yield return ((TileNamed)rewriting).NamedQuery;
                } 
                else 
                {
                    foreach (T_Query query in GetNamedQueries(rewriting.Arg1)) 
                    {
                        yield return query;
                    }
                    foreach (T_Query query in GetNamedQueries(rewriting.Arg2)) 
                    {
                        yield return query; 
                    } 
                }
            } 
        }

        public override string ToString()
        { 
            string formattedQuery = this.Description;
            if (formattedQuery != null) 
            { 
                return String.Format(CultureInfo.InvariantCulture, "{0}: [{1}]", this.Description, this.Query);
            } 
            else
            {
                return String.Format(CultureInfo.InvariantCulture, "[{0}]", this.Query);
            } 
        }
 
        public abstract Tile Arg1 
        {
            get; 
        }

        public abstract Tile Arg2
        { 
            get;
        } 
 
        public TileOpKind OpKind
        { 
            get { return m_opKind; }
        }

        internal abstract Tile Replace(Tile oldTile, Tile newTile); 
    }
 
    internal class TileNamed : Tile where T_Query : ITileQuery 
    {
        public TileNamed(T_Query namedQuery) : base(TileOpKind.Named, namedQuery) 
        {
            Debug.Assert(namedQuery != null);
        }
 
        public T_Query NamedQuery
        { 
            get { return this.Query; } 
        }
 
        public override Tile Arg1 { get { return null; } }
        public override Tile Arg2 { get { return null; } }

        public override string Description 
        {
            get { return this.Query.Description; } 
        } 

        public override string ToString() 
        {
            return this.Query.ToString();
        }
 
        internal override Tile Replace(Tile oldTile, Tile newTile)
        { 
            return (this == oldTile) ? newTile : this; 
        }
    } 

    internal class TileBinaryOperator : Tile where T_Query : ITileQuery
    {
        private readonly Tile m_arg1; 
        private readonly Tile m_arg2;
 
        public TileBinaryOperator(Tile arg1, Tile arg2, TileOpKind opKind, T_Query query) 
            : base(opKind, query)
        { 
            Debug.Assert(arg1 != null && arg2 != null);
            m_arg1 = arg1;
            m_arg2 = arg2;
        } 

        public override Tile Arg1 { get { return m_arg1; } } 
        public override Tile Arg2 { get { return m_arg2; } } 

        public override string Description 
        {
            get {
                string descriptionFormat = null;
                switch (OpKind) 
                {
                    case TileOpKind.Join: descriptionFormat = "({0} & {1})"; break; 
                    case TileOpKind.AntiSemiJoin: descriptionFormat = "({0} - {1})"; break; 
                    case TileOpKind.Union: descriptionFormat = "({0} | {1})"; break;
                    default: Debug.Fail("Unexpected binary operator"); break; 
                }
                return String.Format(CultureInfo.InvariantCulture, descriptionFormat, this.Arg1.Description, this.Arg2.Description);
            }
        } 

        internal override Tile Replace(Tile oldTile, Tile newTile) 
        { 
            Tile newArg1 = Arg1.Replace(oldTile, newTile);
            Tile newArg2 = Arg2.Replace(oldTile, newTile); 
            if (newArg1 != Arg1 || newArg2 != Arg2)
            {
                return new TileBinaryOperator(newArg1, newArg2, OpKind, Query);
            } 
            return this;
        } 
   } 
}

// File provided for Reference Use Only by Microsoft Corporation (c) 2007.
// Copyright (c) Microsoft Corporation. All rights reserved.
using System; 
using System.Diagnostics;
using System.Collections.Generic;
using System.Text;
using System.Collections.ObjectModel; 
using System.Linq;
using System.Globalization; 
 
namespace System.Data.Mapping.ViewGeneration.QueryRewriting
{ 
    internal enum TileOpKind
    {
        Union,
        Join, 
        AntiSemiJoin,
        // Project, 
        Named 
    }
 
    internal interface ITileQuery
    {
        string Description { get; }
    } 

    internal abstract class TileQueryProcessor where T_Query : ITileQuery 
    { 
        internal abstract T_Query Intersect(T_Query arg1, T_Query arg2);
        internal abstract T_Query Difference(T_Query arg1, T_Query arg2); 
        internal abstract T_Query Union(T_Query arg1, T_Query arg2);
        internal abstract bool IsSatisfiable(T_Query query);
        internal abstract T_Query CreateDerivedViewBySelectingConstantAttributes(T_Query query);
    } 

    internal class DefaultTileProcessor : TileProcessor> where T_Query : ITileQuery 
    { 
        private readonly TileQueryProcessor _tileQueryProcessor;
 
        internal DefaultTileProcessor(TileQueryProcessor tileQueryProcessor)
        {
            _tileQueryProcessor = tileQueryProcessor;
        } 

        internal TileQueryProcessor QueryProcessor 
        { 
            get { return _tileQueryProcessor; }
        } 

        internal override bool IsEmpty(Tile tile)
        {
            return false == _tileQueryProcessor.IsSatisfiable(tile.Query); 
        }
 
        internal override Tile Union(Tile arg1, Tile arg2) 
        {
            return new TileBinaryOperator(arg1, arg2, TileOpKind.Union, _tileQueryProcessor.Union(arg1.Query, arg2.Query)); 
        }

        internal override Tile Join(Tile arg1, Tile arg2)
        { 
            return new TileBinaryOperator(arg1, arg2, TileOpKind.Join, _tileQueryProcessor.Intersect(arg1.Query, arg2.Query));
        } 
 
        internal override Tile AntiSemiJoin(Tile arg1, Tile arg2)
        { 
            return new TileBinaryOperator(arg1, arg2, TileOpKind.AntiSemiJoin, _tileQueryProcessor.Difference(arg1.Query, arg2.Query));
        }

        internal override Tile GetArg1(Tile tile) 
        {
            return tile.Arg1; 
        } 

        internal override Tile GetArg2(Tile tile) 
        {
            return tile.Arg2;
        }
 
        internal override TileOpKind GetOpKind(Tile tile)
        { 
            return tile.OpKind; 
        }
 
        internal bool IsContainedIn(Tile arg1, Tile arg2)
        {
            return IsEmpty(AntiSemiJoin(arg1, arg2));
        } 

        internal bool IsEquivalentTo(Tile arg1, Tile arg2) 
        { 
            return IsContainedIn(arg1, arg2) && IsContainedIn(arg2, arg1);
        } 
    }

    internal abstract class Tile where T_Query : ITileQuery
    { 
        private readonly T_Query m_query;
        private readonly TileOpKind m_opKind; 
 
        protected Tile(TileOpKind opKind, T_Query query)
        { 
            m_opKind = opKind;
            m_query = query;
        }
 
        public T_Query Query
        { 
            get { return m_query; } 
        }
 
        public abstract string Description { get; }

        // multiple occurrences possible
        public IEnumerable GetNamedQueries() 
        {
            return GetNamedQueries(this); 
        } 
        private static IEnumerable GetNamedQueries(Tile rewriting)
        { 
            if (rewriting != null)
            {
                if (rewriting.OpKind == TileOpKind.Named)
                { 
                    yield return ((TileNamed)rewriting).NamedQuery;
                } 
                else 
                {
                    foreach (T_Query query in GetNamedQueries(rewriting.Arg1)) 
                    {
                        yield return query;
                    }
                    foreach (T_Query query in GetNamedQueries(rewriting.Arg2)) 
                    {
                        yield return query; 
                    } 
                }
            } 
        }

        public override string ToString()
        { 
            string formattedQuery = this.Description;
            if (formattedQuery != null) 
            { 
                return String.Format(CultureInfo.InvariantCulture, "{0}: [{1}]", this.Description, this.Query);
            } 
            else
            {
                return String.Format(CultureInfo.InvariantCulture, "[{0}]", this.Query);
            } 
        }
 
        public abstract Tile Arg1 
        {
            get; 
        }

        public abstract Tile Arg2
        { 
            get;
        } 
 
        public TileOpKind OpKind
        { 
            get { return m_opKind; }
        }

        internal abstract Tile Replace(Tile oldTile, Tile newTile); 
    }
 
    internal class TileNamed : Tile where T_Query : ITileQuery 
    {
        public TileNamed(T_Query namedQuery) : base(TileOpKind.Named, namedQuery) 
        {
            Debug.Assert(namedQuery != null);
        }
 
        public T_Query NamedQuery
        { 
            get { return this.Query; } 
        }
 
        public override Tile Arg1 { get { return null; } }
        public override Tile Arg2 { get { return null; } }

        public override string Description 
        {
            get { return this.Query.Description; } 
        } 

        public override string ToString() 
        {
            return this.Query.ToString();
        }
 
        internal override Tile Replace(Tile oldTile, Tile newTile)
        { 
            return (this == oldTile) ? newTile : this; 
        }
    } 

    internal class TileBinaryOperator : Tile where T_Query : ITileQuery
    {
        private readonly Tile m_arg1; 
        private readonly Tile m_arg2;
 
        public TileBinaryOperator(Tile arg1, Tile arg2, TileOpKind opKind, T_Query query) 
            : base(opKind, query)
        { 
            Debug.Assert(arg1 != null && arg2 != null);
            m_arg1 = arg1;
            m_arg2 = arg2;
        } 

        public override Tile Arg1 { get { return m_arg1; } } 
        public override Tile Arg2 { get { return m_arg2; } } 

        public override string Description 
        {
            get {
                string descriptionFormat = null;
                switch (OpKind) 
                {
                    case TileOpKind.Join: descriptionFormat = "({0} & {1})"; break; 
                    case TileOpKind.AntiSemiJoin: descriptionFormat = "({0} - {1})"; break; 
                    case TileOpKind.Union: descriptionFormat = "({0} | {1})"; break;
                    default: Debug.Fail("Unexpected binary operator"); break; 
                }
                return String.Format(CultureInfo.InvariantCulture, descriptionFormat, this.Arg1.Description, this.Arg2.Description);
            }
        } 

        internal override Tile Replace(Tile oldTile, Tile newTile) 
        { 
            Tile newArg1 = Arg1.Replace(oldTile, newTile);
            Tile newArg2 = Arg2.Replace(oldTile, newTile); 
            if (newArg1 != Arg1 || newArg2 != Arg2)
            {
                return new TileBinaryOperator(newArg1, newArg2, OpKind, Query);
            } 
            return this;
        } 
   } 
}

// File provided for Reference Use Only by Microsoft Corporation (c) 2007.
// Copyright (c) Microsoft Corporation. All rights reserved.

                        

                        

                        
                        

Link Menu

This book is available now!
Buy at Amazon US or
Buy at Amazon UK

• RegistrationServices.cs
• ListBindableAttribute.cs
• DependsOnAttribute.cs
• MemoryStream.cs
• Vector3DCollection.cs
• Matrix3DValueSerializer.cs
• UniqueConstraint.cs
• ToolStripPanel.cs
• TextBoxBase.cs
• RuntimeIdentifierPropertyAttribute.cs
• StorageScalarPropertyMapping.cs
• Variant.cs
• Timer.cs
• RotateTransform.cs
• EditingScopeUndoUnit.cs
• WorkflowServiceHost.cs
• MediaPlayer.cs
• WinEventWrap.cs
• EmptyCollection.cs
• WindowsPen.cs
• SetterTriggerConditionValueConverter.cs
• AutoGeneratedField.cs
• columnmapfactory.cs
• Point3DKeyFrameCollection.cs
• ServiceEndpointAssociationProvider.cs
• ManifestSignatureInformation.cs
• QueryCacheKey.cs
• JsonWriterDelegator.cs
• AnnotationAdorner.cs
• MediaContext.cs
• _WinHttpWebProxyDataBuilder.cs
• TreeChangeInfo.cs
• PropertyChangeTracker.cs
• ControlCodeDomSerializer.cs
• WebDescriptionAttribute.cs
• DataGridComboBoxColumn.cs
• RtType.cs
• ContextItemManager.cs
• AuthorizationRuleCollection.cs
• InputElement.cs
• MappingSource.cs
• DiscreteKeyFrames.cs
• BitmapMetadataBlob.cs
• MasterPage.cs
• WebBrowserPermission.cs
• OleDbConnectionPoolGroupProviderInfo.cs
• Utils.cs
• TextFragmentEngine.cs
• CalendarDataBindingHandler.cs
• ChildDocumentBlock.cs
• ToolStripProfessionalLowResolutionRenderer.cs
• ScriptResourceInfo.cs
• QilTargetType.cs
• AssemblyResourceLoader.cs
• RunWorkerCompletedEventArgs.cs
• Point.cs
• GridView.cs
• MailMessage.cs
• DetailsViewCommandEventArgs.cs
• ServiceDesigner.xaml.cs
• ToolStripContentPanelRenderEventArgs.cs
• ListBoxItem.cs
• DBConnectionString.cs
• Package.cs
• DataGridPageChangedEventArgs.cs
• graph.cs
• DateTimeOffset.cs
• PagerSettings.cs
• HttpContextServiceHost.cs
• RecipientServiceModelSecurityTokenRequirement.cs
• _ListenerResponseStream.cs
• DynamicHyperLink.cs
• ContainerUIElement3D.cs
• ManagedWndProcTracker.cs
• VirtualDirectoryMappingCollection.cs
• HatchBrush.cs
• XmlSignatureProperties.cs
• PropertyGroupDescription.cs
• EventDescriptor.cs
• IPEndPointCollection.cs
• CompilerState.cs
• UnauthorizedWebPart.cs
• XmlUrlResolver.cs
• PhoneCallDesigner.cs
• InternalPolicyElement.cs
• AdPostCacheSubstitution.cs
• ListView.cs
• ReferentialConstraint.cs
• WindowsTitleBar.cs
• WorkflowMarkupSerializer.cs
• CalendarAutomationPeer.cs
• SiteMapProvider.cs
• InputLanguageEventArgs.cs
• ScrollChrome.cs
• SplineKeyFrames.cs
• SecurityAlgorithmSuite.cs
• MdiWindowListItemConverter.cs
• ComponentDispatcherThread.cs
• GridItemProviderWrapper.cs
• WsdlEndpointConversionContext.cs