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
data/doc/dot/f_6.png ADDED
Binary file
data/doc/dot/f_6_0.dot ADDED
@@ -0,0 +1,24 @@
1
+ digraph TopLevel {
2
+ compound = true
3
+ bgcolor = lightcyan1
4
+ fontname = Arial
5
+ fontsize = 8
6
+ label = "MethodSignatureMixin"
7
+ node [
8
+ fontname = Arial,
9
+ fontsize = 8,
10
+ color = black
11
+ ]
12
+
13
+ subgraph cluster_MethodSignatureMixin {
14
+ fillcolor = palegreen1
15
+ URL = "classes/MethodSignatureMixin.html"
16
+ fontname = Arial
17
+ color = blue
18
+ label = "MethodSignatureMixin"
19
+ style = filled
20
+
21
+ }
22
+
23
+ }
24
+
data/doc/dot/f_6_0.png ADDED
Binary file
data/doc/dot/f_6_1.dot ADDED
@@ -0,0 +1,24 @@
1
+ digraph TopLevel {
2
+ compound = true
3
+ bgcolor = lightcyan1
4
+ fontname = Arial
5
+ fontsize = 8
6
+ label = "Kernel"
7
+ node [
8
+ fontname = Arial,
9
+ fontsize = 8,
10
+ color = black
11
+ ]
12
+
13
+ subgraph cluster_Kernel {
14
+ fillcolor = palegreen1
15
+ URL = "classes/Kernel.html"
16
+ fontname = Arial
17
+ color = blue
18
+ label = "Kernel"
19
+ style = filled
20
+
21
+ }
22
+
23
+ }
24
+
data/doc/dot/f_6_1.png ADDED
Binary file
data/doc/dot/f_7.dot ADDED
@@ -0,0 +1,62 @@
1
+ digraph TopLevel {
2
+ compound = true
3
+ bgcolor = lightcyan1
4
+ fontname = Arial
5
+ fontsize = 8
6
+ label = "lib/contract.rb"
7
+ node [
8
+ fontname = Arial,
9
+ fontsize = 8,
10
+ color = black
11
+ ]
12
+
13
+ Contract [
14
+ fontcolor = black,
15
+ URL = "classes/Contract.html",
16
+ shape = ellipse,
17
+ color = palegoldenrod,
18
+ style = filled,
19
+ label = "Contract"
20
+ ]
21
+
22
+ Test__Unit__TestCase [
23
+ URL = none,
24
+ label = "Test::Unit::TestCase"
25
+ ]
26
+
27
+ Test__Unit__TestCase -> Contract [
28
+
29
+ ]
30
+
31
+ subgraph cluster_Contract__ContractException {
32
+ fillcolor = palegreen3
33
+ URL = "classes/Contract/ContractException.html"
34
+ fontname = Arial
35
+ color = blue
36
+ label = "Contract::ContractException"
37
+ style = filled
38
+
39
+ }
40
+
41
+ subgraph cluster_Contract__Check {
42
+ fillcolor = palegreen3
43
+ URL = "classes/Contract/Check.html"
44
+ fontname = Arial
45
+ color = blue
46
+ label = "Contract::Check"
47
+ style = filled
48
+
49
+ }
50
+
51
+ subgraph cluster_Contract__SuiteMixin {
52
+ fillcolor = palegreen3
53
+ URL = "classes/Contract/SuiteMixin.html"
54
+ fontname = Arial
55
+ color = blue
56
+ label = "Contract::SuiteMixin"
57
+ style = filled
58
+
59
+ }
60
+
61
+ }
62
+
data/doc/dot/f_7.png ADDED
Binary file
data/doc/files/COPYING.html ADDED
@@ -0,0 +1,168 @@
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>File: COPYING</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="fileHeader">
50
+ <h1>COPYING</h1>
51
+ <table class="header-table">
52
+ <tr class="top-aligned-row">
53
+ <td><strong>Path:</strong></td>
54
+ <td>COPYING
55
+ </td>
56
+ </tr>
57
+ <tr class="top-aligned-row">
58
+ <td><strong>Last Update:</strong></td>
59
+ <td>Fri Feb 11 19:25:26 Westeurop�ische Normalzeit 2005</td>
60
+ </tr>
61
+ </table>
62
+ </div>
63
+ <!-- banner header -->
64
+
65
+ <div id="bodyContent">
66
+
67
+
68
+
69
+ <div id="contextContent">
70
+ <div id="diagram">
71
+ <map id="map" name="map">
72
+ </map>
73
+ <img src="../dot/f_1.png" usemap="#map" border=0 alt="COPYING">
74
+ </div>
75
+
76
+ <div id="description">
77
+ <p>
78
+ ruby-contract is copyrighted free software by Florian Gross
79
+ &lt;flgr@ccan.de&gt;. You can redistribute it and/or modify it under either
80
+ the terms of the GPL (see the file GPL), or the conditions below:
81
+ </p>
82
+ <pre>
83
+ 1. You may make and give away verbatim copies of the source form of the
84
+ software without restriction, provided that you duplicate all of the
85
+ original copyright notices and associated disclaimers.
86
+
87
+ 2. You may modify your copy of the software in any way, provided that
88
+ you do at least ONE of the following:
89
+
90
+ a) place your modifications in the Public Domain or otherwise
91
+ make them Freely Available, such as by posting said
92
+ modifications to Usenet or an equivalent medium, or by allowing
93
+ the author to include your modifications in the software.
94
+
95
+ b) use the modified software only within your corporation or
96
+ organization.
97
+
98
+ c) give non-standard binaries non-standard names, with
99
+ instructions on where to get the original software distribution.
100
+
101
+ d) make other distribution arrangements with the author.
102
+
103
+ 3. You may distribute the software in object code or binary form,
104
+ provided that you do at least ONE of the following:
105
+
106
+ a) distribute the binaries and library files of the software,
107
+ together with instructions (in the manual page or equivalent)
108
+ on where to get the original distribution.
109
+
110
+ b) accompany the distribution with the machine-readable source of
111
+ the software.
112
+
113
+ c) give non-standard binaries non-standard names, with
114
+ instructions on where to get the original software distribution.
115
+
116
+ d) make other distribution arrangements with the author.
117
+
118
+ 4. You may modify and include the part of the software into any other
119
+ software (possibly commercial). But some files in the distribution
120
+ are not written by the author, so that they are not under these terms.
121
+
122
+ For the list of those files and their copying conditions, see the
123
+ file LEGAL.
124
+
125
+ 5. The scripts and library files supplied as input to or produced as
126
+ output from the software do not automatically fall under the
127
+ copyright of the software, but belong to whomever generated them,
128
+ and may be sold commercially, and may be aggregated with this
129
+ software.
130
+
131
+ 6. THIS SOFTWARE IS PROVIDED &quot;AS IS&quot; AND WITHOUT ANY EXPRESS OR
132
+ IMPLIED WARRANTIES, INCLUDING, WITHOUT LIMITATION, THE IMPLIED
133
+ WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
134
+ PURPOSE.
135
+ </pre>
136
+
137
+ </div>
138
+
139
+
140
+ </div>
141
+
142
+
143
+ </div>
144
+
145
+
146
+ <!-- if includes -->
147
+
148
+ <div id="section">
149
+
150
+
151
+
152
+
153
+
154
+
155
+
156
+
157
+ <!-- if method_list -->
158
+
159
+
160
+ </div>
161
+
162
+
163
+ <div id="validator-badges">
164
+ <p><small><a href="http://validator.w3.org/check/referer">[Validate]</a></small></p>
165
+ </div>
166
+
167
+ </body>
168
+ </html>
data/doc/files/README.html ADDED
@@ -0,0 +1,146 @@
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>File: README</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="fileHeader">
50
+ <h1>README</h1>
51
+ <table class="header-table">
52
+ <tr class="top-aligned-row">
53
+ <td><strong>Path:</strong></td>
54
+ <td>README
55
+ </td>
56
+ </tr>
57
+ <tr class="top-aligned-row">
58
+ <td><strong>Last Update:</strong></td>
59
+ <td>Tue Feb 15 02:19:20 Westeurop�ische Normalzeit 2005</td>
60
+ </tr>
61
+ </table>
62
+ </div>
63
+ <!-- banner header -->
64
+
65
+ <div id="bodyContent">
66
+
67
+
68
+
69
+ <div id="contextContent">
70
+ <div id="diagram">
71
+ <map id="map" name="map">
72
+ </map>
73
+ <img src="../dot/f_2.png" usemap="#map" border=0 alt="README">
74
+ </div>
75
+
76
+ <div id="description">
77
+ <h1>ruby-contract 0.1.1 README</h1>
78
+ <p>
79
+ ruby-contract provides support for describing and using types via
80
+ unit-tests. It offers support for specifying contracts (<a
81
+ href="../classes/Contract.html">Contract</a>), method signature checks (<a
82
+ href="../classes/Module.html#M000015">Module#signature</a>), automatic
83
+ adaption between types (<a
84
+ href="../classes/Kernel.html#M000019">Kernel#adaption</a>) and integration
85
+ with the classic message- and class-based typing.
86
+ </p>
87
+ <h2>Requirements</h2>
88
+ <ul>
89
+ <li>Ruby &gt;= 1.8.1
90
+
91
+ </li>
92
+ </ul>
93
+ <h2>Installation</h2>
94
+ <p>
95
+ De-compress archive and enter its top directory. Then type:
96
+ </p>
97
+ <pre>
98
+ ($ su)
99
+ # ruby setup.rb
100
+ </pre>
101
+ <p>
102
+ These simple step installs this program under the default location of Ruby
103
+ libraries. You can also install files into your favorite directory by
104
+ supplying setup.rb some options. Try &quot;ruby setup.rb &#8212;help&quot;.
105
+ </p>
106
+ <h2>License</h2>
107
+ <p>
108
+ Dual licensed under GPL and Ruby&#8217;s custom license. See COPYING.
109
+ </p>
110
+ <h2>Author</h2>
111
+ <p>
112
+ Florian Gross, flgr@ccan.de
113
+ </p>
114
+
115
+ </div>
116
+
117
+
118
+ </div>
119
+
120
+
121
+ </div>
122
+
123
+
124
+ <!-- if includes -->
125
+
126
+ <div id="section">
127
+
128
+
129
+
130
+
131
+
132
+
133
+
134
+
135
+ <!-- if method_list -->
136
+
137
+
138
+ </div>
139
+
140
+
141
+ <div id="validator-badges">
142
+ <p><small><a href="http://validator.w3.org/check/referer">[Validate]</a></small></p>
143
+ </div>
144
+
145
+ </body>
146
+ </html>
data/doc/files/TODO.html ADDED
@@ -0,0 +1,240 @@
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>File: TODO</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="fileHeader">
50
+ <h1>TODO</h1>
51
+ <table class="header-table">
52
+ <tr class="top-aligned-row">
53
+ <td><strong>Path:</strong></td>
54
+ <td>TODO
55
+ </td>
56
+ </tr>
57
+ <tr class="top-aligned-row">
58
+ <td><strong>Last Update:</strong></td>
59
+ <td>Tue Feb 15 02:09:44 Westeurop�ische Normalzeit 2005</td>
60
+ </tr>
61
+ </table>
62
+ </div>
63
+ <!-- banner header -->
64
+
65
+ <div id="bodyContent">
66
+
67
+
68
+
69
+ <div id="contextContent">
70
+ <div id="diagram">
71
+ <map id="map" name="map">
72
+ </map>
73
+ <img src="../dot/f_0.png" usemap="#map" border=0 alt="TODO">
74
+ </div>
75
+
76
+ <div id="description">
77
+ <h1>TODO</h1>
78
+ <ul>
79
+ <li>Also think about how to extend the DBC abilities. Invariants would be nice,
80
+ but how to implement them?
81
+
82
+ </li>
83
+ <li>Add multi method dispatch facilities similar to those from dispatch.rb. It
84
+ would be good if code could be shared between that and signatures.
85
+
86
+ </li>
87
+ <li>Write introductionary explanation of what we do and don&#8217;t and why we
88
+ do so. Probably belongs into the README but should also appear in the RDoc
89
+ output. <a
90
+ href="http://split-s.blogspot.com/2005/02/quack-quack.html">split-s.blogspot.com/2005/02/quack-quack.html</a>
91
+ might be useful for explaining why this is better than doing the usual is-a
92
+ typing of static languages.
93
+
94
+ </li>
95
+ <li>Perhaps teach the Rakefile how to export the SVN tree to the RubyForge
96
+ project (see <a href="http://svn2cvs.tigris.org">svn2cvs.tigris.org</a>/)
97
+
98
+ </li>
99
+ <li>If we add DBC we probably ought to have ways of getting the pre and post
100
+ checks as well as the in-variants as an Array of Procs or something like
101
+ that.
102
+
103
+ </li>
104
+ <li>Make Method#signature return a meta object that allows you to do
105
+ method.signature.matches?(*args) or something similar?
106
+
107
+ </li>
108
+ </ul>
109
+ <h1>Done</h1>
110
+ <ul>
111
+ <li>Add methods for querying signature meta information.
112
+ (Unbound)Method#signature would return the original <a
113
+ href="../classes/Module.html#M000015">Module#signature</a> arguments.
114
+
115
+ </li>
116
+ <li>Set up a RubyForge project and teach the Rakefile how to upload releases
117
+
118
+ </li>
119
+ <li>Contact the pragprog guys about DBC in Ruby: <a
120
+ href="http://www.eng.cse.dmu.ac.uk/~hgs/projects/ruby_dbc.html">www.eng.cse.dmu.ac.uk/~hgs/projects/ruby_dbc.html</a>
121
+
122
+ <ul>
123
+ <li>Done, might base post/pre-conditions implementation on that project
124
+
125
+ </li>
126
+ </ul>
127
+ </li>
128
+ <li>Think about the kind of object adaption that matz discussed on his weblog:
129
+ <a
130
+ href="http://redhanded.hobix.com/inspect/staticTyping.html">redhanded.hobix.com/inspect/staticTyping.html</a>
131
+ Also see <a
132
+ href="http://www.python.org/peps/pep-0246.html">www.python.org/peps/pep-0246.html</a>
133
+ and <a
134
+ href="http://peak.telecommunity.com/DevCenter/MonkeyTyping">peak.telecommunity.com/DevCenter/MonkeyTyping</a>
135
+
136
+ <pre>
137
+ adaption :from =&gt; Pathname, :to =&gt; String, :via =&gt; :to_str
138
+ adaption :from =&gt; String, :to =&gt; Pathname do |string|
139
+ Pathname.new(string)
140
+ end
141
+ adaption :from =&gt; String, :to =&gt; Pathname, :via =&gt; Pathname.method(:new)
142
+ </pre>
143
+ <p>
144
+ Perhaps make both :from and :to default to self so short forms are possible
145
+ inside classes: (raise Exception when :to == :from)
146
+ </p>
147
+ <pre>
148
+ class String
149
+ adaption :to =&gt; Pathname, :via =&gt; Pathname.method(:new)
150
+ adaption :from =&gt; Pathname, :via =&gt; :to_str
151
+
152
+ adaption :to =&gt; Symbol, :via =&gt; :to_sym
153
+ end
154
+ </pre>
155
+ <p>
156
+ Might be nice to have conditional adaption routes:
157
+ </p>
158
+ <pre>
159
+ class Object
160
+ adaption :to =&gt; String, :via =&gt; :to_str, :if =&gt; Contract::Check::Quack[:to_str]
161
+ # perhaps also introduce this short form
162
+ adaption :to =&gt; String, :via =&gt; :to_str, :if =&gt; :to_str
163
+ end
164
+ </pre>
165
+ <p>
166
+ Perhaps :if should default to :via if :via is a Symbol which would allow
167
+ the above to become
168
+ </p>
169
+ <pre>
170
+ class Object
171
+ adaption :to =&gt; String, :via =&gt; :to_str
172
+ end
173
+ </pre>
174
+ <ul>
175
+ <li>Implemented.
176
+
177
+ </li>
178
+ </ul>
179
+ </li>
180
+ <li>Think about implementing <a
181
+ href="../classes/Contract.html#M000008">Contract#implies</a> which would
182
+ automatically trigger the inclusion of a <a
183
+ href="../classes/Module.html">Module</a> on other Modules/Classes that do
184
+ fulfills(contract).
185
+
186
+ <ul>
187
+ <li>Implemented.
188
+
189
+ </li>
190
+ </ul>
191
+ </li>
192
+ <li><a href="../classes/Module.html#M000016">Module#fulfills</a>(contract)
193
+ &#8212; a way of stating that all instances of a Class should be checked
194
+ against the contract after initialisation. This would always need to be
195
+ called after defining a custom initialize().
196
+
197
+ </li>
198
+ <li>Read <a
199
+ href="http://www.smalltalk.org/articles">www.smalltalk.org/articles</a>/
200
+
201
+ <ul>
202
+ <li>Has a few generic comments about static typing and dynamic typing.
203
+
204
+ </li>
205
+ </ul>
206
+ </li>
207
+ </ul>
208
+
209
+ </div>
210
+
211
+
212
+ </div>
213
+
214
+
215
+ </div>
216
+
217
+
218
+ <!-- if includes -->
219
+
220
+ <div id="section">
221
+
222
+
223
+
224
+
225
+
226
+
227
+
228
+
229
+ <!-- if method_list -->
230
+
231
+
232
+ </div>
233
+
234
+
235
+ <div id="validator-badges">
236
+ <p><small><a href="http://validator.w3.org/check/referer">[Validate]</a></small></p>
237
+ </div>
238
+
239
+ </body>
240
+ </html>