1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
// ==++==
//
// Copyright (c) Microsoft Corporation. All rights reserved.
//
// ==--==
namespace System {
using System;
using System.Diagnostics.Contracts;
[System.Runtime.InteropServices.ComVisible(true)]
#if CONTRACTS_FULL
[ContractClass(typeof(IFormattableContract))]
#endif // CONTRACTS_FULL
public interface IFormattable
{
[Pure]
String ToString(String format, IFormatProvider formatProvider);
}
#if CONTRACTS_FULL
[ContractClassFor(typeof(IFormattable))]
internal abstract class IFormattableContract : IFormattable
{
String IFormattable.ToString(String format, IFormatProvider formatProvider)
{
Contract.Ensures(Contract.Result<String>() != null);
throw new NotImplementedException();
}
}
#endif // CONTRACTS_FULL
}
|
