Code:
/ 4.0 / 4.0 / DEVDIV_TFS / Dev10 / Releases / RTMRel / ndp / fx / src / DataEntity / System / Data / Common / Utils / Boolean / Literal.cs / 1305376 / 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
- BaseDataList.cs
- SynchronizedInputAdaptor.cs
- BasicHttpSecurityElement.cs
- Html32TextWriter.cs
- BamlRecordWriter.cs
- XmlSortKeyAccumulator.cs
- DictionarySectionHandler.cs
- embossbitmapeffect.cs
- PolicyDesigner.cs
- DataGridDetailsPresenterAutomationPeer.cs
- DataTableReader.cs
- DataGridViewAddColumnDialog.cs
- Exceptions.cs
- FormViewDeleteEventArgs.cs
- UriScheme.cs
- EasingKeyFrames.cs
- TCEAdapterGenerator.cs
- WebServiceMethodData.cs
- SoapParser.cs
- DataGridViewCellStateChangedEventArgs.cs
- DelegateArgument.cs
- Trace.cs
- Gdiplus.cs
- NavigationFailedEventArgs.cs
- Block.cs
- PersistNameAttribute.cs
- WindowsBrush.cs
- dtdvalidator.cs
- FrameSecurityDescriptor.cs
- TemplateXamlParser.cs
- GraphicsPathIterator.cs
- ObfuscationAttribute.cs
- IndentTextWriter.cs
- ConditionalAttribute.cs
- MarkupWriter.cs
- ThousandthOfEmRealPoints.cs
- ObjectDataSourceSelectingEventArgs.cs
- FormViewInsertEventArgs.cs
- Menu.cs
- ToolStripButton.cs
- MultiDataTrigger.cs
- RemoteWebConfigurationHostStream.cs
- ComboBoxItem.cs
- OleDbSchemaGuid.cs
- XmlLoader.cs
- GreenMethods.cs
- SqlLiftWhereClauses.cs
- EntityContainer.cs
- CodeStatement.cs
- TextParagraph.cs
- ContractComponent.cs
- PermissionSet.cs
- CryptoApi.cs
- IndexingContentUnit.cs
- PropertyTab.cs
- BamlRecordHelper.cs
- UrlUtility.cs
- ExpressionConverter.cs
- CompensateDesigner.cs
- AsmxEndpointPickerExtension.cs
- QuotedPrintableStream.cs
- SmtpDigestAuthenticationModule.cs
- NameObjectCollectionBase.cs
- ConfigurationStrings.cs
- ToolstripProfessionalRenderer.cs
- ParenthesizePropertyNameAttribute.cs
- ByteRangeDownloader.cs
- DrawingContextWalker.cs
- WindowPatternIdentifiers.cs
- ZipIOModeEnforcingStream.cs
- SamlDoNotCacheCondition.cs
- OleDbCommandBuilder.cs
- GridItemProviderWrapper.cs
- ZipQueryOperator.cs
- WindowsIdentity.cs
- UpdateExpressionVisitor.cs
- ClusterSafeNativeMethods.cs
- PathFigure.cs
- WebPartConnectionCollection.cs
- SqlIdentifier.cs
- GenericXmlSecurityToken.cs
- AdRotator.cs
- DataList.cs
- ExceptionHelpers.cs
- TextRangeBase.cs
- TypeConverter.cs
- DataGridSortingEventArgs.cs
- StreamUpdate.cs
- ConnectionManagementSection.cs
- PrintingPermissionAttribute.cs
- RequestQueue.cs
- Attributes.cs
- BamlBinaryWriter.cs
- ImagingCache.cs
- DictionaryContent.cs
- XPathNavigatorKeyComparer.cs
- SafeThemeHandle.cs
- _PooledStream.cs
- XmlSchemaExternal.cs
- CursorEditor.cs