Code:
/ Net / Net / 3.5.50727.3053 / DEVDIV / depot / DevDiv / releases / Orcas / SP / ndp / fx / src / DataEntity / System / Data / Common / Utils / Boolean / Literal.cs / 2 / Literal.cs
//---------------------------------------------------------------------- //// Copyright (c) Microsoft Corporation. All rights reserved. // // // @owner [....] // @backupOwner [....] //--------------------------------------------------------------------- using System; using System.Collections.Generic; using System.Text; using System.Globalization; using System.Collections.ObjectModel; using System.Diagnostics; namespace System.Data.Common.Utils.Boolean { ////// Represents a literal in a normal form expression of the form: /// /// Term /// /// or /// /// !Term /// ///internal sealed class Literal : NormalFormNode , IEquatable > { private readonly TermExpr _term; private readonly bool _isTermPositive; /// /// Initialize a new literal. /// /// Term /// Sign of term internal Literal(TermExprterm, bool isTermPositive) : base(isTermPositive ? (BoolExpr )term : (BoolExpr )new NotExpr (term)) { Debug.Assert(null != term); _term = term; _isTermPositive = isTermPositive; } /// /// Gets literal term. /// internal TermExprTerm { get { return _term; } } /// /// Gets sign of term. /// internal bool IsTermPositive { get { return _isTermPositive; } } ////// Creates a negated version of this literal. /// ///!this internal LiteralMakeNegated() { return IdentifierService .Instance.NegateLiteral(this); } public override string ToString() { return StringUtil.FormatInvariant("{0}{1}", _isTermPositive ? String.Empty : "!", _term); } public override bool Equals(object obj) { Debug.Fail("use typed Equals"); return Equals(obj as Literal ); } public bool Equals(Literal other) { return null != other && other._isTermPositive == _isTermPositive && other._term.Equals(_term); } public override int GetHashCode() { return _term.GetHashCode(); } } } // 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.Globalization; using System.Collections.ObjectModel; using System.Diagnostics; namespace System.Data.Common.Utils.Boolean { ////// Represents a literal in a normal form expression of the form: /// /// Term /// /// or /// /// !Term /// ///internal sealed class Literal : NormalFormNode , IEquatable > { private readonly TermExpr _term; private readonly bool _isTermPositive; /// /// Initialize a new literal. /// /// Term /// Sign of term internal Literal(TermExprterm, bool isTermPositive) : base(isTermPositive ? (BoolExpr )term : (BoolExpr )new NotExpr (term)) { Debug.Assert(null != term); _term = term; _isTermPositive = isTermPositive; } /// /// Gets literal term. /// internal TermExprTerm { get { return _term; } } /// /// Gets sign of term. /// internal bool IsTermPositive { get { return _isTermPositive; } } ////// Creates a negated version of this literal. /// ///!this internal LiteralMakeNegated() { return IdentifierService .Instance.NegateLiteral(this); } public override string ToString() { return StringUtil.FormatInvariant("{0}{1}", _isTermPositive ? String.Empty : "!", _term); } public override bool Equals(object obj) { Debug.Fail("use typed Equals"); return Equals(obj as Literal ); } public bool Equals(Literal other) { return null != other && other._isTermPositive == _isTermPositive && other._term.Equals(_term); } public override int GetHashCode() { return _term.GetHashCode(); } } } // 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
- ValueHandle.cs
- XmlQuerySequence.cs
- HttpPostedFileBase.cs
- FlowPanelDesigner.cs
- VirtualPathData.cs
- GestureRecognitionResult.cs
- OutKeywords.cs
- StandardCommands.cs
- SlipBehavior.cs
- AutomationPropertyInfo.cs
- ScriptControl.cs
- PrintController.cs
- WinFormsUtils.cs
- SessionIDManager.cs
- HealthMonitoringSection.cs
- TextOutput.cs
- SQLResource.cs
- TypedTableGenerator.cs
- EventProxy.cs
- Socket.cs
- SHA384Managed.cs
- MenuCommands.cs
- Utils.cs
- RelationshipEndMember.cs
- WindowsTab.cs
- WinEventWrap.cs
- ConfigurationProperty.cs
- DataListItemEventArgs.cs
- ActivityBuilder.cs
- DBCSCodePageEncoding.cs
- QueryCacheManager.cs
- CollectionBuilder.cs
- FormDocumentDesigner.cs
- Selection.cs
- CompareValidator.cs
- OneOfTypeConst.cs
- KeyInterop.cs
- ByteStorage.cs
- DesignerCalendarAdapter.cs
- TextDecoration.cs
- HwndProxyElementProvider.cs
- EnumConverter.cs
- base64Transforms.cs
- Int64AnimationBase.cs
- UIElementAutomationPeer.cs
- DrawingAttributes.cs
- ApplyTemplatesAction.cs
- SystemIcons.cs
- UTF32Encoding.cs
- NotSupportedException.cs
- XmlSchemaAttributeGroupRef.cs
- StrokeCollection.cs
- MatrixAnimationUsingPath.cs
- MainMenu.cs
- RenamedEventArgs.cs
- ImageSource.cs
- GroupBoxAutomationPeer.cs
- HttpHandlerActionCollection.cs
- Helpers.cs
- IOThreadTimer.cs
- BooleanProjectedSlot.cs
- AutoGeneratedField.cs
- IndexedString.cs
- SettingsProperty.cs
- SplayTreeNode.cs
- DataKeyPropertyAttribute.cs
- ThemeDirectoryCompiler.cs
- WebPartConnectionsDisconnectVerb.cs
- OutputCacheProfile.cs
- ParameterBinding.cs
- SqlClientWrapperSmiStream.cs
- NavigationFailedEventArgs.cs
- TextRenderer.cs
- DetailsViewPagerRow.cs
- ConditionalAttribute.cs
- HttpPostProtocolImporter.cs
- VirtualPathProvider.cs
- PropertyMetadata.cs
- ObjectAnimationBase.cs
- shaperfactoryquerycacheentry.cs
- IPGlobalProperties.cs
- HandleDictionary.cs
- WrappedOptions.cs
- OutputCacheModule.cs
- ConfigurationSectionGroupCollection.cs
- Track.cs
- OleDbParameter.cs
- ColorTransformHelper.cs
- ListItemParagraph.cs
- FormsAuthenticationCredentials.cs
- DispatcherBuilder.cs
- RuntimeVariablesExpression.cs
- ImageSource.cs
- ImageFormatConverter.cs
- DataControlFieldCollection.cs
- ChtmlImageAdapter.cs
- ComplexPropertyEntry.cs
- AutoResizedEvent.cs
- hresults.cs
- figurelength.cs