aboutsummaryrefslogtreecommitdiffstats
path: root/Test
diff options
context:
space:
mode:
authorIvan Enderlin <ivan.enderlin@hoa-project.net>2014-09-28 22:09:20 +0200
committerIvan Enderlin <ivan.enderlin@hoa-project.net>2014-09-28 22:12:24 +0200
commit1a636205836faa68ad8013bee42e5d397bd9cb3f (patch)
treeb723334a5dc97ab8f6be0b499009781f8bb9986d /Test
parenta9ecb0bd26739fbfb93ca81e67d4604a268e43d6 (diff)
downloadCompiler-1a636205836faa68ad8013bee42e5d397bd9cb3f.zip
Compiler-1a636205836faa68ad8013bee42e5d397bd9cb3f.tar.gz
Compiler-1a636205836faa68ad8013bee42e5d397bd9cb3f.tar.bz2
Add soundness test.
Diffstat (limited to 'Test')
-rw-r--r--Test/Unit/Llk/Soundness.php87
1 files changed, 87 insertions, 0 deletions
diff --git a/Test/Unit/Llk/Soundness.php b/Test/Unit/Llk/Soundness.php
new file mode 100644
index 0000000..f519f15
--- /dev/null
+++ b/Test/Unit/Llk/Soundness.php
@@ -0,0 +1,87 @@
+<?php
+
+/**
+ * Hoa
+ *
+ *
+ * @license
+ *
+ * New BSD License
+ *
+ * Copyright © 2007-2014, Ivan Enderlin. All rights reserved.
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions are met:
+ * * Redistributions of source code must retain the above copyright
+ * notice, this list of conditions and the following disclaimer.
+ * * Redistributions in binary form must reproduce the above copyright
+ * notice, this list of conditions and the following disclaimer in the
+ * documentation and/or other materials provided with the distribution.
+ * * Neither the name of the Hoa nor the names of its contributors may be
+ * used to endorse or promote products derived from this software without
+ * specific prior written permission.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
+ * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
+ * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
+ * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDERS AND CONTRIBUTORS BE
+ * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
+ * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
+ * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
+ * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
+ * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
+ * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+ * POSSIBILITY OF SUCH DAMAGE.
+ */
+
+namespace Hoa\Compiler\Test\Unit\Llk;
+
+use Hoa\Test;
+use Hoa\Compiler as LUT;
+use Hoa\File;
+use Hoa\Math;
+use Hoa\Regex;
+
+/**
+ * Class \Hoa\Compiler\Test\Unit\Soundness.
+ *
+ * Check soundness of the LL(k) compiler.
+ *
+ * @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
+ * @copyright Copyright © 2007-2014 Ivan Enderlin.
+ * @license New BSD License
+ */
+
+class Soundness extends Test\Unit\Suite {
+
+ public function case_exaustive_json ( ) {
+
+ $this
+ ->given(
+ $grammar = new File\Read('hoa://Library/Json/Grammar.pp'),
+ $compiler = LUT\Llk::load($grammar),
+ $sampler = new LUT\Llk\Sampler\BoundedExhaustive(
+ $compiler,
+ new Regex\Visitor\Isotropic(new Math\Sampler\Random()),
+ 15
+ )
+ )
+ ->when(function ( ) use ( $compiler, $sampler ) {
+
+ foreach($sampler as $data ) {
+
+ $this
+ ->given(json_decode($data))
+ ->when($error = json_last_error())
+ ->then
+ ->integer($error)
+ ->isEqualTo(JSON_ERROR_NONE)
+
+ ->when($result = $compiler->parse($data, null, false))
+ ->then
+ ->boolean($result)
+ ->isTrue();
+ }
+ });
+ }
+}