blob: 04f7ead7193bb2bce5cbbb5f5bf957a909582295 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
//-----------------------------------------------------------------------
// <copyright file="PureAttribute.cs" company="Andrew Arnott">
// Copyright (c) Andrew Arnott. All rights reserved.
// </copyright>
//-----------------------------------------------------------------------
namespace System.Diagnostics.Contracts {
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
#if !CLR4
/// <summary>
/// Designates a type or member as one that does not mutate any objects that were allocated
/// before the invocation of the member.
/// </summary>
[AttributeUsage(AttributeTargets.All, Inherited = false, AllowMultiple = false)]
internal sealed class PureAttribute : Attribute {
}
#endif
}
|