Code:
/ Dotnetfx_Vista_SP2 / Dotnetfx_Vista_SP2 / 8.0.50727.4016 / DEVDIV / depot / DevDiv / releases / Orcas / QFE / ndp / fx / src / DataEntity / System / Data / Common / Utils / Boolean / NegationPusher.cs / 2 / NegationPusher.cs
//---------------------------------------------------------------------- //// Copyright (c) Microsoft Corporation. All rights reserved. // // // @owner [....] // @backupOwner [....] //--------------------------------------------------------------------- using System; using System.Collections.Generic; using System.Text; using System.Diagnostics; using System.Linq; namespace System.Data.Common.Utils.Boolean { // Top-down push-down of negation in Boolean expressions. // - !(A or B) iff. !A and !B // - !(A and B) iff. !A or !B // - !!A iff. A // Uses two visitor classes: one to handle negated subtrees (essentially creates // an inverted tree) and one to handle non-negated subtrees (replicates until it // encounters NotExpr) internal static class NegationPusher { internal static BoolExpr> EliminateNot (BoolExpr > expression) { return expression.Accept(NonNegatedDomainConstraintTreeVisitor .Instance); } private class NonNegatedTreeVisitor : BasicVisitor { internal static readonly NonNegatedTreeVisitor Instance = new NonNegatedTreeVisitor (); protected NonNegatedTreeVisitor() { } internal override BoolExpr VisitNot(NotExpr expression) { return expression.Child.Accept(NegatedTreeVisitor .Instance); } } private class NegatedTreeVisitor : Visitor > { internal static readonly NegatedTreeVisitor Instance = new NegatedTreeVisitor (); protected NegatedTreeVisitor() { } internal override BoolExpr VisitTrue(TrueExpr expression) { return FalseExpr .Value; } internal override BoolExpr VisitFalse(FalseExpr expression) { return TrueExpr .Value; } internal override BoolExpr VisitTerm(TermExpr expression) { return new NotExpr (expression); } internal override BoolExpr VisitNot(NotExpr expression) { return expression.Child.Accept(NonNegatedTreeVisitor .Instance); } internal override BoolExpr VisitAnd(AndExpr expression) { return new OrExpr (expression.Children.Select(child => child.Accept(this))); } internal override BoolExpr VisitOr(OrExpr expression) { return new AndExpr (expression.Children.Select(child => child.Accept(this))); } } private class NonNegatedDomainConstraintTreeVisitor : NonNegatedTreeVisitor > { internal new static readonly NonNegatedDomainConstraintTreeVisitor Instance = new NonNegatedDomainConstraintTreeVisitor (); private NonNegatedDomainConstraintTreeVisitor() { } internal override BoolExpr > VisitNot(NotExpr > expression) { return expression.Child.Accept(NegatedDomainConstraintTreeVisitor .Instance); } } private class NegatedDomainConstraintTreeVisitor : NegatedTreeVisitor > { internal new static readonly NegatedDomainConstraintTreeVisitor Instance = new NegatedDomainConstraintTreeVisitor (); private NegatedDomainConstraintTreeVisitor() { } internal override BoolExpr > VisitNot(NotExpr > expression) { return expression.Child.Accept(NonNegatedDomainConstraintTreeVisitor .Instance); } internal override BoolExpr > VisitTerm(TermExpr > expression) { return new TermExpr >(expression.Identifier.InvertDomainConstraint()); } } } } // File provided for Reference Use Only by Microsoft Corporation (c) 2007. //---------------------------------------------------------------------- // // Copyright (c) Microsoft Corporation. All rights reserved. // // // @owner [....] // @backupOwner [....] //--------------------------------------------------------------------- using System; using System.Collections.Generic; using System.Text; using System.Diagnostics; using System.Linq; namespace System.Data.Common.Utils.Boolean { // Top-down push-down of negation in Boolean expressions. // - !(A or B) iff. !A and !B // - !(A and B) iff. !A or !B // - !!A iff. A // Uses two visitor classes: one to handle negated subtrees (essentially creates // an inverted tree) and one to handle non-negated subtrees (replicates until it // encounters NotExpr) internal static class NegationPusher { internal static BoolExpr> EliminateNot (BoolExpr > expression) { return expression.Accept(NonNegatedDomainConstraintTreeVisitor .Instance); } private class NonNegatedTreeVisitor : BasicVisitor { internal static readonly NonNegatedTreeVisitor Instance = new NonNegatedTreeVisitor (); protected NonNegatedTreeVisitor() { } internal override BoolExpr VisitNot(NotExpr expression) { return expression.Child.Accept(NegatedTreeVisitor .Instance); } } private class NegatedTreeVisitor : Visitor > { internal static readonly NegatedTreeVisitor Instance = new NegatedTreeVisitor (); protected NegatedTreeVisitor() { } internal override BoolExpr VisitTrue(TrueExpr expression) { return FalseExpr .Value; } internal override BoolExpr VisitFalse(FalseExpr expression) { return TrueExpr .Value; } internal override BoolExpr VisitTerm(TermExpr expression) { return new NotExpr (expression); } internal override BoolExpr VisitNot(NotExpr expression) { return expression.Child.Accept(NonNegatedTreeVisitor .Instance); } internal override BoolExpr VisitAnd(AndExpr expression) { return new OrExpr (expression.Children.Select(child => child.Accept(this))); } internal override BoolExpr VisitOr(OrExpr expression) { return new AndExpr (expression.Children.Select(child => child.Accept(this))); } } private class NonNegatedDomainConstraintTreeVisitor : NonNegatedTreeVisitor > { internal new static readonly NonNegatedDomainConstraintTreeVisitor Instance = new NonNegatedDomainConstraintTreeVisitor (); private NonNegatedDomainConstraintTreeVisitor() { } internal override BoolExpr > VisitNot(NotExpr > expression) { return expression.Child.Accept(NegatedDomainConstraintTreeVisitor .Instance); } } private class NegatedDomainConstraintTreeVisitor : NegatedTreeVisitor > { internal new static readonly NegatedDomainConstraintTreeVisitor Instance = new NegatedDomainConstraintTreeVisitor (); private NegatedDomainConstraintTreeVisitor() { } internal override BoolExpr > VisitNot(NotExpr > expression) { return expression.Child.Accept(NonNegatedDomainConstraintTreeVisitor .Instance); } internal override BoolExpr > VisitTerm(TermExpr > expression) { return new TermExpr >(expression.Identifier.InvertDomainConstraint()); } } } } // 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
- LinqDataSource.cs
- _NTAuthentication.cs
- TrackingProfile.cs
- FloaterBaseParaClient.cs
- XslTransform.cs
- SymLanguageVendor.cs
- BasicBrowserDialog.designer.cs
- XmlElementCollection.cs
- GridLength.cs
- Header.cs
- ThicknessKeyFrameCollection.cs
- RotationValidation.cs
- ReflectEventDescriptor.cs
- ToolStripSystemRenderer.cs
- SQLInt16.cs
- BuildProvidersCompiler.cs
- FrameworkTextComposition.cs
- unsafenativemethodsother.cs
- ArithmeticException.cs
- SessionStateUtil.cs
- AccessDataSource.cs
- OdbcEnvironmentHandle.cs
- SqlMetaData.cs
- ColorContextHelper.cs
- COAUTHINFO.cs
- DataControlFieldsEditor.cs
- Encoder.cs
- BamlLocalizableResource.cs
- FactoryRecord.cs
- TabPanel.cs
- PictureBoxDesigner.cs
- CompilerScope.Storage.cs
- TextDecoration.cs
- MergeFilterQuery.cs
- MDIWindowDialog.cs
- TypeSystemProvider.cs
- SystemThemeKey.cs
- UnmanagedBitmapWrapper.cs
- Stream.cs
- PropertyValueUIItem.cs
- WebPartAddingEventArgs.cs
- _UncName.cs
- PropertyValidationContext.cs
- GeometryGroup.cs
- RequestResponse.cs
- LassoHelper.cs
- XmlComment.cs
- InlineUIContainer.cs
- HttpCookiesSection.cs
- DBDataPermission.cs
- SqlDataSourceParameterParser.cs
- ChildrenQuery.cs
- MenuItem.cs
- StorageMappingItemCollection.cs
- SortQuery.cs
- DummyDataSource.cs
- WebPartMinimizeVerb.cs
- MappingItemCollection.cs
- CanonicalFormWriter.cs
- CatalogPart.cs
- Int32RectValueSerializer.cs
- VerificationException.cs
- OdbcError.cs
- BeginCreateSecurityTokenRequest.cs
- XmlSchemaAnnotated.cs
- XXXOnTypeBuilderInstantiation.cs
- CommonServiceBehaviorElement.cs
- ClaimTypes.cs
- LayoutTableCell.cs
- RecordBuilder.cs
- EditingScopeUndoUnit.cs
- AssociatedControlConverter.cs
- XPathDescendantIterator.cs
- List.cs
- URIFormatException.cs
- ToolStripOverflowButton.cs
- SelectorAutomationPeer.cs
- MenuCommands.cs
- EventArgs.cs
- cookie.cs
- GridItemProviderWrapper.cs
- DataGridViewCellLinkedList.cs
- Translator.cs
- DataGridViewRowConverter.cs
- TraceUtils.cs
- PseudoWebRequest.cs
- NonSerializedAttribute.cs
- VisualBasicDesignerHelper.cs
- ConnectionManagementElement.cs
- XmlSchema.cs
- CngKeyBlobFormat.cs
- ActivityExecutorDelegateInfo.cs
- Event.cs
- BaseInfoTable.cs
- BitmapEffectGeneralTransform.cs
- Span.cs
- InvokeProviderWrapper.cs
- XmlUTF8TextReader.cs
- TableItemPatternIdentifiers.cs
- AnnotationMap.cs