← Back to branch summary

~ubuntu-branches/ubuntu/trusty/monodevelop/trusty-proposed

« back to all changes in this revision

Viewing changes to contrib/ICSharpCode.NRefactory/TypeSystem/IFreezable.cs

  • Committer: Package Import Robot
  • Author(s): Jo Shields
  • Date: 2013-05-12 09:46:03 UTC
  • mto: This revision was merged to the branch mainline in revision 29.
  • Revision ID: package-import@ubuntu.com-20130512094603-mad323bzcxvmcam0
Tags: upstream-4.0.5+dfsg
Import upstream version 4.0.5+dfsg

Show diffs side-by-side

added added

removed removed

Lines of Context:
contrib/ICSharpCode.NRefactory/TypeSystem/IFreezable.cs
1
 
// Copyright (c) AlphaSierraPapa for the SharpDevelop Team
2
 
// 
3
 
// Permission is hereby granted, free of charge, to any person obtaining a copy of this
4
 
// software and associated documentation files (the "Software"), to deal in the Software
5
 
// without restriction, including without limitation the rights to use, copy, modify, merge,
6
 
// publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons
7
 
// to whom the Software is furnished to do so, subject to the following conditions:
8
 
// 
9
 
// The above copyright notice and this permission notice shall be included in all copies or
10
 
// substantial portions of the Software.
11
 
// 
12
 
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED,
13
 
// INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR
14
 
// PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE
15
 
// FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR
16
 
// OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
17
 
// DEALINGS IN THE SOFTWARE.
18
 
 
19
 
using System;
20
 
using System.Diagnostics.Contracts;
21
 
 
22
 
namespace ICSharpCode.NRefactory.TypeSystem
23
 
{
24
 
        #if WITH_CONTRACTS
25
 
        [ContractClass(typeof(IFreezableContract))]
26
 
        #endif
27
 
        public interface IFreezable
28
 
        {
29
 
                /// <summary>
30
 
                /// Gets if this instance is frozen. Frozen instances are immutable and thus thread-safe.
31
 
                /// </summary>
32
 
                bool IsFrozen { get; }
33
 
                
34
 
                /// <summary>
35
 
                /// Freezes this instance.
36
 
                /// </summary>
37
 
                void Freeze();
38
 
        }
39
 
        
40
 
        #if WITH_CONTRACTS
41
 
        [ContractClassFor(typeof(IFreezable))]
42
 
        abstract class IFreezableContract : IFreezable
43
 
        {
44
 
                bool IFreezable.IsFrozen {
45
 
                        get { return default(bool); }
46
 
                }
47
 
                
48
 
                void IFreezable.Freeze()
49
 
                {
50
 
                        IFreezable self = this;
51
 
                        Contract.Ensures(self.IsFrozen);
52
 
                }
53
 
        }
54
 
        #endif
55
 
}