blob: 18a835fd27f6add4c386fd667af9fe9f32433316 (
plain)
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
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
|
// Copyright (c) AlphaSierraPapa for the SharpDevelop Team (for details please see \doc\copyright.txt)
// This code is distributed under the GNU LGPL (for details please see \doc\license.txt)
using System;
using System.Collections.Generic;
using System.Diagnostics;
using System.Text;
namespace Tango.Scripting.Editors.Utils
{
/// <summary>
/// An immutable stack.
///
/// Using 'foreach' on the stack will return the items from top to bottom (in the order they would be popped).
/// </summary>
[System.Diagnostics.CodeAnalysis.SuppressMessage("Microsoft.Naming", "CA1710:IdentifiersShouldHaveCorrectSuffix")]
[System.Diagnostics.CodeAnalysis.SuppressMessage("Microsoft.Naming", "CA1711:IdentifiersShouldNotHaveIncorrectSuffix")]
[Serializable]
public sealed class ImmutableStack<T> : IEnumerable<T>
{
/// <summary>
/// Gets the empty stack instance.
/// </summary>
[System.Diagnostics.CodeAnalysis.SuppressMessage("Microsoft.Security", "CA2104:DoNotDeclareReadOnlyMutableReferenceTypes", Justification = "ImmutableStack is immutable")]
[System.Diagnostics.CodeAnalysis.SuppressMessage("Microsoft.Design", "CA1000:DoNotDeclareStaticMembersOnGenericTypes")]
public static readonly ImmutableStack<T> Empty = new ImmutableStack<T>();
readonly T value;
readonly ImmutableStack<T> next;
private ImmutableStack()
{
}
private ImmutableStack(T value, ImmutableStack<T> next)
{
this.value = value;
this.next = next;
}
/// <summary>
/// Pushes an item on the stack. This does not modify the stack itself, but returns a new
/// one with the value pushed.
/// </summary>
public ImmutableStack<T> Push(T item)
{
return new ImmutableStack<T>(item, this);
}
/// <summary>
/// Gets the item on the top of the stack.
/// </summary>
/// <exception cref="InvalidOperationException">The stack is empty.</exception>
public T Peek()
{
if (IsEmpty)
throw new InvalidOperationException("Operation not valid on empty stack.");
return value;
}
internal T UnsafePeek()
{
Debug.Assert(!IsEmpty);
return value;
}
/// <summary>
/// Gets the stack with the top item removed.
/// </summary>
/// <exception cref="InvalidOperationException">The stack is empty.</exception>
public ImmutableStack<T> Pop()
{
if (IsEmpty)
throw new InvalidOperationException("Operation not valid on empty stack.");
return next;
}
/// <summary>
/// Gets if this stack is empty.
/// </summary>
public bool IsEmpty {
get { return next == null; }
}
/// <summary>
/// Gets an enumerator that iterates through the stack top-to-bottom.
/// </summary>
public IEnumerator<T> GetEnumerator()
{
ImmutableStack<T> t = this;
while (!t.IsEmpty) {
yield return t.value;
t = t.next;
}
}
System.Collections.IEnumerator System.Collections.IEnumerable.GetEnumerator()
{
return this.GetEnumerator();
}
/// <inheritdoc/>
public override string ToString()
{
StringBuilder b = new StringBuilder("[Stack");
foreach (T val in this) {
b.Append(' ');
b.Append(val);
}
b.Append(']');
return b.ToString();
}
}
}
|
