RubyGems - rushcheck - Versions diffs - 0.6 → 0.7 - Mend

rushcheck 0.6 → 0.7

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 (162) hide show

data/data/rushcheck/rdoc/classes/RushCheck/Arbitrary.html CHANGED Viewed

@@ -80,7 +80,7 @@
       <h3 class="section-bar">Methods</h3>
       <div class="name-list">
-      <a href="#M000035">arbitrary</a>&nbsp;&nbsp;
+      <a href="#M000043">arbitrary</a>&nbsp;&nbsp;
       </div>
     </div>
@@ -102,12 +102,12 @@
     <div id="methods">
       <h3 class="section-bar">Public Instance methods</h3>
-      <div id="method-M000035" class="method-detail">
-        <a name="M000035"></a>
+      <div id="method-M000043" class="method-detail">
+        <a name="M000043"></a>
         <div class="method-heading">
-          <a href="Arbitrary.src/M000035.html" target="Code" class="method-signature"
-            onclick="popupCode('Arbitrary.src/M000035.html');return false;">
+          <a href="Arbitrary.src/M000043.html" target="Code" class="method-signature"
+            onclick="popupCode('Arbitrary.src/M000043.html');return false;">
           <span class="method-name">arbitrary</span><span class="method-args">()</span>
           </a>
         </div>

data/data/rushcheck/rdoc/classes/RushCheck/Arbitrary.src/M000043.html ADDED Viewed

@@ -0,0 +1,18 @@
+<?xml version="1.0" encoding="iso-8859-1"?>
+<!DOCTYPE html
+     PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+     "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html>
+<head>
+  <title>arbitrary (RushCheck::Arbitrary)</title>
+  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
+  <link rel="stylesheet" href="../../.././rdoc-style.css" type="text/css" media="screen" />
+</head>
+<body class="standalone-code">
+  <pre><span class="ruby-comment cmt"># File rushcheck/arbitrary.rb, line 30</span>
+    <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">arbitrary</span>
+      <span class="ruby-identifier">raise</span>(<span class="ruby-constant">NotImplementedError</span>, <span class="ruby-value str">&quot;This method should be overrided.&quot;</span>)
+    <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>

data/data/rushcheck/rdoc/classes/RushCheck/Assertion.html CHANGED Viewed

@@ -85,7 +85,7 @@ href="../RushCheck.html">RushCheck</a>. You can write a testcase for random
 testing as follows:
 </p>
 <p>
-<a href="Assertion.html#M000073">Assertion.new</a>(<a
+<a href="Assertion.html#M000081">Assertion.new</a>(<a
 href="../Integer.html">Integer</a>, <a href="../String.html">String</a>) do
 |x, y|
 </p>
@@ -102,7 +102,7 @@ The return value of the body of testcase is checked by the method
 </p>
 <p>
 Note that the number of arguments in the block must be equal to the number
-of arguments of <a href="Assertion.html#M000073">Assertion.new</a>.
+of arguments of <a href="Assertion.html#M000081">Assertion.new</a>.
 However, for a curried block, we can write also
 </p>
 <pre>
@@ -123,8 +123,8 @@ href="../RushCheck.html">RushCheck</a> tutorial and several examples.
       <h3 class="section-bar">Methods</h3>
       <div class="name-list">
-      <a href="#M000073">new</a>&nbsp;&nbsp;
-      <a href="#M000074">property</a>&nbsp;&nbsp;
+      <a href="#M000081">new</a>&nbsp;&nbsp;
+      <a href="#M000082">property</a>&nbsp;&nbsp;
       </div>
     </div>
@@ -153,12 +153,12 @@ href="../RushCheck.html">RushCheck</a> tutorial and several examples.
     <div id="methods">
       <h3 class="section-bar">Public Class methods</h3>
-      <div id="method-M000073" class="method-detail">
-        <a name="M000073"></a>
+      <div id="method-M000081" class="method-detail">
+        <a name="M000081"></a>
         <div class="method-heading">
-          <a href="Assertion.src/M000073.html" target="Code" class="method-signature"
-            onclick="popupCode('Assertion.src/M000073.html');return false;">
+          <a href="Assertion.src/M000081.html" target="Code" class="method-signature"
+            onclick="popupCode('Assertion.src/M000081.html');return false;">
           <span class="method-name">new</span><span class="method-args">(*xs, &amp;f)</span>
           </a>
         </div>
@@ -169,12 +169,12 @@ href="../RushCheck.html">RushCheck</a> tutorial and several examples.
       <h3 class="section-bar">Public Instance methods</h3>
-      <div id="method-M000074" class="method-detail">
-        <a name="M000074"></a>
+      <div id="method-M000082" class="method-detail">
+        <a name="M000082"></a>
         <div class="method-heading">
-          <a href="Assertion.src/M000074.html" target="Code" class="method-signature"
-            onclick="popupCode('Assertion.src/M000074.html');return false;">
+          <a href="Assertion.src/M000082.html" target="Code" class="method-signature"
+            onclick="popupCode('Assertion.src/M000082.html');return false;">
           <span class="method-name">property</span><span class="method-args">()</span>
           </a>
         </div>

data/data/rushcheck/rdoc/classes/RushCheck/Assertion.src/M000081.html ADDED Viewed

@@ -0,0 +1,19 @@
+<?xml version="1.0" encoding="iso-8859-1"?>
+<!DOCTYPE html
+     PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+     "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html>
+<head>
+  <title>new (RushCheck::Assertion)</title>
+  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
+  <link rel="stylesheet" href="../../.././rdoc-style.css" type="text/css" media="screen" />
+</head>
+<body class="standalone-code">
+  <pre><span class="ruby-comment cmt"># File rushcheck/assertion.rb, line 35</span>
+    <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">initialize</span>(<span class="ruby-operator">*</span><span class="ruby-identifier">xs</span>, <span class="ruby-operator">&amp;</span><span class="ruby-identifier">f</span>)
+      <span class="ruby-ivar">@inputs</span> = <span class="ruby-identifier">xs</span>[<span class="ruby-value">0</span><span class="ruby-operator">..</span>(<span class="ruby-identifier">f</span>.<span class="ruby-identifier">arity</span> <span class="ruby-operator">-</span> <span class="ruby-value">1</span>)]
+      <span class="ruby-ivar">@proc</span> = <span class="ruby-identifier">f</span>
+    <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>

data/data/rushcheck/rdoc/classes/RushCheck/Assertion.src/M000082.html ADDED Viewed

@@ -0,0 +1,23 @@
+<?xml version="1.0" encoding="iso-8859-1"?>
+<!DOCTYPE html
+     PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+     "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html>
+<head>
+  <title>property (RushCheck::Assertion)</title>
+  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
+  <link rel="stylesheet" href="../../.././rdoc-style.css" type="text/css" media="screen" />
+</head>
+<body class="standalone-code">
+  <pre><span class="ruby-comment cmt"># File rushcheck/assertion.rb, line 79</span>
+    <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">property</span>
+      <span class="ruby-identifier">_property</span> { <span class="ruby-operator">|</span><span class="ruby-identifier">args</span><span class="ruby-operator">|</span>
+        <span class="ruby-keyword kw">if</span> <span class="ruby-ivar">@proc</span>.<span class="ruby-identifier">call</span>(<span class="ruby-operator">*</span><span class="ruby-identifier">args</span>)
+        <span class="ruby-keyword kw">then</span> <span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">Result</span>.<span class="ruby-identifier">new</span>(<span class="ruby-keyword kw">true</span>)
+        <span class="ruby-keyword kw">else</span> <span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">Result</span>.<span class="ruby-identifier">new</span>(<span class="ruby-keyword kw">false</span>)
+        <span class="ruby-keyword kw">end</span>
+        }
+    <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>

data/data/rushcheck/rdoc/classes/RushCheck/Claim.html CHANGED Viewed

@@ -99,17 +99,17 @@ end
 </p>
 <p>
 The notation of Claim.new is same as <a
-href="Assertion.html#M000073">Assertion.new</a> is, however the semantics
+href="Assertion.html#M000081">Assertion.new</a> is, however the semantics
 are different. When checking the body of testcase, the returned value is
 ignored. In other words, the body is executed but not checked the result.
 However, if an exception is raised while executing the body, then checking
 is failed. This means that the above testing case can be written by <a
-href="Assertion.html#M000073">Assertion.new</a> as follows:
+href="Assertion.html#M000081">Assertion.new</a> as follows:
 </p>
 <p>
 # meaning of Claim.new is similar to <a
-href="Assertion.html#M000073">Assertion.new</a> <a
-href="Assertion.html#M000073">Assertion.new</a>(<a
+href="Assertion.html#M000081">Assertion.new</a> <a
+href="Assertion.html#M000081">Assertion.new</a>(<a
 href="../Integer.html">Integer</a>, <a href="../String.html">String</a>) do
 |x, y|
 </p>
@@ -141,7 +141,7 @@ so its subclass. See also <a href="Assertion.html">Assertion</a>.
       <h3 class="section-bar">Methods</h3>
       <div class="name-list">
-      <a href="#M000107">property</a>&nbsp;&nbsp;
+      <a href="#M000116">property</a>&nbsp;&nbsp;
       </div>
     </div>
@@ -170,12 +170,12 @@ so its subclass. See also <a href="Assertion.html">Assertion</a>.
     <div id="methods">
       <h3 class="section-bar">Public Instance methods</h3>
-      <div id="method-M000107" class="method-detail">
-        <a name="M000107"></a>
+      <div id="method-M000116" class="method-detail">
+        <a name="M000116"></a>
         <div class="method-heading">
-          <a href="Claim.src/M000107.html" target="Code" class="method-signature"
-            onclick="popupCode('Claim.src/M000107.html');return false;">
+          <a href="Claim.src/M000116.html" target="Code" class="method-signature"
+            onclick="popupCode('Claim.src/M000116.html');return false;">
           <span class="method-name">property</span><span class="method-args">()</span>
           </a>
         </div>

data/data/rushcheck/rdoc/classes/RushCheck/Claim.src/M000116.html ADDED Viewed

@@ -0,0 +1,21 @@
+<?xml version="1.0" encoding="iso-8859-1"?>
+<!DOCTYPE html
+     PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+     "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html>
+<head>
+  <title>property (RushCheck::Claim)</title>
+  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
+  <link rel="stylesheet" href="../../.././rdoc-style.css" type="text/css" media="screen" />
+</head>
+<body class="standalone-code">
+  <pre><span class="ruby-comment cmt"># File rushcheck/claim.rb, line 48</span>
+    <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">property</span>
+      <span class="ruby-identifier">_property</span> { <span class="ruby-operator">|</span><span class="ruby-identifier">args</span><span class="ruby-operator">|</span>
+        <span class="ruby-ivar">@proc</span>.<span class="ruby-identifier">call</span>(<span class="ruby-operator">*</span><span class="ruby-identifier">args</span>)
+        <span class="ruby-constant">RushCheck</span><span class="ruby-operator">::</span><span class="ruby-constant">Result</span>.<span class="ruby-identifier">new</span>(<span class="ruby-keyword kw">true</span>)
+      }
+    <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>

data/data/rushcheck/rdoc/classes/RushCheck/Coarbitrary.html CHANGED Viewed

@@ -80,7 +80,7 @@
       <h3 class="section-bar">Methods</h3>
       <div class="name-list">
-      <a href="#M000058">coarbitrary</a>&nbsp;&nbsp;
+      <a href="#M000066">coarbitrary</a>&nbsp;&nbsp;
       </div>
     </div>
@@ -102,12 +102,12 @@
     <div id="methods">
       <h3 class="section-bar">Public Instance methods</h3>
-      <div id="method-M000058" class="method-detail">
-        <a name="M000058"></a>
+      <div id="method-M000066" class="method-detail">
+        <a name="M000066"></a>
         <div class="method-heading">
-          <a href="Coarbitrary.src/M000058.html" target="Code" class="method-signature"
-            onclick="popupCode('Coarbitrary.src/M000058.html');return false;">
+          <a href="Coarbitrary.src/M000066.html" target="Code" class="method-signature"
+            onclick="popupCode('Coarbitrary.src/M000066.html');return false;">
           <span class="method-name">coarbitrary</span><span class="method-args">(g)</span>
           </a>
         </div>

data/data/rushcheck/rdoc/classes/RushCheck/Coarbitrary.src/M000066.html ADDED Viewed

@@ -0,0 +1,18 @@
+<?xml version="1.0" encoding="iso-8859-1"?>
+<!DOCTYPE html
+     PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+     "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html>
+<head>
+  <title>coarbitrary (RushCheck::Coarbitrary)</title>
+  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
+  <link rel="stylesheet" href="../../.././rdoc-style.css" type="text/css" media="screen" />
+</head>
+<body class="standalone-code">
+  <pre><span class="ruby-comment cmt"># File rushcheck/arbitrary.rb, line 40</span>
+    <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">coarbitrary</span>(<span class="ruby-identifier">g</span>)
+      <span class="ruby-identifier">raise</span>(<span class="ruby-constant">NotImplementedError</span>, <span class="ruby-value str">&quot;This method should be overrided.&quot;</span>)
+    <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>

data/data/rushcheck/rdoc/classes/RushCheck/Config.html CHANGED Viewed

@@ -93,13 +93,13 @@ tests. This class is needed for several test functions.
       <h3 class="section-bar">Methods</h3>
       <div class="name-list">
-      <a href="#M000068">batch</a>&nbsp;&nbsp;
-      <a href="#M000070">done</a>&nbsp;&nbsp;
-      <a href="#M000069">new</a>&nbsp;&nbsp;
-      <a href="#M000066">quick</a>&nbsp;&nbsp;
-      <a href="#M000072">test_batch</a>&nbsp;&nbsp;
-      <a href="#M000071">tests</a>&nbsp;&nbsp;
-      <a href="#M000067">verbose</a>&nbsp;&nbsp;
+      <a href="#M000076">batch</a>&nbsp;&nbsp;
+      <a href="#M000078">done</a>&nbsp;&nbsp;
+      <a href="#M000077">new</a>&nbsp;&nbsp;
+      <a href="#M000074">quick</a>&nbsp;&nbsp;
+      <a href="#M000080">test_batch</a>&nbsp;&nbsp;
+      <a href="#M000079">tests</a>&nbsp;&nbsp;
+      <a href="#M000075">verbose</a>&nbsp;&nbsp;
       </div>
     </div>
@@ -149,12 +149,12 @@ tests. This class is needed for several test functions.
     <div id="methods">
       <h3 class="section-bar">Public Class methods</h3>
-      <div id="method-M000068" class="method-detail">
-        <a name="M000068"></a>
+      <div id="method-M000076" class="method-detail">
+        <a name="M000076"></a>
         <div class="method-heading">
-          <a href="Config.src/M000068.html" target="Code" class="method-signature"
-            onclick="popupCode('Config.src/M000068.html');return false;">
+          <a href="Config.src/M000076.html" target="Code" class="method-signature"
+            onclick="popupCode('Config.src/M000076.html');return false;">
           <span class="method-name">batch</span><span class="method-args">(n, v)</span>
           </a>
         </div>
@@ -163,12 +163,12 @@ tests. This class is needed for several test functions.
         </div>
       </div>
-      <div id="method-M000069" class="method-detail">
-        <a name="M000069"></a>
+      <div id="method-M000077" class="method-detail">
+        <a name="M000077"></a>
         <div class="method-heading">
-          <a href="Config.src/M000069.html" target="Code" class="method-signature"
-            onclick="popupCode('Config.src/M000069.html');return false;">
+          <a href="Config.src/M000077.html" target="Code" class="method-signature"
+            onclick="popupCode('Config.src/M000077.html');return false;">
           <span class="method-name">new</span><span class="method-args">(max_test, max_fail, size, every)</span>
           </a>
         </div>
@@ -177,12 +177,12 @@ tests. This class is needed for several test functions.
         </div>
       </div>
-      <div id="method-M000066" class="method-detail">
-        <a name="M000066"></a>
+      <div id="method-M000074" class="method-detail">
+        <a name="M000074"></a>
         <div class="method-heading">
-          <a href="Config.src/M000066.html" target="Code" class="method-signature"
-            onclick="popupCode('Config.src/M000066.html');return false;">
+          <a href="Config.src/M000074.html" target="Code" class="method-signature"
+            onclick="popupCode('Config.src/M000074.html');return false;">
           <span class="method-name">quick</span><span class="method-args">()</span>
           </a>
         </div>
@@ -191,12 +191,12 @@ tests. This class is needed for several test functions.
         </div>
       </div>
-      <div id="method-M000067" class="method-detail">
-        <a name="M000067"></a>
+      <div id="method-M000075" class="method-detail">
+        <a name="M000075"></a>
         <div class="method-heading">
-          <a href="Config.src/M000067.html" target="Code" class="method-signature"
-            onclick="popupCode('Config.src/M000067.html');return false;">
+          <a href="Config.src/M000075.html" target="Code" class="method-signature"
+            onclick="popupCode('Config.src/M000075.html');return false;">
           <span class="method-name">verbose</span><span class="method-args">()</span>
           </a>
         </div>
@@ -207,12 +207,12 @@ tests. This class is needed for several test functions.
       <h3 class="section-bar">Public Instance methods</h3>
-      <div id="method-M000070" class="method-detail">
-        <a name="M000070"></a>
+      <div id="method-M000078" class="method-detail">
+        <a name="M000078"></a>
         <div class="method-heading">
-          <a href="Config.src/M000070.html" target="Code" class="method-signature"
-            onclick="popupCode('Config.src/M000070.html');return false;">
+          <a href="Config.src/M000078.html" target="Code" class="method-signature"
+            onclick="popupCode('Config.src/M000078.html');return false;">
           <span class="method-name">done</span><span class="method-args">(mesg, ntest, stamps)</span>
           </a>
         </div>
@@ -224,12 +224,12 @@ print results of tests.
         </div>
       </div>
-      <div id="method-M000072" class="method-detail">
-        <a name="M000072"></a>
+      <div id="method-M000080" class="method-detail">
+        <a name="M000080"></a>
         <div class="method-heading">
-          <a href="Config.src/M000072.html" target="Code" class="method-signature"
-            onclick="popupCode('Config.src/M000072.html');return false;">
+          <a href="Config.src/M000080.html" target="Code" class="method-signature"
+            onclick="popupCode('Config.src/M000080.html');return false;">
           <span class="method-name">test_batch</span><span class="method-args">(gen, rnd, nt=1, nf=0, stamps=[])</span>
           </a>
         </div>
@@ -238,12 +238,12 @@ print results of tests.
         </div>
       </div>
-      <div id="method-M000071" class="method-detail">
-        <a name="M000071"></a>
+      <div id="method-M000079" class="method-detail">
+        <a name="M000079"></a>
         <div class="method-heading">
-          <a href="Config.src/M000071.html" target="Code" class="method-signature"
-            onclick="popupCode('Config.src/M000071.html');return false;">
+          <a href="Config.src/M000079.html" target="Code" class="method-signature"
+            onclick="popupCode('Config.src/M000079.html');return false;">
           <span class="method-name">tests</span><span class="method-args">(gen, rnd, nt=1, nf=0, stamps=[])</span>
           </a>
         </div>

data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000074.html ADDED Viewed

@@ -0,0 +1,23 @@
+<?xml version="1.0" encoding="iso-8859-1"?>
+<!DOCTYPE html
+     PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+     "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html>
+<head>
+  <title>quick (RushCheck::Config)</title>
+  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
+  <link rel="stylesheet" href="../../.././rdoc-style.css" type="text/css" media="screen" />
+</head>
+<body class="standalone-code">
+  <pre><span class="ruby-comment cmt"># File rushcheck/config.rb, line 14</span>
+    <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">quick</span>
+      <span class="ruby-identifier">new</span>(<span class="ruby-value">100</span>, <span class="ruby-value">1000</span>,
+          <span class="ruby-constant">Proc</span>.<span class="ruby-identifier">new</span>{<span class="ruby-operator">|</span><span class="ruby-identifier">x</span><span class="ruby-operator">|</span> <span class="ruby-identifier">x</span> <span class="ruby-operator">/</span> <span class="ruby-value">2</span> <span class="ruby-operator">+</span> <span class="ruby-value">3</span>},
+          <span class="ruby-constant">Proc</span>.<span class="ruby-identifier">new</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">n</span>, <span class="ruby-identifier">args</span><span class="ruby-operator">|</span>
+            <span class="ruby-identifier">s</span> = <span class="ruby-identifier">n</span>.<span class="ruby-identifier">to_s</span>
+            <span class="ruby-identifier">s</span> <span class="ruby-operator">+</span> (<span class="ruby-value str">&quot;\b&quot;</span> <span class="ruby-operator">*</span> <span class="ruby-identifier">s</span>.<span class="ruby-identifier">length</span>)
+          <span class="ruby-keyword kw">end</span>)
+    <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>

data/data/rushcheck/rdoc/classes/RushCheck/Config.src/M000075.html ADDED Viewed

@@ -0,0 +1,22 @@
+<?xml version="1.0" encoding="iso-8859-1"?>
+<!DOCTYPE html
+     PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+     "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html>
+<head>
+  <title>verbose (RushCheck::Config)</title>
+  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
+  <link rel="stylesheet" href="../../.././rdoc-style.css" type="text/css" media="screen" />
+</head>
+<body class="standalone-code">
+  <pre><span class="ruby-comment cmt"># File rushcheck/config.rb, line 23</span>
+    <span class="ruby-keyword kw">def</span> <span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">verbose</span>
+      <span class="ruby-identifier">new</span>(<span class="ruby-value">100</span>, <span class="ruby-value">1000</span>,
+          <span class="ruby-constant">Proc</span>.<span class="ruby-identifier">new</span>{<span class="ruby-operator">|</span><span class="ruby-identifier">x</span><span class="ruby-operator">|</span> <span class="ruby-identifier">x</span> <span class="ruby-operator">/</span> <span class="ruby-value">2</span> <span class="ruby-operator">+</span> <span class="ruby-value">3</span>},
+          <span class="ruby-constant">Proc</span>.<span class="ruby-identifier">new</span> <span class="ruby-keyword kw">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">n</span>, <span class="ruby-identifier">args</span><span class="ruby-operator">|</span>
+            <span class="ruby-identifier">n</span>.<span class="ruby-identifier">to_s</span> <span class="ruby-operator">+</span> <span class="ruby-value str">&quot;:\n&quot;</span> <span class="ruby-operator">+</span> <span class="ruby-identifier">args</span>.<span class="ruby-identifier">join</span>(<span class="ruby-value str">&quot;\n&quot;</span>) <span class="ruby-operator">+</span> <span class="ruby-value str">&quot;\n&quot;</span>
+          <span class="ruby-keyword kw">end</span>)
+    <span class="ruby-keyword kw">end</span></pre>
+</body>
+</html>