Code:
/ 4.0 / 4.0 / DEVDIV_TFS / Dev10 / Releases / RTMRel / ndp / fx / src / DataEntity / System / Data / Map / ViewGeneration / Structures / BoolLiteral.cs / 1305376 / BoolLiteral.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.Linq; namespace System.Data.Mapping.ViewGeneration.Structures { using DomainBoolExpr = BoolExpr>; using DomainNotExpr = NotExpr >; using DomainTermExpr = TermExpr >; // A class that "ties" up all the literals in boolean expressions -- // e.g., OneOfConst and CellIdBoolean derive from it // Conditions represented by BoolLiterals need to be synchronized with DomainConstraints, // which may be modified upon calling ExpensiveSimplify. This is what // the method FixRange is used for. internal abstract class BoolLiteral : InternalBase { #region Fields internal static readonly IEqualityComparer EqualityComparer = new BoolLiteralComparer(); internal static readonly IEqualityComparer EqualityIdentifierComparer = new IdentifierComparer(); #endregion #region methods // effects: Creates a term expression of the form: "literal in range with all possible values being domain" internal static DomainTermExpr MakeTermExpression(BoolLiteral literal, IEnumerable domain, IEnumerable range) { Set domainSet = new Set (domain, Constant.EqualityComparer); Set rangeSet = new Set (range, Constant.EqualityComparer); return MakeTermExpression(literal, domainSet, rangeSet); } internal static DomainTermExpr MakeTermExpression(BoolLiteral literal, Set domainSet, Set rangeSet) { domainSet.MakeReadOnly(); rangeSet.MakeReadOnly(); DomainVariable variable = new DomainVariable (literal, domainSet, EqualityIdentifierComparer); DomainConstraint constraint = new DomainConstraint (variable, rangeSet); DomainTermExpr result = new DomainTermExpr(EqualityComparer >.Default, constraint); return result; } // effects: Fixes the range of this using the new values provided in // range and returns a boolean expression corresponding to the new value internal abstract DomainBoolExpr FixRange(Set range, MemberDomainMap memberDomainMap); internal abstract DomainBoolExpr GetDomainBoolExpression(MemberDomainMap domainMap); // effects: See BoolExpression.RemapBool internal abstract BoolLiteral RemapBool(Dictionary remap); // effects: See BoolExpression.GetRequiredSlots internal abstract void GetRequiredSlots(MemberProjectionIndex projectedSlotMap, bool[] requiredSlots); // effects: See BoolExpression.AsCql internal abstract StringBuilder AsCql(StringBuilder builder, string blockAlias, bool canSkipIsNotNull); internal abstract StringBuilder AsUserString(StringBuilder builder, string blockAlias, bool canSkipIsNotNull); internal abstract StringBuilder AsNegatedUserString(StringBuilder builder, string blockAlias, bool canSkipIsNotNull); // effects: Checks if the identifier in this is the same as the one in right protected virtual bool IsIdentifierEqualTo(BoolLiteral right) { return IsEqualTo(right); } // effects: Get the hash code based on the identifier protected virtual int GetIdentifierHash() { return GetHash(); } protected abstract bool IsEqualTo(BoolLiteral right); protected abstract int GetHash(); #endregion #region Comparer class // This class compares boolean expressions private class BoolLiteralComparer : IEqualityComparer { public bool Equals(BoolLiteral left, BoolLiteral right) { // Quick check with references if (object.ReferenceEquals(left, right)) { // Gets the Null and Undefined case as well return true; } // One of them is non-null at least if (left == null || right == null) { return false; } // Both are non-null at this point return left.IsEqualTo(right); } public int GetHashCode(BoolLiteral literal) { return literal.GetHash(); } } #endregion #region Identifier Comparer class // This class compares just the identifier in boolean expressions private class IdentifierComparer : IEqualityComparer { public bool Equals(BoolLiteral left, BoolLiteral right) { // Quick check with references if (object.ReferenceEquals(left, right)) { // Gets the Null and Undefined case as well return true; } // One of them is non-null at least if (left == null || right == null) { return false; } // Both are non-null at this point return left.IsIdentifierEqualTo(right); } public int GetHashCode(BoolLiteral literal) { return literal.GetIdentifierHash(); } } #endregion } internal abstract class TrueFalseLiteral : BoolLiteral { internal override DomainBoolExpr GetDomainBoolExpression(MemberDomainMap domainMap) { // Essentially say that the variable can take values true or false and here its value is only true IEnumerable actualValues = new Constant[] { new ScalarConstant(true) }; IEnumerable possibleValues = new Constant[] { new ScalarConstant(true), new ScalarConstant(false) }; Set variableDomain = new Set (possibleValues, Constant.EqualityComparer).MakeReadOnly(); Set thisDomain = new Set (actualValues, Constant.EqualityComparer).MakeReadOnly(); DomainTermExpr result = MakeTermExpression(this, variableDomain, thisDomain); return result; } // effects: Fixes the range of this using the new values provided in // range and returns a boolean expression corresponding to the new value internal override DomainBoolExpr FixRange(Set range, MemberDomainMap memberDomainMap) { Debug.Assert(range.Count == 1, "For BoolLiterals, there should be precisely one value - true or false"); ScalarConstant scalar = (ScalarConstant)range.First(); DomainBoolExpr expr = GetDomainBoolExpression(memberDomainMap); if ((bool)scalar.Value == false) { // The range of the variable was "inverted". Return a NOT of // the expression expr = new DomainNotExpr(expr); } return expr; } } } // 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.Linq; namespace System.Data.Mapping.ViewGeneration.Structures { using DomainBoolExpr = BoolExpr>; using DomainNotExpr = NotExpr >; using DomainTermExpr = TermExpr >; // A class that "ties" up all the literals in boolean expressions -- // e.g., OneOfConst and CellIdBoolean derive from it // Conditions represented by BoolLiterals need to be synchronized with DomainConstraints, // which may be modified upon calling ExpensiveSimplify. This is what // the method FixRange is used for. internal abstract class BoolLiteral : InternalBase { #region Fields internal static readonly IEqualityComparer EqualityComparer = new BoolLiteralComparer(); internal static readonly IEqualityComparer EqualityIdentifierComparer = new IdentifierComparer(); #endregion #region methods // effects: Creates a term expression of the form: "literal in range with all possible values being domain" internal static DomainTermExpr MakeTermExpression(BoolLiteral literal, IEnumerable domain, IEnumerable range) { Set domainSet = new Set (domain, Constant.EqualityComparer); Set rangeSet = new Set (range, Constant.EqualityComparer); return MakeTermExpression(literal, domainSet, rangeSet); } internal static DomainTermExpr MakeTermExpression(BoolLiteral literal, Set domainSet, Set rangeSet) { domainSet.MakeReadOnly(); rangeSet.MakeReadOnly(); DomainVariable variable = new DomainVariable (literal, domainSet, EqualityIdentifierComparer); DomainConstraint constraint = new DomainConstraint (variable, rangeSet); DomainTermExpr result = new DomainTermExpr(EqualityComparer >.Default, constraint); return result; } // effects: Fixes the range of this using the new values provided in // range and returns a boolean expression corresponding to the new value internal abstract DomainBoolExpr FixRange(Set range, MemberDomainMap memberDomainMap); internal abstract DomainBoolExpr GetDomainBoolExpression(MemberDomainMap domainMap); // effects: See BoolExpression.RemapBool internal abstract BoolLiteral RemapBool(Dictionary remap); // effects: See BoolExpression.GetRequiredSlots internal abstract void GetRequiredSlots(MemberProjectionIndex projectedSlotMap, bool[] requiredSlots); // effects: See BoolExpression.AsCql internal abstract StringBuilder AsCql(StringBuilder builder, string blockAlias, bool canSkipIsNotNull); internal abstract StringBuilder AsUserString(StringBuilder builder, string blockAlias, bool canSkipIsNotNull); internal abstract StringBuilder AsNegatedUserString(StringBuilder builder, string blockAlias, bool canSkipIsNotNull); // effects: Checks if the identifier in this is the same as the one in right protected virtual bool IsIdentifierEqualTo(BoolLiteral right) { return IsEqualTo(right); } // effects: Get the hash code based on the identifier protected virtual int GetIdentifierHash() { return GetHash(); } protected abstract bool IsEqualTo(BoolLiteral right); protected abstract int GetHash(); #endregion #region Comparer class // This class compares boolean expressions private class BoolLiteralComparer : IEqualityComparer { public bool Equals(BoolLiteral left, BoolLiteral right) { // Quick check with references if (object.ReferenceEquals(left, right)) { // Gets the Null and Undefined case as well return true; } // One of them is non-null at least if (left == null || right == null) { return false; } // Both are non-null at this point return left.IsEqualTo(right); } public int GetHashCode(BoolLiteral literal) { return literal.GetHash(); } } #endregion #region Identifier Comparer class // This class compares just the identifier in boolean expressions private class IdentifierComparer : IEqualityComparer { public bool Equals(BoolLiteral left, BoolLiteral right) { // Quick check with references if (object.ReferenceEquals(left, right)) { // Gets the Null and Undefined case as well return true; } // One of them is non-null at least if (left == null || right == null) { return false; } // Both are non-null at this point return left.IsIdentifierEqualTo(right); } public int GetHashCode(BoolLiteral literal) { return literal.GetIdentifierHash(); } } #endregion } internal abstract class TrueFalseLiteral : BoolLiteral { internal override DomainBoolExpr GetDomainBoolExpression(MemberDomainMap domainMap) { // Essentially say that the variable can take values true or false and here its value is only true IEnumerable actualValues = new Constant[] { new ScalarConstant(true) }; IEnumerable possibleValues = new Constant[] { new ScalarConstant(true), new ScalarConstant(false) }; Set variableDomain = new Set (possibleValues, Constant.EqualityComparer).MakeReadOnly(); Set thisDomain = new Set (actualValues, Constant.EqualityComparer).MakeReadOnly(); DomainTermExpr result = MakeTermExpression(this, variableDomain, thisDomain); return result; } // effects: Fixes the range of this using the new values provided in // range and returns a boolean expression corresponding to the new value internal override DomainBoolExpr FixRange(Set range, MemberDomainMap memberDomainMap) { Debug.Assert(range.Count == 1, "For BoolLiterals, there should be precisely one value - true or false"); ScalarConstant scalar = (ScalarConstant)range.First(); DomainBoolExpr expr = GetDomainBoolExpression(memberDomainMap); if ((bool)scalar.Value == false) { // The range of the variable was "inverted". Return a NOT of // the expression expr = new DomainNotExpr(expr); } return expr; } } } // 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
- SubqueryRules.cs
- WeakEventManager.cs
- BulletChrome.cs
- MobileContainerDesigner.cs
- XPathNavigatorKeyComparer.cs
- ApplicationId.cs
- BindableAttribute.cs
- TreeBuilderBamlTranslator.cs
- Stopwatch.cs
- TcpActivation.cs
- InfoCardHelper.cs
- BroadcastEventHelper.cs
- XmlLanguageConverter.cs
- ShellProvider.cs
- SafeRegistryKey.cs
- CodeDelegateCreateExpression.cs
- PageAsyncTask.cs
- SAPICategories.cs
- ColorEditor.cs
- DependencyPropertyValueSerializer.cs
- Version.cs
- IIS7UserPrincipal.cs
- DocumentGridContextMenu.cs
- ForeignKeyConstraint.cs
- XPathPatternParser.cs
- PeerCollaborationPermission.cs
- __Error.cs
- SHA1Managed.cs
- OneWayChannelFactory.cs
- ComEventsInfo.cs
- MarshalByValueComponent.cs
- ResXResourceReader.cs
- ConnectivityStatus.cs
- IncrementalHitTester.cs
- XPathAncestorIterator.cs
- DrawingGroupDrawingContext.cs
- ReliableSessionBindingElementImporter.cs
- EditableRegion.cs
- PlaceHolder.cs
- BufferedWebEventProvider.cs
- PropertyEntry.cs
- Wildcard.cs
- GenericIdentity.cs
- TextEndOfParagraph.cs
- LineVisual.cs
- ImmutableObjectAttribute.cs
- UnSafeCharBuffer.cs
- HttpSocketManager.cs
- ComponentChangingEvent.cs
- AdRotator.cs
- BoundField.cs
- XmlQualifiedNameTest.cs
- DataGridViewCellValueEventArgs.cs
- TextFormatterHost.cs
- SafeRightsManagementEnvironmentHandle.cs
- OperationFormatUse.cs
- QilCloneVisitor.cs
- NamespaceEmitter.cs
- DataGridViewSelectedColumnCollection.cs
- UnmanagedMemoryStreamWrapper.cs
- StaticExtension.cs
- ArrayTypeMismatchException.cs
- OrthographicCamera.cs
- AssemblyBuilderData.cs
- NullableFloatMinMaxAggregationOperator.cs
- GridItemCollection.cs
- EntityDataSourceMemberPath.cs
- CryptoStream.cs
- XamlInt32CollectionSerializer.cs
- Input.cs
- LayoutExceptionEventArgs.cs
- ModelService.cs
- DiscoveryDocument.cs
- SchemaManager.cs
- TrustLevel.cs
- SchemaAttDef.cs
- DataGridViewRowCollection.cs
- WebBrowser.cs
- ValidationRuleCollection.cs
- StringComparer.cs
- CreateParams.cs
- Baml2006ReaderFrame.cs
- BaseCollection.cs
- HostSecurityManager.cs
- CommonProperties.cs
- WebSysDisplayNameAttribute.cs
- DataBoundControlActionList.cs
- PersonalizationStateInfo.cs
- CompilerParameters.cs
- BordersPage.cs
- TextSelection.cs
- ManagedFilter.cs
- Compiler.cs
- XPathQilFactory.cs
- StylusPointPropertyInfo.cs
- SimpleWorkerRequest.cs
- Point4D.cs
- InfocardClientCredentials.cs
- ThreadAttributes.cs
- ProcessingInstructionAction.cs