TypeRestriction.cs source code in C# .NET

                        
Code:
                         / 4.0 / 4.0 / DEVDIV_TFS / Dev10 / Releases / RTMRel / ndp / fx / src / DataEntity / System / Data / Map / ViewGeneration / Structures / TypeRestriction.cs / 1305376 / TypeRestriction.cs
                        

                        
                            //---------------------------------------------------------------------- 
// 
//      Copyright (c) Microsoft Corporation.  All rights reserved.
// 
// 
// @owner [....]
// @backupOwner [....] 
//--------------------------------------------------------------------- 

using System.Data.Common.Utils; 
using System.Data.Common.Utils.Boolean;
using System.Collections.Generic;
using System.Text;
using System.Diagnostics; 
using System.Data.Mapping.ViewGeneration.CqlGeneration;
using System.Data.Metadata.Edm; 
 
namespace System.Data.Mapping.ViewGeneration.Structures
{ 

    using DomainBoolExpr = BoolExpr>;
    using CellConstantSet = Set;
 
    // A class that denotes the boolean expression: "varType in values"
    // See the comments in OneOfConst for partially and fully-done objects 
    internal class TypeRestriction : MemberRestriction 
    {
 
        #region Constructors
        // effects: Creates a partial OneOfTypeConst of the form "node in values"
        internal TypeRestriction(MemberPath node, IEnumerable values)
            : base(new MemberProjectedSlot(node), CreateTypeConstants(values)) { } 

        // effects: Creates a partial OneOfTypeConst of the form "node = values" 
        internal TypeRestriction(MemberPath node, Constant value) : 
            base(new MemberProjectedSlot(node), value)
        { 
            Debug.Assert(value is TypeConstant || value.IsNull(), "Type or NULL expected");
        }

        // effects: Creates an expression of the form "type of node in type constants 
        // corresponding to values", i.e., a boolean expression of the form "TypeOf(slot) in values"
        // possibleValues are all the values that node's type can take 
        internal TypeRestriction(MemberPath node, IEnumerable values, 
                                IEnumerable possibleValues)
            : base(new MemberProjectedSlot(node), CreateTypeConstants(values), CreateTypeConstants(possibleValues)) { } 

        // effects: Creates a "fully-done" OneOfTypeConst that represents
        // "node in values". possibleValues are all the values that node's type can take
        internal TypeRestriction(MemberPath node, IEnumerable values, 
                                IEnumerable possibleValues)
            : base(new MemberProjectedSlot(node), values, possibleValues) { } 
 
        // effects: Creates an expression of the form "slot = value"
        // possibleValues are all the values that slot can take 
        internal TypeRestriction(MemberPath node, Constant value, IEnumerable possibleValues) :
            base(new MemberProjectedSlot(node), value, possibleValues)
        {
            Debug.Assert(value is TypeConstant || value.IsNull(), "Type or NULL expected"); 
        }
 
        // effects: Creates an expression of the form "slot in domain" 
        internal TypeRestriction(MemberProjectedSlot slot, Domain domain)
            : base(slot, domain) 
        {
        }
        #endregion
 
        #region Helper static methods
        // effects: Given a list of types (which can contain nulls), 
        // returns  a corresponding list of Type Constants for those types 
        private static IEnumerable CreateTypeConstants(IEnumerable types)
        { 
            foreach (EdmType type in types)
            {
                if (type == null)
                { 
                    yield return Constant.Null;
                } 
                else 
                {
                    yield return new TypeConstant(type); 
                }
            }
        }
        #endregion 

        #region Methods 
        // requires: IsFullyDone is true 
        // effects: Fixes the range of this in accordance with range
        internal override DomainBoolExpr FixRange(Set range, MemberDomainMap memberDomainMap) 
        {
            Debug.Assert(IsFullyDone, "Ranges are fixed only for fully done OneOfConsts");
            IEnumerable possibleValues = memberDomainMap.GetDomain(RestrictedMemberSlot.MemberPath);
            BoolLiteral newLiteral = new TypeRestriction(RestrictedMemberSlot, new Domain(range, possibleValues)); 
            return newLiteral.GetDomainBoolExpression(memberDomainMap);
        } 
 
        internal override StringBuilder AsCql(StringBuilder builder, string blockAlias, bool canSkipIsNotNull)
        { 
            // type comparison: make a big OR

            // Important to enclose all the OR statements in () !
            if (Domain.Count > 1) 
            {
                builder.Append('('); 
            } 
            bool isFirst = true;
            // Add Cql of the form "(T.A IS OF (ONLY Person) OR .....)" 

            foreach (Constant constant in Domain.Values)
            {
                TypeConstant typeConstant = constant as TypeConstant; 
                Debug.Assert(typeConstant != null || constant.IsNull(), "Constants for type checks must be type constants or NULLs");
 
                if (isFirst == false) 
                {
                    builder.Append(" OR "); 
                }
                isFirst = false;
                if (RestrictedMemberSlot.MemberPath.EdmType is RefType)
                { 
                    builder.Append("Deref(");
                    RestrictedMemberSlot.MemberPath.AsCql(builder, blockAlias); 
                    builder.Append(')'); 
                }
                else 
                {
                    // non-reference type
                    RestrictedMemberSlot.MemberPath.AsCql(builder, blockAlias);
                } 
                if (constant.IsNull())
                { 
                    builder.Append(" IS NULL"); 
                }
                else 
                {
                    // type constant
                    builder.Append(" IS OF (ONLY ");
                    CqlWriter.AppendEscapedTypeName(builder, typeConstant.CdmType); 
                    builder.Append(')');
                } 
            } 
            if (Domain.Count > 1)
            { 
                builder.Append(')');
            }
            return builder;
        } 

 
        internal override StringBuilder AsUserString(StringBuilder builder, string blockAlias, bool canSkipIsNotNull) 
        {
            // Add user readable string of the form "(T.A IS OF (ONLY Person) OR .....)" 

            if (RestrictedMemberSlot.MemberPath.EdmType is RefType)
            {
                builder.Append("Deref("); 
                RestrictedMemberSlot.MemberPath.AsCql(builder, blockAlias);
                builder.Append(')'); 
            } 
            else
            { 
                // non-reference type
                RestrictedMemberSlot.MemberPath.AsCql(builder, blockAlias);
            }
 
            if (Domain.Count > 1)
            { 
                builder.Append(" is a ("); 
            }
            else 
            {
                builder.Append(" is type ");
            }
 
            bool isFirst = true;
            foreach (Constant constant in Domain.Values) 
            { 
                TypeConstant typeConstant = constant as TypeConstant;
                Debug.Assert(typeConstant != null || constant.IsNull(), "Constants for type checks must be type constants or NULLs"); 

                if (isFirst == false)
                {
                    builder.Append(" OR "); 
                }
 
                if (constant.IsNull()) 
                {
                    builder.Append(" NULL"); 
                }
                else
                {
                    CqlWriter.AppendEscapedTypeName(builder, typeConstant.CdmType); 
                }
 
                isFirst = false; 
            }
 
            if (Domain.Count > 1)
            {
                builder.Append(')');
            } 
            return builder;
        } 
 
        #endregion
 
        #region String methods
        internal override void ToCompactString(StringBuilder builder)
        {
            builder.Append("type("); 
            RestrictedMemberSlot.ToCompactString(builder);
            builder.Append(") IN ("); 
            StringUtil.ToCommaSeparatedStringSorted(builder, Domain.Values); 
            builder.Append(")");
        } 
        #endregion

    }
} 

// File provided for Reference Use Only by Microsoft Corporation (c) 2007.
//---------------------------------------------------------------------- 
// 
//      Copyright (c) Microsoft Corporation.  All rights reserved.
// 
// 
// @owner [....]
// @backupOwner [....] 
//--------------------------------------------------------------------- 

using System.Data.Common.Utils; 
using System.Data.Common.Utils.Boolean;
using System.Collections.Generic;
using System.Text;
using System.Diagnostics; 
using System.Data.Mapping.ViewGeneration.CqlGeneration;
using System.Data.Metadata.Edm; 
 
namespace System.Data.Mapping.ViewGeneration.Structures
{ 

    using DomainBoolExpr = BoolExpr>;
    using CellConstantSet = Set;
 
    // A class that denotes the boolean expression: "varType in values"
    // See the comments in OneOfConst for partially and fully-done objects 
    internal class TypeRestriction : MemberRestriction 
    {
 
        #region Constructors
        // effects: Creates a partial OneOfTypeConst of the form "node in values"
        internal TypeRestriction(MemberPath node, IEnumerable values)
            : base(new MemberProjectedSlot(node), CreateTypeConstants(values)) { } 

        // effects: Creates a partial OneOfTypeConst of the form "node = values" 
        internal TypeRestriction(MemberPath node, Constant value) : 
            base(new MemberProjectedSlot(node), value)
        { 
            Debug.Assert(value is TypeConstant || value.IsNull(), "Type or NULL expected");
        }

        // effects: Creates an expression of the form "type of node in type constants 
        // corresponding to values", i.e., a boolean expression of the form "TypeOf(slot) in values"
        // possibleValues are all the values that node's type can take 
        internal TypeRestriction(MemberPath node, IEnumerable values, 
                                IEnumerable possibleValues)
            : base(new MemberProjectedSlot(node), CreateTypeConstants(values), CreateTypeConstants(possibleValues)) { } 

        // effects: Creates a "fully-done" OneOfTypeConst that represents
        // "node in values". possibleValues are all the values that node's type can take
        internal TypeRestriction(MemberPath node, IEnumerable values, 
                                IEnumerable possibleValues)
            : base(new MemberProjectedSlot(node), values, possibleValues) { } 
 
        // effects: Creates an expression of the form "slot = value"
        // possibleValues are all the values that slot can take 
        internal TypeRestriction(MemberPath node, Constant value, IEnumerable possibleValues) :
            base(new MemberProjectedSlot(node), value, possibleValues)
        {
            Debug.Assert(value is TypeConstant || value.IsNull(), "Type or NULL expected"); 
        }
 
        // effects: Creates an expression of the form "slot in domain" 
        internal TypeRestriction(MemberProjectedSlot slot, Domain domain)
            : base(slot, domain) 
        {
        }
        #endregion
 
        #region Helper static methods
        // effects: Given a list of types (which can contain nulls), 
        // returns  a corresponding list of Type Constants for those types 
        private static IEnumerable CreateTypeConstants(IEnumerable types)
        { 
            foreach (EdmType type in types)
            {
                if (type == null)
                { 
                    yield return Constant.Null;
                } 
                else 
                {
                    yield return new TypeConstant(type); 
                }
            }
        }
        #endregion 

        #region Methods 
        // requires: IsFullyDone is true 
        // effects: Fixes the range of this in accordance with range
        internal override DomainBoolExpr FixRange(Set range, MemberDomainMap memberDomainMap) 
        {
            Debug.Assert(IsFullyDone, "Ranges are fixed only for fully done OneOfConsts");
            IEnumerable possibleValues = memberDomainMap.GetDomain(RestrictedMemberSlot.MemberPath);
            BoolLiteral newLiteral = new TypeRestriction(RestrictedMemberSlot, new Domain(range, possibleValues)); 
            return newLiteral.GetDomainBoolExpression(memberDomainMap);
        } 
 
        internal override StringBuilder AsCql(StringBuilder builder, string blockAlias, bool canSkipIsNotNull)
        { 
            // type comparison: make a big OR

            // Important to enclose all the OR statements in () !
            if (Domain.Count > 1) 
            {
                builder.Append('('); 
            } 
            bool isFirst = true;
            // Add Cql of the form "(T.A IS OF (ONLY Person) OR .....)" 

            foreach (Constant constant in Domain.Values)
            {
                TypeConstant typeConstant = constant as TypeConstant; 
                Debug.Assert(typeConstant != null || constant.IsNull(), "Constants for type checks must be type constants or NULLs");
 
                if (isFirst == false) 
                {
                    builder.Append(" OR "); 
                }
                isFirst = false;
                if (RestrictedMemberSlot.MemberPath.EdmType is RefType)
                { 
                    builder.Append("Deref(");
                    RestrictedMemberSlot.MemberPath.AsCql(builder, blockAlias); 
                    builder.Append(')'); 
                }
                else 
                {
                    // non-reference type
                    RestrictedMemberSlot.MemberPath.AsCql(builder, blockAlias);
                } 
                if (constant.IsNull())
                { 
                    builder.Append(" IS NULL"); 
                }
                else 
                {
                    // type constant
                    builder.Append(" IS OF (ONLY ");
                    CqlWriter.AppendEscapedTypeName(builder, typeConstant.CdmType); 
                    builder.Append(')');
                } 
            } 
            if (Domain.Count > 1)
            { 
                builder.Append(')');
            }
            return builder;
        } 

 
        internal override StringBuilder AsUserString(StringBuilder builder, string blockAlias, bool canSkipIsNotNull) 
        {
            // Add user readable string of the form "(T.A IS OF (ONLY Person) OR .....)" 

            if (RestrictedMemberSlot.MemberPath.EdmType is RefType)
            {
                builder.Append("Deref("); 
                RestrictedMemberSlot.MemberPath.AsCql(builder, blockAlias);
                builder.Append(')'); 
            } 
            else
            { 
                // non-reference type
                RestrictedMemberSlot.MemberPath.AsCql(builder, blockAlias);
            }
 
            if (Domain.Count > 1)
            { 
                builder.Append(" is a ("); 
            }
            else 
            {
                builder.Append(" is type ");
            }
 
            bool isFirst = true;
            foreach (Constant constant in Domain.Values) 
            { 
                TypeConstant typeConstant = constant as TypeConstant;
                Debug.Assert(typeConstant != null || constant.IsNull(), "Constants for type checks must be type constants or NULLs"); 

                if (isFirst == false)
                {
                    builder.Append(" OR "); 
                }
 
                if (constant.IsNull()) 
                {
                    builder.Append(" NULL"); 
                }
                else
                {
                    CqlWriter.AppendEscapedTypeName(builder, typeConstant.CdmType); 
                }
 
                isFirst = false; 
            }
 
            if (Domain.Count > 1)
            {
                builder.Append(')');
            } 
            return builder;
        } 
 
        #endregion
 
        #region String methods
        internal override void ToCompactString(StringBuilder builder)
        {
            builder.Append("type("); 
            RestrictedMemberSlot.ToCompactString(builder);
            builder.Append(") IN ("); 
            StringUtil.ToCommaSeparatedStringSorted(builder, Domain.Values); 
            builder.Append(")");
        } 
        #endregion

    }
} 

// File provided for Reference Use Only by Microsoft Corporation (c) 2007.

                        

                        

                        
                        

Link Menu

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

• MsmqEncryptionAlgorithm.cs
• SettingsPropertyValueCollection.cs
• GraphicsContainer.cs
• CharacterString.cs
• ContentElement.cs
• BaseTemplateBuildProvider.cs
• RegexBoyerMoore.cs
• DocumentGridPage.cs
• ProviderSettingsCollection.cs
• XmlCompatibilityReader.cs
• bindurihelper.cs
• ReverseInheritProperty.cs
• XmlArrayItemAttribute.cs
• ISessionStateStore.cs
• RoutedUICommand.cs
• RoleManagerEventArgs.cs
• QueryRewriter.cs
• SignedXml.cs
• SystemWebExtensionsSectionGroup.cs
• _OverlappedAsyncResult.cs
• PageWrapper.cs
• ListControlBoundActionList.cs
• CompilerParameters.cs
• PropagatorResult.cs
• FixedSOMTableCell.cs
• KeyFrames.cs
• SemanticAnalyzer.cs
• RoleManagerModule.cs
• DiagnosticsConfigurationHandler.cs
• FormViewModeEventArgs.cs
• MissingManifestResourceException.cs
• GridLengthConverter.cs
• CheckPair.cs
• webeventbuffer.cs
• VirtualDirectoryMapping.cs
• ObjectIDGenerator.cs
• FilterQuery.cs
• SystemUdpStatistics.cs
• MobileCategoryAttribute.cs
• ToolTipAutomationPeer.cs
• Internal.cs
• WebPartRestoreVerb.cs
• IsolatedStorageFilePermission.cs
• SecurityContext.cs
• ModuleBuilderData.cs
• DesignConnection.cs
• Assert.cs
• VisualBasicReference.cs
• CollectionViewGroupInternal.cs
• StrokeNodeData.cs
• ImplicitInputBrush.cs
• DataBinding.cs
• DirectoryLocalQuery.cs
• CommandField.cs
• ToolboxControl.cs
• SoapAttributeAttribute.cs
• RuleSetReference.cs
• FixedFlowMap.cs
• IncrementalReadDecoders.cs
• ViewgenContext.cs
• ImportCatalogPart.cs
• PrivateFontCollection.cs
• X500Name.cs
• Debug.cs
• ActivityPropertyReference.cs
• TimeSpanSecondsConverter.cs
• TransformerConfigurationWizardBase.cs
• isolationinterop.cs
• Comparer.cs
• BufferedReadStream.cs
• StreamSecurityUpgradeAcceptorBase.cs
• PasswordRecovery.cs
• SelectionPatternIdentifiers.cs
• TableRow.cs
• FormView.cs
• XmlILStorageConverter.cs
• GradientBrush.cs
• InvokePatternIdentifiers.cs
• EmptyStringExpandableObjectConverter.cs
• AuthenticationService.cs
• PagerSettings.cs
• __Filters.cs
• ItemMap.cs
• MouseDevice.cs
• UndoManager.cs
• Identity.cs
• SmiXetterAccessMap.cs
• ParsedAttributeCollection.cs
• DesignerActionItem.cs
• SelectionEditor.cs
• LinqDataSourceDeleteEventArgs.cs
• StringBuilder.cs
• RemoteWebConfigurationHostStream.cs
• Pair.cs
• ArrayItemReference.cs
• ClassDataContract.cs
• Activity.cs
• WebControlsSection.cs
• ModelTreeEnumerator.cs
• TrackingAnnotationCollection.cs