Code:
/ Dotnetfx_Win7_3.5.1 / Dotnetfx_Win7_3.5.1 / 3.5.1 / DEVDIV / depot / DevDiv / releases / Orcas / NetFXw7 / ndp / fx / src / DataEntity / System / Data / Common / Utils / Boolean / Literal.cs / 1 / 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
- WorkflowDefinitionDispenser.cs
- Enum.cs
- StagingAreaInputItem.cs
- DrawingContextWalker.cs
- UrlAuthorizationModule.cs
- ObjectParameter.cs
- WebPartAddingEventArgs.cs
- ToolStripMenuItem.cs
- ObjectDataSourceFilteringEventArgs.cs
- SqlAliasesReferenced.cs
- ExecutedRoutedEventArgs.cs
- ToolStripPanelRenderEventArgs.cs
- Wildcard.cs
- RangeBaseAutomationPeer.cs
- ConnectionManagementSection.cs
- DetailsViewDeletedEventArgs.cs
- OleDbConnectionInternal.cs
- NotifyIcon.cs
- StringKeyFrameCollection.cs
- TemplateControlCodeDomTreeGenerator.cs
- ReliableSessionElement.cs
- HyperLinkStyle.cs
- SecurityResources.cs
- ProcessHostConfigUtils.cs
- Triplet.cs
- RangeValidator.cs
- AccessText.cs
- DPCustomTypeDescriptor.cs
- ReadWriteObjectLock.cs
- XpsS0ValidatingLoader.cs
- XpsDocumentEvent.cs
- Attachment.cs
- Vector3DConverter.cs
- assertwrapper.cs
- CommandBindingCollection.cs
- DataGridViewSelectedColumnCollection.cs
- processwaithandle.cs
- ManagementEventArgs.cs
- Region.cs
- MinimizableAttributeTypeConverter.cs
- NameSpaceExtractor.cs
- MULTI_QI.cs
- ToolStripContainerDesigner.cs
- RelationshipConstraintValidator.cs
- SurrogateSelector.cs
- XmlSerializer.cs
- WebPartsPersonalizationAuthorization.cs
- HttpListenerRequestUriBuilder.cs
- PopupRootAutomationPeer.cs
- initElementDictionary.cs
- StringResourceManager.cs
- IImplicitResourceProvider.cs
- XMLUtil.cs
- OracleNumber.cs
- ButtonColumn.cs
- SystemIPv4InterfaceProperties.cs
- OleDbDataReader.cs
- MeasurementDCInfo.cs
- QueryContinueDragEventArgs.cs
- DataControlImageButton.cs
- FaultContractInfo.cs
- StringResourceManager.cs
- AssociationSetEnd.cs
- ApplicationManager.cs
- ComContractElement.cs
- WsatServiceCertificate.cs
- XmlWrappingReader.cs
- BamlRecords.cs
- ConnectionConsumerAttribute.cs
- PingReply.cs
- DictionaryTraceRecord.cs
- GenericsInstances.cs
- WebEventCodes.cs
- LocationReferenceEnvironment.cs
- ObjectTag.cs
- EntityViewGenerator.cs
- Thumb.cs
- ToolStripManager.cs
- ContentValidator.cs
- XmlDictionaryWriter.cs
- SocketElement.cs
- FrameworkElementFactory.cs
- GroupBoxAutomationPeer.cs
- Base64Encoder.cs
- VarInfo.cs
- AttributeEmitter.cs
- UIElement3D.cs
- ListViewItem.cs
- ConsumerConnectionPointCollection.cs
- EmbeddedMailObjectsCollection.cs
- OpenTypeCommon.cs
- CacheSection.cs
- CaseInsensitiveOrdinalStringComparer.cs
- CacheAxisQuery.cs
- StringValueConverter.cs
- SystemNetworkInterface.cs
- LinqDataSourceDeleteEventArgs.cs
- ObservableCollectionDefaultValueFactory.cs
- SourceElementsCollection.cs
- SystemIPGlobalProperties.cs