5 // Alexander Chebaturkin (chebaturkin@gmail.com)
7 // Copyright (C) 2012 Alexander Chebaturkin
9 // Permission is hereby granted, free of charge, to any person obtaining
10 // a copy of this software and associated documentation files (the
11 // "Software"), to deal in the Software without restriction, including
12 // without limitation the rights to use, copy, modify, merge, publish,
13 // distribute, sublicense, and/or sell copies of the Software, and to
14 // permit persons to whom the Software is furnished to do so, subject to
15 // the following conditions:
17 // The above copyright notice and this permission notice shall be
18 // included in all copies or substantial portions of the Software.
20 // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
21 // EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
22 // MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
23 // NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
24 // LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
25 // OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
26 // WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
29 using Mono.CodeContracts.Static.DataStructures;
31 using NUnit.Framework;
33 namespace MonoTests.Mono.CodeContracts {
35 public class SequenceTests {
36 readonly Sequence<int> empty = Sequence<int>.Empty;
39 public void FromListShouldCreateSequenceInOrder ()
41 Sequence<int> seq = Sequence<int>.From (1, 2, 3);
43 Assert.That (seq.Length (), Is.EqualTo (3));
44 Assert.That (seq.Head, Is.EqualTo (1));
45 Assert.That (seq.Tail.Head, Is.EqualTo (2));
46 Assert.That (seq.Tail.Tail.Head, Is.EqualTo (3));
50 public void MultipleConsAreInsertedAsAStack ()
52 Sequence<int> seq = this.empty.Cons (1).Cons (2).Cons (3);
54 Assert.That (seq.Head, Is.EqualTo (3));
55 Assert.That (seq.Tail.Head, Is.EqualTo (2));
56 Assert.That (seq.Tail.Tail.Head, Is.EqualTo (1));
60 public void ReverseShouldReverse ()
62 Sequence<int> seq = Sequence<int>.From (1, 2);
63 Sequence<int> reversed = seq.Reverse ();
65 Assert.That (reversed.Length (), Is.EqualTo (2));
66 Assert.That (reversed.Head, Is.EqualTo (2));
67 Assert.That (reversed.Tail.Head, Is.EqualTo (1));
71 public void ShouldHasCountEq1WithOneElement ()
73 Sequence<int> seq = Sequence<int>.From (5);
75 Assert.That (seq.Length (), Is.EqualTo (1));
76 Assert.That (seq.Head, Is.EqualTo (5));
77 Assert.That (seq.Tail, Is.Null);