Code:
/ Dotnetfx_Vista_SP2 / Dotnetfx_Vista_SP2 / 8.0.50727.4016 / DEVDIV / depot / DevDiv / releases / Orcas / QFE / ndp / fx / src / DataEntity / System / Data / Map / ViewGeneration / Structures / NegatedCellConstant.cs / 2 / NegatedCellConstant.cs
//---------------------------------------------------------------------- //// Copyright (c) Microsoft Corporation. All rights reserved. // // // @owner [....] // @backupOwner [....] //--------------------------------------------------------------------- using System.Collections.Generic; using System.Data.Common.Utils; using System.Text; using System.Diagnostics; using System.Data.Mapping.ViewGeneration.Utils; using System.Data.Entity; namespace System.Data.Mapping.ViewGeneration.Structures { // A class that represents NOT(elements), e.g., NOT(1, 2, NULL), i.e., // all values other than null, 1 and 2 internal class NegatedCellConstant : CellConstant { #region Constructors // effects: Creates NOT(NULL} internal static NegatedCellConstant CreateNotNull() { NegatedCellConstant result = new NegatedCellConstant(); result.m_negatedDomain.Add(CellConstant.Null); return result; } // effects: Creates an empty domain private NegatedCellConstant() { m_negatedDomain = new Set(CellConstant.EqualityComparer); } // requires: values has no NegatedCellConstant // effects: Creates a negated constant with the values in it internal NegatedCellConstant(IEnumerable values) { m_negatedDomain = new Set (values, CellConstant.EqualityComparer); Debug.Assert(CheckRepInvariantLocal()); } #endregion #region Fields private Set m_negatedDomain; // e.g., NOT(1, 2, Undefined) #endregion #region Properties internal IEnumerable Elements { get { return m_negatedDomain;} } #endregion #region Methods // effects: Returns true if this contains "constant" internal bool Contains(CellConstant constant) { return m_negatedDomain.Contains(constant); } // effects: Returns true if this represents "NotNull" precisely internal override bool IsNotNull() { return m_negatedDomain.Count == 1 && m_negatedDomain.Contains(CellConstant.Null); } // effects: Returns true if this contains "NotNull" internal override bool HasNotNull() { return m_negatedDomain.Contains(CellConstant.Null); } internal override bool CheckRepInvariant() { return CheckRepInvariantLocal(); } // effects: Make sure that this negated constant's invariants are valid internal bool CheckRepInvariantLocal() { // NOT cannot contain negated cell constants foreach (CellConstant constant in Elements) { Debug.Assert(constant as NegatedCellConstant == null, "NegatedCellConstant in NegatedCellConstant?"); } return true; } // effects: Returns a hash value for this protected override int GetHash() { int result = 0; foreach (CellConstant constant in m_negatedDomain) { result ^= CellConstant.EqualityComparer.GetHashCode(constant); } return result; } // effects: Returns true if right has the same contents as this protected override bool IsEqualTo(CellConstant right) { NegatedCellConstant rightNegatedConstant = right as NegatedCellConstant; if (rightNegatedConstant == null) { return false; } return m_negatedDomain.SetEquals(rightNegatedConstant.m_negatedDomain); } // effects: Given a set of positive constants (constants) and this, // generates a Cql expression, e.g., 7, NOT(7, NULL) means NOT NULL // 7, 8, NOT(7, 8, 9, 10) Means NOT(9, 10) // Note: NOT(9, NULL) is NOT (a is 9 OR a is NULL) = // A IS NOT 9 AND A IS NOT NULL internal StringBuilder AsCql(StringBuilder builder, string blockAlias, Set constants, MemberPath path, bool canSkipIsNotNull) { return ToStringHelper(builder, blockAlias, constants, path, canSkipIsNotNull, false); } // effects: Given a set of constants, generates "Slot = X AND Slot = Y" or "Slot <> X AND Slot <> Y" (depending ifGenerateEquals) private static void GenerateAndsForSlot(StringBuilder builder, string blockAlias, Set constants, MemberPath path, bool anyAdded, bool userString) { foreach (CellConstant constant in constants) { if (anyAdded) { builder.Append(" AND "); } anyAdded = true; if (userString) { path.ToCompactString(builder, blockAlias); builder.Append(" <>"); constant.ToCompactString(builder); } else { path.AsCql(builder, blockAlias); builder.Append(" <>"); constant.AsCql(builder, path, blockAlias); } } } private StringBuilder ToStringHelper(StringBuilder builder, string blockAlias, Set constants, MemberPath path, bool canSkipIsNotNull, bool userString) { bool isNullable = path.IsNullable; // Remove all the constants from negated and then print NOT // .. AND NOT .. AND NOT ... Set negatedConstants = new Set (Elements, CellConstant.EqualityComparer); foreach (CellConstant constant in constants) { if (constant.Equals(this)) { continue; } Debug.Assert(negatedConstants.Contains(constant), "Negated constant must contain all positive constants"); negatedConstants.Remove(constant); } if (negatedConstants.Count == 0) { // All constants cancel out builder.Append("true"); return builder; } bool hasNull = negatedConstants.Contains(CellConstant.Null); negatedConstants.Remove(CellConstant.Null); // We always add IS NOT NULL if the property is nullable (and we // cannot skip IS NOT NULL). Also, if the domain contains NOT // NULL, we must add it bool anyAdded = false; if (hasNull || (isNullable && canSkipIsNotNull == false)) { if (userString) { path.ToCompactString(builder, blockAlias); builder.Append(" is not NULL"); } else { path.AsCql(builder, blockAlias); builder.Append(" IS NOT NULL"); } anyAdded = true; } GenerateAndsForSlot(builder, blockAlias, negatedConstants, path, anyAdded, userString); return builder; } internal StringBuilder AsUserString(StringBuilder builder, string blockAlias, Set constants, MemberPath path, bool canSkipIsNotNull) { return ToStringHelper(builder, blockAlias, constants, path, canSkipIsNotNull, true); } internal override string ToUserString() { if (IsNotNull()) { return System.Data.Entity.Strings.ViewGen_NotNull; } else { StringBuilder builder = new StringBuilder(); bool isFirst = true; foreach (CellConstant constant in m_negatedDomain) { // Skip printing out Null if m_negatedDomain has other values if (m_negatedDomain.Count > 1 && constant.IsNull()) { continue; } if (isFirst == false) { builder.Append(System.Data.Entity.Strings.ViewGen_CommaBlank); } isFirst = false; builder.Append(constant.ToUserString()); } StringBuilder result = new StringBuilder(); result.Append(Strings.ViewGen_NegatedCellConstant_0(builder.ToString())); return result.ToString(); } } internal override void ToCompactString(StringBuilder builder) { // Special code for NOT NULL if (IsNotNull()) { builder.Append("NOT_NULL"); } else { builder.Append("NOT("); StringUtil.ToCommaSeparatedStringSorted(builder, m_negatedDomain); 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.Collections.Generic; using System.Data.Common.Utils; using System.Text; using System.Diagnostics; using System.Data.Mapping.ViewGeneration.Utils; using System.Data.Entity; namespace System.Data.Mapping.ViewGeneration.Structures { // A class that represents NOT(elements), e.g., NOT(1, 2, NULL), i.e., // all values other than null, 1 and 2 internal class NegatedCellConstant : CellConstant { #region Constructors // effects: Creates NOT(NULL} internal static NegatedCellConstant CreateNotNull() { NegatedCellConstant result = new NegatedCellConstant(); result.m_negatedDomain.Add(CellConstant.Null); return result; } // effects: Creates an empty domain private NegatedCellConstant() { m_negatedDomain = new Set(CellConstant.EqualityComparer); } // requires: values has no NegatedCellConstant // effects: Creates a negated constant with the values in it internal NegatedCellConstant(IEnumerable values) { m_negatedDomain = new Set (values, CellConstant.EqualityComparer); Debug.Assert(CheckRepInvariantLocal()); } #endregion #region Fields private Set m_negatedDomain; // e.g., NOT(1, 2, Undefined) #endregion #region Properties internal IEnumerable Elements { get { return m_negatedDomain;} } #endregion #region Methods // effects: Returns true if this contains "constant" internal bool Contains(CellConstant constant) { return m_negatedDomain.Contains(constant); } // effects: Returns true if this represents "NotNull" precisely internal override bool IsNotNull() { return m_negatedDomain.Count == 1 && m_negatedDomain.Contains(CellConstant.Null); } // effects: Returns true if this contains "NotNull" internal override bool HasNotNull() { return m_negatedDomain.Contains(CellConstant.Null); } internal override bool CheckRepInvariant() { return CheckRepInvariantLocal(); } // effects: Make sure that this negated constant's invariants are valid internal bool CheckRepInvariantLocal() { // NOT cannot contain negated cell constants foreach (CellConstant constant in Elements) { Debug.Assert(constant as NegatedCellConstant == null, "NegatedCellConstant in NegatedCellConstant?"); } return true; } // effects: Returns a hash value for this protected override int GetHash() { int result = 0; foreach (CellConstant constant in m_negatedDomain) { result ^= CellConstant.EqualityComparer.GetHashCode(constant); } return result; } // effects: Returns true if right has the same contents as this protected override bool IsEqualTo(CellConstant right) { NegatedCellConstant rightNegatedConstant = right as NegatedCellConstant; if (rightNegatedConstant == null) { return false; } return m_negatedDomain.SetEquals(rightNegatedConstant.m_negatedDomain); } // effects: Given a set of positive constants (constants) and this, // generates a Cql expression, e.g., 7, NOT(7, NULL) means NOT NULL // 7, 8, NOT(7, 8, 9, 10) Means NOT(9, 10) // Note: NOT(9, NULL) is NOT (a is 9 OR a is NULL) = // A IS NOT 9 AND A IS NOT NULL internal StringBuilder AsCql(StringBuilder builder, string blockAlias, Set constants, MemberPath path, bool canSkipIsNotNull) { return ToStringHelper(builder, blockAlias, constants, path, canSkipIsNotNull, false); } // effects: Given a set of constants, generates "Slot = X AND Slot = Y" or "Slot <> X AND Slot <> Y" (depending ifGenerateEquals) private static void GenerateAndsForSlot(StringBuilder builder, string blockAlias, Set constants, MemberPath path, bool anyAdded, bool userString) { foreach (CellConstant constant in constants) { if (anyAdded) { builder.Append(" AND "); } anyAdded = true; if (userString) { path.ToCompactString(builder, blockAlias); builder.Append(" <>"); constant.ToCompactString(builder); } else { path.AsCql(builder, blockAlias); builder.Append(" <>"); constant.AsCql(builder, path, blockAlias); } } } private StringBuilder ToStringHelper(StringBuilder builder, string blockAlias, Set constants, MemberPath path, bool canSkipIsNotNull, bool userString) { bool isNullable = path.IsNullable; // Remove all the constants from negated and then print NOT // .. AND NOT .. AND NOT ... Set negatedConstants = new Set (Elements, CellConstant.EqualityComparer); foreach (CellConstant constant in constants) { if (constant.Equals(this)) { continue; } Debug.Assert(negatedConstants.Contains(constant), "Negated constant must contain all positive constants"); negatedConstants.Remove(constant); } if (negatedConstants.Count == 0) { // All constants cancel out builder.Append("true"); return builder; } bool hasNull = negatedConstants.Contains(CellConstant.Null); negatedConstants.Remove(CellConstant.Null); // We always add IS NOT NULL if the property is nullable (and we // cannot skip IS NOT NULL). Also, if the domain contains NOT // NULL, we must add it bool anyAdded = false; if (hasNull || (isNullable && canSkipIsNotNull == false)) { if (userString) { path.ToCompactString(builder, blockAlias); builder.Append(" is not NULL"); } else { path.AsCql(builder, blockAlias); builder.Append(" IS NOT NULL"); } anyAdded = true; } GenerateAndsForSlot(builder, blockAlias, negatedConstants, path, anyAdded, userString); return builder; } internal StringBuilder AsUserString(StringBuilder builder, string blockAlias, Set constants, MemberPath path, bool canSkipIsNotNull) { return ToStringHelper(builder, blockAlias, constants, path, canSkipIsNotNull, true); } internal override string ToUserString() { if (IsNotNull()) { return System.Data.Entity.Strings.ViewGen_NotNull; } else { StringBuilder builder = new StringBuilder(); bool isFirst = true; foreach (CellConstant constant in m_negatedDomain) { // Skip printing out Null if m_negatedDomain has other values if (m_negatedDomain.Count > 1 && constant.IsNull()) { continue; } if (isFirst == false) { builder.Append(System.Data.Entity.Strings.ViewGen_CommaBlank); } isFirst = false; builder.Append(constant.ToUserString()); } StringBuilder result = new StringBuilder(); result.Append(Strings.ViewGen_NegatedCellConstant_0(builder.ToString())); return result.ToString(); } } internal override void ToCompactString(StringBuilder builder) { // Special code for NOT NULL if (IsNotNull()) { builder.Append("NOT_NULL"); } else { builder.Append("NOT("); StringUtil.ToCommaSeparatedStringSorted(builder, m_negatedDomain); 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
- TypeSource.cs
- VisualStyleTypesAndProperties.cs
- PolicyValidationException.cs
- QueryAccessibilityHelpEvent.cs
- Section.cs
- GridViewColumnHeader.cs
- ReadOnlyTernaryTree.cs
- ProviderSettingsCollection.cs
- PerspectiveCamera.cs
- SqlGatherProducedAliases.cs
- WebBrowsableAttribute.cs
- InputScopeNameConverter.cs
- CollectionViewProxy.cs
- DispatchWrapper.cs
- WebPartsPersonalizationAuthorization.cs
- InplaceBitmapMetadataWriter.cs
- XPathDocumentBuilder.cs
- Vector.cs
- TextModifierScope.cs
- GuidelineSet.cs
- KeyInterop.cs
- FunctionImportMapping.cs
- ResXBuildProvider.cs
- TraceContextRecord.cs
- SqlDataReader.cs
- PrimitiveXmlSerializers.cs
- SortedDictionary.cs
- XmlLinkedNode.cs
- _OverlappedAsyncResult.cs
- SrgsOneOf.cs
- ApplyTemplatesAction.cs
- FormsAuthenticationConfiguration.cs
- ScriptManager.cs
- PageAsyncTask.cs
- ApplicationSettingsBase.cs
- ListBindableAttribute.cs
- ObjectDataSource.cs
- Resources.Designer.cs
- x509utils.cs
- ParameterModifier.cs
- TemplatedWizardStep.cs
- XmlSchemaNotation.cs
- LongCountAggregationOperator.cs
- oledbconnectionstring.cs
- ISAPIApplicationHost.cs
- MimeParameters.cs
- DataSvcMapFileSerializer.cs
- ExpandCollapsePattern.cs
- SecurityChannelFactory.cs
- SerializationEventsCache.cs
- IsolatedStorageException.cs
- RepeatBehavior.cs
- CngUIPolicy.cs
- OracleConnection.cs
- CommonGetThemePartSize.cs
- ButtonChrome.cs
- HttpRuntime.cs
- MsmqUri.cs
- DataGridViewSortCompareEventArgs.cs
- CreateUserErrorEventArgs.cs
- InputLangChangeRequestEvent.cs
- ByteFacetDescriptionElement.cs
- SqlAggregateChecker.cs
- figurelengthconverter.cs
- PauseStoryboard.cs
- RuntimeEnvironment.cs
- TypefaceMetricsCache.cs
- ChannelBinding.cs
- GeneratedView.cs
- NullableConverter.cs
- CodeObject.cs
- DbXmlEnabledProviderManifest.cs
- DispatcherExceptionEventArgs.cs
- MetadataHelper.cs
- CatalogPart.cs
- TraceHandler.cs
- Config.cs
- Stacktrace.cs
- PresentationTraceSources.cs
- ApplicationContext.cs
- DocumentApplication.cs
- Adorner.cs
- IntranetCredentialPolicy.cs
- InputElement.cs
- TemplateModeChangedEventArgs.cs
- FormsAuthenticationUser.cs
- FacetChecker.cs
- diagnosticsswitches.cs
- ReadOnlyCollection.cs
- SqlException.cs
- ProtocolViolationException.cs
- LayoutEditorPart.cs
- LocalValueEnumerator.cs
- DesignerOptionService.cs
- ValidationRuleCollection.cs
- PropertyGeneratedEventArgs.cs
- XslException.cs
- DbConnectionClosed.cs
- CharEnumerator.cs
- AttachInfo.cs