Big renaming for style

giorgiosironi · Dec 27, 2014 · f36f773 · f36f773
1 parent 8e817fa
commit f36f773
Show file tree

Hide file tree

Showing 13 changed files with 86 additions and 86 deletions.
diff --git a/README.md b/README.md
@@ -36,9 +36,9 @@ class ReadmeTest extends \PHPUnit_Framework_TestCase
 
     public function testNaturalNumbersMagnitude()
     {
-        $this->forAll([
-            Generator\nat(1000),
-        ])
+        $this->forAll(
+            Generator\nat(1000)
+        )
             ->then(function($number) {
                 $this->assertTrue(
                     $number < 42,

diff --git a/examples/BooleanTest.php b/examples/BooleanTest.php
@@ -8,9 +8,9 @@ class BooleanTest extends PHPUnit_Framework_TestCase
 
     public function testBooleanValueIsTrueOrFalse()
     {
-        $this->forAll([
-            Generator\bool(),
-        ])
+        $this->forAll(
+            Generator\bool()
+        )
             ->then(function($boolValue) {
                 $this->assertTrue(
                     ($boolValue === true || $boolValue === false),

diff --git a/examples/ConstantTest.php b/examples/ConstantTest.php
@@ -9,10 +9,10 @@ class ConstantTest extends \PHPUnit_Framework_TestCase
     public function testUseConstantGeneratorExplicitly()
     {
         $this
-            ->forAll([
+            ->forAll(
                 Generator\nat(),
                 new Generator\Constant(2)
-            ])
+            )
             ->then(function($number, $alwaysTwo) {
                 $this->assertTrue(($number * $alwaysTwo % 2) === 0);
             });
@@ -21,10 +21,10 @@ public function testUseConstantGeneratorExplicitly()
     public function testUseConstantGeneratorImplicitly()
     {
         $this
-            ->forAll([
+            ->forAll(
                 Generator\nat(),
                 2
-            ])
+            )
             ->then(function($number, $alwaysTwo) {
                 $this->assertTrue(($number * $alwaysTwo % 2) === 0);
             });

diff --git a/examples/ElementsTest.php b/examples/ElementsTest.php
@@ -7,9 +7,9 @@ class ElementsTest extends \PHPUnit_Framework_TestCase
 
     public function testElementsOnlyProducesElementsFromTheGivenArguments()
     {
-        $this->forAll([
-            Generator\elements(1, 2, 3),
-        ])
+        $this->forAll(
+            Generator\elements(1, 2, 3)
+        )
             ->then(function($number) {
                 $this->assertContains(
                     $number,
@@ -25,9 +25,9 @@ public function testElementsOnlyProducesElementsFromTheGivenArguments()
      */
     public function testElementsOnlyProducesElementsFromTheGivenArrayDomain()
     {
-        $this->forAll([
-            Generator\elements([1, 2, 3]),
-        ])
+        $this->forAll(
+            Generator\elements([1, 2, 3])
+        )
             ->then(function($number) {
                 $this->assertContains(
                     $number,
@@ -39,11 +39,11 @@ public function testElementsOnlyProducesElementsFromTheGivenArrayDomain()
 
     public function testVectorOfElementsGenerators()
     {
-        $this->forAll([
+        $this->forAll(
             Generator\vector(4,
                 Generator\elements([2, 4, 6, 8, 10, 12])
             )
-        ])
+        )
             ->then(function($vector) {
                 $sum = array_sum($vector);
                 $isEven = function($number) { return $number % 2 == 0; };

diff --git a/examples/FloatTest.php b/examples/FloatTest.php
@@ -7,9 +7,9 @@ class FloatTest extends \PHPUnit_Framework_TestCase
 
     public function testAPropertyHoldingForAllNumbers()
     {
-        $this->forAll([
-            Generator\float(-100.0, 100.0),
-        ])
+        $this->forAll(
+            Generator\float(-100.0, 100.0)
+        )
             ->then(function($number) {
                 $this->assertEquals(
                     0.0,
@@ -20,9 +20,9 @@ public function testAPropertyHoldingForAllNumbers()
 
     public function testAPropertyHoldingOnlyForPositiveNumbers()
     {
-        $this->forAll([
-            Generator\float(-10.0, 100.0),
-        ])
+        $this->forAll(
+            Generator\float(-10.0, 100.0)
+        )
             ->then(function($number) {
                 $this->assertTrue(
                     $number >= 0,

diff --git a/examples/IntegerTest.php b/examples/IntegerTest.php
@@ -8,10 +8,10 @@ class IntegerTest extends PHPUnit_Framework_TestCase
 
     public function testSumIsCommutative()
     {
-        $this->forAll([
+        $this->forAll(
             Generator\int(-1000, 1000),
-            Generator\int(-1000, 1000),
-        ])
+            Generator\int(-1000, 1000)
+        )
             ->then(function($first, $second) {
                 $x = $first + $second;
                 $y = $second + $first;
@@ -25,11 +25,11 @@ public function testSumIsCommutative()
 
     public function testSumIsAssociative()
     {
-        $this->forAll([
+        $this->forAll(
             Generator\int(-1000, 1000),
             Generator\neg(),
-            Generator\pos(),
-        ])
+            Generator\pos()
+        )
             ->then(function($first, $second, $third) {
                 $x = $first + ($second + $third);
                 $y = ($first + $second) + $third;

diff --git a/examples/ReadmeTest.php b/examples/ReadmeTest.php
@@ -7,9 +7,9 @@ class ReadmeTest extends \PHPUnit_Framework_TestCase
 
     public function testNaturalNumbersMagnitude()
     {
-        $this->forAll([
-            Generator\nat(1000),
-        ])
+        $this->forAll(
+            Generator\nat(1000)
+        )
             ->then(function($number) {
                 $this->assertTrue(
                     $number < 42,

diff --git a/examples/SequenceTest.php b/examples/SequenceTest.php
@@ -8,9 +8,9 @@ class SequenceTest extends PHPUnit_Framework_TestCase
     public function testArrayReversePreserveLength()
     {
         $this
-            ->forAll([
-                Generator\seq(Generator\nat(), 100),
-            ])
+            ->forAll(
+                Generator\seq(Generator\nat(), 100)
+            )
             ->then(function($array) {
                 $this->assertEquals(count($array), count(array_reverse($array)));
             });
@@ -19,12 +19,12 @@ public function testArrayReversePreserveLength()
     public function testArrayReverse()
     {
         $this
-            ->forAll([
+            ->forAll(
                 Generator\seq(
                     Generator\nat(),
                     Generator\pos(100)
-                ),
-            ])
+                )
+            )
             ->then(function($array) {
                 $this->assertEquals($array, array_reverse(array_reverse($array)));
             });

diff --git a/examples/StringTest.php b/examples/StringTest.php
@@ -15,9 +15,9 @@ class StringTest extends PHPUnit_Framework_TestCase
 
     public function testRightIdentityElement()
     {
-        $this->forAll([
-            Generator\string(1000),
-        ])
+        $this->forAll(
+            Generator\string(1000)
+        )
             ->then(function($string) {
                 $this->assertEquals(
                     $string,
@@ -29,10 +29,10 @@ public function testRightIdentityElement()
 
     public function testLengthPreservation()
     {
-        $this->forAll([
-            Generator\string(1000),
+        $this->forAll(
             Generator\string(1000),
-        ])
+            Generator\string(1000)
+        )
             ->then(function($first, $second) {
                 $result = concatenation($first, $second);
                 $this->assertEquals(

diff --git a/examples/SumTest.php b/examples/SumTest.php
@@ -15,9 +15,9 @@ class SumTest extends PHPUnit_Framework_TestCase
 
     public function testRightIdentityElement()
     {
-        $this->forAll([
-            Generator\nat(1000),
-        ])
+        $this->forAll(
+            Generator\nat(1000)
+        )
             ->then(function($number) {
                 $this->assertEquals(
                     $number,
@@ -29,9 +29,9 @@ public function testRightIdentityElement()
 
     public function testLeftIdentityElement()
     {
-        $this->forAll([
-            Generator\nat(1000),
-        ])
+        $this->forAll(
+            Generator\nat(1000)
+        )
             ->then(function($number) {
                 $this->assertEquals(
                     $number,
@@ -58,10 +58,10 @@ public function testEqualToReferencePhpImplementation()
 
     public function testPropertyNeverSatisfied()
     {
-        $this->forAll([
-            Generator\nat(1000),
+        $this->forAll(
             Generator\nat(1000),
-        ])
+            Generator\nat(1000)
+        )
             ->then(function($first, $second) {
                 $this->assertEquals(
                     -1,

diff --git a/examples/TupleTest.php b/examples/TupleTest.php
@@ -7,12 +7,12 @@ class TupleTest extends PHPUnit_Framework_TestCase
 
     public function testConcatenationMaintainsLength()
     {
-        $this->forAll([
+        $this->forAll(
             Generator\tuple([
                 Generator\elements("A", "B", "C"),
                 Generator\nat(9),
             ])
-        ])
+        )
             ->then(function($tuple) {
                 $letter = $tuple[0];
                 $cipher = $tuple[1];

diff --git a/examples/VectorTest.php b/examples/VectorTest.php
@@ -7,10 +7,10 @@ class VectorTest extends PHPUnit_Framework_TestCase
 
     public function testConcatenationMaintainsLength()
     {
-        $this->forAll([
+        $this->forAll(
             Generator\vector(10, Generator\nat(1000)),
-            Generator\vector(10, Generator\nat(1000)),
-        ])
+            Generator\vector(10, Generator\nat(1000))
+        )
             ->then(function($first, $second) {
                 $concatenated = array_merge($first, $second);
                 $this->assertEquals(