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
- UTF32Encoding.cs
- Attachment.cs
- DependencyProperty.cs
- NamedPipeTransportElement.cs
- tibetanshape.cs
- HandlerWithFactory.cs
- FullTextState.cs
- DoubleIndependentAnimationStorage.cs
- WebPartZone.cs
- BrowsableAttribute.cs
- CodeValidator.cs
- StringStorage.cs
- XMLSyntaxException.cs
- DbSetClause.cs
- KnownAssembliesSet.cs
- StoragePropertyMapping.cs
- PartitionerStatic.cs
- Guid.cs
- DataGridViewColumnDividerDoubleClickEventArgs.cs
- PreDigestedSignedInfo.cs
- SqlConnectionFactory.cs
- EventWaitHandleSecurity.cs
- BatchStream.cs
- XmlFormatExtensionAttribute.cs
- DesignerVerbCollection.cs
- XmlTextAttribute.cs
- RawStylusInputCustomData.cs
- DbConnectionOptions.cs
- SqlStream.cs
- FontFamily.cs
- EntityDataSourceView.cs
- XamlDesignerSerializationManager.cs
- EventPrivateKey.cs
- AttachedPropertyBrowsableWhenAttributePresentAttribute.cs
- ZoneButton.cs
- ProxyGenerator.cs
- UInt16Storage.cs
- StringUtil.cs
- ExpressionEvaluator.cs
- BlobPersonalizationState.cs
- HtmlInputReset.cs
- DataGridViewCheckBoxCell.cs
- OLEDB_Enum.cs
- Section.cs
- RegisteredScript.cs
- UnsettableComboBox.cs
- StaticFileHandler.cs
- Matrix3D.cs
- ADMembershipUser.cs
- ModelItemImpl.cs
- GatewayDefinition.cs
- FilterException.cs
- SecurityProtocolCorrelationState.cs
- Section.cs
- ContentIterators.cs
- SelectionChangedEventArgs.cs
- HttpPostedFile.cs
- SqlDependencyUtils.cs
- BaseTemplateCodeDomTreeGenerator.cs
- DecryptedHeader.cs
- LassoSelectionBehavior.cs
- SystemColorTracker.cs
- ImageAnimator.cs
- ContextMenuService.cs
- DesignerActionUI.cs
- StaticContext.cs
- SinglePhaseEnlistment.cs
- MaskPropertyEditor.cs
- TypeResolver.cs
- TypeDescriptor.cs
- HMACSHA1.cs
- TransactionsSectionGroup.cs
- TabPageDesigner.cs
- Menu.cs
- TimeSpanMinutesConverter.cs
- WebException.cs
- UiaCoreProviderApi.cs
- VBCodeProvider.cs
- ListManagerBindingsCollection.cs
- UDPClient.cs
- PropertyConverter.cs
- ControlPaint.cs
- ConnectionProviderAttribute.cs
- TreeViewDataItemAutomationPeer.cs
- EntityViewContainer.cs
- TargetPerspective.cs
- KeyBinding.cs
- MetadataSerializer.cs
- Processor.cs
- RecognizerStateChangedEventArgs.cs
- EventArgs.cs
- TablePattern.cs
- ToolStripContainer.cs
- XsltConvert.cs
- TemplatedWizardStep.cs
- FormatterServices.cs
- Typeface.cs
- HttpVersion.cs
- Timer.cs
- ScriptingRoleServiceSection.cs