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
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
|
#if NET_4_0
#define CONTRACTS_FULL
#define DEBUG
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using NUnit.Framework;
using MonoTests.System.Diagnostics.Contracts.Helpers;
using System.Diagnostics.Contracts;
namespace MonoTests.System.Diagnostics.Contracts {
[TestFixture]
public class ContractCollectionMethodsTest {
/// <summary>
/// Contract.Exists() determines that at least one element in the collection satisfies the predicate.
/// </summary>
[Test, RunAgainstReference]
public void TestExistsInt ()
{
try {
Contract.Exists (0, 10, null);
Assert.Fail ("TestExistsInt() no exception #1");
} catch (Exception ex) {
Assert.IsInstanceOfType (typeof (ArgumentNullException), ex, "TestExistsInt() wrong exception #1");
}
try {
Contract.Exists (10, 0, i => false);
Assert.Fail ("TestExistsInt() no exception #2");
} catch (Exception ex) {
Assert.IsInstanceOfType (typeof (ArgumentException), ex, "TestExistsInt() wrong exception #2");
}
Assert.IsTrue (Contract.Exists (0, 10, i => i <= 0), "TestExistsInt() #1");
Assert.IsTrue (Contract.Exists (0, 10, i => i >= 9), "TestExistsInt() #2");
Assert.IsFalse (Contract.Exists (0, 10, i => i < 0), "TestExistsInt() #3");
Assert.IsFalse (Contract.Exists (0, 10, i => i > 9), "TestExistsInt() #4");
}
/// <summary>
/// Contract.Exists() determines that at least one element in the collection satisfies the predicate.
/// </summary>
[Test, RunAgainstReference]
public void TestExistsEnumeration ()
{
try {
Contract.Exists (Enumerable.Range (0, 10), null);
Assert.Fail ("TestExistsEnumeration() no exception #1");
} catch (Exception ex) {
Assert.IsInstanceOfType (typeof (ArgumentNullException), ex, "TestExistsEnumeration() wrong exception #1");
}
try {
Contract.Exists<int> (null, x => false);
Assert.Fail ("TestExistsEnumeration() no exception #2");
} catch (Exception ex) {
Assert.IsInstanceOfType (typeof (ArgumentNullException), ex, "TestExistsEnumeration() wrong exception #2");
}
var en = Enumerable.Range (0, 10);
Assert.IsTrue (Contract.Exists (en, i => i <= 0), "TestExistsEnumeration() #1");
Assert.IsTrue (Contract.Exists (en, i => i >= 9), "TestExistsEnumeration() #2");
Assert.IsFalse (Contract.Exists (en, i => i < 0), "TestExistsEnumeration() #3");
Assert.IsFalse (Contract.Exists (en, i => i > 9), "TestExistsEnumeration() #4");
}
/// <summary>
/// Contract.ForAll() determines if all elements in the collection satisfy the predicate.
/// </summary>
[Test, RunAgainstReference]
public void TestForAllInt ()
{
try {
Contract.ForAll (0, 10, null);
Assert.Fail ("TestForAllInt() no exception #1");
} catch (Exception ex) {
Assert.IsInstanceOfType (typeof (ArgumentNullException), ex, "TestForAllInt() wrong exception #1");
}
try {
Contract.ForAll (10, 0, i => false);
Assert.Fail ("TestForAllInt() no exception #2");
} catch (Exception ex) {
Assert.IsInstanceOfType (typeof (ArgumentException), ex, "TestForAllInt() wrong exception #2");
}
Assert.IsTrue (Contract.ForAll (0, 10, i => i <= 9), "TestForAllInt() #1");
Assert.IsTrue (Contract.ForAll (0, 10, i => i >= 0), "TestForAllInt() #2");
Assert.IsFalse (Contract.ForAll (0, 10, i => i < 9), "TestForAllInt() #3");
Assert.IsFalse (Contract.ForAll (0, 10, i => i > 0), "TestForAllInt() #4");
}
/// <summary>
/// Contract.ForAll() determines if all elements in the collection satisfy the predicate.
/// </summary>
[Test, RunAgainstReference]
public void TestForAllEnumeration ()
{
try {
Contract.ForAll (Enumerable.Range (0, 10), null);
Assert.Fail ("TestForAllEnumeration() no exception #1");
} catch (Exception ex) {
Assert.IsInstanceOfType (typeof (ArgumentNullException), ex, "TestForAllEnumeration() wrong exception #1");
}
try {
Contract.ForAll<int> (null, x => false);
Assert.Fail ("TestForAllEnumeration() no exception #2");
} catch (Exception ex) {
Assert.IsInstanceOfType (typeof (ArgumentNullException), ex, "TestForAllEnumeration() wrong exception #2");
}
var en = Enumerable.Range (0, 10);
Assert.IsTrue (Contract.ForAll (en, i => i <= 9), "TestForAllEnumeration() #1");
Assert.IsTrue (Contract.ForAll (en, i => i >= 0), "TestForAllEnumeration() #2");
Assert.IsFalse (Contract.ForAll (en, i => i < 9), "TestForAllEnumeration() #3");
Assert.IsFalse (Contract.ForAll (en, i => i > 0), "TestForAllEnumeration() #4");
}
}
}
#endif
|
