ruby-contract 0.1.1

Sign up to get free protection for your applications and to get access to all the features.
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>