tools/Contracts/Languages/CSharp/ContractDeclarativeAssemblyAttribute.cs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

//
//  This file is included when building a contract declarative assembly
//  in order to mark it as such for recognition by the tools
//
using System;
using System.Collections.Generic;
using System.Text;

[assembly: global::System.Diagnostics.Contracts.ContractDeclarativeAssembly]

namespace System.Diagnostics.Contracts
{
  [AttributeUsage(AttributeTargets.Assembly)]
  internal class ContractDeclarativeAssemblyAttribute : global::System.Attribute
  {
  }
}