ruby-contract 0.1.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (74) hide show
  1. data/COPYING +56 -0
  2. data/Manifest +85 -0
  3. data/README +32 -0
  4. data/TODO +83 -0
  5. data/doc/classes/Contract.html +599 -0
  6. data/doc/classes/Contract/Check.html +229 -0
  7. data/doc/classes/Contract/Check/All.html +172 -0
  8. data/doc/classes/Contract/Check/Any.html +172 -0
  9. data/doc/classes/Contract/Check/Block.html +172 -0
  10. data/doc/classes/Contract/Check/None.html +173 -0
  11. data/doc/classes/Contract/Check/Quack.html +172 -0
  12. data/doc/classes/Contract/ContractError.html +151 -0
  13. data/doc/classes/Contract/ContractException.html +162 -0
  14. data/doc/classes/Contract/ContractMismatch.html +134 -0
  15. data/doc/classes/Kernel.html +256 -0
  16. data/doc/classes/Method.html +135 -0
  17. data/doc/classes/MethodSignatureMixin.html +208 -0
  18. data/doc/classes/Module.html +526 -0
  19. data/doc/created.rid +1 -0
  20. data/doc/dot/f_0.dot +14 -0
  21. data/doc/dot/f_0.png +0 -0
  22. data/doc/dot/f_1.dot +14 -0
  23. data/doc/dot/f_1.png +0 -0
  24. data/doc/dot/f_2.dot +14 -0
  25. data/doc/dot/f_2.png +0 -0
  26. data/doc/dot/f_3.dot +112 -0
  27. data/doc/dot/f_3.png +0 -0
  28. data/doc/dot/f_4.dot +62 -0
  29. data/doc/dot/f_4.png +0 -0
  30. data/doc/dot/f_5.dot +62 -0
  31. data/doc/dot/f_5.png +0 -0
  32. data/doc/dot/f_6.dot +224 -0
  33. data/doc/dot/f_6.png +0 -0
  34. data/doc/dot/f_6_0.dot +24 -0
  35. data/doc/dot/f_6_0.png +0 -0
  36. data/doc/dot/f_6_1.dot +24 -0
  37. data/doc/dot/f_6_1.png +0 -0
  38. data/doc/dot/f_7.dot +62 -0
  39. data/doc/dot/f_7.png +0 -0
  40. data/doc/files/COPYING.html +168 -0
  41. data/doc/files/README.html +146 -0
  42. data/doc/files/TODO.html +240 -0
  43. data/doc/files/lib/contract/assertions_rb.html +118 -0
  44. data/doc/files/lib/contract/exception_rb.html +125 -0
  45. data/doc/files/lib/contract/integration_rb.html +130 -0
  46. data/doc/files/lib/contract/overrides_rb.html +118 -0
  47. data/doc/files/lib/contract_rb.html +127 -0
  48. data/doc/fr_class_index.html +40 -0
  49. data/doc/fr_file_index.html +34 -0
  50. data/doc/fr_method_index.html +45 -0
  51. data/doc/index.html +24 -0
  52. data/doc/rdoc-style.css +208 -0
  53. data/lib/contract.rb +146 -0
  54. data/lib/contract/assertions.rb +42 -0
  55. data/lib/contract/exception.rb +95 -0
  56. data/lib/contract/integration.rb +664 -0
  57. data/lib/contract/overrides.rb +41 -0
  58. data/setup.rb +1360 -0
  59. data/test/coverage/_-lib-contract-assertions_rb.html +526 -0
  60. data/test/coverage/_-lib-contract-exception_rb.html +632 -0
  61. data/test/coverage/_-lib-contract-integration_rb.html +1450 -0
  62. data/test/coverage/_-lib-contract-overrides_rb.html +524 -0
  63. data/test/coverage/_-lib-contract_rb.html +724 -0
  64. data/test/coverage/__-lib-contract-assertions_rb.html +484 -0
  65. data/test/coverage/__-lib-contract-exception_rb.html +537 -0
  66. data/test/coverage/__-lib-contract-integration_rb.html +946 -0
  67. data/test/coverage/__-lib-contract-overrides_rb.html +483 -0
  68. data/test/coverage/__-lib-contract_rb.html +583 -0
  69. data/test/coverage/index.html +93 -0
  70. data/test/tc_all.rb +8 -0
  71. data/test/tc_contract.rb +109 -0
  72. data/test/tc_exception.rb +43 -0
  73. data/test/tc_integration.rb +357 -0
  74. metadata +136 -0
@@ -0,0 +1,229 @@
1
+ <?xml version="1.0" encoding="iso-8859-1"?>
2
+ <!DOCTYPE html
3
+ PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
4
+ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
5
+
6
+ <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
7
+ <head>
8
+ <title>Module: Contract::Check</title>
9
+ <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
10
+ <meta http-equiv="Content-Script-Type" content="text/javascript" />
11
+ <link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
12
+ <script type="text/javascript">
13
+ // <![CDATA[
14
+
15
+ function popupCode( url ) {
16
+ window.open(url, "Code", "resizable=yes,scrollbars=yes,toolbar=no,status=no,height=150,width=400")
17
+ }
18
+
19
+ function toggleCode( id ) {
20
+ if ( document.getElementById )
21
+ elem = document.getElementById( id );
22
+ else if ( document.all )
23
+ elem = eval( "document.all." + id );
24
+ else
25
+ return false;
26
+
27
+ elemStyle = elem.style;
28
+
29
+ if ( elemStyle.display != "block" ) {
30
+ elemStyle.display = "block"
31
+ } else {
32
+ elemStyle.display = "none"
33
+ }
34
+
35
+ return true;
36
+ }
37
+
38
+ // Make codeblocks hidden by default
39
+ document.writeln( "<style type=\"text/css\">div.method-source-code { display: none }</style>" )
40
+
41
+ // ]]>
42
+ </script>
43
+
44
+ </head>
45
+ <body>
46
+
47
+
48
+
49
+ <div id="classHeader">
50
+ <table class="header-table">
51
+ <tr class="top-aligned-row">
52
+ <td><strong>Module</strong></td>
53
+ <td class="class-name-in-header">Contract::Check</td>
54
+ </tr>
55
+ <tr class="top-aligned-row">
56
+ <td><strong>In:</strong></td>
57
+ <td>
58
+ <a href="../../files/lib/contract/integration_rb.html">
59
+ lib/contract/integration.rb
60
+ </a>
61
+ <br />
62
+ </td>
63
+ </tr>
64
+
65
+ </table>
66
+ </div>
67
+ <!-- banner header -->
68
+
69
+ <div id="bodyContent">
70
+
71
+
72
+
73
+ <div id="contextContent">
74
+ <div id="diagram">
75
+ <map id="map" name="map">
76
+ <area shape="RECT" coords="33,117,105,165" href="../Method.html" alt="Method" title="Method">
77
+ <area shape="RECT" coords="259,117,331,165" href="../Contract.html" alt="Contract" title="Contract">
78
+ <area shape="RECT" coords="393,21,465,69" href="../Module.html" alt="Module" title="Module">
79
+ <area shape="RECT" coords="515,21,621,69" href="../UnboundMethod.html" alt="UnboundMethod" title="UnboundMethod">
80
+ <area shape="RECT" coords="355,117,488,165" href="Check/Any.html" alt="Contract::Check::Any" title="Contract::Check::Any">
81
+ <area shape="RECT" coords="512,117,635,165" href="Check/All.html" alt="Contract::Check::All" title="Contract::Check::All">
82
+ <area shape="RECT" coords="659,117,795,165" href="Check/None.html" alt="Contract::Check::None" title="Contract::Check::None">
83
+ <area shape="RECT" coords="819,117,957,165" href="Check/Block.html" alt="Contract::Check::Block" title="Contract::Check::Block">
84
+ <area shape="RECT" coords="659,21,795,69" href="Check/Base.html" alt="Contract::Check::Base" title="Contract::Check::Base">
85
+ <area shape="RECT" coords="981,117,1123,165" href="Check/Quack.html" alt="Contract::Check::Quack" title="Contract::Check::Quack">
86
+ <area shape="RECT" coords="7,17,132,61" href="../MethodSignatureMixin.html" alt="MethodSignatureMixin" title="MethodSignatureMixin">
87
+ <area shape="RECT" coords="127,17,220,61" href="../Kernel.html" alt="Kernel" title="Kernel">
88
+ </map>
89
+ <img src="../../dot/f_6.png" usemap="#map" border=0 alt="lib/contract/integration.rb">
90
+ </div>
91
+
92
+ <div id="description">
93
+ <p>
94
+ Implements checks that can for example be used in <a
95
+ href="../Module.html#M000015">Module#signature</a> specifications. They are
96
+ implemented simply by overriding the === case equality operator. They can
97
+ also be nested like this:
98
+ </p>
99
+ <pre>
100
+ # Matches something that is an Enumerable and that responds to
101
+ # either :to_ary or :to_a.
102
+ signature :x, Contract::Check::All[
103
+ Enumerable,
104
+ Contract::Check::Any[
105
+ Contract::Check::Quack[:to_a],
106
+ Contract::Check::Quack[:to_ary]
107
+ ]
108
+ ]
109
+ </pre>
110
+
111
+ </div>
112
+
113
+
114
+ </div>
115
+
116
+ <div id="method-list">
117
+ <h3 class="section-bar">Methods</h3>
118
+
119
+ <div class="name-list">
120
+ <a href="#M000009">block</a>&nbsp;&nbsp;
121
+ </div>
122
+ </div>
123
+
124
+ </div>
125
+
126
+
127
+ <!-- if includes -->
128
+
129
+ <div id="section">
130
+
131
+ <div id="class-list">
132
+ <h3 class="section-bar">Classes and Modules</h3>
133
+
134
+ Class <a href="Check/All.html" class="link">Contract::Check::All</a><br />
135
+ Class <a href="Check/Any.html" class="link">Contract::Check::Any</a><br />
136
+ Class <a href="Check/Block.html" class="link">Contract::Check::Block</a><br />
137
+ Class <a href="Check/None.html" class="link">Contract::Check::None</a><br />
138
+ Class <a href="Check/Quack.html" class="link">Contract::Check::Quack</a><br />
139
+
140
+ </div>
141
+
142
+ <div id="constants-list">
143
+ <h3 class="section-bar">Constants</h3>
144
+
145
+ <div class="name-list">
146
+ <table summary="Constants">
147
+ <tr class="top-aligned-row context-row">
148
+ <td class="context-item-name">And</td>
149
+ <td>=</td>
150
+ <td class="context-item-value">All unless defined?(And)</td>
151
+ <td width="3em">&nbsp;</td>
152
+ <td class="context-item-desc">
153
+ Alias for <a href="Check/All.html">Contract::Check::All</a>
154
+
155
+ </td>
156
+ </tr>
157
+ <tr class="top-aligned-row context-row">
158
+ <td class="context-item-name">Or</td>
159
+ <td>=</td>
160
+ <td class="context-item-value">Any unless defined?(Or)</td>
161
+ <td width="3em">&nbsp;</td>
162
+ <td class="context-item-desc">
163
+ Alias for <a href="Check/Any.html">Contract::Check::Any</a>
164
+
165
+ </td>
166
+ </tr>
167
+ <tr class="top-aligned-row context-row">
168
+ <td class="context-item-name">Not</td>
169
+ <td>=</td>
170
+ <td class="context-item-value">None unless defined?(Not)</td>
171
+ <td width="3em">&nbsp;</td>
172
+ <td class="context-item-desc">
173
+ Alias for <a href="Check/None.html">Contract::Check::None</a>
174
+
175
+ </td>
176
+ </tr>
177
+ </table>
178
+ </div>
179
+ </div>
180
+
181
+
182
+
183
+
184
+
185
+
186
+ <!-- if method_list -->
187
+ <div id="methods">
188
+ <h3 class="section-bar">Public Class methods</h3>
189
+
190
+ <div id="method-M000009" class="method-detail">
191
+ <a name="M000009"></a>
192
+
193
+ <div class="method-heading">
194
+ <a href="#M000009" class="method-signature">
195
+ <span class="method-name">block</span><span class="method-args">() {|arg| ...}</span>
196
+ </a>
197
+ </div>
198
+
199
+ <div class="method-description">
200
+ <p>
201
+ Short-cut for creating a <a
202
+ href="Check/Block.html">Contract::Check::Block</a>.
203
+ </p>
204
+ <p><a class="source-toggle" href="#"
205
+ onclick="toggleCode('M000009-source');return false;">[Source]</a></p>
206
+ <div class="method-source-code" id="M000009-source">
207
+ <pre>
208
+ <span class="ruby-comment cmt"># File lib/contract/integration.rb, line 42</span>
209
+ 42: <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">block</span>(<span class="ruby-operator">&amp;</span><span class="ruby-identifier">block</span>) <span class="ruby-comment cmt"># :yields: arg</span>
210
+ 43: <span class="ruby-constant">Block</span>.<span class="ruby-identifier">new</span>(<span class="ruby-operator">&amp;</span><span class="ruby-identifier">block</span>)
211
+ 44: <span class="ruby-keyword kw">end</span>
212
+ </pre>
213
+ </div>
214
+ </div>
215
+ </div>
216
+
217
+
218
+ </div>
219
+
220
+
221
+ </div>
222
+
223
+
224
+ <div id="validator-badges">
225
+ <p><small><a href="http://validator.w3.org/check/referer">[Validate]</a></small></p>
226
+ </div>
227
+
228
+ </body>
229
+ </html>
@@ -0,0 +1,172 @@
1
+ <?xml version="1.0" encoding="iso-8859-1"?>
2
+ <!DOCTYPE html
3
+ PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
4
+ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
5
+
6
+ <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
7
+ <head>
8
+ <title>Class: Contract::Check::All</title>
9
+ <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
10
+ <meta http-equiv="Content-Script-Type" content="text/javascript" />
11
+ <link rel="stylesheet" href="../../.././rdoc-style.css" type="text/css" media="screen" />
12
+ <script type="text/javascript">
13
+ // <![CDATA[
14
+
15
+ function popupCode( url ) {
16
+ window.open(url, "Code", "resizable=yes,scrollbars=yes,toolbar=no,status=no,height=150,width=400")
17
+ }
18
+
19
+ function toggleCode( id ) {
20
+ if ( document.getElementById )
21
+ elem = document.getElementById( id );
22
+ else if ( document.all )
23
+ elem = eval( "document.all." + id );
24
+ else
25
+ return false;
26
+
27
+ elemStyle = elem.style;
28
+
29
+ if ( elemStyle.display != "block" ) {
30
+ elemStyle.display = "block"
31
+ } else {
32
+ elemStyle.display = "none"
33
+ }
34
+
35
+ return true;
36
+ }
37
+
38
+ // Make codeblocks hidden by default
39
+ document.writeln( "<style type=\"text/css\">div.method-source-code { display: none }</style>" )
40
+
41
+ // ]]>
42
+ </script>
43
+
44
+ </head>
45
+ <body>
46
+
47
+
48
+
49
+ <div id="classHeader">
50
+ <table class="header-table">
51
+ <tr class="top-aligned-row">
52
+ <td><strong>Class</strong></td>
53
+ <td class="class-name-in-header">Contract::Check::All</td>
54
+ </tr>
55
+ <tr class="top-aligned-row">
56
+ <td><strong>In:</strong></td>
57
+ <td>
58
+ <a href="../../../files/lib/contract/integration_rb.html">
59
+ lib/contract/integration.rb
60
+ </a>
61
+ <br />
62
+ </td>
63
+ </tr>
64
+
65
+ <tr class="top-aligned-row">
66
+ <td><strong>Parent:</strong></td>
67
+ <td>
68
+ Base
69
+ </td>
70
+ </tr>
71
+ </table>
72
+ </div>
73
+ <!-- banner header -->
74
+
75
+ <div id="bodyContent">
76
+
77
+
78
+
79
+ <div id="contextContent">
80
+ <div id="diagram">
81
+ <map id="map" name="map">
82
+ <area shape="RECT" coords="33,117,105,165" href="../../Method.html" alt="Method" title="Method">
83
+ <area shape="RECT" coords="259,117,331,165" href="../../Contract.html" alt="Contract" title="Contract">
84
+ <area shape="RECT" coords="393,21,465,69" href="../../Module.html" alt="Module" title="Module">
85
+ <area shape="RECT" coords="515,21,621,69" href="../../UnboundMethod.html" alt="UnboundMethod" title="UnboundMethod">
86
+ <area shape="RECT" coords="355,117,488,165" href="Any.html" alt="Contract::Check::Any" title="Contract::Check::Any">
87
+ <area shape="RECT" coords="512,117,635,165" href="All.html" alt="Contract::Check::All" title="Contract::Check::All">
88
+ <area shape="RECT" coords="659,117,795,165" href="None.html" alt="Contract::Check::None" title="Contract::Check::None">
89
+ <area shape="RECT" coords="819,117,957,165" href="Block.html" alt="Contract::Check::Block" title="Contract::Check::Block">
90
+ <area shape="RECT" coords="659,21,795,69" href="Base.html" alt="Contract::Check::Base" title="Contract::Check::Base">
91
+ <area shape="RECT" coords="981,117,1123,165" href="Quack.html" alt="Contract::Check::Quack" title="Contract::Check::Quack">
92
+ <area shape="RECT" coords="7,17,132,61" href="../../MethodSignatureMixin.html" alt="MethodSignatureMixin" title="MethodSignatureMixin">
93
+ <area shape="RECT" coords="127,17,220,61" href="../../Kernel.html" alt="Kernel" title="Kernel">
94
+ </map>
95
+ <img src="../../../dot/f_6.png" usemap="#map" border=0 alt="lib/contract/integration.rb">
96
+ </div>
97
+
98
+ <div id="description">
99
+ <p>
100
+ Checks that all the specified conditions match. Example:
101
+ </p>
102
+ <pre>
103
+ signature :x, Contract::Check::All[Array, Enumerable]
104
+ </pre>
105
+
106
+ </div>
107
+
108
+
109
+ </div>
110
+
111
+ <div id="method-list">
112
+ <h3 class="section-bar">Methods</h3>
113
+
114
+ <div class="name-list">
115
+ <a href="#M000011">===</a>&nbsp;&nbsp;
116
+ </div>
117
+ </div>
118
+
119
+ </div>
120
+
121
+
122
+ <!-- if includes -->
123
+
124
+ <div id="section">
125
+
126
+
127
+
128
+
129
+
130
+
131
+
132
+
133
+ <!-- if method_list -->
134
+ <div id="methods">
135
+ <h3 class="section-bar">Public Instance methods</h3>
136
+
137
+ <div id="method-M000011" class="method-detail">
138
+ <a name="M000011"></a>
139
+
140
+ <div class="method-heading">
141
+ <a href="#M000011" class="method-signature">
142
+ <span class="method-name">===</span><span class="method-args">(other)</span>
143
+ </a>
144
+ </div>
145
+
146
+ <div class="method-description">
147
+ <p><a class="source-toggle" href="#"
148
+ onclick="toggleCode('M000011-source');return false;">[Source]</a></p>
149
+ <div class="method-source-code" id="M000011-source">
150
+ <pre>
151
+ <span class="ruby-comment cmt"># File lib/contract/integration.rb, line 59</span>
152
+ 59: <span class="ruby-keyword kw">def</span> <span class="ruby-operator">===</span>(<span class="ruby-identifier">other</span>)
153
+ 60: <span class="ruby-ivar">@args</span>.<span class="ruby-identifier">all?</span> { <span class="ruby-operator">|</span><span class="ruby-identifier">arg</span><span class="ruby-operator">|</span> <span class="ruby-identifier">arg</span> <span class="ruby-operator">===</span> <span class="ruby-identifier">other</span> }
154
+ 61: <span class="ruby-keyword kw">end</span>
155
+ </pre>
156
+ </div>
157
+ </div>
158
+ </div>
159
+
160
+
161
+ </div>
162
+
163
+
164
+ </div>
165
+
166
+
167
+ <div id="validator-badges">
168
+ <p><small><a href="http://validator.w3.org/check/referer">[Validate]</a></small></p>
169
+ </div>
170
+
171
+ </body>
172
+ </html>
@@ -0,0 +1,172 @@
1
+ <?xml version="1.0" encoding="iso-8859-1"?>
2
+ <!DOCTYPE html
3
+ PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
4
+ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
5
+
6
+ <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
7
+ <head>
8
+ <title>Class: Contract::Check::Any</title>
9
+ <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
10
+ <meta http-equiv="Content-Script-Type" content="text/javascript" />
11
+ <link rel="stylesheet" href="../../.././rdoc-style.css" type="text/css" media="screen" />
12
+ <script type="text/javascript">
13
+ // <![CDATA[
14
+
15
+ function popupCode( url ) {
16
+ window.open(url, "Code", "resizable=yes,scrollbars=yes,toolbar=no,status=no,height=150,width=400")
17
+ }
18
+
19
+ function toggleCode( id ) {
20
+ if ( document.getElementById )
21
+ elem = document.getElementById( id );
22
+ else if ( document.all )
23
+ elem = eval( "document.all." + id );
24
+ else
25
+ return false;
26
+
27
+ elemStyle = elem.style;
28
+
29
+ if ( elemStyle.display != "block" ) {
30
+ elemStyle.display = "block"
31
+ } else {
32
+ elemStyle.display = "none"
33
+ }
34
+
35
+ return true;
36
+ }
37
+
38
+ // Make codeblocks hidden by default
39
+ document.writeln( "<style type=\"text/css\">div.method-source-code { display: none }</style>" )
40
+
41
+ // ]]>
42
+ </script>
43
+
44
+ </head>
45
+ <body>
46
+
47
+
48
+
49
+ <div id="classHeader">
50
+ <table class="header-table">
51
+ <tr class="top-aligned-row">
52
+ <td><strong>Class</strong></td>
53
+ <td class="class-name-in-header">Contract::Check::Any</td>
54
+ </tr>
55
+ <tr class="top-aligned-row">
56
+ <td><strong>In:</strong></td>
57
+ <td>
58
+ <a href="../../../files/lib/contract/integration_rb.html">
59
+ lib/contract/integration.rb
60
+ </a>
61
+ <br />
62
+ </td>
63
+ </tr>
64
+
65
+ <tr class="top-aligned-row">
66
+ <td><strong>Parent:</strong></td>
67
+ <td>
68
+ Base
69
+ </td>
70
+ </tr>
71
+ </table>
72
+ </div>
73
+ <!-- banner header -->
74
+
75
+ <div id="bodyContent">
76
+
77
+
78
+
79
+ <div id="contextContent">
80
+ <div id="diagram">
81
+ <map id="map" name="map">
82
+ <area shape="RECT" coords="33,117,105,165" href="../../Method.html" alt="Method" title="Method">
83
+ <area shape="RECT" coords="259,117,331,165" href="../../Contract.html" alt="Contract" title="Contract">
84
+ <area shape="RECT" coords="393,21,465,69" href="../../Module.html" alt="Module" title="Module">
85
+ <area shape="RECT" coords="515,21,621,69" href="../../UnboundMethod.html" alt="UnboundMethod" title="UnboundMethod">
86
+ <area shape="RECT" coords="355,117,488,165" href="Any.html" alt="Contract::Check::Any" title="Contract::Check::Any">
87
+ <area shape="RECT" coords="512,117,635,165" href="All.html" alt="Contract::Check::All" title="Contract::Check::All">
88
+ <area shape="RECT" coords="659,117,795,165" href="None.html" alt="Contract::Check::None" title="Contract::Check::None">
89
+ <area shape="RECT" coords="819,117,957,165" href="Block.html" alt="Contract::Check::Block" title="Contract::Check::Block">
90
+ <area shape="RECT" coords="659,21,795,69" href="Base.html" alt="Contract::Check::Base" title="Contract::Check::Base">
91
+ <area shape="RECT" coords="981,117,1123,165" href="Quack.html" alt="Contract::Check::Quack" title="Contract::Check::Quack">
92
+ <area shape="RECT" coords="7,17,132,61" href="../../MethodSignatureMixin.html" alt="MethodSignatureMixin" title="MethodSignatureMixin">
93
+ <area shape="RECT" coords="127,17,220,61" href="../../Kernel.html" alt="Kernel" title="Kernel">
94
+ </map>
95
+ <img src="../../../dot/f_6.png" usemap="#map" border=0 alt="lib/contract/integration.rb">
96
+ </div>
97
+
98
+ <div id="description">
99
+ <p>
100
+ Checks that at least one of the specified conditions match. Example:
101
+ </p>
102
+ <pre>
103
+ signature :x, Contract::Check::Any[String, Symbol]
104
+ </pre>
105
+
106
+ </div>
107
+
108
+
109
+ </div>
110
+
111
+ <div id="method-list">
112
+ <h3 class="section-bar">Methods</h3>
113
+
114
+ <div class="name-list">
115
+ <a href="#M000010">===</a>&nbsp;&nbsp;
116
+ </div>
117
+ </div>
118
+
119
+ </div>
120
+
121
+
122
+ <!-- if includes -->
123
+
124
+ <div id="section">
125
+
126
+
127
+
128
+
129
+
130
+
131
+
132
+
133
+ <!-- if method_list -->
134
+ <div id="methods">
135
+ <h3 class="section-bar">Public Instance methods</h3>
136
+
137
+ <div id="method-M000010" class="method-detail">
138
+ <a name="M000010"></a>
139
+
140
+ <div class="method-heading">
141
+ <a href="#M000010" class="method-signature">
142
+ <span class="method-name">===</span><span class="method-args">(other)</span>
143
+ </a>
144
+ </div>
145
+
146
+ <div class="method-description">
147
+ <p><a class="source-toggle" href="#"
148
+ onclick="toggleCode('M000010-source');return false;">[Source]</a></p>
149
+ <div class="method-source-code" id="M000010-source">
150
+ <pre>
151
+ <span class="ruby-comment cmt"># File lib/contract/integration.rb, line 70</span>
152
+ 70: <span class="ruby-keyword kw">def</span> <span class="ruby-operator">===</span>(<span class="ruby-identifier">other</span>)
153
+ 71: <span class="ruby-ivar">@args</span>.<span class="ruby-identifier">any?</span> { <span class="ruby-operator">|</span><span class="ruby-identifier">arg</span><span class="ruby-operator">|</span> <span class="ruby-identifier">arg</span> <span class="ruby-operator">===</span> <span class="ruby-identifier">other</span> }
154
+ 72: <span class="ruby-keyword kw">end</span>
155
+ </pre>
156
+ </div>
157
+ </div>
158
+ </div>
159
+
160
+
161
+ </div>
162
+
163
+
164
+ </div>
165
+
166
+
167
+ <div id="validator-badges">
168
+ <p><small><a href="http://validator.w3.org/check/referer">[Validate]</a></small></p>
169
+ </div>
170
+
171
+ </body>
172
+ </html>