Add tests with 100% coverage for WalkProperty algorithm

Author: clue

tests/Property/WalkPropertyTest.php

@@ -0,0 +1,143 @@
+<?php
+
+use Fhaculty\Graph\Walk;
+
+use Fhaculty\Graph\Graph;
+use Fhaculty\Graph\Algorithm\Property\WalkProperty;
+
+class WalkPropertyTest extends TestCase
+{
+    public function testTrivialGraph()
+    {
+        $graph = new Graph();
+        $v1 = $graph->createVertex(1);
+
+        $walk = Walk::factoryFromEdges(array(), $v1);
+
+        $this->assertEquals(1, $walk->getNumberOfVertices());
+        $this->assertEquals(0, $walk->getNumberOfEdges());
+
+        $alg = new WalkProperty($walk);
+
+        $this->assertFalse($alg->isLoop());
+        $this->assertFalse($alg->hasLoop());
+
+        $this->assertFalse($alg->isCycle());
+        $this->assertFalse($alg->hasCycle());
+
+        $this->assertTrue($alg->isPath());
+        $this->assertTrue($alg->isSimple());
+
+        $this->assertTrue($alg->isEulerian());
+        $this->assertTrue($alg->isHamiltonian());
+    }
+
+    public function testLoop()
+    {
+        // 1 -- 1
+        $graph = new Graph();
+        $v1 = $graph->createVertex(1);
+        $e1 = $v1->createEdge($v1);
+
+        $walk = Walk::factoryFromEdges(array($e1), $v1);
+
+        $alg = new WalkProperty($walk);
+
+        $this->assertTrue($alg->isLoop());
+        $this->assertTrue($alg->hasLoop());
+
+        $this->assertTrue($alg->isCycle());
+        $this->assertTrue($alg->hasCycle());
+
+        $this->assertTrue($alg->isPath());
+        $this->assertTrue($alg->isSimple());
+
+        $this->assertTrue($alg->isEulerian());
+        $this->assertTrue($alg->isHamiltonian());
+    }
+
+    public function testCycle()
+    {
+        // 1 -- 2 -- 1
+        $graph = new Graph();
+        $v1 = $graph->createVertex(1);
+        $v2 = $graph->createVertex(2);
+        $e1 = $v1->createEdge($v2);
+        $e2 = $v2->createEdge($v1);
+
+        $walk = Walk::factoryFromEdges(array($e1, $e2), $v1);
+
+        $this->assertEquals(3, $walk->getNumberOfVertices());
+        $this->assertEquals(2, $walk->getNumberOfEdges());
+
+        $alg = new WalkProperty($walk);
+
+        $this->assertTrue($alg->isCycle());
+        $this->assertTrue($alg->hasCycle());
+        $this->assertTrue($alg->isPath());
+        $this->assertTrue($alg->isSimple());
+
+        $this->assertTrue($alg->isEulerian());
+        $this->assertTrue($alg->isHamiltonian());
+    }
+
+    public function testDigon()
+    {
+        // 1 -> 2 -> 1
+        $graph = new Graph();
+        $v1 = $graph->createVertex(1);
+        $v2 = $graph->createVertex(2);
+        $e1 = $v1->createEdgeTo($v2);
+        $e2 = $v2->createEdgeTo($v1);
+
+        $walk = Walk::factoryFromEdges(array($e1, $e2), $v1);
+
+        $alg = new WalkProperty($walk);
+
+        $this->assertTrue($alg->isDigon());
+    }
+
+    public function testTriangle()
+    {
+        // 1 -> 2 -> 3 -> 1
+        $graph = new Graph();
+        $v1 = $graph->createVertex(1);
+        $v2 = $graph->createVertex(2);
+        $v3 = $graph->createVertex(3);
+        $e1 = $v1->createEdgeTo($v2);
+        $e2 = $v2->createEdgeTo($v3);
+        $e3 = $v3->createEdgeTo($v1);
+
+        $walk = Walk::factoryFromEdges(array($e1, $e2, $e3), $v1);
+
+        $alg = new WalkProperty($walk);
+
+        $this->assertTrue($alg->isTriangle());
+    }
+
+    public function testSimplePathWithinGraph()
+    {
+        // 1 -- 2 -- 2
+        $graph = new Graph();
+        $v1 = $graph->createVertex(1);
+        $v2 = $graph->createVertex(2);
+        $e1 = $v1->createEdge($v2);
+        $e2 = $v2->createEdge($v2);
+
+        // only use "2 -- 2" part
+        $walk = Walk::factoryFromEdges(array($e2), $v2);
+
+        $this->assertEquals(2, $walk->getNumberOfVertices());
+        $this->assertEquals(1, $walk->getNumberOfEdges());
+
+        $alg = new WalkProperty($walk);
+
+        $this->assertTrue($alg->isCycle());
+        $this->assertTrue($alg->hasCycle());
+        $this->assertTrue($alg->isPath());
+        $this->assertTrue($alg->isSimple());
+
+        $this->assertFalse($alg->isEulerian());
+        $this->assertFalse($alg->isHamiltonian());
+    }
+}