Code:
/ Dotnetfx_Vista_SP2 / Dotnetfx_Vista_SP2 / 8.0.50727.4016 / DEVDIV / depot / DevDiv / releases / Orcas / QFE / 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
- SmiTypedGetterSetter.cs
- PerformanceCounterManager.cs
- ProtocolElementCollection.cs
- FileDialog_Vista.cs
- FileLogRecordStream.cs
- COSERVERINFO.cs
- ResourceReader.cs
- Win32.cs
- HijriCalendar.cs
- GridViewRowEventArgs.cs
- CircleEase.cs
- HuffmanTree.cs
- CodeObjectCreateExpression.cs
- LinearGradientBrush.cs
- VBIdentifierDesigner.xaml.cs
- TemplateXamlTreeBuilder.cs
- XmlReaderDelegator.cs
- GlobalizationAssembly.cs
- WebRequestModuleElement.cs
- GeneralTransform3DGroup.cs
- ZeroOpNode.cs
- SqlConnectionPoolProviderInfo.cs
- PieceDirectory.cs
- EntityCommandCompilationException.cs
- NativeActivityContext.cs
- RepeaterCommandEventArgs.cs
- RadioButtonList.cs
- GridViewColumn.cs
- AuthenticationConfig.cs
- HostingEnvironmentSection.cs
- StoreUtilities.cs
- WebPartVerbCollection.cs
- Matrix3DConverter.cs
- SlotInfo.cs
- PersistChildrenAttribute.cs
- CommonXSendMessage.cs
- CommonGetThemePartSize.cs
- AsyncCompletedEventArgs.cs
- DataGridViewCellCancelEventArgs.cs
- XmlQualifiedNameTest.cs
- Metadata.cs
- DataControlPagerLinkButton.cs
- TdsParserStaticMethods.cs
- TextElement.cs
- Random.cs
- CodeVariableDeclarationStatement.cs
- WebCategoryAttribute.cs
- WindowsRegion.cs
- PageBuildProvider.cs
- SerialErrors.cs
- StrongName.cs
- CacheDependency.cs
- ColorConvertedBitmapExtension.cs
- MarkupCompiler.cs
- _FtpControlStream.cs
- QilPatternVisitor.cs
- DrawItemEvent.cs
- ScopelessEnumAttribute.cs
- SecurityPermission.cs
- DuplicateDetector.cs
- InstanceLockedException.cs
- ImageMap.cs
- ProgressChangedEventArgs.cs
- TableSectionStyle.cs
- BitmapEffectOutputConnector.cs
- RtfToXamlLexer.cs
- MethodExecutor.cs
- PreviewKeyDownEventArgs.cs
- PrinterUnitConvert.cs
- Int32Collection.cs
- ViewgenContext.cs
- PropagatorResult.cs
- returneventsaver.cs
- XmlSerializerFactory.cs
- MailAddressParser.cs
- GridViewUpdateEventArgs.cs
- ToolStripDropDownButton.cs
- AutoCompleteStringCollection.cs
- PKCS1MaskGenerationMethod.cs
- SwitchCase.cs
- TextBoxLine.cs
- CodeDirectiveCollection.cs
- ProcessHost.cs
- NavigationProperty.cs
- ToolStripItemEventArgs.cs
- SignedPkcs7.cs
- ItemsPresenter.cs
- Boolean.cs
- WinEventQueueItem.cs
- WrappedOptions.cs
- CodeStatementCollection.cs
- CallbackException.cs
- ProcessExitedException.cs
- SignatureSummaryDialog.cs
- SoapObjectWriter.cs
- TriggerCollection.cs
- TimersDescriptionAttribute.cs
- QilFactory.cs
- GlyphCache.cs
- ControlBuilder.cs