Code:
/ 4.0 / 4.0 / untmp / 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.
Link Menu
This book is available now!
Buy at Amazon US or
Buy at Amazon UK
- XmlEntityReference.cs
- Accessible.cs
- PeerDefaultCustomResolverClient.cs
- CodeLabeledStatement.cs
- AvTrace.cs
- QilUnary.cs
- StringDictionary.cs
- TargetControlTypeCache.cs
- DataServiceConfiguration.cs
- unitconverter.cs
- NodeFunctions.cs
- TrackingParameters.cs
- AnonymousIdentificationSection.cs
- BamlLocalizerErrorNotifyEventArgs.cs
- SchemaContext.cs
- EventManager.cs
- WSSecurityOneDotOneReceiveSecurityHeader.cs
- XmlSchemaSequence.cs
- DataGridViewTextBoxCell.cs
- HtmlInputPassword.cs
- ExpressionNode.cs
- XmlDictionaryReader.cs
- Helper.cs
- SafeNativeMethodsMilCoreApi.cs
- WebBrowserUriTypeConverter.cs
- SrgsRule.cs
- CalendarDataBindingHandler.cs
- Stylesheet.cs
- PublisherMembershipCondition.cs
- MimeFormImporter.cs
- TypedElement.cs
- Splitter.cs
- GeometryGroup.cs
- GridViewSelectEventArgs.cs
- TextModifierScope.cs
- AsyncResult.cs
- HttpSysSettings.cs
- XhtmlTextWriter.cs
- FactoryId.cs
- OutputCacheSettings.cs
- ToolboxItemImageConverter.cs
- BooleanKeyFrameCollection.cs
- AddToCollection.cs
- PageTheme.cs
- DbProviderManifest.cs
- TableItemPattern.cs
- Merger.cs
- CqlParser.cs
- UniqueIdentifierService.cs
- WizardStepBase.cs
- ValidatedControlConverter.cs
- Compiler.cs
- TextWriterTraceListener.cs
- ListBoxAutomationPeer.cs
- SQLInt64.cs
- SmiContextFactory.cs
- ChannelServices.cs
- TreeView.cs
- DockAndAnchorLayout.cs
- ComMethodElementCollection.cs
- ApplyImportsAction.cs
- Propagator.JoinPropagator.SubstitutingCloneVisitor.cs
- BoolExpressionVisitors.cs
- PackUriHelper.cs
- TextUtf8RawTextWriter.cs
- DataGridPageChangedEventArgs.cs
- Graph.cs
- StaticFileHandler.cs
- NotificationContext.cs
- SHA1CryptoServiceProvider.cs
- QilInvokeEarlyBound.cs
- WhereaboutsReader.cs
- Lazy.cs
- TdsParserStaticMethods.cs
- UInt32Storage.cs
- ParameterCollectionEditor.cs
- BaseAddressElementCollection.cs
- DrawingBrush.cs
- mediaclock.cs
- DragAssistanceManager.cs
- XNameTypeConverter.cs
- TreeNodeSelectionProcessor.cs
- Vars.cs
- SqlNotificationRequest.cs
- ObjectContext.cs
- TrackBarDesigner.cs
- _WinHttpWebProxyDataBuilder.cs
- SafeWaitHandle.cs
- SafeNativeMethodsMilCoreApi.cs
- EllipticalNodeOperations.cs
- mansign.cs
- TableLayoutSettingsTypeConverter.cs
- ExternalCalls.cs
- SatelliteContractVersionAttribute.cs
- ManagedWndProcTracker.cs
- _LocalDataStore.cs
- CachedTypeface.cs
- Dictionary.cs
- GradientStop.cs
- CanonicalFormWriter.cs