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
- MemoryMappedView.cs
- StateItem.cs
- sqlser.cs
- ImpersonateTokenRef.cs
- ComEventsHelper.cs
- FontWeight.cs
- CodeAssignStatement.cs
- DispatchChannelSink.cs
- MaskDescriptors.cs
- BridgeDataRecord.cs
- XmlSchemaAnnotated.cs
- ReaderWriterLock.cs
- Symbol.cs
- TypeDescriptionProvider.cs
- PermissionToken.cs
- SequentialWorkflowHeaderFooter.cs
- CommandManager.cs
- ReflectionTypeLoadException.cs
- AssertUtility.cs
- DbConnectionPoolGroupProviderInfo.cs
- ApplicationTrust.cs
- LexicalChunk.cs
- HotSpot.cs
- XmlSchemaProviderAttribute.cs
- SqlTriggerContext.cs
- PagedDataSource.cs
- _OverlappedAsyncResult.cs
- HandlerBase.cs
- ToolStripArrowRenderEventArgs.cs
- DataGridAutoGeneratingColumnEventArgs.cs
- RectIndependentAnimationStorage.cs
- SystemThemeKey.cs
- EntityProviderFactory.cs
- RegexCompiler.cs
- UrlMappingCollection.cs
- PermissionSetEnumerator.cs
- XsltConvert.cs
- KeyTimeConverter.cs
- ToolStripComboBox.cs
- SchemaImporterExtensionsSection.cs
- SendMailErrorEventArgs.cs
- DataRelation.cs
- AndCondition.cs
- PeerValidationBehavior.cs
- ItemCheckEvent.cs
- CharAnimationUsingKeyFrames.cs
- DelayLoadType.cs
- BufferedWebEventProvider.cs
- KeyConverter.cs
- ReachVisualSerializer.cs
- Crc32Helper.cs
- Delegate.cs
- SchemaInfo.cs
- MouseWheelEventArgs.cs
- BasePropertyDescriptor.cs
- _ScatterGatherBuffers.cs
- QilIterator.cs
- KeyValueInternalCollection.cs
- ProviderIncompatibleException.cs
- DataGridCaption.cs
- Set.cs
- RemoteWebConfigurationHostServer.cs
- _NtlmClient.cs
- CompositeActivityMarkupSerializer.cs
- Underline.cs
- Table.cs
- SplitterCancelEvent.cs
- Condition.cs
- SafeLibraryHandle.cs
- FreezableCollection.cs
- WebControl.cs
- RectangleHotSpot.cs
- PanelDesigner.cs
- Light.cs
- CacheRequest.cs
- ReachPageContentSerializer.cs
- DataGridColumnsPage.cs
- RuleSettings.cs
- TdsParser.cs
- MeshGeometry3D.cs
- RtfControlWordInfo.cs
- ContentPosition.cs
- IntranetCredentialPolicy.cs
- Expressions.cs
- TabletDevice.cs
- Attributes.cs
- AnnotationDocumentPaginator.cs
- ValueUnavailableException.cs
- DeferredTextReference.cs
- WindowsClientElement.cs
- XMLSchema.cs
- HwndKeyboardInputProvider.cs
- WebHeaderCollection.cs
- CodeGeneratorOptions.cs
- AliasExpr.cs
- TableProviderWrapper.cs
- CloudCollection.cs
- ViewStateException.cs
- LocalizedNameDescriptionPair.cs
- InputLanguageCollection.cs