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
- MessageSecurityOverMsmq.cs
- XmlLanguage.cs
- DropShadowBitmapEffect.cs
- FileClassifier.cs
- FileIOPermission.cs
- RegistryKey.cs
- DataSourceSerializationException.cs
- TextOptions.cs
- InternalSafeNativeMethods.cs
- BorderSidesEditor.cs
- ProvideValueServiceProvider.cs
- CopyEncoder.cs
- Style.cs
- Typography.cs
- Walker.cs
- Int32Animation.cs
- MimeWriter.cs
- XmlSchemaProviderAttribute.cs
- FieldToken.cs
- Thickness.cs
- PageWrapper.cs
- ToolStripRenderer.cs
- DataGridViewTopLeftHeaderCell.cs
- PublishLicense.cs
- ToolStripItemClickedEventArgs.cs
- Graphics.cs
- CatalogZone.cs
- MasterPageCodeDomTreeGenerator.cs
- WsdlContractConversionContext.cs
- ApplyTemplatesAction.cs
- PropertyItem.cs
- ProviderCommandInfoUtils.cs
- MediaPlayerState.cs
- AttributeParameterInfo.cs
- InputProcessorProfilesLoader.cs
- KeyValueConfigurationElement.cs
- XmlCDATASection.cs
- ToolBarButtonClickEvent.cs
- DataObject.cs
- _UriSyntax.cs
- XmlDataSource.cs
- EnumerableWrapperWeakToStrong.cs
- CalendarTable.cs
- securitycriticaldataClass.cs
- SplineKeyFrames.cs
- DataPagerCommandEventArgs.cs
- PrintingPermissionAttribute.cs
- Storyboard.cs
- WebServiceData.cs
- BindToObject.cs
- VisemeEventArgs.cs
- SRGSCompiler.cs
- Array.cs
- StyleModeStack.cs
- StylusDownEventArgs.cs
- PerformanceCounterLib.cs
- ArithmeticException.cs
- ContainerUtilities.cs
- BlockCollection.cs
- KeyPressEvent.cs
- BinaryReader.cs
- MessageDecoder.cs
- DrawingBrush.cs
- X509Chain.cs
- WSDualHttpBindingElement.cs
- ChameleonKey.cs
- RoleService.cs
- SettingsPropertyNotFoundException.cs
- EndpointAddressMessageFilterTable.cs
- CompoundFileStreamReference.cs
- GenerateTemporaryAssemblyTask.cs
- TreeNodeCollection.cs
- ProfileInfo.cs
- QilGenerator.cs
- AuthorizationRuleCollection.cs
- DataGridViewColumnEventArgs.cs
- DragEvent.cs
- Regex.cs
- DataViewListener.cs
- DBConnection.cs
- TextTreeDeleteContentUndoUnit.cs
- RMPublishingDialog.cs
- BoolExpression.cs
- ProcessThread.cs
- TrackingParameters.cs
- ListViewTableRow.cs
- FragmentNavigationEventArgs.cs
- AvtEvent.cs
- TextPattern.cs
- ReadOnlyActivityGlyph.cs
- TextWriterTraceListener.cs
- InkPresenterAutomationPeer.cs
- DNS.cs
- DataKey.cs
- BrowserCapabilitiesFactory.cs
- NativeMethods.cs
- DataReaderContainer.cs
- HttpServerVarsCollection.cs
- InteropBitmapSource.cs
- FunctionDetailsReader.cs