Code:
/ 4.0 / 4.0 / DEVDIV_TFS / Dev10 / Releases / RTMRel / ndp / clr / src / BCL / System / IFormattable.cs / 1305376 / IFormattable.cs
// ==++==
//
// Copyright (c) Microsoft Corporation. All rights reserved.
//
// ==--==
namespace System {
using System;
using System.Diagnostics.Contracts;
[System.Runtime.InteropServices.ComVisible(true)]
[ContractClass(typeof(IFormattableContract))]
public interface IFormattable
{
[Pure]
String ToString(String format, IFormatProvider formatProvider);
}
[ContractClassFor(typeof(IFormattable))]
internal abstract class IFormattableContract : IFormattable
{
String IFormattable.ToString(String format, IFormatProvider formatProvider)
{
Contract.Ensures(Contract.Result() != null);
throw new NotImplementedException();
}
}
}
// File provided for Reference Use Only by Microsoft Corporation (c) 2007.
// ==++==
//
// Copyright (c) Microsoft Corporation. All rights reserved.
//
// ==--==
namespace System {
using System;
using System.Diagnostics.Contracts;
[System.Runtime.InteropServices.ComVisible(true)]
[ContractClass(typeof(IFormattableContract))]
public interface IFormattable
{
[Pure]
String ToString(String format, IFormatProvider formatProvider);
}
[ContractClassFor(typeof(IFormattable))]
internal abstract class IFormattableContract : IFormattable
{
String IFormattable.ToString(String format, IFormatProvider formatProvider)
{
Contract.Ensures(Contract.Result() != null);
throw new NotImplementedException();
}
}
}
// 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
- BodyGlyph.cs
- RotateTransform3D.cs
- ManipulationLogic.cs
- _NestedSingleAsyncResult.cs
- PeerNearMe.cs
- Preprocessor.cs
- ImageAutomationPeer.cs
- MatrixKeyFrameCollection.cs
- EtwTrace.cs
- GPStream.cs
- CodeSnippetCompileUnit.cs
- Item.cs
- XNameTypeConverter.cs
- AbstractSvcMapFileLoader.cs
- ApplicationProxyInternal.cs
- EntityDataSourceSelectedEventArgs.cs
- UpdatePanelTriggerCollection.cs
- OverlappedAsyncResult.cs
- WebRequestModulesSection.cs
- XmlValidatingReader.cs
- UidManager.cs
- ArrayExtension.cs
- WebControlsSection.cs
- UrlMappingCollection.cs
- SrgsSemanticInterpretationTag.cs
- DataKey.cs
- HitTestFilterBehavior.cs
- RecognizerBase.cs
- PersonalizablePropertyEntry.cs
- DBAsyncResult.cs
- Logging.cs
- ResourceSet.cs
- mactripleDES.cs
- BindStream.cs
- BrowserDefinition.cs
- GroupedContextMenuStrip.cs
- WebConfigurationHost.cs
- RuntimeComponentFilter.cs
- KeyBinding.cs
- UTF8Encoding.cs
- InputScopeAttribute.cs
- BitmapSourceSafeMILHandle.cs
- XmlILIndex.cs
- ApplicationSettingsBase.cs
- LinkArea.cs
- RunWorkerCompletedEventArgs.cs
- SqlTriggerContext.cs
- GeneralTransform3D.cs
- FontDialog.cs
- NetMsmqSecurity.cs
- TimeSpanParse.cs
- XmlSchemaResource.cs
- WebResponse.cs
- ResXBuildProvider.cs
- HtmlInputText.cs
- ProcessHostMapPath.cs
- TextTreeNode.cs
- TypedMessageConverter.cs
- DotExpr.cs
- MD5CryptoServiceProvider.cs
- XPathDescendantIterator.cs
- ArrangedElementCollection.cs
- RemotingException.cs
- NameSpaceExtractor.cs
- DPCustomTypeDescriptor.cs
- HttpRawResponse.cs
- XmlAtomicValue.cs
- CompiledIdentityConstraint.cs
- ProgressiveCrcCalculatingStream.cs
- KnownTypesHelper.cs
- ImageUrlEditor.cs
- AttributeCollection.cs
- BitmapEffectGeneralTransform.cs
- UrlMapping.cs
- StreamWriter.cs
- TableLayoutStyle.cs
- EncoderBestFitFallback.cs
- PolicyConversionContext.cs
- FtpWebResponse.cs
- BindingBase.cs
- BooleanToSelectiveScrollingOrientationConverter.cs
- WizardStepBase.cs
- WSDualHttpSecurity.cs
- TableLayout.cs
- Persist.cs
- PeerTransportSecurityElement.cs
- EventMap.cs
- TextureBrush.cs
- Subtree.cs
- WebPartEditorCancelVerb.cs
- TemplateBindingExpressionConverter.cs
- NetworkInterface.cs
- MissingManifestResourceException.cs
- CfgArc.cs
- BitmapVisualManager.cs
- DPTypeDescriptorContext.cs
- PagesSection.cs
- TableRowsCollectionEditor.cs
- RecordConverter.cs
- LiteralControl.cs