[ { "path": ".State", "content": "finalized\n" }, { "path": ".gitignore", "content": "/vendor/\n/composer.lock\n" }, { "path": ".travis.yml", "content": "language: php\n\nbranches:\n only:\n - staging\n - trying\n - master\n\nmatrix:\n include:\n - php: 5.5\n - php: 5.6\n - php: 7.0\n - php: 7.1\n env:\n - ENABLE_XDEBUG=true\n - php: 7.1\n env:\n - ENABLE_DEVTOOLS=true\n - php: nightly\n allow_failures:\n - php: nightly\n fast_finish: true\n\nos:\n - linux\n\nnotifications:\n irc: \"chat.freenode.net#hoaproject\"\n\nsudo: false\n\nenv:\n global:\n - secure: \"AAAAB3NzaC1yc2EAAAADAQABAAAAgQDzZax7/VFMmTnePlw4PQmD7pVaJQDbLaMXfIIuV/h51m0g8dYfWiGytsblv+/tW37b3TKaGVLMP3vL9jGU73V4P64Ytafj0UV3UKSzHR4atrAPjsCjsFMzlIvKLCZf2FmADRspv/pAg1loQWRzXAiZ9pqCSTxx32x20uLAJmLucQ==\"\n\ncache:\n directories:\n - vendor/\n\nbefore_script:\n - export PATH=\"$PATH:$HOME/.composer/vendor/bin\"\n - if [[ ! $ENABLE_XDEBUG ]]; then\n phpenv config-rm xdebug.ini || echo \"ext-xdebug is not available, cannot remove it.\";\n fi\n\nscript:\n - composer install\n - vendor/bin/hoa test:run\n - if [[ $ENABLE_DEVTOOLS ]]; then\n composer global require friendsofphp/php-cs-fixer;\n vendor/bin/hoa devtools:cs --diff --dry-run .;\n fi\n" }, { "path": "Bin/Assert.php", "content": "getOption($v)) {\n switch ($c) {\n case '__ambiguous':\n $context[$v['option']] = $v['value'];\n\n break;\n\n case 'h':\n case '?':\n return $this->usage();\n }\n }\n\n $this->parser->listInputs($rule);\n\n if (empty($rule)) {\n return $this->usage();\n }\n\n return (int) (!$ruler->assert($rule, $context));\n }\n\n /**\n * The command usage.\n *\n * @return int\n */\n public function usage()\n {\n echo\n 'Usage : ruler:assert rule', \"\\n\",\n 'Options :', \"\\n\",\n $this->makeUsageOptionsList([\n 'help' => 'This help.'\n ]), \"\\n\",\n 'Example : -x=2 -y=6 \\'x in [1, 2, 4] and x < y\\'.', \"\\n\",\n 'See $? to see the result (0 for true, > 0 for false).', \"\\n\";\n\n return;\n }\n}\n\n__halt_compiler();\nAssert rules.\n" }, { "path": "CHANGELOG.md", "content": "# 2.17.05.16\n\n * Asserter: Can visit array-like dimensions. (Arne Groskurth, 2017-05-16T09:42:29+02:00)\n\n# 2.17.04.26\n\n * Grammar: Logical operators are left-associative. (Ivan Enderlin, 2017-03-24T14:39:19+01:00)\n * CS: Fix copyright. (Ivan Enderlin, 2017-03-13T14:59:05+01:00)\n * Test: Support PHP 5.x syntax. (Ivan Enderlin, 2017-03-13T14:44:33+01:00)\n * CI: Set up Travis. (Ivan Enderlin, 2017-03-13T14:16:45+01:00)\n\n# 2.17.01.13\n\n * Quality: Happy new year! (Alexis von Glasow, 2017-01-09T21:37:11+01:00)\n * Test: Add the `Decorrelated` interface. (Ivan Enderlin, 2016-10-25T07:57:09+02:00)\n\n# 2.16.10.24\n\n * Documentation: New `README.md` file. (Ivan Enderlin, 2016-10-14T23:10:14+02:00)\n * Grammar: Chain dimensions on function. (Ivan Enderlin, 2016-10-14T08:37:12+02:00)\n * Documentation: Update `support` properties. (Ivan Enderlin, 2016-10-11T11:54:40+02:00)\n * Test: Update according to previous commit. (Ivan Enderlin, 2016-09-09T16:55:21+02:00)\n * Disassembly: Always add parenthesis around operators. (Ivan Enderlin, 2016-01-16T08:09:28+01:00)\n * Test: Add test cases for `…uler\\Visitor\\Asserter`. (Ivan Enderlin, 2016-09-09T08:04:49+02:00)\n\n# 2.16.09.07\n\n * Test: Write `…\\Ruler\\Visitor\\Asserter` test suite. (Ivan Enderlin, 2016-09-07T15:06:46+02:00)\n * Asserter: Fix an exception message. (Ivan Enderlin, 2016-09-07T15:04:19+02:00)\n * Test: Write `…ler\\Visitor\\Interpreter` test suite. (Ivan Enderlin, 2016-09-06T08:54:00+02:00)\n * Quality: Rename an internal variable. (Ivan Enderlin, 2016-09-06T08:02:30+02:00)\n * Test: Parameterized cases are usually protected. (Ivan Enderlin, 2016-09-06T08:00:43+02:00)\n * Disassembly: Escape the escaping symbol. (Ivan Enderlin, 2016-09-05T17:23:26+02:00)\n * Test: Write `…ler\\Visitor\\Disassembly` test suite. (Ivan Enderlin, 2016-09-05T17:22:16+02:00)\n * Test: Write `…\\Ruler\\Visitor\\Compiler` test suite. (Ivan Enderlin, 2016-09-05T17:15:41+02:00)\n * Test: Write `Hoa\\Ruler\\Ruler` test suite. (Ivan Enderlin, 2016-09-05T08:56:36+02:00)\n * Ruler: Rename a namespace alias. (Ivan Enderlin, 2016-09-05T08:19:19+02:00)\n * Ruler: Remove the `interprete` method. (Ivan Enderlin, 2016-09-05T08:14:21+02:00)\n * Test: Update name for `Issue`. (Ivan Enderlin, 2016-09-05T08:10:18+02:00)\n * Quality: Run `hoa devtools:cs`. (Ivan Enderlin, 2016-09-05T08:09:13+02:00)\n * Test: Write `…r\\Exception\\Interpreter` test suite. (Ivan Enderlin, 2016-09-05T08:08:20+02:00)\n * Test: Write `…uler\\Exception\\Asserter` test suite. (Ivan Enderlin, 2016-09-05T08:07:31+02:00)\n * Test: Write `…ler\\Exception\\Exception` test suite. (Ivan Enderlin, 2016-09-05T08:05:36+02:00)\n * Test: Format to standard vocabulary. (Ivan Enderlin, 2016-09-05T08:04:39+02:00)\n * Test: Rename `CUT` to `SUT`. (Ivan Enderlin, 2016-09-05T08:02:49+02:00)\n * Test: Move `Documentation` as integration suite. (Ivan Enderlin, 2016-09-05T08:01:25+02:00)\n * Test: Write `Hoa\\Ruler\\Model\\Model` test suite. (Ivan Enderlin, 2016-09-02T17:40:35+02:00)\n * Visitor: If the model is empty, compile to `''`. (Ivan Enderlin, 2016-09-02T17:34:27+02:00)\n * Test: Ensure recursivity applies onto array items. (Ivan Enderlin, 2016-09-02T17:19:51+02:00)\n * Test: Write `Hoa\\Ruler\\Model\\Operator` test suite. (Ivan Enderlin, 2016-09-02T17:09:31+02:00)\n * Model: Use the public `getName` method. (Ivan Enderlin, 2016-09-02T17:08:48+02:00)\n * Model: Move set auto laziness to `setName`. (Ivan Enderlin, 2016-09-02T17:08:02+02:00)\n * Test: Move `…erator` as unit to integration suite. (Ivan Enderlin, 2016-09-02T07:49:40+02:00)\n * Documentation: Fix API documentation. (Ivan Enderlin, 2016-09-02T07:47:03+02:00)\n * Test: Write `…Ruler\\Model\\Bag\\Context` test suite. (Ivan Enderlin, 2016-09-02T07:46:09+02:00)\n * Quality: Remove an unnecessary namespace alias. (Ivan Enderlin, 2016-08-30T17:03:58+02:00)\n * Test: Write `…er\\Model\\Bag\\RulerArray` test suite. (Ivan Enderlin, 2016-08-30T17:03:38+02:00)\n * Test: Write `…\\Ruler\\Model\\Bag\\Scalar` test suite. (Ivan Enderlin, 2016-08-29T16:29:37+02:00)\n * Documentation: Fix API documentation. (Ivan Enderlin, 2016-08-29T16:29:16+02:00)\n * Test: Write `Hoa\\Ruler\\Model\\Bag` test suite. (Ivan Enderlin, 2016-08-29T15:51:28+02:00)\n * Test: Use the `::class` constant. (Ivan Enderlin, 2016-08-29T15:49:09+02:00)\n\n# 2.16.04.06\n\n * Asserter: Fix a wrong namespace access. (jroenf, 2016-04-06T09:09:43+02:00)\n\n# 2.16.03.15\n\n * Composer: `hoa/protocol` is explicitly required. (Ivan Enderlin, 2016-01-18T22:14:18+01:00)\n * Grammar: Update copyright. (Ivan Enderlin, 2016-01-17T14:22:07+01:00)\n\n# 2.16.01.15\n\n * Composer: Remove a useless dependency. (Ivan Enderlin, 2016-01-14T22:42:15+01:00)\n\n# 2.16.01.14\n\n * Composer: New stable libraries. (Ivan Enderlin, 2016-01-14T22:13:39+01:00)\n\n# 2.16.01.11\n\n * Quality: Drop PHP5.4. (Ivan Enderlin, 2016-01-11T09:15:26+01:00)\n * Quality: Run devtools:cs. (Ivan Enderlin, 2016-01-09T09:08:44+01:00)\n * Core: Remove `Hoa\\Core`. (Ivan Enderlin, 2016-01-09T08:24:06+01:00)\n * Consistency: Use `Hoa\\Consistency`. (Ivan Enderlin, 2015-12-08T21:50:12+01:00)\n * Exception: Use `Hoa\\Exception`. (Ivan Enderlin, 2015-11-20T13:10:38+01:00)\n\n# 1.15.11.09\n\n * Fix CS. (Ivan Enderlin, 2015-09-23T11:31:44+02:00)\n\n# 1.15.09.22\n\n * Fix bad evaluation of `null` as an array key in the asserter. (Grummfy, 2015-09-22T15:47:23+02:00)\n\n# 1.15.09.08\n\n * Add a `.gitignore` file. (Stéphane HULARD, 2015-08-03T11:45:52+02:00)\n * Add the `matches` operator. (Kévin Gomez, 2015-07-18T19:44:24+02:00)\n\n# 1.15.07.28\n\n * Auto-box the expression to its bag representation. (Ivan Enderlin, 2015-07-13T11:37:00+02:00)\n * Fix a typo. (Ivan Enderlin, 2015-06-27T16:08:06+02:00)\n\n# 1.15.05.29\n\n * Move to PSR-1 and PSR-2. (Ivan Enderlin, 2015-04-20T10:21:13+02:00)\n\n# 1.15.04.13\n\n * Add the English documentation. (Ivan Enderlin, 2015-03-19T10:32:47+01:00)\n * Add the French documentation. (Ivan Enderlin, 2015-03-19T10:29:59+01:00)\n * Add the `CHANGELOG.md` file. (Ivan Enderlin, 2015-02-16T14:08:39+01:00)\n * Fix CS and API documentation. (Ivan Enderlin, 2015-02-06T10:37:23+01:00)\n * Add lazy operator support. (Alexis von Glasow, 2014-12-15T23:42:34+01:00)\n * Add tests for the dynamic callable. (Ivan Enderlin, 2015-02-05T17:13:12+01:00)\n\n# 1.15.02.05\n\n * Sandbox function calls in the context. (Ivan Enderlin, 2015-02-05T16:50:13+01:00)\n * Add tests for the context. (Ivan Enderlin, 2015-02-05T16:49:30+01:00)\n\n# 1.15.02.02\n\n * s/interprete/interpret/ (Ivan Enderlin, 2015-02-02T11:31:29+01:00)\n * `Ruler::interprete` is an alias to `Ruler::interpret` (simkimsia, 2015-01-16T22:22:18+08:00)\n * Improve type-hints in `Visitor\\Asserter` (Alexis von Glasow, 2015-01-15T13:34:30+01:00)\n * Happy new year! (Ivan Enderlin, 2015-01-05T14:47:59+01:00)\n\n# 1.14.12.10\n\n * Move to PSR-4. (Ivan Enderlin, 2014-12-09T18:45:18+01:00)\n\n# 1.14.12.09\n\n * Fix a bug in the `Visitor\\Compiler` when function has no argument (Catalin Criste, 2014-12-09T18:25:25+01:00)\n * Format namespace. (Ivan Enderlin, 2014-12-08T14:04:08+01:00)\n * Require `hoa/test`. (Alexis von Glasow, 2014-11-26T13:21:41+01:00)\n * `Hoa\\Visitor` has been finalized. (Ivan Enderlin, 2014-11-15T22:28:07+01:00)\n\n# 1.14.11.10\n\n * Avoid collisions with user-defined operators… (Ivan Enderlin, 2014-11-10T15:43:04+01:00)\n\n# 1.14.11.09\n\n * Split the visitor into several methods (Stéphane PY, 2014-11-07T09:29:55+01:00)\n * Add tests for the documentation. (Ivan Enderlin, 2014-09-26T09:23:44+02:00)\n\n# 1.14.09.25\n\n * Fix Fatal error. (Stéphane PY, 2014-09-25T12:22:18+02:00)\n * Add `branch-alias` (Stéphane PY, 2014-09-23T16:06:06+02:00)\n * `Hoa\\Core` was missing (Ivan Enderlin, 2014-09-23T15:58:55+02:00)\n\n# 1.14.09.23\n\n * First tag :-). (Ivan Enderlin, 2014-09-23T15:41:11+02:00)\n * Finalized! (Ivan Enderlin, 2014-09-23T15:37:04+02:00)\n * Remove `from`/`import` and update to PHP5.4. (Ivan Enderlin, 2014-09-23T15:32:36+02:00)\n * Declare array with […] and not (…). (Ivan Enderlin, 2014-09-23T14:58:18+02:00)\n\n# 0.14.09.17\n\n * Drop PHP5.3. (Ivan Enderlin, 2014-09-17T17:13:16+02:00)\n * Add the installation section. (Ivan Enderlin, 2014-09-17T17:13:05+02:00)\n\n(first snapshot)\n" }, { "path": "Context.php", "content": "_data = $data;\n\n return;\n }\n\n /**\n * Set a data.\n *\n * @param string $id ID.\n * @param mixed $value Value.\n * @return void\n */\n public function offsetSet($id, $value)\n {\n $this->_data[$id] = $value;\n\n return;\n }\n\n /**\n * Get a data.\n *\n * @param string $id ID.\n * @return mixed\n * @throws \\Hoa\\Ruler\\Exception\n */\n public function offsetGet($id)\n {\n if (false === array_key_exists($id, $this->_data)) {\n throw new Exception(\n 'Identifier %s does not exist in the context.',\n 0,\n $id\n );\n }\n\n $value = $this->_data[$id];\n\n if ($value instanceof DynamicCallable) {\n return $value($this);\n }\n\n if (true === is_callable($value)) {\n if (true === is_string($value) &&\n false === in_array(strtolower($value), get_defined_functions()['user'])) {\n return $value;\n }\n\n $value = $this->_data[$id] = $value($this);\n }\n\n return $value;\n }\n\n /**\n * Check if a data exists.\n *\n * @return bool\n */\n public function offsetExists($id)\n {\n return true === array_key_exists($id, $this->_data);\n }\n\n /**\n * Unset a data.\n *\n * @param string $id ID.\n * @return void\n */\n public function offsetUnset($id)\n {\n unset($this->_data[$id]);\n\n return;\n }\n\n /**\n * Get a data as context property\n *\n * @param string $name\n * @return mixed\n * @throws \\Hoa\\Ruler\\Exception\n */\n public function __get($name)\n {\n return $this->offsetGet($name);\n }\n\n /**\n * Set a data as context property\n *\n * @param string $id ID.\n * @param mixed $value Value.\n * @return void\n */\n public function __set($id, $value)\n {\n $this->offsetSet($id, $value);\n }\n}\n" }, { "path": "Documentation/En/Index.xyl", "content": "\n\n\n\n\n

Business rules (like “all the customers that have\n reached 100€ in one time receive a voucher of 10% on the next purchase”)\n are most of the time defined outside the application. They\n are even often written in a different language than the used\n programming language. The Hoa\\Ruler library provides an engine\n allowing to simply execute business rules while being\n efficient and very extensible.

\n\n

Table of contents

\n\n \n\n

Introduction

\n\n

The business logic is very different from the Computer logic. “All the\n customers that have reached 100€ in one time receive a voucher of 10% on the\n next purchase”. This rule allows to access to certain parts of the program\n if valids. However, it can change at any\n moment. Most of the time, in a team, it is not the role of the developer to\n implement this rule. It will probably come from a business rules\n repository, which have been written by other persons, either\n manually or thanks to a third-party program.\n This implies that the language used to express a rule is not the language used\n to develop the program. An even more obvious example is the use of a rule to\n filter elements: An element is accepted if “its group is customer\n or guest and its number of points is greater than 30”. This rule\n can be written by a user via a command line interface to filter results from a\n database or logs.

\n

This is important to understand that rules must be written in a\n dedicated language. Nevertheless, the way we use rules is\n very vast and unpredictable. This is why it\n is primordial to have flexible and extensible rules in the\n syntax. For instance, it should be allowed to add operators and functions:\n “All the customers from the hotel with a Gold pass will receive a voucher\n of 10%”. The “Gold pass” can be an operator or a function specific to the\n current business.

\n

The language the Hoa\\Ruler library uses to describe rules\n respects these constraints of extensibility. The rules will not be close to\n the human language but they will stay natural when reading.\n If we take the example of the “its group is customer or\n guest and its number of points is greater than 30”, it will be\n written: group in [\"customer\", \"guest\"] and points >\n 30. The group and points\n elements are variables of the rule. Their values will be defined in a\n context.

\n

From a more formal point of view, a rule is a predicate, it means that its\n result is always a boolean: true or\n false. Because these rules are likely to be\n manipulated (modified) and executed, the Hoa\\Ruler library\n provides several tools to work efficiently with these constraints, presented\n in the following sections.

\n\n

Global workflow

\n\n

The global workflow of the Hoa\\Ruler library follows\n 3 steps:

\n
    \n
  1. Defining a rule,
    2. \n
  2. Defining a context,
    3. \n
  3. Use of an asserter for the execution.
    4. \n
\n

The rule is a string matching a specific syntax, which is\n described by the grammar of the language defined by the Hoa\\Ruler\n library (detailed hereinafter). This rule contains variables whose values are\n defined by the context. The context can contain scalar\n values, arrays or even functions or objects. Finally, the\n asserter associates the context to the rule in order to\n execute it and to obtain a result. We remind you about the result which is\n necessarily a boolean. This is therefore a predicate.

\n

The context is represented by the Hoa\\Ruler\\Context class. The\n asserter is represented by the Hoa\\Ruler\\Visitor\\Asserter class.\n We can use the Hoa\\Ruler\\Ruler::assert method to ease its usage.\n Thus:

\n 
$ruler = new Hoa\\Ruler\\Ruler();\n\n// 1. Write a rule.\n$rule  = 'group in [\"customer\", \"guest\"] and points > 30';\n\n// 2. Create a context.\n$context           = new Hoa\\Ruler\\Context();\n$context['group']  = 'customer';\n$context['points'] = function () {\n    return 42;\n};\n\n// 3. Assert!\nvar_dump(\n    $ruler->assert($rule, $context)\n);\n\n/**\n * Will output:\n *     bool(true)\n */
\n

The rule is defined in the $rule\n variable. The context, as far as it is concerned, is defined in the\n $context variable. It contains 2 variables:\n group and point, respectively with the\n 'customer' and\n 42 (returned by a function) values. Finally,\n the last step uses the Hoa\\Ruler\\Ruler::assert method to execute\n the $rule rule with the\n $context context (this latter is optional).\n The result is true because\n group belongs to the list customer or\n guest, and point is greater than 30. Change the\n values in the context or the rule to observe a different result.

\n

The following sections detail the behavior of each step but the classical\n usage remains as simple as that!

\n\n

Grammar (through examples)

\n\n

The grammar of the rules language is described in\n the\n hoa://Library/Ruler/Grammar.pp file. This grammar is\n expressed with the PP language. To get more information, please see\n the Hoa\\Compiler library.\n We clarify that the language supports Unicode. We are not going to explain the\n language whilst the grammar provides all the necessary\n details. Nevertheless, we are going to give several syntax\n examples.

\n\n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n
Language of Hoa\\Ruler through examples.
syntaxsemantics
'foo', \"foo\", 'f\\'oo'strings
true, false, nullpre-defined constants
4.2a real
42an integer
['foo', true, 4.2, 42]an array (heterogeneous)
sum(1, 2, 3)a call to the sum function with 3 arguments
pointsa variable
points['x']an array access
line.pointAan object access (attribute)
line.length()a call to a method
and, or, xor, notlogical operators
=, !=, >, &lt;,\n >=, &lt;=comparison operators
is, inmembership operators
\n\n

Of course, these examples represent atomic parts of the grammar that we can\n combine. Thus:\n userA.allows(groups[groupId][userB])\n is valid. Just like f(user, points > 7 and\n points &lt; 42) which is also valid.

\n

In actual fact, functions, comparison operators and membership operators\n are not defined by the grammar but by the asserter (detailed hereinafter).\n Hoa\\Ruler does not make any difference between an operator and a\n function. Operators are considered as functions; an operator\n only being a function with an arity of 1 or 2. Thus, we can write 2 =\n 2 or =(2, 2), this will strictly produce the same result.\n Just like the name of functions that is not defined in the grammar, the name\n of operators is neither defined by the grammar, excepted for the logical\n operators that have a particular processing (because of the operator\n precedence). The immediate result is that we can create our\n own operators or functions. We can imagine a ∈\n A, √(42) or even userA allows\n userB being valid expressions.

\n\n

Context

\n\n

The context defines values of variables present in rules. These values can\n be of kind:

\n
    \n
  • Constants, like 42 or\n 'foo' which are scalars, or\n [1, 1, 2, 3, 5] or an object which are\n structured types,
    • \n
  • Computed values, it means returned by a function or a\n method.
    • \n
\n

By default, the computed values are computed only once. Indeed, they are\n stored in a cache for performance reasons. If we would like to recompute them\n at each read, an encapsulation in an object of kind\n Hoa\\Ruler\\DynamicCallable is required.

\n

Before detailing this part, let's present the context. A context is an\n instance of the Hoa\\Ruler\\Context class which implements\n the ArrayAccess\n interface. Thus, we use the context like an array:

\n 
$context        = new Hoa\\Ruler\\Context();\n$context['key'] = 'value';\n\nvar_dump(\n    isset($context['key']),\n    $context['key']\n);\n\n/**\n * Will output:\n *     bool(true)\n *     string(5) \"value\"\n */
\n

To register computed values, we can use a function; thus:

\n 
$context['computed'] = function () {\n    return 42;\n};\n\nvar_dump($context['computed']);\n\n/**\n * Will output:\n *     int(42)\n */
\n

We said computed values are stored in a cache on the first\n read. To illustrate this we will use a function incrementing an integer at\n each call:

\n 
$i              = 0;\n$context['int'] = function () use (&amp;$i) {\n    return ++$i;\n};\n\nvar_dump(\n    $context['int'],\n    $context['int'],\n    $context['int'],\n    $i\n);\n\n/**\n * Will output:\n *     int(1)\n *     int(1)\n *     int(1)\n *     int(1)\n */
\n

The $i variable has been incremented once\n to go from 0 to 1, and then, has been stored in a cache. Now, if we\n encapsulate this function in an instance of the\n Hoa\\Ruler\\DynamicCallable class, let's observe what happens:

\n 
$i              = 0;\n$context['int'] = new Hoa\\Ruler\\DynamicCallable(\n    function () use (&amp;$i) {\n        return ++$i;\n    }\n);\n\nvar_dump(\n    $context['int'],\n    $context['int'],\n    $context['int'],\n    $i\n);\n\n/**\n * Will output:\n *     int(1)\n *     int(2)\n *     int(3)\n *     int(3)\n */
\n

The result is no longer stored in a cache.

\n

We can also use a declared function thanks to its name. Attention, it is\n not possible to call native PHP functions for security reasons. The context\n has not such a scope. Thus:

\n 
function answer()\n{\n    return 42;\n}\n\n$context['the_answer'] = 'answer';\n\nvar_dump($context['the_answer']);\n\n/**\n * Will output:\n *     int(42)\n */
\n

Nothing more to know about the context. It is not that complicated!

\n\n

Asserter

\n\n

Given a rule and a context, the asserter is responsible to compute the\n result of a rule, including the values of variables which are in the\n context.

\n

The rule can have two different forms:

\n
    \n
  • a string or
    • \n
  • an object model.
    • \n
\n

If it is a string, it will be transformed into an object model\n automatically by the Hoa\\Ruler\\Ruler::assert method. This object\n model implements the interfaces of the\n Hoa\\Visitor library and thus can be visited. This is why the\n Hoa\\Ruler\\Visitor\\Asserter asserter is a\n visitor. Finally, the context is defined on the asserter with\n the Hoa\\Ruler\\Visitor\\Asserter::setContext method. Thus:

\n 
$ruler             = new Hoa\\Ruler\\Ruler();\n$rule              = 'points > 30';\n$context           = new Hoa\\Ruler\\Context();\n$context['points'] = 42;\n\n// Define an asserter.\n$asserter          = new Hoa\\Ruler\\Visitor\\Asserter();\n\n// Set this asserter on the ruler.\n$ruler->setAsserter($asserter);\n\n// Assert!\nvar_dump(\n    $ruler->assert($rule, $context)\n);\n\n/**\n * Will output:\n *     bool(true)\n */
\n

The Hoa\\Ruler\\Ruler::assert method will automatically define\n the context on the asserter.

\n\n

Add functions

\n\n

We said the names of the operators and of the functions in the rules are\n free. Therefore, we supposed the ability to define our own\n operators and functions. Let's add the logged function that tests\n if an object of kind User is connected. Here is this object:

\n 
class User\n{\n    const DISCONNECTED = 0;\n    const CONNECTED    = 1;\n    protected $_status = 1;\n\n    public function getStatus()\n    {\n        return $this->_status;\n    }\n}
\n

The implementation of the logged function might be the\n following:

\n 
$logged = function (User $user) {\n    return $user::CONNECTED === $user->getStatus();\n};
\n

Finally, to declare this function, we will use the\n Hoa\\Ruler\\Visitor\\Asserter::setOperator method. We can also cite\n the operatorExists, getOperator and\n getOperators methods which respectively allow to test if an\n operator exists, to get a previously declared operator and to get all the\n declared operators. Thus:

\n 
$ruler             = new Hoa\\Ruler\\Ruler();\n$rule              = 'logged(user) and points > 30';\n$context           = new Hoa\\Ruler\\Context();\n$context['user']   = new User();\n$context['points'] = 42;\n\n// Declare the `logged` function.\n$asserter = new Hoa\\Ruler\\Visitor\\Asserter();\n$asserter->setOperator('logged', $logged);\n\n$ruler->setAsserter($asserter);\n\n// Assert!\nvar_dump(\n    $ruler->assert($rule, $context)\n);\n\n/**\n * Will output:\n *     bool(true)\n */
\n

The Hoa\\Ruler\\Ruler class only contains methods to work faster\n and to hide the underlying mechanism (detailed hereinafter). One of them is\n the getDefaultAsserter static method which returns a unique\n instance of the Hoa\\Ruler\\Visitor\\Asserter class. We can use this\n unique instance to define new operators for all the rules.\n Its usage is very similar to what we saw previously:

\n 
$ruler             = new Hoa\\Ruler\\Ruler();\n$rule              = 'logged(user) and points > 30';\n$context           = new Hoa\\Ruler\\Context();\n$context['user']   = new User();\n$context['points'] = 42;\n\n// Declare the `logged` function.\n$ruler->getDefaultAsserter()->setOperator('logged', $logged);\n\n// Assert!\nvar_dump(\n    $ruler->assert($rule, $context)\n);\n\n/**\n * Will output:\n *     bool(true)\n */
\n

The Hoa\\Ruler\\Visitor\\Asserter::setOperator method accepts any\n valid callable.

\n

The and, or, xor, not,\n =, != and sum etc. operators are\n defined in\n the\n Hoa\\Ruler\\Visitor\\Asserter class. Feel free to read it to\n get inspired!

\n\n

Language transformation

\n\n

The underlying mechanism hidden by the Hoa\\Ruler\\Ruler class\n is simple and very modular. The following sections detail the\n possible transformations, and associated usage, of the\n language.

\n\n
\n \n\n

First of all, the rule is interpreted by an interpreter to be transformed\n into an object model. Then, this object model is used by the asserter, or can\n be transformed into PHP code or transformed into a rule. This object model is\n the central point of the language, this is its most advanced form.

\n\n

Interpreter:\n Language to object model

\n\n

A rule is a string. To transform it into an object model, we will use\n the Hoa\\Compiler\n library.

\n\n
\n \n\n

Thanks to the grammar of rules (defined in\n the\n hoa://Library/Ruler/Grammar.pp file), we will get an AST: An\n abstract syntax tree. For instance, for the rule points > 30, its\n AST is:

\n 
$ echo 'points > 30' | hoa compiler:pp hoa://Library/Ruler/Grammar.pp 0 --visitor dump\n>  #expression\n>  >  #operation\n>  >  >  token(identifier, points)\n>  >  >  token(identifier, >)\n>  >  >  token(integer, 30)
\n

In order to be exploitable, this tree will be transformed into an\n object model. This transformation is ensured by the\n Hoa\\Ruler\\Visitor\\Interpreter visitor. Thus, if we should apply\n it manually:

\n 
$compiler    = Hoa\\Compiler\\Llk::load(\n    new Hoa\\File\\Read('hoa://Library/Ruler/Grammar.pp')\n);\n$ast         = $compiler->parse('points > 30');\n$interpreter = new Hoa\\Ruler\\Visitor\\Interpreter();\n$model       = $interpreter->visit($ast);\n\nvar_dump(\n    get_class($model)\n);\n\n/**\n * Will output:\n *     string(21) \"Hoa\\Ruler\\Model\\Model\"\n */
\n

We learn that the model is represented by classes belonging to the\n Hoa\\Ruler\\Model namespace.

\n

All these operations are replaced by the\n Hoa\\Ruler\\Ruler::interpret static method.

\n 
$model = Hoa\\Ruler\\Ruler::interpret('points > 30');
\n

We can get the compiler with the Hoa\\Ruler\\Ruler::getCompiler\n method.

\n

We will see how this step can be important to get better performances.

\n\n

Compiler: Object model to\n PHP

\n\n

The object model can be created manually by instantiating all the objects\n of kind Hoa\\Ruler\\Model\\* and by combining them\n together.

\n\n
\n \n\n

The PHP code required for this operation can be automatically generated\n thanks to the Hoa\\Ruler\\Visitor\\Compiler class. Thus:

\n 
$compiler = new Hoa\\Ruler\\Visitor\\Compiler();\necho $compiler->visit($model);\n\n/**\n * Will output:\n *     $model = new \\Hoa\\Ruler\\Model();\n *     $model->expression =\n *         $model->{'>'}(\n *             $model->variable('points'),\n *             30\n *         );\n */
\n

The generated code is simplified and optimized to be as short as possible\n whilst staying readable for a human.

\n

We will see how this step can be important to get better performances.

\n\n

Disassembler:\n Object model to language

\n\n

So far, we have seen how to jump from a rule to its object model. The\n disassembler applies the opposite operation: It transforms an\n object model into a string.

\n\n
\n \n\n

The generated rule can differ a little bit from the original one in term of\n syntax (parenthesis, quotes, spacing…) but never in term of semantics. Thus:

\n 
$disassembly = new Hoa\\Ruler\\Visitor\\Disassembly();\necho $disassembly->visit($model);\n\n/**\n * Will output:\n *     (points > 30)\n */
\n\n

Performances

\n\n

Transforming a rule into an object model is not a low-cost operation. It\n becomes significant when applied thousand times per minute. Nevertheless,\n applying an asserter on an object model is a low-cost operation. We will\n present two ways to avoid the transformation of a rule into an object\n model.

\n\n

Serialize the object\n model

\n\n

Once the object model is present, we can serialize it with the help of\n the serialize PHP\n function. We will get a string representing instances of objects forming\n the object model. To get back to the object model and being able to apply an\n asserter, we will use the\n unserialize PHP function. The result of this serialization\n can be stored in a database instead of rules. This requires a little bit more\n space but let's remind that we can transform an object model to its rule\n easily thanks to the Hoa\\Ruler\\Visitor\\Disassembly class,\n consequently this information is not lost. Thus:

\n 
$ruler             = new Hoa\\Ruler\\Ruler();\n$rule              = 'points > 30';\n$context           = new Hoa\\Ruler\\Context();\n$context['points'] = 42;\n\n// Nothing in the database.\nif (null === $serialized = $database->get($ruleId)) {\n    // We transform the rule into an object model.\n    $model = Hoa\\Ruler\\Ruler::interpret($rule);\n\n    // We serialize and save the object model.\n    $database->save($ruleId, serialize($model));\n} else {\n    // We have a serialization! We unserialize it to get the object model.\n    $model = unserialize($serialized);\n}\n\n// We can assert by using a model instead of a rule!\nvar_dump(\n    $ruler->assert($model, $context)\n);\n\n/**\n * Will output:\n *     bool(true)\n */
\n

This way, the rule is transformed into an object model only\n once!

\n\n

Save and execute PHP\n code

\n\n

Another way to avoid the transformation of a rule into its object model is\n to save the PHP code allowing to build the object model thanks to the\n Hoa\\Ruler\\Visitor\\Compiler class. Once this PHP code stored and\n executed, we get back our object model.

\n

However, executing such a PHP code will prove to be slightly slower and\n more difficult to deploy than the previous technique.

\n\n

Conclusion

\n\n

The Hoa\\Ruler library defines a language of\n simple business rules inspired by the SQL language for the\n syntax. The language can be transformed in many ways: To an\n object model in order to be executed, or from this object model, into PHP code\n or into the original language. The instantiation of the variables present in\n the language relies on a context. All these operations are\n hidden through a simple and clear interface.

\n

The performance aspect has been addressed and two\n solutions have been proposed. Today it is used by the industry on important\n projects, Hoa\\Ruler is able to support heavy loads if these\n simple methodologies are applied.

\n\n\n\n" }, { "path": "Documentation/Fr/Index.xyl", "content": "\n\n\n\n\n

Les règles métiers (comme « tous les clients qui ont\n dépensé plus de 100€ en une fois reçoivent une réduction de 10% sur leur\n prochain achat ») sont la plupart du temps définies à\n l'extérieur de l'application. Elles sont même souvent\n exprimées dans un langage différent que le langage de\n programmation utilisé. La bibliothèque Hoa\\Ruler offre un moteur\n permettant d'exécuter des règles métiers simplement et de manière\n performante tout en restant très\n extensible.

\n\n

Table des matières

\n\n \n\n

Introduction

\n\n

La logique métier est très différente de la logique Informatique. « Tous\n les clients qui ont dépensé plus de 100€ en une fois reçoivent une réduction\n de 10% sur leur prochain achat ». Cette règle permet d'accéder à certaines\n parties du programme si elle est validée. Toutefois, elle\n peut changer à n'importe quel moment. Très souvent, dans une\n équipe, ce ne sera pas au développeur d'implémenter cette règle. Elle\n proviendra probablement d'un dépôt de règles métiers, qui\n auront été écrites par d'autres personnes, soit manuellement,\n soit à l'aide d'un programme tiers. Cela implique que le\n langage utilisé pour exprimer une règle n'est pas le langage utilisé pour\n développer le programme. Un exemple encore plus évident avec l'utilisation\n d'une règle pour filtrer des éléments : un élément est accepté si « son\n groupe est customer ou guest et son\n nombre de points est supérieur à 30 ». Cette règle peut très bien être\n écrite par un utilisateur via une interface en ligne de commande pour filtrer\n des résultats d'une base de données ou de logs.

\n

Il est important de comprendre que les règles doivent être écrites dans un\n langage dédié. Néanmoins, l'usage qui est fait des règles est\n très vaste et imprédictible. C'est pourquoi\n il est primordiale d'avoir des règles souples et extensibles\n dans leur syntaxe. Par exemple, il doit être permis d'ajouter des opérateurs\n ou des fonctions : « tous les clients de l'hôtel avec un pass Gold auront\n une réduction de 10% ». Le « pass Gold » peut être un opérateur ou une\n fonction spécifique au métier du programme concerné.

\n

Le langage utilisé par la bibliothèque Hoa\\Ruler pour décrire\n des règles respecte ces contraintes d'extensibilité. Les règles ne seront pas\n proches du langage humain mais resterons naturelles à lire.\n Si nous reprenons l'exemple de la règle « son groupe est\n customer ou guest et son nombre de\n points est supérieur à 30 », elle s'écrira : group in\n [\"customer\", \"guest\"] and points > 30. Les éléments\n group et points sont des variables\n de la règle. Leurs valeurs seront définies par un contexte.

\n

D'un point de vue plus formel, une règle est un prédicat, c'est à dire que\n son résultat est toujours un booléen : true\n ou false. Comme ces règles sont destinées à\n être manipulées (modifiées) et exécutées, la bibliothèque\n Hoa\\Ruler propose plusieurs outils pour travailler efficacement\n avec ces contraintes, présentés dans les sections suivantes.

\n\n

Fonctionnement général

\n\n

Le fonctionnement général de la bibliothèque Hoa\\Ruler se\n déroule en 3 étapes :

\n
    \n
  1. définition d'une règle ;
    2. \n
  2. définition d'un contexte ;
    3. \n
  3. usage d'un asserteur pour l'exécution.
    4. \n
\n

La règle est une chaîne de caractères respectant une\n syntaxe précise, décrite par la grammaire du langage définie par la\n bibliothèque Hoa\\Ruler (détaillée ci-après). Cette règle contient\n des variables dont les valeurs sont définies par le contexte.\n Le contexte peut contenir des valeurs scalaires, des tableaux ou même des\n fonctions et des objets. Enfin, l'asserteur associe le\n contexte à la règle pour pouvoir l'exécuter et obtenir un résultat. Nous\n rappelons que ce résultat est nécessairement un booléen. C'est alors un\n prédicat.

\n

Le contexte est représenté par la classe Hoa\\Ruler\\Context.\n L'asserteur est représenté par la classe\n Hoa\\Ruler\\Visitor\\Asserter. Nous pouvons employer la méthode\n Hoa\\Ruler\\Ruler::assert qui facilite son utilisation. Ainsi :

\n 
$ruler = new Hoa\\Ruler\\Ruler();\n\n// 1. Write a rule.\n$rule  = 'group in [\"customer\", \"guest\"] and points > 30';\n\n// 2. Create a context.\n$context           = new Hoa\\Ruler\\Context();\n$context['group']  = 'customer';\n$context['points'] = function () {\n    return 42;\n};\n\n// 3. Assert!\nvar_dump(\n    $ruler->assert($rule, $context)\n);\n\n/**\n * Will output:\n *     bool(true)\n */
\n

La règle est définie dans la variable\n $rule. Le contexte, quant à lui, est défini\n dans la variable $context. Il contient\n 2 variables : group et points, respectivement avec\n les valeurs 'customer' et\n 42 (retournée par une fonction). Enfin, la\n dernière étape utilise la méthode Hoa\\Ruler\\Ruler::assert pour\n exécuter la règle $rule avec le contexte\n $context (ce dernier est optionnel). Le\n résultat est true car group est\n bien dans la liste customer ou guest, et\n point est bien supérieur à 30. Changez les valeurs dans le\n contexte ou la règle pour observer un résultat différent.

\n

Les sections suivantes détaillent le fonctionnement de chaque partie mais\n l'usage classique reste aussi simple que ça !

\n\n

Grammaire (par l'exemple)

\n\n

La grammaire du langage des règles est décrite dans\n le fichier\n hoa://Library/Ruler/Grammar.pp. Cette grammaire est exprimée\n avec le langage PP. Pour plus d'informations, voir\n la bibliothèque\n Hoa\\Compiler. Nous précisons que le langage supporte Unicode.\n Nous n'allons pas expliquer le langage alors que la grammaire donne tous les\n détails nécessaires. En revanche, nous allons donner\n plusieurs exemples de syntaxe.

\n\n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n
Langage de Hoa\\Ruler par l'exemple.
syntaxesémantique
'foo', \"foo\", 'f\\'oo'des chaînes de caractères
true, false, nulldes constantes pré-définies
4.2un réel
42un entier
['foo', true, 4.2, 42]un tableau (hétérogène)
sum(1, 2, 3)un appel de la fonction sum avec 3 arguments
pointsune variable
points['x']un accès tableau
line.pointAun accès objet (attribut)
line.length()un appel à une méthode
and, or, xor, notdes opérateurs logiques
=, !=, >, &lt;,\n >=, &lt;=des opérateurs de comparaisons
is, indes opérateurs d'appartenance
\n\n

Bien sûr, ces exemples représentent des parties atomiques de la grammaire\n que nous pouvons combiner. Ainsi :\n userA.allows(groups[groupId][userB])\n est valide. De même que f(user, points > 7 and\n points &lt; 42) est également valide.

\n

En réalité, les fonctions, les opérateurs de comparaisons et les opérateurs\n d'appartenance ne sont pas définis par la grammaire mais par l'asserteur\n (détaillé ci-après). Hoa\\Ruler ne fait pas la différence entre un\n opérateur et une fonction. Les opérateurs sont considérés comme des\n fonctions ; un opérateur n'étant qu'une fonction d'arité 1 ou 2.\n Ainsi, nous pouvons écrire 2 = 2 ou =(2, 2), cela\n produira strictement le même résultat. Tout comme le nom des fonctions qui\n n'est pas défini par la grammaire, le nom des opérateurs n'est lui non plus\n pas défini par la grammaire, excepté pour les opérateurs logiques qui ont un\n traitement particuliers (à cause de la précédence des opérateurs). Cela a pour\n effet de pouvoir créer nos propres opérateurs ou fonctions.\n Nous pouvons imaginer a ∈ A, √(42)\n ou encore userA allows userB comme étant des\n expressions valides.

\n\n

Contexte

\n\n

Le contexte définit les valeurs des variables présentes dans des\n règles. Ces valeurs peuvent être :

\n
    \n
  • des constantes, comme\n 42 ou\n 'foo' qui sont des scalaires, ou\n [1, 1, 2, 3, 5] ou un objet qui sont des\n types structurés ;
    • \n
  • des valeurs calculées, c'est à dire retournée par une\n fonction ou une méthode.
    • \n
\n

Par défaut, les valeurs calculées ne le sont qu'une seule fois. En effet,\n elles sont placées dans un cache pour des raisons de performance. Si nous\n voulons les recalculer à chaque lecture, il faudra les encapsuler dans un\n objet de type Hoa\\Ruler\\DynamicCallable.

\n

Avant de détailler cette partie, présentons le contexte. Un contexte est\n une instance de la classe Hoa\\Ruler\\Context qui implémente\n l'interface ArrayAccess.\n Ainsi nous utilisons le contexte comme un tableau :

\n 
$context        = new Hoa\\Ruler\\Context();\n$context['key'] = 'value';\n\nvar_dump(\n    isset($context['key']),\n    $context['key']\n);\n\n/**\n * Will output:\n *     bool(true)\n *     string(5) \"value\"\n */
\n

Pour y déposer des valeurs calculées, nous pouvons le faire via une\n fonction ; ainsi :

\n 
$context['computed'] = function () {\n    return 42;\n};\n\nvar_dump($context['computed']);\n\n/**\n * Will output:\n *     int(42)\n */
\n

Nous avons dit que les valeurs calculées sont placées en\n cache dès la première lecture. Pour l'illustrer, nous allons\n utiliser une fonction qui incrémente un entier à chaque appel :

\n 
$i              = 0;\n$context['int'] = function () use (&amp;$i) {\n    return ++$i;\n};\n\nvar_dump(\n    $context['int'],\n    $context['int'],\n    $context['int'],\n    $i\n);\n\n/**\n * Will output:\n *     int(1)\n *     int(1)\n *     int(1)\n *     int(1)\n */
\n

La variable $i a été incrémentée une\n seule fois pour passer de 0 à 1, puis elle a été placée en cache. Maintenant,\n si nous encapsulons cette fonction dans une instance de la classe\n Hoa\\Ruler\\DynamicCallable, observons ce qu'il se passe :

\n 
$i              = 0;\n$context['int'] = new Hoa\\Ruler\\DynamicCallable(\n    function () use (&amp;$i) {\n        return ++$i;\n    }\n);\n\nvar_dump(\n    $context['int'],\n    $context['int'],\n    $context['int'],\n    $i\n);\n\n/**\n * Will output:\n *     int(1)\n *     int(2)\n *     int(3)\n *     int(3)\n */
\n

Le résultat n'est plus mis en cache.

\n

Nous pouvons également utiliser une fonction déclarée grâce à son nom.\n Attention toutefois, il sera impossible d'appeler les fonctions natives de PHP\n pour des raisons de sécurité. Le contexte n'a pas une telle\n portée. Ainsi :

\n 
function answer()\n{\n    return 42;\n}\n\n$context['the_answer'] = 'answer';\n\nvar_dump($context['the_answer']);\n\n/**\n * Will output:\n *     int(42)\n */
\n

C'est tout ce qu'il faut savoir sur le contexte. Ce n'est pas plus\n compliqué que ça !

\n\n

Asserteur

\n\n

Étant donné une règle et un contexte, l'asserteur est chargé de calculer le\n résultat de cette règle, dont les valeurs des variables sont dans le\n contexte.

\n

La règle peut avoir deux formes possibles :

\n
    \n
  • une chaîne de caractère ou
    • \n
  • un modèle objet.
    • \n
\n

Si c'est une chaîne de caractère, elle sera transformée en modèle objet\n automatiquement par la méthode Hoa\\Ruler\\Ruler::assert. Ce modèle\n objet implémente les interfaces de la\n bibliothèque Hoa\\Visitor et peut donc être visité. C'est\n pourquoi l'asserteur Hoa\\Ruler\\Visitor\\Asserter est un\n visiteur. Le contexte quant à lui est défini auprès de\n l'asserteur avec la méthode\n Hoa\\Ruler\\Visitor\\Asserter::setContext. Ainsi :

\n 
$ruler             = new Hoa\\Ruler\\Ruler();\n$rule              = 'points > 30';\n$context           = new Hoa\\Ruler\\Context();\n$context['points'] = 42;\n\n// Define an asserter.\n$asserter          = new Hoa\\Ruler\\Visitor\\Asserter();\n\n// Set this asserter on the ruler.\n$ruler->setAsserter($asserter);\n\n// Assert!\nvar_dump(\n    $ruler->assert($rule, $context)\n);\n\n/**\n * Will output:\n *     bool(true)\n */
\n

La méthode Hoa\\Ruler\\Ruler::assert va automatiquement définir\n le contexte auprès de l'asserteur.

\n\n

Ajout de fonctions

\n\n

Nous avons précisé que les noms des opérateurs et des fonctions dans les\n règles sont libres. Ainsi, nous avons évoqué la possibilité\n de définir nos propres opérateurs et fonctions. Ajoutons la fonction\n logged qui teste si un objet de type User est\n connecté. Voici cet objet :

\n 
class User\n{\n    const DISCONNECTED = 0;\n    const CONNECTED    = 1;\n    protected $_status = 1;\n\n    public function getStatus()\n    {\n        return $this->_status;\n    }\n}
\n

L'implémentation de la fonction logged serait alors :

\n 
$logged = function (User $user) {\n    return $user::CONNECTED === $user->getStatus();\n};
\n

Enfin, pour déclarer cette fonction, nous allons utiliser la méthode\n Hoa\\Ruler\\Visitor\\Asserter::setOperator. Nous pouvons aussi citer\n les méthodes operatorExists, getOperator et\n getOperators qui permettent respectivement de tester si un\n opérateur existe, d'obtenir un opérateur précédemment déclaré et d'obtenir\n tous les opérateurs déclarés. Ainsi :

\n 
$ruler             = new Hoa\\Ruler\\Ruler();\n$rule              = 'logged(user) and points > 30';\n$context           = new Hoa\\Ruler\\Context();\n$context['user']   = new User();\n$context['points'] = 42;\n\n// Declare the `logged` function.\n$asserter = new Hoa\\Ruler\\Visitor\\Asserter();\n$asserter->setOperator('logged', $logged);\n\n$ruler->setAsserter($asserter);\n\n// Assert!\nvar_dump(\n    $ruler->assert($rule, $context)\n);\n\n/**\n * Will output:\n *     bool(true)\n */
\n

La classe Hoa\\Ruler\\Ruler ne contient que des méthodes pour\n travailler plus vite et cacher le mécanisme sous-jacent (détaillé ci-après).\n Elle contient entre autre la méthode statique getDefaultAsserter\n qui retourne une instance unique de la classe\n Hoa\\Ruler\\Visitor\\Asserter. Nous pouvons utiliser cette instance\n unique pour définir des nouveaux opérateurs pour toutes les\n règles. Son utilisation est très similaire à ce que nous avons vu\n précédemment :

\n 
$ruler             = new Hoa\\Ruler\\Ruler();\n$rule              = 'logged(user) and points > 30';\n$context           = new Hoa\\Ruler\\Context();\n$context['user']   = new User();\n$context['points'] = 42;\n\n// Declare the `logged` function.\n$ruler->getDefaultAsserter()->setOperator('logged', $logged);\n\n// Assert!\nvar_dump(\n    $ruler->assert($rule, $context)\n);\n\n/**\n * Will output:\n *     bool(true)\n */
\n

La méthode Hoa\\Ruler\\Visitor\\Asserter::setOperator utilise\n n'importe quel callable valide.

\n

Les opérateurs and, or, xor,\n not, =, !=, sum etc. sont\n définis dans\n la classe\n Hoa\\Ruler\\Visitor\\Asserter. N'hésitez pas à vous en\n inspirer !

\n\n

Transformation du langage

\n\n

Le mécanisme sous-jacent caché par la classe Hoa\\Ruler\\Ruler\n est simple et très modulaire. Les sections suivantes\n détaillent les transformations possibles du langage et leur\n utilisation.

\n\n
\n \n\n

Tout d'abord, la règle est interprétée par un interpréteur pour être\n transformée en modèle objet. Ensuite, ce modèle objet est utilisé par\n l'asserteur, ou peut être transformé en code PHP ou transformé en une règle.\n Le modèle objet est le point central du langage, c'est sa forme la plus\n avancée.

\n\n

Interpréteur :\n langage vers modèle objet

\n\n

Une règle est une chaîne de caractères. Pour la transformer en modèle\n objet, nous utilisons la bibliothèque\n Hoa\\Compiler.

\n\n
\n \n\n

Grâce à la grammaire des règles (définie dans \n le fichier\n hoa://Library/Ruler/Grammar.pp), nous allons obtenir un AST :\n un arbre abstrait. Par exemple, pour la règle points > 30, son\n AST est :

\n 
$ echo 'points > 30' | hoa compiler:pp hoa://Library/Ruler/Grammar.pp 0 --visitor dump\n>  #expression\n>  >  #operation\n>  >  >  token(identifier, points)\n>  >  >  token(identifier, >)\n>  >  >  token(integer, 30)
\n

Pour que cet arbre soit exploitable plus facilement, il va être transformé\n en modèle objet. Cette transformation est assurée par la\n classe Hoa\\Ruler\\Visitor\\Interpreter. Ainsi, si nous devions le\n faire manuellement :

\n 
$compiler    = Hoa\\Compiler\\Llk::load(\n    new Hoa\\File\\Read('hoa://Library/Ruler/Grammar.pp')\n);\n$ast         = $compiler->parse('points > 30');\n$interpreter = new Hoa\\Ruler\\Visitor\\Interpreter();\n$model       = $interpreter->visit($ast);\n\nvar_dump(\n    get_class($model)\n);\n\n/**\n * Will output:\n *     string(21) \"Hoa\\Ruler\\Model\\Model\"\n */
\n

Nous apprenons alors que le modèle est représenté par les classes\n appartenant à l'espace de nom Hoa\\Ruler\\Model.

\n

Toutes ces opérations sont remplacées par la méthode statique\n Hoa\\Ruler\\Ruler::interpret :

\n 
$model = Hoa\\Ruler\\Ruler::interpret('points > 30');
\n

Nous pouvons obtenir le compilateur avec la méthode\n Hoa\\Ruler\\Ruler::getCompiler.

\n

Nous verrons comment cette étape peut être importante pour améliorer les\n performances.

\n\n

Compilateur : modèle\n objet vers PHP

\n\n

Le modèle objet peut être créé manuellement en instanciant tous les objets\n de type Hoa\\Ruler\\Model\\* et en les combinant\n ensemble.

\n\n
\n \n\n

Le code PHP nécessaire à cette opération peut être automatiquement généré\n grâce à la classe Hoa\\Ruler\\Visitor\\Compiler. Ainsi :

\n 
$compiler = new Hoa\\Ruler\\Visitor\\Compiler();\necho $compiler->visit($model);\n\n/**\n * Will output:\n *     $model = new \\Hoa\\Ruler\\Model();\n *     $model->expression =\n *         $model->{'>'}(\n *             $model->variable('points'),\n *             30\n *         );\n */
\n

Le code généré est simplifié et optimisé pour être le plus court possible\n tout en restant lisible par un être humain.

\n

Nous verrons comment cette étape peut être importante pour améliorer les\n performances.

\n\n

Désassembleur :\n modèle objet vers langage

\n\n

Jusqu'à maintenant, nous avons vu comment passer d'une règle vers son\n modèle objet. Le désassembleur applique l'opération inverse :\n il transforme un modèle objet vers une chaîne de caractères.

\n\n
\n \n\n

La règle générée peut différer un peu de la règle originale syntaxiquement\n (parenthèses, guillemets, espacements…) mais jamais sémantiquement.\n Ainsi :

\n 
$disassembly = new Hoa\\Ruler\\Visitor\\Disassembly();\necho $disassembly->visit($model);\n\n/**\n * Will output:\n *     (points > 30)\n */
\n\n

Performances

\n\n

Transformer une règle vers un modèle objet a un coût. Ce coût devient\n significatif si l'opération est appliquée des milliers de fois à la minute.\n En revanche, appliquer un asserteur sur un modèle objet n'est pas coûteux.\n Nous allons donc présenter deux façons d'éviter la transformation d'une règle\n vers un modèle objet.

\n\n

Sérialiser le modèle\n objet

\n\n

Une fois le modèle objet obtenu, nous pouvons le sérialiser à l'aide de\n la fonction PHP serialize.\n Nous allons obtenir une chaîne de caractères représentant les instances des\n objets constituant le modèle objet. Pour obtenir à nouveau le modèle objet et\n être capable d'y appliquer un asserteur, nous utiliserons\n la fonction PHP\n unserialize. Le résultat de la sérialisation peut être\n stocké en base de données à la place des règles. Cela nécessite un peu plus\n de place mais rappelons que nous pouvons transformer le modèle objet vers sa\n règle facilement grâce à la classe\n Hoa\\Ruler\\Visitor\\Disassembly, cette information n'est donc pas\n perdue. Ainsi :

\n 
$ruler             = new Hoa\\Ruler\\Ruler();\n$rule              = 'points > 30';\n$context           = new Hoa\\Ruler\\Context();\n$context['points'] = 42;\n\n// Nothing in the database.\nif (null === $serialized = $database->get($ruleId)) {\n    // We transform the rule into an object model.\n    $model = Hoa\\Ruler\\Ruler::interpret($rule);\n\n    // We serialize and save the object model.\n    $database->save($ruleId, serialize($model));\n} else {\n    // We have a serialization! We unserialize it to get the object model.\n    $model = unserialize($serialized);\n}\n\n// We can assert by using a model instead of a rule!\nvar_dump(\n    $ruler->assert($model, $context)\n);\n\n/**\n * Will output:\n *     bool(true)\n */
\n

De cette manière, la règle n'est transformée en modèle objet\n qu'une seule fois !

\n\n

Enregistrer et exécute du\n code PHP

\n\n

Une autre façon d'éviter la transformation d'une règle en modèle objet est\n d'enregistrer le code PHP permettant de construire le modèle objet grâce à la\n classe Hoa\\Ruler\\Visitor\\Compiler. Une fois ce code PHP\n enregistré et exécuté, nous retrouverons notre modèle objet.

\n

Toutefois, exécuter un tel code PHP s'avèrera légèrement plus lent et plus\n difficile à mettre en œuvre que la technique précédente.

\n\n

Conclusion

\n\n

La bibliothèque Hoa\\Ruler définit un langage\n de règles métiers simple et inspiré du langage SQL dans sa\n syntaxe. Le langage peut être transformé de plusieurs\n façons : vers un modèle objet pour qu'il puisse être exécuté, ou à partir de\n ce modèle, vers du code PHP ou vers le langage d'origine. L'instanciation des\n variables dans ce langage se fait à travers un contexte.\n Toutes ces opérations sont cachées à travers une interface simple et\n claire.

\n

La question des performances a été abordée et deux\n solutions sont proposées. Aujourd'hui utilisé dans l'industrie sur de gros\n projets, Hoa\\Ruler est capable de supporter de lourdes charges si\n ces pratiques simples sont mises en œuvre.

\n\n\n\n" }, { "path": "DynamicCallable.php", "content": " logical_operation_primary() #operation )?\n\noperand:\n ::parenthesis_:: logical_operation_primary() ::_parenthesis::\n | value()\n\nvalue:\n ::not:: logical_operation_primary() #not\n | | | | | | \n | array_declaration()\n | chain()\n\nchain:\n ( variable() | function_call() )\n ( ( array_access() | object_access() ) #variable_access )*\n\nvariable:\n \n\n#array_access:\n ::bracket_:: value() ::_bracket::\n\nobject_access:\n ::dot:: ( #attribute_access | function_call() #method_access )\n\n#array_declaration:\n ::bracket_:: value() ( ::comma:: value() )* ::_bracket::\n\n#function_call:\n ::parenthesis_::\n ( logical_operation_primary() ( ::comma:: logical_operation_primary() )* )?\n ::_parenthesis::\n" }, { "path": "Model/Bag/Bag.php", "content": "visit($this, $handle, $eldnah);\n }\n}\n\n/**\n * Flex entity.\n */\nConsistency::flexEntity('Hoa\\Ruler\\Model\\Bag\\Bag');\n" }, { "path": "Model/Bag/Context.php", "content": "_id = $id;\n\n return;\n }\n\n /**\n * Call an index (variable[indexA][indexB][indexC]).\n *\n * @param mixed $index Index (a bag, a scalar or an array).\n * @return \\Hoa\\Ruler\\Model\\Bag\\Context\n */\n public function index($index)\n {\n if (is_scalar($index) || null === $index) {\n $index = new Scalar($index);\n } elseif (is_array($index)) {\n $index = new RulerArray($index);\n }\n\n $this->_dimensions[] = [\n static::ACCESS_TYPE => static::ARRAY_ACCESS,\n static::ACCESS_VALUE => $index\n ];\n\n return $this;\n }\n\n /**\n * Call an attribute (variable.attrA.attrB).\n *\n * @param string $attribute Attribute name.\n * @return \\Hoa\\Ruler\\Model\\Bag\\Context\n */\n public function attribute($attribute)\n {\n $this->_dimensions[] = [\n static::ACCESS_TYPE => static::ATTRIBUTE_ACCESS,\n static::ACCESS_VALUE => $attribute\n ];\n\n return $this;\n }\n\n /**\n * Call a method (variable.foo().bar().baz()).\n *\n * @param \\Hoa\\Ruler\\Model\\Operator $method Method to call.\n * @return \\Hoa\\Ruler\\Model\\Bag\\Context\n */\n public function call(Ruler\\Model\\Operator $method)\n {\n $this->_dimensions[] = [\n static::ACCESS_TYPE => static::METHOD_ACCESS,\n static::ACCESS_VALUE => $method\n ];\n\n return $this;\n }\n\n /**\n * Get all dimensions.\n *\n * @return array\n */\n public function getDimensions()\n {\n return $this->_dimensions;\n }\n\n /**\n * Get ID.\n *\n * @return string\n */\n public function getId()\n {\n return $this->_id;\n }\n}\n" }, { "path": "Model/Bag/RulerArray.php", "content": "_array = $data;\n\n return;\n }\n\n /**\n * Get array.\n *\n * @return array\n */\n public function getArray()\n {\n return $this->_array;\n }\n}\n" }, { "path": "Model/Bag/Scalar.php", "content": "_value = $value;\n\n return;\n }\n\n /**\n * Get content of the bag.\n *\n * @return scalar\n */\n public function getValue()\n {\n return $this->_value;\n }\n}\n" }, { "path": "Model/Model.php", "content": "$name = $value;\n }\n\n if (is_scalar($value)) {\n $value = new Bag\\Scalar($value);\n } elseif (is_array($value)) {\n $value = new Bag\\RulerArray($value);\n }\n\n $this->_root = $value;\n\n return;\n }\n\n /**\n * Get the expression.\n *\n * @return \\Hoa\\Ruler\\Model\\Operator\n */\n public function getExpression()\n {\n return $this->_root;\n }\n\n /**\n * Declare a function.\n *\n * @param string $name Name.\n * @param mixed …\n * @return \\Hoa\\Ruler\\Model\\Operator\n */\n public function func()\n {\n $arguments = func_get_args();\n $name = array_shift($arguments);\n\n return $this->_operator($name, $arguments, true);\n }\n\n /**\n * Declare an operation.\n *\n * @param string $name Name.\n * @param array $arguments Arguments.\n * @return \\Hoa\\Ruler\\Model\\Operator\n */\n public function operation($name, array $arguments)\n {\n return $this->_operator($name, $arguments, false);\n }\n\n /**\n * Create an operator object.\n *\n * @param string $name Name.\n * @param array $arguments Arguments.\n * @param bool $isFunction Whether it is a function or not.\n * @return \\Hoa\\Ruler\\Model\\Operator\n */\n public function _operator($name, array $arguments, $isFunction)\n {\n return new Operator(mb_strtolower($name), $arguments, $isFunction);\n }\n\n /**\n * Declare an operation.\n *\n * @param string $name Name.\n * @param array $arguments Arguments.\n * @return \\Hoa\\Ruler\\Model\\Operator\n */\n public function __call($name, array $arguments)\n {\n return $this->operation($name, $arguments);\n }\n\n /**\n * Declare a variable.\n *\n * @parma string $id ID.\n * @return \\Hoa\\Ruler\\Model\\Bag\\Context\n */\n public function variable($id)\n {\n return new Bag\\Context($id);\n }\n\n /**\n * Accept a visitor.\n *\n * @param \\Hoa\\Visitor\\Visit $visitor Visitor.\n * @param mixed &$handle Handle (reference).\n * @param mixed $eldnah Handle (no reference).\n * @return mixed\n */\n public function accept(\n Visitor\\Visit $visitor,\n &$handle = null,\n $eldnah = null\n ) {\n return $visitor->visit($this, $handle, $eldnah);\n }\n\n /**\n * Transform the object as a string.\n *\n * @return string\n */\n public function __toString()\n {\n if (null === static::$_compiler) {\n static::$_compiler = new Ruler\\Visitor\\Compiler();\n }\n\n return static::$_compiler->visit($this);\n }\n}\n\n/**\n * Flex entity.\n */\nConsistency::flexEntity('Hoa\\Ruler\\Model\\Model');\n" }, { "path": "Model/Operator.php", "content": "setName($name);\n $this->setArguments($arguments);\n $this->setFunction($isFunction);\n\n return;\n }\n\n /**\n * Set name.\n *\n * @param string $name Name.\n * @return string\n */\n protected function setName($name)\n {\n $old = $this->_name;\n $this->_name = $name;\n\n $this->setLaziness('and' === $name || 'or' === $name);\n\n return $old;\n }\n\n /**\n * Get name.\n *\n * @return string\n */\n public function getName()\n {\n return $this->_name;\n }\n\n /**\n * Set arguments.\n *\n * @param array $arguments Arguments.\n * @return array\n */\n protected function setArguments(array $arguments)\n {\n foreach ($arguments as &$argument) {\n if (is_scalar($argument) || null === $argument) {\n $argument = new Bag\\Scalar($argument);\n } elseif (is_array($argument)) {\n $argument = new Bag\\RulerArray($argument);\n }\n }\n\n $old = $this->_arguments;\n $this->_arguments = $arguments;\n\n return $old;\n }\n\n /**\n * Get arguments.\n *\n * @return array\n */\n public function getArguments()\n {\n return $this->_arguments;\n }\n\n /**\n * Set whether the operator is a function or not.\n *\n * @param bool $isFunction Is a function or not.\n * @return bool\n */\n protected function setFunction($isFunction)\n {\n $old = $this->_function;\n $this->_function = $isFunction;\n\n return $old;\n }\n\n /**\n * Check if the operator is a function or not.\n *\n * @return bool\n */\n public function isFunction()\n {\n return $this->_function;\n }\n\n /**\n * Set whether the operator is lazy or not.\n *\n * @param bool $isLazy Is a lazy operator or not.\n * @return bool\n */\n protected function setLaziness($isLazy)\n {\n $old = $this->_laziness;\n $this->_laziness = $isLazy;\n\n return $old;\n }\n\n /**\n * Check if the operator is lazy or not.\n *\n * @return bool\n */\n public function isLazy()\n {\n return $this->_laziness;\n }\n\n /**\n * Check whether we should break the lazy evaluation or not.\n *\n * @param mixed $value Value to check.\n * @return bool\n */\n public function shouldBreakLazyEvaluation($value)\n {\n switch ($this->getName()) {\n case 'and':\n if (false === $value) {\n return self::LAZY_BREAK;\n }\n\n break;\n\n case 'or':\n if (true === $value) {\n return self::LAZY_BREAK;\n }\n\n break;\n }\n\n return self::LAZY_CONTINUE;\n }\n\n /**\n * Check if the operator is a token of the grammar or not.\n *\n * @param string $operator Operator.\n * @return bool\n */\n public static function isToken($operator)\n {\n static $_tokens = ['not', 'and', 'or', 'xor'];\n\n return true === in_array($operator, $_tokens);\n }\n\n /**\n * Accept a visitor.\n *\n * @param \\Hoa\\Visitor\\Visit $visitor Visitor.\n * @param mixed &$handle Handle (reference).\n * @param mixed $eldnah Handle (no reference).\n * @return mixed\n */\n public function accept(\n Visitor\\Visit $visitor,\n &$handle = null,\n $eldnah = null\n ) {\n return $visitor->visit($this, $handle, $eldnah);\n }\n}\n" }, { "path": "README.md", "content": "

\n \"Hoa\"\n

\n\n---\n\n

\n \"Build\n \"Code\n \"Packagist\"\n \"License\"\n

\n

\n Hoa is a modular, extensible and\n structured set of PHP libraries.
\n Moreover, Hoa aims at being a bridge between industrial and research worlds.\n

\n\n# Hoa\\Ruler\n\n[![Help on IRC](https://img.shields.io/badge/help-%23hoaproject-ff0066.svg)](https://webchat.freenode.net/?channels=#hoaproject)\n[![Help on Gitter](https://img.shields.io/badge/help-gitter-ff0066.svg)](https://gitter.im/hoaproject/central)\n[![Documentation](https://img.shields.io/badge/documentation-hack_book-ff0066.svg)](https://central.hoa-project.net/Documentation/Library/Ruler)\n[![Board](https://img.shields.io/badge/organisation-board-ff0066.svg)](https://waffle.io/hoaproject/ruler)\n\nThis library allows to manipulate a rule engine. Rules can be written\nby using a dedicated language, very close to SQL. Therefore, they can\nbe written by a user and saved in a database.\n\nSuch rules are useful, for example, for commercial solutions that need\nto manipulate promotion or special offer rules written by a user. To\nquote [Wikipedia](https://en.wikipedia.org/wiki/Business_rules_engine):\n\n> A business rules engine is a software system that executes one or more\n> business rules in a runtime production environment. The rules might come from\n> legal regulation (“An employee can be fired for any reason or no reason but\n> not for an illegal reason”), company policy (“All customers that spend more\n> than $100 at one time will receive a 10% discount”), or other sources. A\n> business rule system enables these company policies and other operational\n> decisions to be defined, tested, executed and maintained separately from\n> application code.\n\n[Learn more](https://central.hoa-project.net/Documentation/Library/Ruler).\n\n## Installation\n\nWith [Composer](https://getcomposer.org/), to include this library into\nyour dependencies, you need to\nrequire [`hoa/ruler`](https://packagist.org/packages/hoa/ruler):\n\n```sh\n$ composer require hoa/ruler '~2.0'\n```\n\nFor more installation procedures, please read [the Source\npage](https://hoa-project.net/Source.html).\n\n## Testing\n\nBefore running the test suites, the development dependencies must be installed:\n\n```sh\n$ composer install\n```\n\nThen, to run all the test suites:\n\n```sh\n$ vendor/bin/hoa test:run\n```\n\nFor more information, please read the [contributor\nguide](https://hoa-project.net/Literature/Contributor/Guide.html).\n\n## Quick usage\n\nAs a quick overview, we propose to see a very simple example that manipulates a\nsimple rule with a simple context. After, we will add a new operator in the\nrule. And finally, we will see how to save a rule in a database.\n\n### Three steps\n\nSo first, we create a context with two variables: `group` and `points`, and we\nthen assert a rule. A context holds values to concretize a rule. A value can\nalso be the result of a callable. Thus:\n\n```php\n$ruler = new Hoa\\Ruler\\Ruler();\n\n// 1. Write a rule.\n$rule = 'group in [\"customer\", \"guest\"] and points > 30';\n\n// 2. Create a context.\n$context = new Hoa\\Ruler\\Context();\n$context['group'] = 'customer';\n$context['points'] = function () {\n return 42;\n};\n\n// 3. Assert!\nvar_dump(\n $ruler->assert($rule, $context)\n);\n\n/**\n * Will output:\n * bool(true)\n */\n```\n\nIn the next example, we have a `User` object and a context that is populated\ndynamically (when the `user` variable is concretized, two new variables, `group`\nand `points` are created). Moreover, we will create a new operator/function\ncalled `logged`. There is no difference between an operator and a function\nexcept that an operator has two operands (so arguments).\n\n### Adding operators and functions\n\nFor now, we have the following operators/functions by default: `and`, `or`,\n`xor`, `not`, `=` (`is` as an alias), `!=`, `>`, `>=`, `<`, `<=`, `in` and\n`sum`. We can add our own by different way. The simplest and volatile one is\ngiven in the following example. Thus:\n\n```php\n// The User object.\nclass User\n{\n const DISCONNECTED = 0;\n const CONNECTED = 1;\n\n public $group = 'customer';\n public $points = 42;\n protected $_status = 1;\n\n public function getStatus()\n {\n return $this->_status;\n }\n}\n\n$ruler = new Hoa\\Ruler\\Ruler();\n\n// New rule.\n$rule = 'logged(user) and group in [\"customer\", \"guest\"] and points > 30';\n\n// New context.\n$context = new Hoa\\Ruler\\Context();\n$context['user'] = function () use ($context) {\n $user = new User();\n $context['group'] = $user->group;\n $context['points'] = $user->points;\n\n return $user;\n};\n\n// We add the logged() operator.\n$ruler->getDefaultAsserter()->setOperator('logged', function (User $user) {\n return $user::CONNECTED === $user->getStatus();\n});\n\n// Finally, we assert the rule.\nvar_dump(\n $ruler->assert($rule, $context)\n);\n\n/**\n * Will output:\n * bool(true)\n */\n```\n\nAlso, if a variable in the context is an array, we can access to its values from\na rule with the same syntax as PHP. For example, if the `a` variable is an\narray, we can write `a[0]` to access to the value associated to the `0` key. It\nworks as an hashmap (PHP array implementation), so we can have strings & co. as\nkeys. In the same way, if a variable is an object, we can call a method on it.\nFor example, if the `a` variable is an array where the value associated to the\nfirst key is an object with a `foo` method, we can write: `a[0].foo(b)` where\n`b` is another variable in the context. Also, we can access to the public\nattributes of an object. Obviously, we can mixe array and object accesses.\nPlease, take a look at the grammar (`hoa://Library/Ruler/Grammar.pp`) to see all\nthe possible constructions.\n\n### Saving a rule\n\nNow, we have two options to save the rule, for example, in a database. Either we\nsave the rule as a string directly, or we will save the serialization of the\nrule which will avoid further interpretations. In the next example, we see how\nto serialize and unserialize a rule by using the `Hoa\\Ruler\\Ruler::interpret`\nstatic method:\n\n```php\n$database->save(\n serialize(\n Hoa\\Ruler\\Ruler::interpret(\n 'logged(user) and group in [\"customer\", \"guest\"] and points > 30'\n )\n )\n);\n```\n\nAnd for next executions:\n\n```php\n$rule = unserialize($database->read());\nvar_dump(\n $ruler->assert($rule, $context)\n);\n```\n\nWhen a rule is interpreted, its object model is created. We serialize and\nunserialize this model. To see the PHP code needed to create such a model, we\ncan print the model itself (as an example). Thus:\n\n```php\necho Hoa\\Ruler\\Ruler::interpret(\n 'logged(user) and group in [\"customer\", \"guest\"] and points > 30'\n);\n\n/**\n * Will output:\n * $model = new \\Hoa\\Ruler\\Model();\n * $model->expression =\n * $model->and(\n * $model->func(\n * 'logged',\n * $model->variable('user')\n * ),\n * $model->and(\n * $model->in(\n * $model->variable('group'),\n * [\n * 'customer',\n * 'guest'\n * ]\n * ),\n * $model->{'>'}(\n * $model->variable('points'),\n * 30\n * )\n * )\n * );\n */\n```\n\nHave fun!\n\n## Documentation\n\nThe\n[hack book of `Hoa\\Ruler`](https://central.hoa-project.net/Documentation/Library/Ruler) contains\ndetailed information about how to use this library and how it works.\n\nTo generate the documentation locally, execute the following commands:\n\n```sh\n$ composer require --dev hoa/devtools\n$ vendor/bin/hoa devtools:documentation --open\n```\n\nMore documentation can be found on the project's website:\n[hoa-project.net](https://hoa-project.net/).\n\n## Getting help\n\nThere are mainly two ways to get help:\n\n * On the [`#hoaproject`](https://webchat.freenode.net/?channels=#hoaproject)\n IRC channel,\n * On the forum at [users.hoa-project.net](https://users.hoa-project.net).\n\n## Contribution\n\nDo you want to contribute? Thanks! A detailed [contributor\nguide](https://hoa-project.net/Literature/Contributor/Guide.html) explains\neverything you need to know.\n\n## License\n\nHoa is under the New BSD License (BSD-3-Clause). Please, see\n[`LICENSE`](https://hoa-project.net/LICENSE) for details.\n\n## Related projects\n\nThe following projects are using this library:\n\n * [RulerZ](https://github.com/K-Phoen/rulerz), Powerful implementation of the\n Specification pattern in PHP,\n * [ownCloud](https://owncloud.org/), A safe home for all your data,\n * [PhpMetrics](http://www.phpmetrics.org/), Static analysis tool for PHP,\n * [`hiqdev/php-billing`](https://github.com/hiqdev/php-billing), a billing library in PHP \n * [`atoum/ruler-extension`](https://github.com/atoum/ruler-extension), This\n extension allows to filter test results in [atoum](http://atoum.org/).\n" }, { "path": "Ruler.php", "content": "getAsserter($context)->visit($rule);\n }\n\n /**\n * Short interpreter.\n *\n * @param string $rule Rule.\n * @return \\Hoa\\Ruler\\Model\n * @throws \\Hoa\\Ruler\\Exception\n */\n public static function interpret($rule)\n {\n return static::getInterpreter()->visit(\n static::getCompiler()->parse($rule)\n );\n }\n\n /**\n * Get interpreter.\n *\n * @return \\Hoa\\Ruler\\Visitor\\Interpreter\n */\n public static function getInterpreter()\n {\n if (null === static::$_interpreter) {\n static::$_interpreter = new Visitor\\Interpreter();\n }\n\n return static::$_interpreter;\n }\n\n /**\n * Set current asserter.\n *\n * @param \\Hoa\\Visitor\\Visit $visitor Visitor.\n * @return \\Hoa\\Visitor\\Visit\n */\n public function setAsserter(HoaVisitor\\Visit $visitor)\n {\n $old = $this->_asserter;\n $this->_asserter = $visitor;\n\n return $old;\n }\n\n /**\n * Get asserter.\n *\n * @param \\Hoa\\Ruler\\Context $context Context.\n * @return \\Hoa\\Visitor\\Visit\n */\n public function getAsserter(Context $context = null)\n {\n if (null === $asserter = $this->_asserter) {\n return static::getDefaultAsserter($context);\n }\n\n if (null !== $context) {\n $asserter->setContext($context);\n }\n\n return $asserter;\n }\n\n /**\n * Get default asserter.\n *\n * @param \\Hoa\\Ruler\\Context $context Context.\n * @return \\Hoa\\Ruler\\Visitor\\Asserter\n */\n public static function getDefaultAsserter(Context $context = null)\n {\n if (null === static::$_defaultAsserter) {\n static::$_defaultAsserter = new Visitor\\Asserter($context);\n }\n\n if (null !== $context) {\n static::$_defaultAsserter->setContext($context);\n }\n\n return static::$_defaultAsserter;\n }\n\n /**\n * Get compiler.\n *\n * @return \\Hoa\\Compiler\\Llk\\Parser\n */\n public static function getCompiler()\n {\n if (null === static::$_compiler) {\n static::$_compiler = Compiler\\Llk::load(\n new File\\Read('hoa://Library/Ruler/Grammar.pp')\n );\n }\n\n return static::$_compiler;\n }\n}\n\n/**\n * Flex entity.\n */\nConsistency::flexEntity('Hoa\\Ruler\\Ruler');\n" }, { "path": "Test/Integration/Documentation.php", "content": "given(\n $ruler = new LUT(),\n $rule = 'group in [\"customer\", \"guest\"] and points > 30'\n );\n\n $this->next_case_classical($ruler, $rule);\n }\n\n public function next_case_classical($ruler, $rule)\n {\n $this\n ->given(\n $context = new LUT\\Context(),\n $context['group'] = $this->sample(\n $this->realdom->regex('/customer|guest/')\n ),\n $context['points'] = function () {\n return 42;\n }\n )\n ->when($result = $ruler->assert($rule, $context))\n ->then\n ->boolean($result)\n ->isTrue()\n\n ->given($context['points'] = 29)\n ->when($result = $ruler->assert($rule, $context))\n ->then\n ->boolean($result)\n ->isFalse();\n }\n\n public function case_new_operators()\n {\n $this\n ->given(\n $user = new \\Mock\\StdClass(),\n $user->group = 'customer',\n $user->points = 42,\n $user->status = true,\n $ruler = new LUT(),\n $rule = 'logged(user) and group in [\"customer\", \"guest\"] and points > 30',\n $context = new LUT\\Context(),\n $context['user'] = function () use ($user, $context) {\n $context['group'] = $user->group;\n $context['points'] = $user->points;\n\n return $user;\n }\n )\n ->when(\n $ruler->getDefaultAsserter()->setOperator('logged', function ($user) {\n return $user->status;\n }),\n $result = $ruler->assert($rule, $context)\n )\n ->then\n ->boolean($result)\n ->isTrue()\n\n ->given($user->status = false)\n ->when($result = $ruler->assert($rule, $context))\n ->then\n ->boolean($result)\n ->isFalse();\n }\n\n public function case_interpret()\n {\n $this\n ->given(\n $model = LUT::interpret('group in [\"customer\", \"guest\"] and points > 30')\n )\n ->when($ledom = unserialize(serialize($model)))\n ->then\n ->object($model)\n ->isEqualTo($ledom);\n\n $this->next_case_classical(new LUT(), $model);\n }\n\n public function case_compile()\n {\n $expectedResult = <<<'RESULT'\n$model = new \\Hoa\\Ruler\\Model();\n$model->expression =\n $model->and(\n $model->func(\n 'logged',\n $model->variable('user')\n ),\n $model->and(\n $model->in(\n $model->variable('group'),\n [\n 'customer',\n 'guest'\n ]\n ),\n $model->{'>'}(\n $model->variable('points'),\n 30\n )\n )\n );\nRESULT;\n\n $this\n ->when($result = LUT::interpret(\n 'logged(user) and group in [\"customer\", \"guest\"] and points > 30'\n ) . '')\n ->then\n ->string($result)\n ->isEqualTo($expectedResult);\n }\n}\n" }, { "path": "Test/Integration/Model/Operator.php", "content": "given(\n $ruler = new LUT(),\n $fExecuted = false,\n $gExecuted = false,\n $asserter = $ruler->getDefaultAsserter(),\n $asserter->setOperator(\n 'f',\n function ($a = false) use (&$fExecuted) {\n $fExecuted = true;\n\n return $a;\n }\n ),\n $asserter->setOperator(\n 'g',\n function ($b = false) use (&$gExecuted) {\n $gExecuted = true;\n\n return $b;\n }\n ),\n $rule = 'f(false) and g(true)'\n )\n ->when($result = $ruler->assert($rule, new LUT\\Context()))\n ->then\n ->boolean($result)\n ->isFalse()\n ->boolean($fExecuted)\n ->isTrue()\n ->boolean($gExecuted)\n ->isFalse()\n\n ->given(\n $fExecuted = false,\n $gExecuted = false,\n $rule = 'f(true) and g(true)'\n )\n ->when($result = $ruler->assert($rule, new LUT\\Context()))\n ->then\n ->boolean($result)\n ->isTrue()\n ->boolean($fExecuted)\n ->isTrue()\n ->boolean($gExecuted)\n ->isTrue()\n\n ->given(\n $fExecuted = false,\n $gExecuted = false,\n $rule = 'f(true) and g(false)'\n )\n ->when($result = $ruler->assert($rule, new LUT\\Context()))\n ->then\n ->boolean($result)\n ->isFalse()\n ->boolean($fExecuted)\n ->isTrue()\n ->boolean($gExecuted)\n ->isTrue()\n\n ->given(\n $fExecuted = false,\n $gExecuted = false,\n $rule = 'f(false) and g(false)'\n )\n ->when($result = $ruler->assert($rule, new LUT\\Context()))\n ->then\n ->boolean($result)\n ->isFalse()\n ->boolean($fExecuted)\n ->isTrue()\n ->boolean($gExecuted)\n ->isFalse();\n }\n\n public function case_lazy_or()\n {\n $this\n ->given(\n $ruler = new LUT(),\n $fExecuted = false,\n $gExecuted = false,\n $asserter = $ruler->getDefaultAsserter(),\n $asserter->setOperator(\n 'f',\n function ($a) use (&$fExecuted) {\n $fExecuted = true;\n\n return $a;\n }\n ),\n $asserter->setOperator(\n 'g',\n function ($b) use (&$gExecuted) {\n $gExecuted = true;\n\n return $b;\n }\n ),\n $rule = 'f(false) or g(true)'\n )\n ->when($result = $ruler->assert($rule, new LUT\\Context()))\n ->then\n ->boolean($result)\n ->isTrue()\n ->boolean($fExecuted)\n ->isTrue()\n ->boolean($gExecuted)\n ->isTrue()\n\n ->given(\n $fExecuted = false,\n $gExecuted = false,\n $rule = 'f(true) or g(true)'\n )\n ->when($result = $ruler->assert($rule, new LUT\\Context()))\n ->then\n ->boolean($result)\n ->isTrue()\n ->boolean($fExecuted)\n ->isTrue()\n ->boolean($gExecuted)\n ->isFalse()\n\n ->given(\n $fExecuted = false,\n $gExecuted = false,\n $rule = 'f(true) or g(false)'\n )\n ->when($result = $ruler->assert($rule, new LUT\\Context()))\n ->then\n ->boolean($result)\n ->isTrue()\n ->boolean($fExecuted)\n ->isTrue()\n ->boolean($gExecuted)\n ->isFalse()\n\n ->given(\n $fExecuted = false,\n $gExecuted = false,\n $rule = 'f(false) or g(false)'\n )\n ->when($result = $ruler->assert($rule, new LUT\\Context()))\n ->then\n ->boolean($result)\n ->isFalse()\n ->boolean($fExecuted)\n ->isTrue()\n ->boolean($gExecuted)\n ->isTrue();\n }\n}\n" }, { "path": "Test/Unit/Context.php", "content": "when($context = new CUT())\n ->then\n ->object($context)\n ->isInstanceOf('ArrayAccess');\n }\n\n public function case_exists_set_get()\n {\n $this\n ->given(\n $key = 'foo',\n $value = 'bar',\n $context = new CUT()\n )\n ->then\n ->boolean(isset($context[$key]))\n ->isFalse()\n\n ->when($context[$key] = $value)\n ->then\n ->boolean(isset($context[$key]))\n ->isTrue()\n ->string($context[$key])\n ->isEqualTo($value);\n }\n\n public function case_exception_when_getting_unspecified_key()\n {\n $this\n ->given($context = new CUT())\n ->exception(function () use ($context) {\n $context['foo'];\n })\n ->isInstanceOf('Hoa\\Ruler\\Exception');\n }\n\n public function case_unset()\n {\n $this\n ->given(\n $key = 'foo',\n $value = 'bar',\n $context = new CUT()\n )\n ->then\n ->boolean(isset($context[$key]))\n ->isFalse()\n\n ->when($context[$key] = $value)\n ->then\n ->boolean(isset($context[$key]))\n ->isTrue()\n\n ->when(function () use ($context, $key) {\n unset($context[$key]);\n })\n ->then\n ->boolean(isset($context[$key]))\n ->isFalse();\n }\n\n public function case_callable_closure()\n {\n $this\n ->given(\n $context = new CUT(),\n $context['foo'] = function () {\n return fakeCallable();\n }\n )\n ->when($result = $context['foo'])\n ->then\n ->boolean($result)\n ->isTrue();\n }\n\n public function case_callable_user_function()\n {\n $this\n ->given(\n $context = new CUT(),\n $context['foo'] = __NAMESPACE__ . '\\fakeCallable'\n )\n ->when($result = $context['foo'])\n ->then\n ->boolean($result)\n ->isTrue();\n }\n\n public function case_callable_internal_function()\n {\n $this\n ->given(\n $context = new CUT(),\n $context['foo'] = 'var_dump'\n )\n ->when($result = $context['foo'])\n ->then\n ->string($result)\n ->isEqualTo('var_dump');\n }\n\n public function case_callable_method()\n {\n $this\n ->given(\n $context = new CUT(),\n $context['foo'] = [$this, 'fakeCallable']\n )\n ->when($result = $context['foo'])\n ->then\n ->boolean($result)\n ->isTrue();\n }\n\n public function case_callable_xcallable()\n {\n $this\n ->given(\n $context = new CUT(),\n $context['foo'] = xcallable($this, 'fakeCallable')\n )\n ->when($result = $context['foo'])\n ->then\n ->boolean($result)\n ->isTrue();\n }\n\n public function case_callable_cache()\n {\n $this\n ->given(\n $context = new CUT(),\n $context['foo'] = function () {\n static $i = 0;\n\n return $i++;\n }\n )\n ->when($result = $context['foo'])\n ->then\n ->integer($result)\n ->isEqualTo(0)\n\n ->when($result = $context['foo'])\n ->then\n ->integer($result)\n ->isEqualTo(0);\n }\n\n public function case_callable_no_cache()\n {\n $this\n ->given(\n $context = new CUT(),\n $context['foo'] = new LUT\\DynamicCallable(function () {\n static $i = 0;\n\n return $i++;\n })\n )\n ->when($result = $context['foo'])\n ->then\n ->integer($result)\n ->isEqualTo(0)\n\n ->when($result = $context['foo'])\n ->then\n ->integer($result)\n ->isEqualTo(1);\n }\n\n public function case_callable_argument()\n {\n $this\n ->given(\n $self = $this,\n $context = new CUT(),\n $context['foo'] = function () use ($self, $context) {\n $arguments = func_get_args();\n\n $self\n ->integer(count($arguments))\n ->isEqualTo(1)\n ->object($arguments[0])\n ->isIdenticalTo($context);\n }\n )\n ->when($result = $context['foo']);\n }\n\n public function case_access_as_properties()\n {\n $this\n ->given(\n $self = $this,\n $context = new CUT(),\n $context['foo'] = 42\n )\n ->when($result = $context->foo)\n ->then\n ->integer($result)\n ->isEqualTo(42)\n ->when($context->bar = 24)\n ->then\n ->integer($context['bar'])\n ->isEqualTo(24);\n }\n\n public function fakeCallable()\n {\n return fakeCallable();\n }\n}\n\nfunction fakeCallable()\n{\n return true;\n}\n" }, { "path": "Test/Unit/DynamicCallable.php", "content": "when($result = new SUT(function () {}))\n ->then\n ->object($result)\n ->isInstanceOf(Consistency\\Xcallable::class);\n }\n}\n" }, { "path": "Test/Unit/Exception/Asserter.php", "content": "when($result = new SUT('foo'))\n ->then\n ->object($result)\n ->isInstanceOf(LUT\\Exception::class);\n }\n}\n" }, { "path": "Test/Unit/Exception/Exception.php", "content": "when($result = new SUT('foo'))\n ->then\n ->object($result)\n ->isInstanceOf(HoaException::class);\n }\n}\n" }, { "path": "Test/Unit/Exception/Interpreter.php", "content": "when($result = new SUT('foo'))\n ->then\n ->object($result)\n ->isInstanceOf(LUT\\Exception::class);\n }\n}\n" }, { "path": "Test/Unit/Issue.php", "content": "given(\n $ruler = new LUT(),\n $rule = 'variable',\n $context = new LUT\\Context(),\n $context['variable'] = 'file'\n )\n ->when(function () use ($ruler, $rule, $context) {\n $ruler->assert($rule, $context);\n })\n ->error()\n ->notExists();\n }\n\n public function case_github_70()\n {\n $this\n ->given(\n $ruler = new LUT(),\n $rule = 'variable[\"foo\"] is null',\n $context = new LUT\\Context(),\n $context['variable'] = ['foo' => null]\n )\n ->when($result = $ruler->assert($rule, $context))\n ->then\n ->boolean($result)\n ->isTrue();\n }\n\n public function case_github_100_1()\n {\n $this\n ->given(\n $ruler = new LUT(),\n $rule = '(false and true) or true'\n )\n ->when($result = $ruler->assert($rule))\n ->then\n ->boolean($result)\n ->isTrue();\n }\n\n public function case_github_100_2()\n {\n $this\n ->given(\n $ruler = new LUT(),\n $rule = 'false and true or true'\n )\n ->when($result = $ruler->assert($rule))\n ->then\n ->boolean($result)\n ->isTrue();\n }\n\n public function case_github_100_3()\n {\n $this\n ->given(\n $ruler = new LUT(),\n $rule = 'true or true and false'\n )\n ->when($result = $ruler->assert($rule))\n ->then\n ->boolean($result)\n ->isTrue();\n }\n}\n" }, { "path": "Test/Unit/Model/Bag/Bag.php", "content": "when($result = new SUT())\n ->then\n ->object($result)\n ->isInstanceOf(Visitor\\Element::class);\n }\n}\n" }, { "path": "Test/Unit/Model/Bag/Context.php", "content": "when($result = new SUT('foobar'))\n ->then\n ->object($result)\n ->isInstanceOf(LUT\\Model\\Bag::class);\n }\n\n public function case_constructor()\n {\n $this\n ->given($id = 'foobar')\n ->when($result = new SUT($id))\n ->then\n ->string($result->getId())\n ->isEqualTo($id)\n ->array($result->getDimensions())\n ->isEmpty();\n }\n\n public function case_scalar_index_from_root()\n {\n return $this->_case_index_from_root(\n 'baz',\n new LUT\\Model\\Bag\\Scalar('baz')\n );\n }\n\n public function case_array_index_from_root()\n {\n return $this->_case_index_from_root(\n ['baz'],\n new LUT\\Model\\Bag\\RulerArray(['baz'])\n );\n }\n\n public function case_bag_index_from_root()\n {\n return $this->_case_index_from_root(\n new LUT\\Model\\Bag\\Scalar('baz'),\n new LUT\\Model\\Bag\\Scalar('baz')\n );\n }\n\n protected function _case_index_from_root($index, $expectedIndex)\n {\n $this\n ->given(\n $id = 'foobar',\n $context = new SUT($id)\n )\n ->when($result = $context->index($index))\n ->then\n ->object($result)\n ->isIdenticalTo($context)\n ->array($result->getDimensions())\n ->isEqualTo([\n [\n SUT::ACCESS_TYPE => SUT::ARRAY_ACCESS,\n SUT::ACCESS_VALUE => $expectedIndex\n ]\n ]);\n }\n\n public function case_scalar_index()\n {\n return $this->_case_index(\n 'baz',\n new LUT\\Model\\Bag\\Scalar('baz')\n );\n }\n\n public function case_array_index()\n {\n return $this->_case_index(\n ['baz'],\n new LUT\\Model\\Bag\\RulerArray(['baz'])\n );\n }\n\n public function case_bag_index()\n {\n return $this->_case_index(\n new LUT\\Model\\Bag\\Scalar('baz'),\n new LUT\\Model\\Bag\\Scalar('baz')\n );\n }\n\n protected function _case_index($index, $expectedIndex)\n {\n $this\n ->given(\n $id = 'foobar',\n $context = new SUT($id),\n $context->index(new LUT\\Model\\Bag\\Scalar('qux'))\n )\n ->when($result = $context->index($index))\n ->then\n ->object($result)\n ->isIdenticalTo($context)\n ->array($result->getDimensions())\n ->isEqualTo([\n [\n SUT::ACCESS_TYPE => SUT::ARRAY_ACCESS,\n SUT::ACCESS_VALUE => new LUT\\Model\\Bag\\Scalar('qux')\n ],\n [\n SUT::ACCESS_TYPE => SUT::ARRAY_ACCESS,\n SUT::ACCESS_VALUE => $expectedIndex\n ]\n ]);\n }\n\n public function case_attribute()\n {\n $this\n ->given(\n $id = 'foobar',\n $attribute = 'bazqux',\n $context = new SUT($id)\n )\n ->when($result = $context->attribute($attribute))\n ->then\n ->object($result)\n ->isIdenticalTo($context)\n ->array($result->getDimensions())\n ->isEqualTo([\n [\n SUT::ACCESS_TYPE => SUT::ATTRIBUTE_ACCESS,\n SUT::ACCESS_VALUE => $attribute\n ]\n ]);\n }\n\n public function case_call()\n {\n $this\n ->given(\n $id = 'foobar',\n $method = new LUT\\Model\\Operator('f'),\n $context = new SUT($id)\n )\n ->when($result = $context->call($method))\n ->then\n ->object($result)\n ->isIdenticalTo($context)\n ->array($result->getDimensions())\n ->isEqualTo([\n [\n SUT::ACCESS_TYPE => SUT::METHOD_ACCESS,\n SUT::ACCESS_VALUE => $method\n ]\n ]);\n }\n\n public function case_multiple_dimension_types()\n {\n $this\n ->given(\n $id = 'foobar',\n $index = 'baz',\n $attribute = 'qux',\n $method = new LUT\\Model\\Operator('f'),\n $context = new SUT($id),\n $context->attribute($attribute),\n $context->index($index),\n $context->call($method)\n )\n ->when($result = $context->getDimensions())\n ->then\n ->array($result)\n ->isEqualTo([\n [\n SUT::ACCESS_TYPE => SUT::ATTRIBUTE_ACCESS,\n SUT::ACCESS_VALUE => $attribute\n ],\n [\n SUT::ACCESS_TYPE => SUT::ARRAY_ACCESS,\n SUT::ACCESS_VALUE => new LUT\\Model\\Bag\\Scalar($index)\n ],\n [\n SUT::ACCESS_TYPE => SUT::METHOD_ACCESS,\n SUT::ACCESS_VALUE => $method\n ]\n ]);\n }\n}\n" }, { "path": "Test/Unit/Model/Bag/RulerArray.php", "content": "when($result = new SUT(['foobar']))\n ->then\n ->object($result)\n ->isInstanceOf(LUT\\Model\\Bag::class);\n }\n\n public function case_constructor()\n {\n $this\n ->given($data = ['foo', ['bar'], new LUT\\Model\\Bag\\Scalar('baz')])\n ->when($result = new SUT($data))\n ->then\n ->let($array = $result->getArray())\n ->array($array)\n ->hasSize(count($data))\n ->isEqualTo([\n new LUT\\Model\\Bag\\Scalar('foo'),\n new SUT([new LUT\\Model\\Bag\\Scalar('bar')]),\n new LUT\\Model\\Bag\\Scalar('baz')\n ]);\n }\n}\n" }, { "path": "Test/Unit/Model/Bag/Scalar.php", "content": "when($result = new SUT('foobar'))\n ->then\n ->object($result)\n ->isInstanceOf(LUT\\Model\\Bag::class);\n }\n\n public function case_constructor()\n {\n $this\n ->given($scalar = 'foobar')\n ->when($result = new SUT($scalar))\n ->then\n ->string($result->getValue())\n ->isEqualTo($scalar);\n }\n}\n" }, { "path": "Test/Unit/Model/Model.php", "content": "when($result = new SUT())\n ->then\n ->object($result)\n ->isInstanceOf(Visitor\\Element::class);\n }\n\n public function case_set_default()\n {\n $this\n ->given($model = new SUT())\n ->when($result = $model->foo = 'bar')\n ->then\n ->string($result)\n ->isEqualTo('bar')\n ->string($model->foo)\n ->isEqualTo('bar');\n }\n\n public function case_set_expression()\n {\n $this\n ->given($model = new SUT())\n ->when($result = $model->expression = 'foo')\n ->then\n ->string($result)\n ->isEqualTo('foo')\n ->boolean(isset($model->expression))\n ->isFalse();\n }\n\n public function case_get_expression_is_a_scalar()\n {\n $this\n ->given(\n $model = new SUT(),\n $model->expression = 'foo'\n )\n ->when($result = $model->getExpression())\n ->then\n ->object($result)\n ->isEqualTo(new LUT\\Model\\Bag\\Scalar('foo'));\n }\n\n public function case_get_expression_is_an_array()\n {\n $this\n ->given(\n $model = new SUT(),\n $model->expression = ['foo']\n )\n ->when($result = $model->getExpression())\n ->then\n ->object($result)\n ->isEqualTo(new LUT\\Model\\Bag\\RulerArray(['foo']));\n }\n\n public function case_get_expression()\n {\n $this\n ->given(\n $model = new SUT(),\n $model->expression = new LUT\\Model\\Operator('f')\n )\n ->when($result = $model->getExpression())\n ->then\n ->object($result)\n ->isEqualTo(new LUT\\Model\\Operator('f'));\n }\n\n public function case_func()\n {\n $this\n ->given($model = new SUT())\n ->when($result = $model->func('f', 'x', 42))\n ->then\n ->object($result)\n ->isInstanceOf(LUT\\Model\\Operator::class)\n ->string($result->getName())\n ->isEqualTo('f')\n ->array($result->getArguments())\n ->isEqualTo([\n new LUT\\Model\\Bag\\Scalar('x'),\n new LUT\\Model\\Bag\\Scalar(42)\n ])\n ->boolean($result->isFunction())\n ->isTrue()\n ->boolean($result->isLazy())\n ->isFalse();\n }\n\n public function case_operation()\n {\n $this\n ->given($model = new SUT())\n ->when($result = $model->operation('f', ['x', 42]))\n ->then\n ->object($result)\n ->isInstanceOf(LUT\\Model\\Operator::class)\n ->string($result->getName())\n ->isEqualTo('f')\n ->array($result->getArguments())\n ->isEqualTo([\n new LUT\\Model\\Bag\\Scalar('x'),\n new LUT\\Model\\Bag\\Scalar(42)\n ])\n ->boolean($result->isFunction())\n ->isFalse()\n ->boolean($result->isLazy())\n ->isFalse();\n }\n\n public function case_operator()\n {\n $this\n ->given($model = new SUT())\n ->when($result = $model->_operator('f', ['x', 42], true))\n ->then\n ->object($result)\n ->isInstanceOf(LUT\\Model\\Operator::class)\n ->string($result->getName())\n ->isEqualTo('f')\n ->array($result->getArguments())\n ->isEqualTo([\n new LUT\\Model\\Bag\\Scalar('x'),\n new LUT\\Model\\Bag\\Scalar(42)\n ])\n ->boolean($result->isFunction())\n ->isTrue()\n ->boolean($result->isLazy())\n ->isFalse();\n }\n\n public function case_call()\n {\n $this\n ->given($model = new SUT())\n ->when($result = $model->f('x', 42))\n ->then\n ->object($result)\n ->isInstanceOf(LUT\\Model\\Operator::class)\n ->string($result->getName())\n ->isEqualTo('f')\n ->array($result->getArguments())\n ->isEqualTo([\n new LUT\\Model\\Bag\\Scalar('x'),\n new LUT\\Model\\Bag\\Scalar(42)\n ])\n ->boolean($result->isFunction())\n ->isFalse()\n ->boolean($result->isLazy())\n ->isFalse();\n }\n\n public function case_variable()\n {\n $this\n ->given($model = new SUT())\n ->when($result = $model->variable('x'))\n ->then\n ->object($result)\n ->isEqualTo(new LUT\\Model\\Bag\\Context('x'));\n }\n\n public function case_to_string()\n {\n $this\n ->given(\n $model = new SUT(),\n $model->expression = $model->f('x', 42)\n )\n ->when($result = $model->__toString())\n ->then\n ->string($result)\n ->isEqualTo(\n '$model = new \\Hoa\\Ruler\\Model();' . \"\\n\" .\n '$model->expression =' . \"\\n\" .\n ' $model->f(' . \"\\n\" .\n ' \\'x\\',' . \"\\n\" .\n ' 42' . \"\\n\" .\n ' );'\n );\n }\n}\n" }, { "path": "Test/Unit/Model/Operator.php", "content": "given($name = 'foo')\n ->when($result = new SUT($name))\n ->then\n ->object($result)\n ->isInstanceOf(Visitor\\Element::class);\n }\n\n public function case_is_a_context()\n {\n $this\n ->given($name = 'foo')\n ->when($result = new SUT($name))\n ->then\n ->object($result)\n ->isInstanceOf(LUT\\Model\\Bag\\Context::class);\n }\n\n public function case_constructor()\n {\n $this\n ->given($name = 'foo')\n ->when($result = new SUT($name))\n ->then\n ->string($result->getName())\n ->isEqualTo($name)\n ->array($result->getArguments())\n ->isEmpty()\n ->boolean($result->isFunction())\n ->isTrue()\n ->boolean($result->isLazy())\n ->isFalse();\n }\n\n public function case_constructor_with_arguments()\n {\n $this\n ->given(\n $name = 'foo',\n $arguments = [new LUT\\Model\\Bag\\Scalar(42)]\n )\n ->when($result = new SUT($name, $arguments))\n ->then\n ->string($result->getName())\n ->isEqualTo($name)\n ->array($result->getArguments())\n ->isEqualTo($arguments)\n ->boolean($result->isFunction())\n ->isTrue()\n ->boolean($result->isLazy())\n ->isFalse();\n }\n\n public function case_constructor_with_arguments_and_function_flag()\n {\n $this\n ->given(\n $name = 'foo',\n $arguments = [new LUT\\Model\\Bag\\Scalar(42)],\n $isFunction = false\n )\n ->when($result = new SUT($name, $arguments, $isFunction))\n ->then\n ->string($result->getName())\n ->isEqualTo($name)\n ->array($result->getArguments())\n ->isEqualTo($arguments)\n ->boolean($result->isFunction())\n ->isFalse()\n ->boolean($result->isLazy())\n ->isFalse();\n }\n\n public function case_set_name()\n {\n $this\n ->given(\n $oldName = 'foo',\n $name = 'bar',\n $operator = new SUT('foo')\n )\n ->when($result = $this->invoke($operator)->setName($name))\n ->then\n ->string($result)\n ->isEqualTo($oldName)\n ->boolean($operator->isLazy())\n ->isFalse();\n }\n\n public function case_set_name_with_the_and_operator_for_auto_laziness()\n {\n return $this->_case_set_name_with_auto_laziness('and');\n }\n\n public function case_set_name_with_the_or_operator_for_auto_laziness()\n {\n return $this->_case_set_name_with_auto_laziness('or');\n }\n\n protected function _case_set_name_with_auto_laziness($name)\n {\n $this\n ->given($operator = new SUT('foo'))\n ->when($result = $this->invoke($operator)->setName($name))\n ->then\n ->string($result)\n ->isEqualTo('foo')\n ->boolean($operator->isLazy())\n ->isTrue();\n }\n\n public function case_get_name()\n {\n $this\n ->given(\n $name = 'bar',\n $operator = new SUT('foo'),\n $this->invoke($operator)->setName($name)\n )\n ->when($result = $operator->getName())\n ->then\n ->string($result)\n ->isEqualTo($name);\n }\n\n public function case_set_arguments()\n {\n $this\n ->given(\n $operator = new SUT('foo'),\n $arguments = ['foo', [42], new LUT\\Model\\Bag\\Scalar('baz')]\n )\n ->when($result = $this->invoke($operator)->setArguments($arguments))\n ->then\n ->array($result)\n ->isEmpty();\n }\n\n public function case_set_arguments_not_additive()\n {\n $this\n ->given(\n $operator = new SUT('foo'),\n $argumentsA = [new LUT\\Model\\Bag\\Scalar('foo')],\n $argumentsB = [new LUT\\Model\\Bag\\Scalar('bar')],\n $this->invoke($operator)->setArguments($argumentsA)\n )\n ->when($result = $this->invoke($operator)->setArguments($argumentsB))\n ->then\n ->array($result)\n ->isEqualTo($argumentsA)\n ->array($operator->getArguments())\n ->isEqualTo($argumentsB);\n }\n\n public function case_get_arguments()\n {\n $this\n ->given(\n $operator = new SUT('foo'),\n $arguments = ['foo', [42], new LUT\\Model\\Bag\\Scalar('baz')],\n $this->invoke($operator)->setArguments($arguments)\n )\n ->when($result = $operator->getArguments())\n ->then\n ->array($result)\n ->isEqualTo([\n new LUT\\Model\\Bag\\Scalar('foo'),\n new LUT\\Model\\Bag\\RulerArray([42]),\n new LUT\\Model\\Bag\\Scalar('baz')\n ]);\n }\n\n public function case_set_function()\n {\n $this\n ->given($operator = new SUT('foo'))\n ->when($result = $this->invoke($operator)->setFunction(false))\n ->then\n ->boolean($result)\n ->isTrue();\n }\n\n public function case_is_function()\n {\n $this\n ->given(\n $operator = new SUT('foo'),\n $this->invoke($operator)->setFunction(true)\n )\n ->when($result = $operator->isFunction())\n ->then\n ->boolean($result)\n ->isTrue();\n }\n\n public function case_is_not_function()\n {\n $this\n ->given(\n $operator = new SUT('foo'),\n $this->invoke($operator)->setFunction(false)\n )\n ->when($result = $operator->isFunction())\n ->then\n ->boolean($result)\n ->isFalse();\n }\n\n public function case_set_laziness()\n {\n $this\n ->given($operator = new SUT('foo'))\n ->when($result = $this->invoke($operator)->setLaziness(false))\n ->then\n ->boolean($result)\n ->isFalse();\n }\n\n public function case_is_lazy()\n {\n $this\n ->given(\n $operator = new SUT('foo'),\n $this->invoke($operator)->setLaziness(true)\n )\n ->when($result = $operator->isLazy())\n ->then\n ->boolean($result)\n ->isTrue();\n }\n\n public function case_is_not_lazy()\n {\n $this\n ->given(\n $operator = new SUT('foo'),\n $this->invoke($operator)->setLaziness(false)\n )\n ->when($result = $operator->isLazy())\n ->then\n ->boolean($result)\n ->isFalse();\n }\n\n public function case_should_break_lazy_evaluation_with_and_operator()\n {\n return $this->_case_should_break_lazy_evaluation_with_x_operator(\n 'and',\n false,\n SUT::LAZY_BREAK\n );\n }\n\n public function case_should_not_break_lazy_evaluation_with_and_operator()\n {\n return $this->_case_should_break_lazy_evaluation_with_x_operator(\n 'and',\n true,\n SUT::LAZY_CONTINUE\n );\n }\n\n public function case_should_break_lazy_evaluation_with_or_operator()\n {\n return $this->_case_should_break_lazy_evaluation_with_x_operator(\n 'or',\n true,\n SUT::LAZY_BREAK\n );\n }\n\n public function case_should_not_break_lazy_evaluation_with_or_operator()\n {\n return $this->_case_should_break_lazy_evaluation_with_x_operator(\n 'or',\n false,\n SUT::LAZY_CONTINUE\n );\n }\n\n public function case_should_not_break_lazy_evaluation_with_any_operator()\n {\n return $this->_case_should_break_lazy_evaluation_with_x_operator(\n 'foo',\n 42,\n SUT::LAZY_CONTINUE\n );\n }\n\n protected function _case_should_break_lazy_evaluation_with_x_operator($name, $value, $expect)\n {\n $this\n ->given($operator = new SUT($name))\n ->when($result = $operator->shouldBreakLazyEvaluation($value))\n ->then\n ->boolean($result)\n ->isEqualTo($expect);\n }\n\n public function case_is_token()\n {\n $this\n ->when(function () {\n foreach (['not', 'and', 'or', 'xor'] as $token) {\n $this\n ->when($result = SUT::isToken($token))\n ->then\n ->boolean($result)\n ->isTrue();\n }\n });\n }\n\n public function case_is_not_token()\n {\n $this\n ->when($result = SUT::isToken('foo'))\n ->then\n ->boolean($result)\n ->isFalse();\n }\n}\n" }, { "path": "Test/Unit/Ruler.php", "content": "given(\n $rule = '7 < 42',\n $ruler = new SUT()\n )\n ->when($result = $ruler->assert($rule))\n ->then\n ->boolean($result)\n ->isTrue();\n }\n\n public function case_assert_with_a_context()\n {\n $this\n ->given(\n $rule = 'x < 42',\n $ruler = new SUT(),\n $context = new LUT\\Context(),\n $context['x'] = 7\n )\n ->when($result = $ruler->assert($rule, $context))\n ->then\n ->boolean($result)\n ->isTrue();\n }\n\n public function case_assert_with_rule_as_a_model()\n {\n $this\n ->given(\n $rule = SUT::interpret('x < 42'),\n $ruler = new SUT(),\n $context = new LUT\\Context(),\n $context['x'] = 7\n )\n ->when($result = $ruler->assert($rule, $context))\n ->then\n ->boolean($result)\n ->isTrue();\n }\n\n public function case_interpret()\n {\n $this\n ->when($result = SUT::interpret('x < 42'))\n ->then\n ->object($result)\n ->isInstanceOf(LUT\\Model::class);\n }\n\n public function case_get_interpreter()\n {\n $this\n ->when($result = SUT::getInterpreter())\n ->then\n ->object($result)\n ->isInstanceOf(LUT\\Visitor\\Interpreter::class);\n }\n\n public function case_set_asserter()\n {\n $this\n ->given(\n $ruler = new SUT(),\n $asserter = new LUT\\Visitor\\Asserter()\n )\n ->when($result = $ruler->setAsserter($asserter))\n ->then\n ->variable($result)\n ->isNull();\n }\n\n public function case_get_asserter()\n {\n $this\n ->given(\n $asserter = new LUT\\Visitor\\Asserter(),\n $ruler = new SUT(),\n $context = new LUT\\Context(),\n $ruler->setAsserter($asserter),\n $asserter->setContext($context)\n )\n ->when($result = $ruler->getAsserter())\n ->then\n ->object($result)\n ->isIdenticalTo($asserter)\n ->object($result->getContext())\n ->isIdenticalTo($context);\n }\n\n public function case_get_asserter_with_a_specific_context()\n {\n $this\n ->given(\n $asserter = new LUT\\Visitor\\Asserter(),\n $contextA = new LUT\\Context(),\n $contextB = new LUT\\Context(),\n $ruler = new SUT(),\n $ruler->setAsserter($asserter),\n $asserter->setContext($contextA)\n )\n ->when($result = $ruler->getAsserter($contextB))\n ->then\n ->object($result)\n ->isIdenticalTo($asserter)\n ->object($result->getContext())\n ->isIdenticalTo($contextB);\n }\n\n public function case_get_asserter_the_default_one()\n {\n $this\n ->given($ruler = new SUT())\n ->when($result = $ruler->getAsserter())\n ->then\n ->object($result)\n ->isInstanceOf(LUT\\Visitor\\Asserter::class)\n ->variable($result->getContext())\n ->isNull()\n ->object($ruler->getAsserter())\n ->isIdenticalTo($result);\n }\n\n public function case_get_asserter_the_default_one_with_a_specific_context()\n {\n $this\n ->given(\n $ruler = new SUT(),\n $context = new LUT\\Context()\n )\n ->when($result = $ruler->getAsserter($context))\n ->then\n ->object($result)\n ->isInstanceOf(LUT\\Visitor\\Asserter::class)\n ->object($result->getContext())\n ->isIdenticalTo($context)\n ->object($ruler->getAsserter($context))\n ->isIdenticalTo($result);\n }\n\n public function case_get_default_asserter()\n {\n $this\n ->when($result = SUT::getDefaultAsserter())\n ->then\n ->object($result)\n ->isInstanceOf(LUT\\Visitor\\Asserter::class)\n ->variable($result->getContext())\n ->isNull()\n ->object(SUT::getDefaultAsserter())\n ->isIdenticalTo($result);\n }\n\n public function case_get_default_asserter_with_a_specific_context()\n {\n $this\n ->given($context = new LUT\\Context())\n ->when($result = SUT::getDefaultAsserter($context))\n ->then\n ->object($result)\n ->isInstanceOf(LUT\\Visitor\\Asserter::class)\n ->object($result->getContext())\n ->isIdenticalTo($context)\n ->object(SUT::getDefaultAsserter($context))\n ->isIdenticalTo($result);\n }\n\n public function case_get_compiler()\n {\n $this\n ->when($result = SUT::getCompiler())\n ->then\n ->object($result)\n ->isInstanceOf(Compiler\\Llk\\Parser::class)\n ->object(SUT::getCompiler())\n ->isIdenticalTo($result);\n }\n}\n" }, { "path": "Test/Unit/Visitor/Asserter.php", "content": "when($result = new SUT())\n ->then\n ->object($result)\n ->isInstanceOf(Visitor\\Visit::class);\n }\n\n public function case_constructor()\n {\n $this\n ->when($result = new SUT())\n ->then\n ->array($result->getOperators())\n ->hasSize(14)\n ->hasKey('and')\n ->hasKey('or')\n ->hasKey('xor')\n ->hasKey('not')\n ->hasKey('=')\n ->hasKey('is')\n ->hasKey('!=')\n ->hasKey('>')\n ->hasKey('>=')\n ->hasKey('<')\n ->hasKey('<=')\n ->hasKey('in')\n ->hasKey('sum')\n ->hasKey('matches')\n ->variable($result->getContext())\n ->isNull();\n }\n\n public function case_constructor_with_a_context()\n {\n $this\n ->given($context = new LUT\\Context())\n ->when($result = new SUT($context))\n ->then\n ->object($result->getContext())\n ->isIdenticalTo($context);\n }\n\n public function case_operator_and_arity_0()\n {\n return $this->_case_boolean_operator('and', [], false);\n }\n\n public function case_operator_and_true()\n {\n return $this->_case_boolean_operator('and', [true], false);\n }\n\n public function case_operator_and_false()\n {\n return $this->_case_boolean_operator('and', [false], false);\n }\n\n public function case_operator_and_true_true()\n {\n return $this->_case_boolean_operator('and', [true, true], true);\n }\n\n public function case_operator_and_true_false()\n {\n return $this->_case_boolean_operator('and', [true, false], false);\n }\n\n public function case_operator_and_false_true()\n {\n return $this->_case_boolean_operator('and', [false, true], false);\n }\n\n public function case_operator_and_false_false()\n {\n return $this->_case_boolean_operator('and', [false, false], false);\n }\n\n public function case_operator_or_arity_0()\n {\n return $this->_case_boolean_operator('or', [], false);\n }\n\n public function case_operator_or_true()\n {\n return $this->_case_boolean_operator('or', [true], true);\n }\n\n public function case_operator_or_false()\n {\n return $this->_case_boolean_operator('or', [false], false);\n }\n\n public function case_operator_or_true_true()\n {\n return $this->_case_boolean_operator('or', [true, true], true);\n }\n\n public function case_operator_or_true_false()\n {\n return $this->_case_boolean_operator('or', [true, false], true);\n }\n\n public function case_operator_or_false_true()\n {\n return $this->_case_boolean_operator('or', [false, true], true);\n }\n\n public function case_operator_or_false_false()\n {\n return $this->_case_boolean_operator('or', [false, false], false);\n }\n\n public function case_operator_xor_true_true()\n {\n return $this->_case_boolean_operator('xor', [true, true], false);\n }\n\n public function case_operator_xor_true_false()\n {\n return $this->_case_boolean_operator('xor', [true, false], true);\n }\n\n public function case_operator_xor_false_true()\n {\n return $this->_case_boolean_operator('xor', [false, true], true);\n }\n\n public function case_operator_xor_false_false()\n {\n return $this->_case_boolean_operator('xor', [false, false], false);\n }\n\n public function case_operator_not_true()\n {\n return $this->_case_boolean_operator('not', [true], false);\n }\n\n public function case_operator_not_false()\n {\n return $this->_case_boolean_operator('not', [false], true);\n }\n\n public function case_operator_equal_7_42()\n {\n return $this->_case_boolean_operator('=', [7, 42], false);\n }\n\n public function case_operator_equal_7_7()\n {\n return $this->_case_boolean_operator('=', [7, 7], true);\n }\n\n public function case_operator_equal_7_7_casting()\n {\n return $this->_case_boolean_operator('=', [7, '7'], true);\n }\n\n public function case_operator_is_7_42()\n {\n return $this->_case_boolean_operator('is', [7, 42], false);\n }\n\n public function case_operator_is_7_7()\n {\n return $this->_case_boolean_operator('is', [7, 7], true);\n }\n\n public function case_operator_is_7_7_casting()\n {\n return $this->_case_boolean_operator('is', [7, '7'], true);\n }\n\n public function case_operator_not_equal_7_42()\n {\n return $this->_case_boolean_operator('!=', [7, 42], true);\n }\n\n public function case_operator_not_equal_7_7()\n {\n return $this->_case_boolean_operator('!=', [7, 7], false);\n }\n\n public function case_operator_not_equal_7_7_casting()\n {\n return $this->_case_boolean_operator('!=', [7, '7'], false);\n }\n\n public function case_operator_greater_than_7_42()\n {\n return $this->_case_boolean_operator('>', [7, 42], false);\n }\n\n public function case_operator_greater_than_42_7()\n {\n return $this->_case_boolean_operator('>', [42, 7], true);\n }\n\n public function case_operator_greater_than_7_7()\n {\n return $this->_case_boolean_operator('>', [7, 7], false);\n }\n\n public function case_operator_greater_than_or_equal_to_7_42()\n {\n return $this->_case_boolean_operator('>=', [7, 42], false);\n }\n\n public function case_operator_greater_than_or_equal_to_42_7()\n {\n return $this->_case_boolean_operator('>=', [42, 7], true);\n }\n\n public function case_operator_greater_than_or_equal_to_7_7()\n {\n return $this->_case_boolean_operator('>=', [7, 7], true);\n }\n\n public function case_operator_lower_than_7_42()\n {\n return $this->_case_boolean_operator('<', [7, 42], true);\n }\n\n public function case_operator_lower_than_42_7()\n {\n return $this->_case_boolean_operator('<', [42, 7], false);\n }\n\n public function case_operator_lower_than_7_7()\n {\n return $this->_case_boolean_operator('<', [7, 7], false);\n }\n\n public function case_operator_lower_than_or_equal_to_7_42()\n {\n return $this->_case_boolean_operator('<=', [7, 42], true);\n }\n\n public function case_operator_lower_than_or_equal_to_42_7()\n {\n return $this->_case_boolean_operator('<=', [42, 7], false);\n }\n\n public function case_operator_lower_than_or_equal_to_7_7()\n {\n return $this->_case_boolean_operator('<=', [7, 7], true);\n }\n\n public function case_operator_in_empty_array()\n {\n return $this->_case_boolean_operator('in', [7, []], false);\n }\n\n public function case_operator_in()\n {\n return $this->_case_boolean_operator('in', [7, [1, 3, 5, 7, 9]], true);\n }\n\n public function case_operator_in_falsy()\n {\n return $this->_case_boolean_operator('in', [42, [1, 3, 5, 7, 9]], false);\n }\n\n protected function _case_boolean_operator($operator, array $parameters, $expected)\n {\n $this\n ->given(\n $asserter = new SUT(),\n $operator = $asserter->getOperator($operator)\n )\n ->when($result = call_user_func_array($operator, $parameters))\n ->then\n ->boolean($result)\n ->isEqualTo($expected);\n }\n\n public function case_operator_sum_arity_0()\n {\n return $this->_case_operator_sum([], 0);\n }\n\n public function case_operator_sum_arity_1()\n {\n return $this->_case_operator_sum([7], 7);\n }\n\n public function case_operator_sum()\n {\n return $this->_case_operator_sum([1, 2, 3, 4, 5, 6, 7, 8, 9], 45);\n }\n\n protected function _case_operator_sum(array $parameters, $expected)\n {\n $this\n ->given(\n $asserter = new SUT(),\n $operator = $asserter->getOperator('sum')\n )\n ->when($result = call_user_func_array($operator, $parameters))\n ->then\n ->integer($result)\n ->isEqualTo($expected);\n }\n\n public function case_operator_matches()\n {\n return $this->_case_boolean_operator('matches', ['foo', '\\w+'], true);\n }\n\n public function case_operator_matches_falsy()\n {\n return $this->_case_boolean_operator('matches', ['foo', '\\d+'], false);\n }\n\n public function case_operator_matches_escaped_delimiter()\n {\n return $this->_case_boolean_operator('matches', ['`foo`', '`\\w+`'], true);\n }\n\n public function case_set_context()\n {\n $this\n ->given(\n $context = new LUT\\Context(),\n $asserter = new SUT()\n )\n ->when($result = $asserter->setContext($context))\n ->then\n ->variable($result)\n ->isNull();\n }\n\n public function case_get_context()\n {\n $this\n ->given(\n $context = new LUT\\Context(),\n $asserter = new SUT(),\n $asserter->setContext($context)\n )\n ->when($result = $asserter->getContext())\n ->then\n ->object($result)\n ->isIdenticalTo($context);\n }\n\n public function case_set_operator()\n {\n $this\n ->given(\n $asserter = new SUT(),\n $oldOperators = $asserter->getOperators(),\n $operator = function () {}\n )\n ->when($result = $asserter->setOperator('_foo_', $operator))\n ->then\n ->object($result)\n ->isIdenticalTo($asserter)\n ->integer(count($asserter->getOperators()))\n ->isEqualTo(count($oldOperators) + 1)\n ->boolean($asserter->operatorExists('_foo_'))\n ->isTrue()\n ->object($asserter->getOperator('_foo_'))\n ->isEqualTo(xcallable($operator));\n }\n\n public function case_set_operator_overwrite()\n {\n $this\n ->given(\n $asserter = new SUT(),\n $asserter->setOperator('_foo_', function () {}),\n $oldOperators = $asserter->getOperators(),\n $operator = function () {}\n )\n ->when($result = $asserter->setOperator('_foo_', $operator))\n ->then\n ->object($result)\n ->isIdenticalTo($asserter)\n ->integer(count($asserter->getOperators()))\n ->isEqualTo(count($oldOperators))\n ->boolean($asserter->operatorExists('_foo_'))\n ->isTrue()\n ->object($asserter->getOperator('_foo_'))\n ->isEqualTo(xcallable($operator));\n }\n\n public function case_operator_exists()\n {\n $this\n ->given(\n $asserter = new SUT(),\n $asserter->setOperator('_foo_', function () {})\n )\n ->when($result = $asserter->operatorExists('_foo_'))\n ->then\n ->boolean($result)\n ->isTrue();\n }\n\n public function case_operator_does_not_exist()\n {\n $this\n ->given($asserter = new SUT())\n ->when($result = $asserter->operatorExists('_foo_'))\n ->then\n ->boolean($result)\n ->isFalse();\n }\n\n public function case_get_operator()\n {\n $this\n ->given(\n $asserter = new SUT(),\n $operator = function () {},\n $asserter->setOperator('_foo_', $operator)\n )\n ->when($result = $asserter->getOperator('_foo_'))\n ->then\n ->object($result)\n ->isEqualTo(xcallable($operator));\n }\n\n public function case_get_undefined_operator()\n {\n $this\n ->given($asserter = new SUT())\n ->when($result = $asserter->getOperator('_foo_'))\n ->then\n ->variable($result)\n ->isNull();\n }\n\n public function case_get_operators()\n {\n $this\n ->given($asserter = new SUT())\n ->when($result = $asserter->getOperators())\n ->then\n ->array($result)\n ->hasSize(14);\n }\n\n public function case_visit_model()\n {\n $this\n ->given(\n $model = new LUT\\Model(),\n $model->expression = 42,\n $asserter = new SUT()\n )\n ->when($result = $asserter->visitModel($model))\n ->then\n ->boolean($result)\n ->isTrue()\n ->boolean($asserter->visit($model))\n ->isIdenticalTo($result);\n }\n\n public function case_visit_operator()\n {\n $this\n ->given(\n $operator = new LUT\\Model\\Operator('sum', [7, 35]),\n $asserter = new SUT()\n )\n ->when($result = $this->invoke($asserter)->visitOperator($operator))\n ->then\n ->integer($result)\n ->isEqualTo(42)\n ->integer($asserter->visit($operator))\n ->isIdenticalTo($result);\n }\n\n public function case_visit_operator_does_not_exist()\n {\n $this\n ->given(\n $operator = new LUT\\Model\\Operator('_foo_', [7, 35]),\n $asserter = new SUT()\n )\n ->exception(function () use ($asserter, $operator) {\n $this->invoke($asserter)->visitOperator($operator);\n })\n ->isInstanceOf(LUT\\Exception\\Asserter::class)\n ->hasMessage('Operator _foo_ does not exist.')\n ->exception(function () use ($asserter, $operator) {\n $asserter->visit($operator);\n })\n ->isInstanceOf(LUT\\Exception\\Asserter::class)\n ->hasMessage('Operator _foo_ does not exist.');\n }\n\n public function case_visit_operator_array_dimension_1()\n {\n $this\n ->given(\n $operator = new LUT\\Model\\Operator('c', [7]),\n $operator->index('x'),\n $asserter = new SUT(),\n $asserter->setOperator(\n 'c',\n function ($x) {\n return ['x' => $x * 6];\n }\n )\n )\n ->when($result = $this->invoke($asserter)->visitOperator($operator))\n ->then\n ->integer($result)\n ->isEqualTo(42)\n ->integer($asserter->visit($operator))\n ->isIdenticalTo($result);\n }\n\n public function case_visit_operator_array_dimension_2()\n {\n $this\n ->given(\n $operator = new LUT\\Model\\Operator('c', [7]),\n $operator->index('x'),\n $operator->index('y'),\n $asserter = new SUT(),\n $asserter->setOperator(\n 'c',\n function ($x) {\n return ['x' => ['y' => $x * 6]];\n }\n )\n )\n ->when($result = $this->invoke($asserter)->visitOperator($operator))\n ->then\n ->integer($result)\n ->isEqualTo(42)\n ->integer($asserter->visit($operator))\n ->isIdenticalTo($result);\n }\n\n public function case_visit_operator_array_like_dimension_1()\n {\n $this\n ->given(\n $operator = new LUT\\Model\\Operator('c', [7]),\n $operator->index('x'),\n $asserter = new SUT(),\n $asserter->setOperator(\n 'c',\n function ($x) {\n return new ArrayObject(['x' => $x * 6]);\n }\n )\n )\n ->when($result = $this->invoke($asserter)->visitOperator($operator))\n ->then\n ->integer($result)\n ->isEqualTo(42)\n ->integer($asserter->visit($operator))\n ->isIdenticalTo($result);\n }\n\n public function case_visit_operator_array_like_dimension_2()\n {\n $this\n ->given(\n $operator = new LUT\\Model\\Operator('c', [7]),\n $operator->index('x'),\n $operator->index('y'),\n $asserter = new SUT(),\n $asserter->setOperator(\n 'c',\n function ($x) {\n return new ArrayObject(['x' => new ArrayObject(['y' => $x * 6])]);\n }\n )\n )\n ->when($result = $this->invoke($asserter)->visitOperator($operator))\n ->then\n ->integer($result)\n ->isEqualTo(42)\n ->integer($asserter->visit($operator))\n ->isIdenticalTo($result);\n }\n\n public function case_visit_operator_array_dimension_1_undefined_index()\n {\n $this\n ->given(\n $operator = new LUT\\Model\\Operator('c', [7]),\n $operator->index('z'),\n $asserter = new SUT(),\n $asserter->setOperator(\n 'c',\n function ($x) {\n return ['x' => 42];\n }\n )\n )\n ->exception(function () use ($asserter, $operator) {\n $this->invoke($asserter)->visitOperator($operator);\n })\n ->isInstanceOf(LUT\\Exception\\Asserter::class)\n ->hasMessage('Try to access to an undefined index: z (dimension number 1 of c()).')\n ->exception(function () use ($asserter, $operator) {\n $asserter->visit($operator);\n })\n ->isInstanceOf(LUT\\Exception\\Asserter::class)\n ->hasMessage('Try to access to an undefined index: z (dimension number 1 of c()).');\n }\n\n public function case_visit_operator_array_dimension_1_not_an_array()\n {\n $this\n ->given(\n $operator = new LUT\\Model\\Operator('c', [7]),\n $operator->index('y'),\n $asserter = new SUT(),\n $asserter->setOperator(\n 'c',\n function ($x) {\n return 42;\n }\n )\n )\n ->exception(function () use ($asserter, $operator) {\n $this->invoke($asserter)->visitOperator($operator);\n })\n ->isInstanceOf(LUT\\Exception\\Asserter::class)\n ->hasMessage('Try to access to an undefined index: y (dimension number 1 of c()), because it is not an array.')\n ->exception(function () use ($asserter, $operator) {\n $asserter->visit($operator);\n })\n ->isInstanceOf(LUT\\Exception\\Asserter::class)\n ->hasMessage('Try to access to an undefined index: y (dimension number 1 of c()), because it is not an array.');\n }\n\n public function case_visit_operator_array_like_dimension_1_undefined_index()\n {\n $this\n ->given(\n $operator = new LUT\\Model\\Operator('c', [7]),\n $operator->index('z'),\n $asserter = new SUT(),\n $asserter->setOperator(\n 'c',\n function ($x) {\n return new ArrayObject(['x' => 42]);\n }\n )\n )\n ->exception(function () use ($asserter, $operator) {\n $this->invoke($asserter)->visitOperator($operator);\n })\n ->isInstanceOf(LUT\\Exception\\Asserter::class)\n ->hasMessage('Try to access to an undefined index: z (dimension number 1 of c()).')\n ->exception(function () use ($asserter, $operator) {\n $asserter->visit($operator);\n })\n ->isInstanceOf(LUT\\Exception\\Asserter::class)\n ->hasMessage('Try to access to an undefined index: z (dimension number 1 of c()).');\n }\n\n public function case_visit_operator_attribute_dimension_1()\n {\n $this\n ->given(\n $operator = new LUT\\Model\\Operator('c', [7]),\n $operator->attribute('x'),\n $asserter = new SUT(),\n $asserter->setOperator(\n 'c',\n function ($x) {\n return (object) ['x' => $x * 6];\n }\n )\n )\n ->when($result = $this->invoke($asserter)->visitOperator($operator))\n ->then\n ->integer($result)\n ->isEqualTo(42)\n ->integer($asserter->visit($operator))\n ->isIdenticalTo($result);\n }\n\n public function case_visit_operator_attribute_dimension_2()\n {\n $this\n ->given(\n $operator = new LUT\\Model\\Operator('c', [7]),\n $operator->attribute('x'),\n $operator->attribute('y'),\n $asserter = new SUT(),\n $asserter->setOperator(\n 'c',\n function ($x) {\n return (object) ['x' => (object) ['y' => $x * 6]];\n }\n )\n )\n ->when($result = $this->invoke($asserter)->visitOperator($operator))\n ->then\n ->integer($result)\n ->isEqualTo(42)\n ->integer($asserter->visit($operator))\n ->isIdenticalTo($result);\n }\n\n public function case_visit_operator_attribute_dimension_1_undefined_name()\n {\n $this\n ->given(\n $operator = new LUT\\Model\\Operator('c', [7]),\n $operator->attribute('y'),\n $asserter = new SUT(),\n $asserter->setOperator(\n 'c',\n function ($x) {\n return (object) ['x' => $x * 6];\n }\n )\n )\n ->exception(function () use ($asserter, $operator) {\n $this->invoke($asserter)->visitOperator($operator);\n })\n ->isInstanceOf(LUT\\Exception\\Asserter::class)\n ->hasMessage('Try to read an undefined attribute: y (dimension number 1 of c()).')\n ->exception(function () use ($asserter, $operator) {\n $asserter->visit($operator);\n })\n ->isInstanceOf(LUT\\Exception\\Asserter::class)\n ->hasMessage('Try to read an undefined attribute: y (dimension number 1 of c()).');\n }\n\n public function case_visit_operator_attribute_dimension_1_not_an_object()\n {\n $this\n ->given(\n $operator = new LUT\\Model\\Operator('c', [7]),\n $operator->attribute('x'),\n $asserter = new SUT(),\n $asserter->setOperator(\n 'c',\n function ($x) {\n return $x * 6;\n }\n )\n )\n ->exception(function () use ($asserter, $operator) {\n $this->invoke($asserter)->visitOperator($operator);\n })\n ->isInstanceOf(LUT\\Exception\\Asserter::class)\n ->hasMessage('Try to read an undefined attribute: x (dimension number 1 of c()), because it is not an object.')\n ->exception(function () use ($asserter, $operator) {\n $asserter->visit($operator);\n })\n ->isInstanceOf(LUT\\Exception\\Asserter::class)\n ->hasMessage('Try to read an undefined attribute: x (dimension number 1 of c()), because it is not an object.');\n }\n\n public function case_visit_operator_method_dimension_1()\n {\n $this\n ->given(\n $operator = new LUT\\Model\\Operator('c'),\n $operator->call(new LUT\\Model\\Operator('f', [7, 35])),\n $context = new LUT\\Context(['x' => new C()]),\n $asserter = new SUT($context),\n $asserter->setOperator(\n 'c',\n function () {\n return new C();\n }\n )\n )\n ->when($result = $this->invoke($asserter)->visitOperator($operator))\n ->then\n ->integer($result)\n ->isEqualTo(42)\n ->integer($asserter->visit($operator))\n ->isIdenticalTo($result);\n }\n\n public function case_visit_operator_method_dimension_2()\n {\n $this\n ->given(\n $operator = new LUT\\Model\\Operator('c'),\n $operator->call(new LUT\\Model\\Operator('newMe')),\n $operator->call(new LUT\\Model\\Operator('f', [7, 35])),\n $asserter = new SUT(),\n $asserter->setOperator(\n 'c',\n function () {\n return new C();\n }\n )\n )\n ->when($result = $this->invoke($asserter)->visitOperator($operator))\n ->then\n ->integer($result)\n ->isEqualTo(42)\n ->integer($asserter->visit($operator))\n ->isIdenticalTo($result);\n }\n\n public function case_visit_operator_method_dimension_1_undefined_method()\n {\n $this\n ->given(\n $operator = new LUT\\Model\\Operator('c'),\n $operator->call(new LUT\\Model\\Operator('h')),\n $asserter = new SUT(),\n $asserter->setOperator(\n 'c',\n function () {\n return new C();\n }\n )\n )\n ->exception(function () use ($asserter, $operator) {\n $this->invoke($asserter)->visitOperator($operator);\n })\n ->isInstanceOf(LUT\\Exception\\Asserter::class)\n ->hasMessage('Try to call an undefined method: h (dimension number 1 of c()).')\n ->exception(function () use ($asserter, $operator) {\n $asserter->visit($operator);\n })\n ->isInstanceOf(LUT\\Exception\\Asserter::class)\n ->hasMessage('Try to call an undefined method: h (dimension number 1 of c()).');\n }\n\n public function case_visit_operator_method_dimension_1_not_an_object()\n {\n $this\n ->given(\n $operator = new LUT\\Model\\Operator('c'),\n $operator->call(new LUT\\Model\\Operator('f', [7, 35])),\n $asserter = new SUT(),\n $asserter->setOperator(\n 'c',\n function () {\n return 42;\n }\n )\n )\n ->exception(function () use ($asserter, $operator) {\n $this->invoke($asserter)->visitOperator($operator);\n })\n ->isInstanceOf(LUT\\Exception\\Asserter::class)\n ->hasMessage('Try to call an undefined method: f (dimension number 1 of c()), because it is not an object.')\n ->exception(function () use ($asserter, $operator) {\n $asserter->visit($operator);\n })\n ->isInstanceOf(LUT\\Exception\\Asserter::class)\n ->hasMessage('Try to call an undefined method: f (dimension number 1 of c()), because it is not an object.');\n }\n\n public function case_visit_operator_mixed_dimensions()\n {\n $this\n ->given(\n $operator = new LUT\\Model\\Operator('c'),\n $operator->index('x'),\n $operator->attribute('y'),\n $operator->call(new LUT\\Model\\Operator('f', [7, 35])),\n $asserter = new SUT(),\n $asserter->setOperator(\n 'c',\n function () {\n return ['x' => (object) ['y' => new C()]];\n }\n )\n )\n ->when($result = $this->invoke($asserter)->visitOperator($operator))\n ->then\n ->integer($result)\n ->isEqualTo(42)\n ->integer($asserter->visit($operator))\n ->isIdenticalTo($result);\n }\n\n public function case_visit_scalar_null()\n {\n return $this->_case_visit_scalar(null);\n }\n\n public function case_visit_scalar_boolean()\n {\n return $this->_case_visit_scalar(true);\n }\n\n public function case_visit_scalar_integer()\n {\n return $this->_case_visit_scalar(7);\n }\n\n public function case_visit_scalar_float()\n {\n return $this->_case_visit_scalar(4.2);\n }\n\n public function case_visit_scalar_string()\n {\n return $this->_case_visit_scalar('foo');\n }\n\n protected function _case_visit_scalar($scalar)\n {\n $this\n ->given(\n $bag = new LUT\\Model\\Bag\\Scalar($scalar),\n $asserter = new SUT()\n )\n ->when($result = $this->invoke($asserter)->visitScalar($bag))\n ->then\n ->variable($result)\n ->isIdenticalTo($scalar)\n ->variable($asserter->visit($bag))\n ->isIdenticalTo($result);\n }\n\n public function case_visit_array()\n {\n $this\n ->given(\n $bag = new LUT\\Model\\Bag\\RulerArray(['foo']),\n $asserter = new SUT()\n )\n ->when($result = $this->invoke($asserter)->visitArray($bag))\n ->then\n ->array($result)\n ->isEqualTo(['foo'])\n ->variable($asserter->visit($bag))\n ->isIdenticalTo($result);\n }\n\n public function case_visit_undefined_context()\n {\n $this\n ->given(\n $bag = new LUT\\Model\\Bag\\Context('x'),\n $asserter = new SUT()\n )\n ->exception(function () use ($asserter, $bag) {\n $this->invoke($asserter)->visitContext($bag);\n })\n ->isInstanceOf(LUT\\Exception\\Asserter::class)\n ->hasMessage('Assert needs a context to work properly.')\n ->exception(function () use ($asserter, $bag) {\n $asserter->visit($bag);\n })\n ->isInstanceOf(LUT\\Exception\\Asserter::class)\n ->hasMessage('Assert needs a context to work properly.');\n }\n\n public function case_visit_context_undefined_reference()\n {\n $this\n ->given(\n $bag = new LUT\\Model\\Bag\\Context('x'),\n $context = new LUT\\Context(),\n $asserter = new SUT($context)\n )\n ->exception(function () use ($asserter, $bag) {\n $this->invoke($asserter)->visitContext($bag);\n })\n ->isInstanceOf(LUT\\Exception\\Asserter::class)\n ->hasMessage('Context reference x does not exist.')\n ->exception(function () use ($asserter, $bag) {\n $asserter->visit($bag);\n })\n ->isInstanceOf(LUT\\Exception\\Asserter::class)\n ->hasMessage('Context reference x does not exist.');\n }\n\n public function case_visit_context()\n {\n $this\n ->given(\n $bag = new LUT\\Model\\Bag\\Context('x'),\n $context = new LUT\\Context(['x' => 42]),\n $asserter = new SUT($context)\n )\n ->when($result = $this->invoke($asserter)->visitContext($bag))\n ->then\n ->integer($result)\n ->isEqualTo(42)\n ->integer($asserter->visit($bag))\n ->isIdenticalTo($result);\n }\n\n public function case_visit_context_array_dimension_1()\n {\n $this\n ->given(\n $bag = new LUT\\Model\\Bag\\Context('x'),\n $bag->index('y'),\n $context = new LUT\\Context(['x' => ['y' => 42]]),\n $asserter = new SUT($context)\n )\n ->when($result = $this->invoke($asserter)->visitContext($bag))\n ->then\n ->integer($result)\n ->isEqualTo(42)\n ->integer($asserter->visit($bag))\n ->isIdenticalTo($result);\n }\n\n public function case_visit_context_array_dimension_2()\n {\n $this\n ->given(\n $bag = new LUT\\Model\\Bag\\Context('x'),\n $bag->index('y'),\n $bag->index('z'),\n $context = new LUT\\Context(['x' => ['y' => ['z' => 42]]]),\n $asserter = new SUT($context)\n )\n ->when($result = $this->invoke($asserter)->visitContext($bag))\n ->then\n ->integer($result)\n ->isEqualTo(42)\n ->integer($asserter->visit($bag))\n ->isIdenticalTo($result);\n }\n\n public function case_visit_context_array_dimension_1_undefined_index()\n {\n $this\n ->given(\n $bag = new LUT\\Model\\Bag\\Context('x'),\n $bag->index('z'),\n $context = new LUT\\Context(['x' => ['y' => 42]]),\n $asserter = new SUT($context)\n )\n ->exception(function () use ($asserter, $bag) {\n $this->invoke($asserter)->visitContext($bag);\n })\n ->isInstanceOf(LUT\\Exception\\Asserter::class)\n ->hasMessage('Try to access to an undefined index: z (dimension number 1 of x).')\n ->exception(function () use ($asserter, $bag) {\n $asserter->visit($bag);\n })\n ->isInstanceOf(LUT\\Exception\\Asserter::class)\n ->hasMessage('Try to access to an undefined index: z (dimension number 1 of x).');\n }\n\n public function case_visit_context_array_dimension_1_not_an_array()\n {\n $this\n ->given(\n $bag = new LUT\\Model\\Bag\\Context('x'),\n $bag->index('y'),\n $context = new LUT\\Context(['x' => 42]),\n $asserter = new SUT($context)\n )\n ->exception(function () use ($asserter, $bag) {\n $this->invoke($asserter)->visitContext($bag);\n })\n ->isInstanceOf(LUT\\Exception\\Asserter::class)\n ->hasMessage('Try to access to an undefined index: y (dimension number 1 of x), because it is not an array.')\n ->exception(function () use ($asserter, $bag) {\n $asserter->visit($bag);\n })\n ->isInstanceOf(LUT\\Exception\\Asserter::class)\n ->hasMessage('Try to access to an undefined index: y (dimension number 1 of x), because it is not an array.');\n }\n\n public function case_visit_context_attribute_dimension_1()\n {\n $this\n ->given(\n $bag = new LUT\\Model\\Bag\\Context('x'),\n $bag->attribute('y'),\n $context = new LUT\\Context(['x' => (object) ['y' => 42]]),\n $asserter = new SUT($context)\n )\n ->when($result = $this->invoke($asserter)->visitContext($bag))\n ->then\n ->integer($result)\n ->isEqualTo(42)\n ->integer($asserter->visit($bag))\n ->isIdenticalTo($result);\n }\n\n public function case_visit_context_attribute_dimension_2()\n {\n $this\n ->given(\n $bag = new LUT\\Model\\Bag\\Context('x'),\n $bag->attribute('y'),\n $bag->attribute('z'),\n $context = new LUT\\Context(['x' => (object) ['y' => (object) ['z' => 42]]]),\n $asserter = new SUT($context)\n )\n ->when($result = $this->invoke($asserter)->visitContext($bag))\n ->then\n ->integer($result)\n ->isEqualTo(42)\n ->integer($asserter->visit($bag))\n ->isIdenticalTo($result);\n }\n\n public function case_visit_context_attribute_dimension_1_undefined_name()\n {\n $this\n ->given(\n $bag = new LUT\\Model\\Bag\\Context('x'),\n $bag->attribute('z'),\n $context = new LUT\\Context(['x' => (object) ['y' => 42]]),\n $asserter = new SUT($context)\n )\n ->exception(function () use ($asserter, $bag) {\n $this->invoke($asserter)->visitContext($bag);\n })\n ->isInstanceOf(LUT\\Exception\\Asserter::class)\n ->hasMessage('Try to read an undefined attribute: z (dimension number 1 of x).')\n ->exception(function () use ($asserter, $bag) {\n $asserter->visit($bag);\n })\n ->isInstanceOf(LUT\\Exception\\Asserter::class)\n ->hasMessage('Try to read an undefined attribute: z (dimension number 1 of x).');\n }\n\n public function case_visit_context_attribute_dimension_1_not_an_object()\n {\n $this\n ->given(\n $bag = new LUT\\Model\\Bag\\Context('x'),\n $bag->attribute('y'),\n $context = new LUT\\Context(['x' => 42]),\n $asserter = new SUT($context)\n )\n ->exception(function () use ($asserter, $bag) {\n $this->invoke($asserter)->visitContext($bag);\n })\n ->isInstanceOf(LUT\\Exception\\Asserter::class)\n ->hasMessage('Try to read an undefined attribute: y (dimension number 1 of x), because it is not an object.')\n ->exception(function () use ($asserter, $bag) {\n $asserter->visit($bag);\n })\n ->isInstanceOf(LUT\\Exception\\Asserter::class)\n ->hasMessage('Try to read an undefined attribute: y (dimension number 1 of x), because it is not an object.');\n }\n\n public function case_visit_context_method_dimension_1()\n {\n $this\n ->given(\n $bag = new LUT\\Model\\Bag\\Context('x'),\n $bag->call(new LUT\\Model\\Operator('f', [7, 35])),\n $context = new LUT\\Context(['x' => new C()]),\n $asserter = new SUT($context)\n )\n ->when($result = $this->invoke($asserter)->visitContext($bag))\n ->then\n ->integer($result)\n ->isEqualTo(42)\n ->integer($asserter->visit($bag))\n ->isIdenticalTo($result);\n }\n\n public function case_visit_context_method_dimension_2()\n {\n $this\n ->given(\n $bag = new LUT\\Model\\Bag\\Context('x'),\n $bag->call(new LUT\\Model\\Operator('newMe')),\n $bag->call(new LUT\\Model\\Operator('f', [7, 35])),\n $context = new LUT\\Context(['x' => new C()]),\n $asserter = new SUT($context)\n )\n ->when($result = $this->invoke($asserter)->visitContext($bag))\n ->then\n ->integer($result)\n ->isEqualTo(42)\n ->integer($asserter->visit($bag))\n ->isIdenticalTo($result);\n }\n\n public function case_visit_context_method_dimension_1_undefined_method()\n {\n $this\n ->given(\n $bag = new LUT\\Model\\Bag\\Context('x'),\n $bag->call(new LUT\\Model\\Operator('h')),\n $context = new LUT\\Context(['x' => new C()]),\n $asserter = new SUT($context)\n )\n ->exception(function () use ($asserter, $bag) {\n $this->invoke($asserter)->visitContext($bag);\n })\n ->isInstanceOf(LUT\\Exception\\Asserter::class)\n ->hasMessage('Try to call an undefined method: h (dimension number 1 of x).')\n ->exception(function () use ($asserter, $bag) {\n $asserter->visit($bag);\n })\n ->isInstanceOf(LUT\\Exception\\Asserter::class)\n ->hasMessage('Try to call an undefined method: h (dimension number 1 of x).');\n }\n\n public function case_visit_context_method_dimension_1_not_an_object()\n {\n $this\n ->given(\n $bag = new LUT\\Model\\Bag\\Context('x'),\n $bag->call(new LUT\\Model\\Operator('f', [7, 35])),\n $context = new LUT\\Context(['x' => 42]),\n $asserter = new SUT($context)\n )\n ->exception(function () use ($asserter, $bag) {\n $this->invoke($asserter)->visitContext($bag);\n })\n ->isInstanceOf(LUT\\Exception\\Asserter::class)\n ->hasMessage('Try to call an undefined method: f (dimension number 1 of x), because it is not an object.')\n ->exception(function () use ($asserter, $bag) {\n $asserter->visit($bag);\n })\n ->isInstanceOf(LUT\\Exception\\Asserter::class)\n ->hasMessage('Try to call an undefined method: f (dimension number 1 of x), because it is not an object.');\n }\n\n public function case_visit_context_mixed_dimensions()\n {\n $this\n ->given(\n $bag = new LUT\\Model\\Bag\\Context('x'),\n $bag->index('y'),\n $bag->attribute('z'),\n $bag->call(new LUT\\Model\\Operator('f', [7, 35])),\n $context = new LUT\\Context(['x' => ['y' => (object) ['z' => new C()]]]),\n $asserter = new SUT($context)\n )\n ->when($result = $this->invoke($asserter)->visitContext($bag))\n ->then\n ->integer($result)\n ->isEqualTo(42)\n ->integer($asserter->visit($bag))\n ->isIdenticalTo($result);\n }\n}\n\nclass C\n{\n public function f($x, $y)\n {\n return $x + $y;\n }\n\n public function newMe()\n {\n return new self();\n }\n}\n" }, { "path": "Test/Unit/Visitor/Compiler.php", "content": "when($result = new SUT())\n ->then\n ->object($result)\n ->isInstanceOf(Visitor\\Visit::class);\n }\n\n public function case_model()\n {\n return $this->_case(\n 'true',\n '$model = new \\Hoa\\Ruler\\Model();' . \"\\n\" .\n '$model->expression =' . \"\\n\" .\n ' true;'\n );\n }\n\n public function case_operator()\n {\n return $this->_case(\n '7 < 42',\n '$model = new \\Hoa\\Ruler\\Model();' . \"\\n\" .\n '$model->expression =' . \"\\n\" .\n ' $model->{\\'<\\'}(' . \"\\n\" .\n ' 7,' . \"\\n\" .\n ' 42' . \"\\n\" .\n ' );'\n );\n }\n\n public function case_operator_is_an_identifier()\n {\n return $this->_case(\n 'true and false',\n '$model = new \\Hoa\\Ruler\\Model();' . \"\\n\" .\n '$model->expression =' . \"\\n\" .\n ' $model->and(' . \"\\n\" .\n ' true,' . \"\\n\" .\n ' false' . \"\\n\" .\n ' );'\n );\n }\n\n public function case_function()\n {\n return $this->_case(\n 'f(7, 42)',\n '$model = new \\Hoa\\Ruler\\Model();' . \"\\n\" .\n '$model->expression =' . \"\\n\" .\n ' $model->func(' . \"\\n\" .\n ' \\'f\\',' . \"\\n\" .\n ' 7,' . \"\\n\" .\n ' 42' . \"\\n\" .\n ' );'\n );\n }\n\n public function case_function_of_arity_1()\n {\n return $this->_case(\n 'f(7)',\n '$model = new \\Hoa\\Ruler\\Model();' . \"\\n\" .\n '$model->expression =' . \"\\n\" .\n ' $model->func(' . \"\\n\" .\n ' \\'f\\',' . \"\\n\" .\n ' 7' . \"\\n\" .\n ' );'\n );\n }\n\n public function case_function_with_array_dimension()\n {\n return $this->_case(\n 'x(7)[42]',\n '$model = new \\Hoa\\Ruler\\Model();' . \"\\n\" .\n '$model->expression =' . \"\\n\" .\n ' $model->func(' . \"\\n\" .\n ' \\'x\\',' . \"\\n\" .\n ' 7' . \"\\n\" .\n ' )' . \"\\n\" .\n ' ->index(' . \"\\n\" .\n ' 42' . \"\\n\" .\n ' );'\n );\n }\n\n public function case_function_with_attribute_dimension()\n {\n return $this->_case(\n 'x(7).y',\n '$model = new \\Hoa\\Ruler\\Model();' . \"\\n\" .\n '$model->expression =' . \"\\n\" .\n ' $model->func(' . \"\\n\" .\n ' \\'x\\',' . \"\\n\" .\n ' 7' . \"\\n\" .\n ' )' . \"\\n\" .\n ' ->attribute(\\'y\\');'\n );\n }\n\n public function case_function_with_call_dimension()\n {\n return $this->_case(\n 'x(7).y(42)',\n '$model = new \\Hoa\\Ruler\\Model();' . \"\\n\" .\n '$model->expression =' . \"\\n\" .\n ' $model->func(' . \"\\n\" .\n ' \\'x\\',' . \"\\n\" .\n ' 7' . \"\\n\" .\n ' )' . \"\\n\" .\n ' ->call(' . \"\\n\" .\n ' $model->func(' . \"\\n\" .\n ' \\'y\\',' . \"\\n\" .\n ' 42' . \"\\n\" .\n ' )' . \"\\n\" .\n ' );'\n );\n }\n\n public function case_function_with_many_dimensions()\n {\n return $this->_case(\n 'x(7).y(42).z[153]',\n '$model = new \\Hoa\\Ruler\\Model();' . \"\\n\" .\n '$model->expression =' . \"\\n\" .\n ' $model->func(' . \"\\n\" .\n ' \\'x\\',' . \"\\n\" .\n ' 7' . \"\\n\" .\n ' )' . \"\\n\" .\n ' ->call(' . \"\\n\" .\n ' $model->func(' . \"\\n\" .\n ' \\'y\\',' . \"\\n\" .\n ' 42' . \"\\n\" .\n ' )' . \"\\n\" .\n ' )' . \"\\n\" .\n ' ->attribute(\\'z\\')' . \"\\n\" .\n ' ->index(' . \"\\n\" .\n ' 153' . \"\\n\" .\n ' );'\n );\n }\n\n public function case_scalar_true()\n {\n return $this->_case(\n 'true',\n '$model = new \\Hoa\\Ruler\\Model();' . \"\\n\" .\n '$model->expression =' . \"\\n\" .\n ' true;'\n );\n }\n\n public function case_scalar_false()\n {\n return $this->_case(\n 'false',\n '$model = new \\Hoa\\Ruler\\Model();' . \"\\n\" .\n '$model->expression =' . \"\\n\" .\n ' false;'\n );\n }\n\n public function case_scalar_null()\n {\n return $this->_case(\n 'null and true',\n '$model = new \\Hoa\\Ruler\\Model();' . \"\\n\" .\n '$model->expression =' . \"\\n\" .\n ' $model->and(' . \"\\n\" .\n ' null,' . \"\\n\" .\n ' true' . \"\\n\" .\n ' );'\n );\n }\n\n public function case_scalar_numeric()\n {\n return $this->_case(\n '7',\n '$model = new \\Hoa\\Ruler\\Model();' . \"\\n\" .\n '$model->expression =' . \"\\n\" .\n ' 7;'\n );\n }\n\n public function case_scalar_string()\n {\n return $this->_case(\n \"'Hello, World!'\",\n '$model = new \\Hoa\\Ruler\\Model();' . \"\\n\" .\n '$model->expression =' . \"\\n\" .\n ' \\'Hello, World!\\';'\n );\n }\n\n public function case_scalar_escaped_string()\n {\n return $this->_case(\n \"'He\\llo, \\'World\\'!'\",\n '$model = new \\Hoa\\Ruler\\Model();' . \"\\n\" .\n '$model->expression =' . \"\\n\" .\n ' \\'He\\llo, \\\\\\'World\\\\\\'!\\';'\n );\n }\n\n public function case_array()\n {\n return $this->_case(\n '[7, true, \\'foo\\']',\n '$model = new \\Hoa\\Ruler\\Model();' . \"\\n\" .\n '$model->expression =' . \"\\n\" .\n ' [' . \"\\n\" .\n ' 7,' . \"\\n\" .\n ' true,' . \"\\n\" .\n ' \\'foo\\'' . \"\\n\" .\n ' ];'\n );\n }\n\n public function case_context()\n {\n return $this->_case(\n 'x',\n '$model = new \\Hoa\\Ruler\\Model();' . \"\\n\" .\n '$model->expression =' . \"\\n\" .\n ' $model->variable(\\'x\\');'\n );\n }\n\n public function case_context_with_array_dimension()\n {\n return $this->_case(\n 'x[7]',\n '$model = new \\Hoa\\Ruler\\Model();' . \"\\n\" .\n '$model->expression =' . \"\\n\" .\n ' $model->variable(\\'x\\')' . \"\\n\" .\n ' ->index(' . \"\\n\" .\n ' 7' . \"\\n\" .\n ' );'\n );\n }\n\n public function case_context_with_array_dimensions()\n {\n return $this->_case(\n 'x[7][42]',\n '$model = new \\Hoa\\Ruler\\Model();' . \"\\n\" .\n '$model->expression =' . \"\\n\" .\n ' $model->variable(\\'x\\')' . \"\\n\" .\n ' ->index(' . \"\\n\" .\n ' 7' . \"\\n\" .\n ' )' . \"\\n\" .\n ' ->index(' . \"\\n\" .\n ' 42' . \"\\n\" .\n ' );'\n );\n }\n\n public function case_context_with_attribute_dimension()\n {\n return $this->_case(\n 'x.y',\n '$model = new \\Hoa\\Ruler\\Model();' . \"\\n\" .\n '$model->expression =' . \"\\n\" .\n ' $model->variable(\\'x\\')' . \"\\n\" .\n ' ->attribute(\\'y\\');'\n );\n }\n\n public function case_context_with_attribute_dimensions()\n {\n return $this->_case(\n 'x.y.z',\n '$model = new \\Hoa\\Ruler\\Model();' . \"\\n\" .\n '$model->expression =' . \"\\n\" .\n ' $model->variable(\\'x\\')' . \"\\n\" .\n ' ->attribute(\\'y\\')' . \"\\n\" .\n ' ->attribute(\\'z\\');'\n );\n }\n\n public function case_context_with_call_dimension()\n {\n return $this->_case(\n 'x.y(7)',\n '$model = new \\Hoa\\Ruler\\Model();' . \"\\n\" .\n '$model->expression =' . \"\\n\" .\n ' $model->variable(\\'x\\')' . \"\\n\" .\n ' ->call(' . \"\\n\" .\n ' $model->func(' . \"\\n\" .\n ' \\'y\\',' . \"\\n\" .\n ' 7' . \"\\n\" .\n ' )' . \"\\n\" .\n ' );'\n );\n }\n\n public function case_context_with_call_dimensions()\n {\n return $this->_case(\n 'x.y(7).z(42)',\n '$model = new \\Hoa\\Ruler\\Model();' . \"\\n\" .\n '$model->expression =' . \"\\n\" .\n ' $model->variable(\\'x\\')' . \"\\n\" .\n ' ->call(' . \"\\n\" .\n ' $model->func(' . \"\\n\" .\n ' \\'y\\',' . \"\\n\" .\n ' 7' . \"\\n\" .\n ' )' . \"\\n\" .\n ' )' . \"\\n\" .\n ' ->call(' . \"\\n\" .\n ' $model->func(' . \"\\n\" .\n ' \\'z\\',' . \"\\n\" .\n ' 42' . \"\\n\" .\n ' )' . \"\\n\" .\n ' );'\n );\n }\n\n public function case_context_with_many_dimensions()\n {\n return $this->_case(\n 'a.b(7).c[42].d.e(153).f',\n '$model = new \\Hoa\\Ruler\\Model();' . \"\\n\" .\n '$model->expression =' . \"\\n\" .\n ' $model->variable(\\'a\\')' . \"\\n\" .\n ' ->call(' . \"\\n\" .\n ' $model->func(' . \"\\n\" .\n ' \\'b\\',' . \"\\n\" .\n ' 7' . \"\\n\" .\n ' )' . \"\\n\" .\n ' )' . \"\\n\" .\n ' ->attribute(\\'c\\')' . \"\\n\" .\n ' ->index(' . \"\\n\" .\n ' 42' . \"\\n\" .\n ' )' . \"\\n\" .\n ' ->attribute(\\'d\\')' . \"\\n\" .\n ' ->call(' . \"\\n\" .\n ' $model->func(' . \"\\n\" .\n ' \\'e\\',' . \"\\n\" .\n ' 153' . \"\\n\" .\n ' )' . \"\\n\" .\n ' )' . \"\\n\" .\n ' ->attribute(\\'f\\');'\n );\n }\n\n protected function _case($rule, $compiled)\n {\n $this\n ->given($compiler = new SUT())\n ->when($result = $compiler->visit(LUT::interpret($rule)))\n ->then\n ->string($result)\n ->isEqualTo($compiled);\n }\n}\n" }, { "path": "Test/Unit/Visitor/Disassembly.php", "content": "when($result = new SUT())\n ->then\n ->object($result)\n ->isInstanceOf(Visitor\\Visit::class);\n }\n\n public function case_model()\n {\n return $this->_case(\n 'true',\n 'true'\n );\n }\n\n public function case_operator()\n {\n return $this->_case(\n '7 < 42',\n '(7 < 42)'\n );\n }\n\n public function case_operator_is_an_identifier()\n {\n return $this->_case(\n 'true and false',\n '(true and false)'\n );\n }\n\n public function case_function()\n {\n return $this->_case(\n 'f(7, 42)',\n 'f(7, 42)'\n );\n }\n\n public function case_function_of_arity_1()\n {\n return $this->_case(\n 'f(7)',\n 'f(7)'\n );\n }\n\n public function case_function_with_array_dimensions()\n {\n return $this->_case(\n 'x(7)[42]',\n 'x(7)[42]'\n );\n }\n\n public function case_function_with_attribute_dimensions()\n {\n return $this->_case(\n 'x(7).y',\n 'x(7).y'\n );\n }\n\n public function case_function_with_call_dimensions()\n {\n return $this->_case(\n 'x(7).y(42)',\n 'x(7).y(42)'\n );\n }\n\n public function case_function_with_many_dimensions()\n {\n return $this->_case(\n 'x(7).y(42).z[153]',\n 'x(7).y(42).z[153]'\n );\n }\n\n public function case_scalar_true()\n {\n return $this->_case(\n 'true',\n 'true'\n );\n }\n\n public function case_scalar_false()\n {\n return $this->_case(\n 'false',\n 'false'\n );\n }\n\n public function case_scalar_null()\n {\n return $this->_case(\n 'null and true',\n '(null and true)'\n );\n }\n\n public function case_scalar_numeric()\n {\n return $this->_case(\n '7',\n '7'\n );\n }\n\n public function case_scalar_string()\n {\n return $this->_case(\n \"'Hello, World!'\",\n \"'Hello, World!'\"\n );\n }\n\n public function case_scalar_escaped_string()\n {\n return $this->_case(\n \"'He\\llo, \\'World\\'!'\",\n \"'He\\llo, \\'World\\'!'\"\n );\n }\n\n public function case_array()\n {\n return $this->_case(\n '[7, true, \\'foo\\']',\n '[7, true, \\'foo\\']'\n );\n }\n\n public function case_context()\n {\n return $this->_case(\n 'x',\n 'x'\n );\n }\n\n public function case_context_with_array_dimension()\n {\n return $this->_case(\n 'x[7]',\n 'x[7]'\n );\n }\n\n public function case_context_with_attribute_dimension()\n {\n return $this->_case(\n 'x.y',\n 'x.y'\n );\n }\n\n public function case_context_with_call_dimension()\n {\n return $this->_case(\n 'x.y(7)',\n 'x.y(7)'\n );\n }\n\n public function case_context_with_many_dimensions()\n {\n return $this->_case(\n 'x.y(7).z[42]',\n 'x.y(7).z[42]'\n );\n }\n\n protected function _case($rule, $disassembled)\n {\n $this\n ->given($compiler = new SUT())\n ->when($result = $compiler->visit(LUT::interpret($rule)))\n ->then\n ->string($result)\n ->isEqualTo($disassembled);\n }\n}\n" }, { "path": "Test/Unit/Visitor/Interpreter.php", "content": "when($result = new SUT())\n ->then\n ->object($result)\n ->isInstanceOf(Visitor\\Visit::class);\n }\n\n public function case_model()\n {\n return $this->_case(\n 'true',\n function () {\n $model = new LUT\\Model();\n $model->expression = true;\n\n return $model;\n }\n );\n }\n\n public function case_operator()\n {\n return $this->_case(\n '7 < 42',\n function () {\n $model = new LUT\\Model();\n $model->expression =\n $model->{'<'}(\n 7,\n 42\n );\n\n return $model;\n }\n );\n }\n\n public function case_operator_is_an_identifier()\n {\n return $this->_case(\n 'true and false',\n function () {\n $model = new LUT\\Model();\n $model->expression =\n $model->and(\n true,\n false\n );\n\n return $model;\n }\n );\n }\n\n public function case_operator_and()\n {\n return $this->_case(\n 'true and false',\n function () {\n $model = new LUT\\Model();\n $model->expression =\n $model->and(\n true,\n false\n );\n\n return $model;\n }\n );\n }\n\n public function case_operator_or()\n {\n return $this->_case(\n 'true or false',\n function () {\n $model = new LUT\\Model();\n $model->expression =\n $model->or(\n true,\n false\n );\n\n return $model;\n }\n );\n }\n\n public function case_operator_xor()\n {\n return $this->_case(\n 'true xor false',\n function () {\n $model = new LUT\\Model();\n $model->expression =\n $model->xor(\n true,\n false\n );\n\n return $model;\n }\n );\n }\n\n public function case_operator_not()\n {\n return $this->_case(\n 'not true',\n function () {\n $model = new LUT\\Model();\n $model->expression =\n $model->not(\n true\n );\n\n return $model;\n }\n );\n }\n\n public function case_function()\n {\n return $this->_case(\n 'f(7, 42)',\n function () {\n $model = new LUT\\Model();\n $model->expression =\n $model->func(\n 'f',\n 7,\n 42\n );\n\n return $model;\n }\n );\n }\n\n public function case_function_of_arity_1()\n {\n return $this->_case(\n 'f(7)',\n function () {\n $model = new LUT\\Model();\n $model->expression =\n $model->func(\n 'f',\n 7\n );\n\n return $model;\n }\n );\n }\n\n public function case_function_with_array_dimension()\n {\n return $this->_case(\n 'x(7)[42]',\n function () {\n $model = new LUT\\Model();\n $model->expression =\n $model->func(\n 'x',\n 7\n )\n ->index(\n 42\n );\n\n return $model;\n }\n );\n }\n\n public function case_function_with_attribute_dimension()\n {\n return $this->_case(\n 'x(7).y',\n function () {\n $model = new LUT\\Model();\n $model->expression =\n $model->func(\n 'x',\n 7\n )\n ->attribute('y');\n\n return $model;\n }\n );\n }\n\n public function case_function_with_call_dimension()\n {\n return $this->_case(\n 'x(7).y(42)',\n function () {\n $model = new LUT\\Model();\n $model->expression =\n $model->func(\n 'x',\n 7\n )\n ->call(\n $model->func(\n 'y',\n 42\n )\n );\n\n return $model;\n }\n );\n }\n\n public function case_function_with_many_dimensions()\n {\n return $this->_case(\n 'x(7).y(42).z[153]',\n function () {\n $model = new LUT\\Model();\n $model->expression =\n $model->func(\n 'x',\n 7\n )\n ->call(\n $model->func(\n 'y',\n 42\n )\n )\n ->attribute('z')\n ->index(\n 153\n );\n\n return $model;\n }\n );\n }\n\n public function case_scalar_true()\n {\n return $this->_case(\n 'true',\n function () {\n $model = new LUT\\Model();\n $model->expression =\n true;\n\n return $model;\n }\n );\n }\n\n public function case_scalar_false()\n {\n return $this->_case(\n 'false',\n function () {\n $model = new LUT\\Model();\n $model->expression =\n false;\n\n return $model;\n }\n );\n }\n\n public function case_scalar_null()\n {\n return $this->_case(\n 'null and true',\n function () {\n $model = new LUT\\Model();\n $model->expression =\n $model->and(\n null,\n true\n );\n\n return $model;\n }\n );\n }\n\n public function case_scalar_float()\n {\n return $this->_case(\n '4.2',\n function () {\n $model = new LUT\\Model();\n $model->expression =\n 4.2;\n\n return $model;\n }\n );\n }\n\n public function case_scalar_integer()\n {\n return $this->_case(\n '7',\n function () {\n $model = new LUT\\Model();\n $model->expression =\n 7;\n\n return $model;\n }\n );\n }\n\n public function case_scalar_string()\n {\n return $this->_case(\n \"'Hello, World!'\",\n function () {\n $model = new LUT\\Model();\n $model->expression =\n 'Hello, World!';\n\n return $model;\n }\n );\n }\n\n public function case_scalar_escaped_string()\n {\n return $this->_case(\n \"'He\\llo, \\'World\\'!'\",\n function () {\n $model = new LUT\\Model();\n $model->expression =\n 'He\\llo, \\'World\\'!';\n\n return $model;\n }\n );\n }\n\n public function case_array()\n {\n return $this->_case(\n '[7, true, \\'foo\\']',\n function () {\n $model = new LUT\\Model();\n $model->expression =\n [\n 7,\n true,\n 'foo'\n ];\n\n return $model;\n }\n );\n }\n\n public function case_context()\n {\n return $this->_case(\n 'x',\n function () {\n $model = new LUT\\Model();\n $model->expression =\n $model->variable('x');\n\n return $model;\n }\n );\n }\n\n public function case_context_with_array_dimension()\n {\n return $this->_case(\n 'x[7]',\n function () {\n $model = new LUT\\Model();\n $model->expression =\n $model->variable('x')\n ->index(\n 7\n );\n\n return $model;\n }\n );\n }\n\n public function case_context_with_array_dimensions()\n {\n return $this->_case(\n 'x[7][42]',\n function () {\n $model = new LUT\\Model();\n $model->expression =\n $model->variable('x')\n ->index(\n 7\n )\n ->index(\n 42\n );\n\n return $model;\n }\n );\n }\n\n public function case_context_with_attribute_dimension()\n {\n return $this->_case(\n 'x.y',\n function () {\n $model = new LUT\\Model();\n $model->expression =\n $model->variable('x')\n ->attribute('y');\n\n return $model;\n }\n );\n }\n\n public function case_context_with_attribute_dimensions()\n {\n return $this->_case(\n 'x.y.z',\n function () {\n $model = new LUT\\Model();\n $model->expression =\n $model->variable('x')\n ->attribute('y')\n ->attribute('z');\n\n return $model;\n }\n );\n }\n\n public function case_context_with_many_dimensions()\n {\n return $this->_case(\n 'a.b(7).c[42].d.e(153).f',\n function () {\n $model = new LUT\\Model();\n $model->expression =\n $model->variable('a')\n ->call(\n $model->func(\n 'b',\n 7\n )\n )\n ->attribute('c')\n ->index(\n 42\n )\n ->attribute('d')\n ->call(\n $model->func(\n 'e',\n 153\n )\n )\n ->attribute('f');\n\n return $model;\n }\n );\n }\n\n protected function _case($rule, \\Closure $expected)\n {\n $this\n ->given(\n $interpreter = new SUT(),\n $ast = LUT::getCompiler()->parse($rule)\n )\n ->when($result = $interpreter->visit($ast))\n ->then\n ->object($result)\n ->isEqualTo($expected());\n }\n}\n" }, { "path": "Visitor/Asserter.php", "content": "setContext($context);\n }\n\n $this->setOperator('and', function ($a = false, $b = false) { return $a && $b; });\n $this->setOperator('or', function ($a = false, $b = false) { return $a || $b; });\n $this->setOperator('xor', function ($a, $b) { return (bool) ($a ^ $b); });\n $this->setOperator('not', function ($a) { return !$a; });\n $this->setOperator('=', function ($a, $b) { return $a == $b; });\n $this->setOperator('is', $this->getOperator('='));\n $this->setOperator('!=', function ($a, $b) { return $a != $b; });\n $this->setOperator('>', function ($a, $b) { return $a > $b; });\n $this->setOperator('>=', function ($a, $b) { return $a >= $b; });\n $this->setOperator('<', function ($a, $b) { return $a < $b; });\n $this->setOperator('<=', function ($a, $b) { return $a <= $b; });\n $this->setOperator('in', function ($a, array $b) { return in_array($a, $b); });\n $this->setOperator('sum', function () { return array_sum(func_get_args()); });\n $this->setOperator('matches', function ($subject, $pattern) {\n $escapedPattern = preg_replace('/(?visitModel($element, $handle, $eldnah);\n }\n\n if ($element instanceof Ruler\\Model\\Operator) {\n return $this->visitOperator($element, $handle, $eldnah);\n }\n\n if ($element instanceof Ruler\\Model\\Bag\\Scalar) {\n return $this->visitScalar($element, $handle, $eldnah);\n }\n\n if ($element instanceof Ruler\\Model\\Bag\\RulerArray) {\n return $this->visitArray($element, $handle, $eldnah);\n }\n\n if ($element instanceof Ruler\\Model\\Bag\\Context) {\n return $this->visitContext($element, $handle, $eldnah);\n }\n }\n\n /**\n * Visit a model\n *\n * @param \\Hoa\\Visitor\\Element $element Element to visit.\n * @param mixed &$handle Handle (reference).\n * @param mixed $eldnah Handle (not reference).\n * @return mixed\n */\n public function visitModel(Ruler\\Model $element, &$handle = null, $eldnah = null)\n {\n return (bool) $element->getExpression()->accept($this, $handle, $eldnah);\n }\n\n /**\n * Visit an operator\n *\n * @param \\Hoa\\Visitor\\Element $element Element to visit.\n * @param mixed &$handle Handle (reference).\n * @param mixed $eldnah Handle (not reference).\n * @return mixed\n */\n protected function visitOperator(Ruler\\Model\\Operator $element, &$handle = null, $eldnah = null)\n {\n $name = $element->getName();\n $arguments = [];\n\n foreach ($element->getArguments() as $argument) {\n $value = $argument->accept($this, $handle, $eldnah);\n $arguments[] = $value;\n\n if ($element::LAZY_BREAK === $element->shouldBreakLazyEvaluation($value)) {\n break;\n }\n }\n\n if (false === $this->operatorExists($name)) {\n throw new Ruler\\Exception\\Asserter(\n 'Operator %s does not exist.',\n 0,\n $name\n );\n }\n\n $value = $this->getOperator($name)->distributeArguments($arguments);\n\n return $this->visitDimensions(\n $element,\n $name . '()',\n $value,\n $handle,\n $eldnah\n );\n }\n\n /**\n * Visit a scalar\n *\n * @param \\Hoa\\Visitor\\Element $element Element to visit.\n * @param mixed &$handle Handle (reference).\n * @param mixed $eldnah Handle (not reference).\n * @return mixed\n */\n protected function visitScalar(Ruler\\Model\\Bag\\Scalar $element, &$handle = null, $eldnah = null)\n {\n return $element->getValue();\n }\n\n /**\n * Visit an array\n *\n * @param \\Hoa\\Visitor\\Element $element Element to visit.\n * @param mixed &$handle Handle (reference).\n * @param mixed $eldnah Handle (not reference).\n * @return array\n */\n protected function visitArray(Ruler\\Model\\Bag\\RulerArray $element, &$handle = null, $eldnah = null)\n {\n $out = [];\n\n foreach ($element->getArray() as $key => $data) {\n $out[$key] = $data->accept($this, $handle, $eldnah);\n }\n\n return $out;\n }\n\n /**\n * Visit a context\n *\n * @param \\Hoa\\Visitor\\Element $element Element to visit.\n * @param mixed &$handle Handle (reference).\n * @param mixed $eldnah Handle (not reference).\n * @return mixed\n */\n protected function visitContext(Ruler\\Model\\Bag\\Context $element, &$handle = null, $eldnah = null)\n {\n $context = $this->getContext();\n\n if (null === $context) {\n throw new Ruler\\Exception\\Asserter(\n 'Assert needs a context to work properly.',\n 1\n );\n }\n\n $id = $element->getId();\n\n if (!isset($context[$id])) {\n throw new Ruler\\Exception\\Asserter(\n 'Context reference %s does not exist.',\n 2,\n $id\n );\n }\n\n return $this->visitDimensions(\n $element,\n $id,\n $context[$id],\n $handle,\n $eldnah\n );\n }\n\n /**\n * Visit dimensions of a context.\n *\n * @param \\Hoa\\Visitor\\Element $element Element to visit.\n * @param string $elementId Element name.\n * @param mixed $subject Current root to apply the dimensions.\n * @param mixed &$handle Handle (reference).\n * @param mixed $eldnah Handle (not reference).\n * @return mixed\n */\n protected function visitDimensions(\n Ruler\\Model\\Bag\\Context $element,\n $elementId,\n $subject,\n &$handle = null,\n $eldnah = null\n ) {\n $pointer = $subject;\n\n foreach ($element->getDimensions() as $dimensionNumber => $dimension) {\n ++$dimensionNumber;\n\n switch ($dimension[Ruler\\Model\\Bag\\Context::ACCESS_TYPE]) {\n case Ruler\\Model\\Bag\\Context::ARRAY_ACCESS:\n $this->visitArrayDimension(\n $pointer,\n $dimension,\n $dimensionNumber,\n $elementId,\n $handle,\n $eldnah\n );\n\n break;\n\n case Ruler\\Model\\Bag\\Context::ATTRIBUTE_ACCESS:\n $this->visitAttributeDimension(\n $pointer,\n $dimension,\n $dimensionNumber,\n $elementId,\n $handle,\n $eldnah\n );\n\n break;\n\n case Ruler\\Model\\Bag\\Context::METHOD_ACCESS:\n $this->visitMethodDimension(\n $pointer,\n $dimension,\n $dimensionNumber,\n $elementId,\n $handle,\n $eldnah\n );\n\n break;\n }\n }\n\n return $pointer;\n }\n\n /**\n * Visit an array dimension.\n *\n * @param mixed &$contextPointer Pointer to the current context.\n * @param array $dimension Dimension bucket.\n * @param int $dimensionNumber Dimension number.\n * @param string $elementId Element name.\n * @param mixed &$handle Handle (reference).\n * @param mixed $eldnah Handle (not reference).\n * @return void\n */\n protected function visitArrayDimension(\n &$contextPointer,\n array $dimension,\n $dimensionNumber,\n $elementId,\n &$handle = null,\n $eldnah = null\n ) {\n $value = $dimension[Ruler\\Model\\Bag\\Context::ACCESS_VALUE];\n $key = $value->accept($this, $handle, $eldnah);\n\n $isArray = is_array($contextPointer);\n $isArrayLike = !$isArray && $contextPointer instanceof ArrayAccess;\n\n if (false === $isArray && false === $isArrayLike) {\n throw new Ruler\\Exception\\Asserter(\n 'Try to access to an undefined index: %s ' .\n '(dimension number %d of %s), because it is ' .\n 'not an array.',\n 3,\n [$key, $dimensionNumber, $elementId]\n );\n }\n\n if ((true === $isArray && false === array_key_exists($key, $contextPointer)) ||\n (true === $isArrayLike && false === $contextPointer->offsetExists($key))) {\n throw new Ruler\\Exception\\Asserter(\n 'Try to access to an undefined index: %s ' .\n '(dimension number %d of %s).',\n 4,\n [$key, $dimensionNumber, $elementId]\n );\n }\n\n $contextPointer = $contextPointer[$key];\n\n return;\n }\n\n\n /**\n * Visit an attribute dimension.\n *\n * @param mixed &$contextPointer Pointer to the current context.\n * @param array $dimension Dimension bucket.\n * @param int $dimensionNumber Dimension number.\n * @param string $elementId Element name.\n * @param mixed &$handle Handle (reference).\n * @param mixed $eldnah Handle (not reference).\n * @return void\n */\n protected function visitAttributeDimension(\n &$contextPointer,\n array $dimension,\n $dimensionNumber,\n $elementId,\n &$handle = null,\n $eldnah = null)\n {\n $attribute = $dimension[Ruler\\Model\\Bag\\Context::ACCESS_VALUE];\n\n if (!is_object($contextPointer)) {\n throw new Ruler\\Exception\\Asserter(\n 'Try to read an undefined attribute: %s ' .\n '(dimension number %d of %s), because it is ' .\n 'not an object.',\n 5,\n [$attribute, $dimensionNumber, $elementId]\n );\n }\n\n if (!property_exists($contextPointer, $attribute)) {\n throw new Ruler\\Exception\\Asserter(\n 'Try to read an undefined attribute: %s ' .\n '(dimension number %d of %s).',\n 6,\n [$attribute, $dimensionNumber, $elementId]\n );\n }\n\n $contextPointer = $contextPointer->$attribute;\n\n return;\n }\n\n /**\n * Visit a method dimension.\n *\n * @param mixed &$contextPointer Pointer to the current context.\n * @param array $dimension Dimension bucket.\n * @param int $dimensionNumber Dimension number.\n * @param string $elementId Element name.\n * @param mixed &$handle Handle (reference).\n * @param mixed $eldnah Handle (not reference).\n * @return void\n */\n protected function visitMethodDimension(\n &$contextPointer,\n array $dimension,\n $dimensionNumber,\n $elementId,\n &$handle = null,\n $eldnah = null\n ) {\n $value = $dimension[Ruler\\Model\\Bag\\Context::ACCESS_VALUE];\n $method = $value->getName();\n\n if (!is_object($contextPointer)) {\n throw new Ruler\\Exception\\Asserter(\n 'Try to call an undefined method: %s ' .\n '(dimension number %d of %s), because it is ' .\n 'not an object.',\n 7,\n [$method, $dimensionNumber, $elementId]\n );\n }\n\n if (!method_exists($contextPointer, $method)) {\n throw new Ruler\\Exception\\Asserter(\n 'Try to call an undefined method: %s ' .\n '(dimension number %d of %s).',\n 8,\n [$method, $dimensionNumber, $elementId]\n );\n }\n\n $arguments = [];\n\n foreach ($value->getArguments() as $argument) {\n $arguments[] = $argument->accept($this, $handle, $eldnah);\n }\n\n $contextPointer = call_user_func_array(\n [$contextPointer, $method],\n $arguments\n );\n\n return;\n }\n\n /**\n * Set context.\n *\n * @param \\Hoa\\Ruler\\Context $context Context.\n * @return \\Hoa\\Ruler\\Context\n */\n public function setContext(Ruler\\Context $context)\n {\n $old = $this->_context;\n $this->_context = $context;\n\n return $old;\n }\n\n /**\n * Get context.\n *\n * @return \\Hoa\\Ruler\\Context\n */\n public function getContext()\n {\n return $this->_context;\n }\n\n /**\n * Set an operator.\n *\n * @param string $operator Operator.\n * @param callable $callable Callable.\n * @return Ruler\\Visitor\\Asserter\n */\n public function setOperator($operator, $callable)\n {\n $this->_operators[$operator] = $callable;\n\n return $this;\n }\n\n /**\n * Check if an operator exists.\n *\n * @param string $operator Operator.\n * @return bool\n */\n public function operatorExists($operator)\n {\n return true === array_key_exists($operator, $this->_operators);\n }\n\n /**\n * Get an operator.\n *\n * @param string $operator Operator.\n * @return string\n */\n public function getOperator($operator)\n {\n if (false === $this->operatorExists($operator)) {\n return null;\n }\n\n $handle = &$this->_operators[$operator];\n\n if (!($handle instanceof Consistency\\Xcallable)) {\n $handle = xcallable($handle);\n }\n\n return $this->_operators[$operator];\n }\n\n /**\n * Get all operators.\n *\n * @return array\n */\n public function getOperators()\n {\n foreach ($this->_operators as &$operator) {\n if (!($operator instanceof Consistency\\Xcallable)) {\n $operator = xcallable($operator);\n }\n }\n\n return $this->_operators;\n }\n}\n" }, { "path": "Visitor/Compiler.php", "content": "_indentation);\n\n if ($element instanceof Ruler\\Model) {\n $expression = $element->getExpression();\n\n if (null === $expression) {\n $out = '';\n } else {\n $this->_indentation = 1;\n\n $out =\n '$model = new \\Hoa\\Ruler\\Model();' . \"\\n\" .\n '$model->expression =' . \"\\n\" .\n $expression->accept($this, $handle, $eldnah) .\n ';';\n }\n } elseif ($element instanceof Ruler\\Model\\Operator) {\n $out = $_ . '$model->';\n $name = $element->getName();\n $_handle = [];\n\n if (false === $element->isFunction()) {\n if (true === Consistency::isIdentifier($name)) {\n $out .= $name;\n } else {\n $out .= '{\\'' . $name . '\\'}';\n }\n\n $out .= '(' . \"\\n\";\n } else {\n $out .= 'func(' . \"\\n\" . $_ . ' ';\n $_handle[] = '\\'' . $name . '\\'';\n }\n\n ++$this->_indentation;\n\n foreach ($element->getArguments() as $argument) {\n $_handle[] = $argument->accept($this, $handle, $eldnah);\n }\n\n $out .=\n implode(',' . \"\\n\", $_handle) . \"\\n\" . $_ . ')' .\n $this->visitContext($element, $handle, $eldnah, $_);\n\n --$this->_indentation;\n } elseif ($element instanceof Ruler\\Model\\Bag\\Scalar) {\n $value = $element->getValue();\n $out = $_;\n\n if (true === $value) {\n $out .= 'true';\n } elseif (false === $value) {\n $out .= 'false';\n } elseif (null === $value) {\n $out .= 'null';\n } elseif (is_numeric($value)) {\n $out .= (string) $value;\n } else {\n $out .= '\\'' . str_replace(['\\'', '\\\\\\\\'], ['\\\\\\'', '\\\\'], $value) . '\\'';\n }\n } elseif ($element instanceof Ruler\\Model\\Bag\\RulerArray) {\n $values = [];\n ++$this->_indentation;\n\n foreach ($element->getArray() as $value) {\n $values[] = $value->accept($this, $handle, $eldnah);\n }\n\n --$this->_indentation;\n $out =\n $_ . '[' . \"\\n\" .\n implode(',' . \"\\n\", $values) . \"\\n\" .\n $_ . ']';\n } elseif ($element instanceof Ruler\\Model\\Bag\\Context) {\n ++$this->_indentation;\n\n $out =\n $_ . '$model->variable(\\'' . $element->getId() . '\\')' .\n $this->visitContext($element, $handle, $eldnah, $_);\n\n --$this->_indentation;\n }\n\n return $out;\n }\n\n /**\n * Visit a context.\n *\n * @param \\Hoa\\Ruler\\Model\\Bag\\Context $context Context.\n * @param mixed &$handle Handle (reference).\n * @param mixed $eldnah Handle (not reference).\n * @param string $_ Indentation.\n * @return mixed\n */\n protected function visitContext(Ruler\\Model\\Bag\\Context $context, &$handle, $eldnah, $_)\n {\n $out = null;\n\n foreach ($context->getDimensions() as $dimension) {\n ++$this->_indentation;\n\n $value = $dimension[Ruler\\Model\\Bag\\Context::ACCESS_VALUE];\n $out .= \"\\n\" . $_ . ' ->';\n\n switch ($dimension[Ruler\\Model\\Bag\\Context::ACCESS_TYPE]) {\n case Ruler\\Model\\Bag\\Context::ARRAY_ACCESS:\n $out .=\n 'index(' . \"\\n\" .\n $value->accept($this, $handle, $eldnah) . \"\\n\" .\n $_ . ' )';\n\n break;\n\n case Ruler\\Model\\Bag\\Context::ATTRIBUTE_ACCESS:\n $out .= 'attribute(\\'' . $value . '\\')';\n\n break;\n\n case Ruler\\Model\\Bag\\Context::METHOD_ACCESS:\n $out .=\n 'call(' . \"\\n\" .\n $value->accept($this, $handle, $eldnah) . \"\\n\" .\n $_ . ' )';\n\n break;\n }\n\n --$this->_indentation;\n }\n\n return $out;\n }\n}\n" }, { "path": "Visitor/Disassembly.php", "content": "getExpression()->accept($this, $handle, $eldnah);\n } elseif ($element instanceof Ruler\\Model\\Operator) {\n $name = $element->getName();\n $arguments = [];\n\n foreach ($element->getArguments() as $argument) {\n $arguments[] = $argument->accept($this, $handle, $eldnah);\n }\n\n if (true === $element->isFunction()) {\n $out .= $name . '(' . implode(', ', $arguments) . ')';\n } else {\n if (!isset($arguments[1])) {\n $_out = $name . ' ' . $arguments[0];\n } else {\n $_out = '(' . $arguments[0] . ' ' . $name . ' ' . $arguments[1] . ')';\n }\n\n $out .= $_out;\n }\n\n $out .= $this->visitContext($element, $handle, $eldnah);\n } elseif ($element instanceof Ruler\\Model\\Bag\\Scalar) {\n $value = $element->getValue();\n\n if (true === $value) {\n $out .= 'true';\n } elseif (false === $value) {\n $out .= 'false';\n } elseif (null === $value) {\n $out .= 'null';\n } elseif (is_numeric($value)) {\n $out .= (string) $value;\n } else {\n $out .= '\\'' . str_replace(['\\\\', '\\''], ['\\\\', '\\\\\\''], $value) . '\\'';\n }\n } elseif ($element instanceof Ruler\\Model\\Bag\\RulerArray) {\n $values = [];\n\n foreach ($element->getArray() as $value) {\n $values[] = $value->accept($this, $handle, $eldnah);\n }\n\n $out .= '[' . implode(', ', $values) . ']';\n } elseif ($element instanceof Ruler\\Model\\Bag\\Context) {\n $out .= $element->getId() . $this->visitContext($element, $handle, $eldnah);\n }\n\n return $out;\n }\n\n /**\n * Visit a context.\n *\n * @param \\Hoa\\Ruler\\Model\\Bag\\Context $context Context.\n * @param mixed &$handle Handle (reference).\n * @param mixed $eldnah Handle (not reference).\n * @return mixed\n */\n protected function visitContext(Ruler\\Model\\Bag\\Context $context, &$handle, $eldnah)\n {\n $out = null;\n\n foreach ($context->getDimensions() as $dimension) {\n $value = $dimension[Ruler\\Model\\Bag\\Context::ACCESS_VALUE];\n\n switch ($dimension[Ruler\\Model\\Bag\\Context::ACCESS_TYPE]) {\n case Ruler\\Model\\Bag\\Context::ARRAY_ACCESS:\n $out .=\n '[' .\n $value->accept($this, $handle, $eldnah) .\n ']';\n\n break;\n\n case Ruler\\Model\\Bag\\Context::ATTRIBUTE_ACCESS:\n $out .= '.' . $value;\n\n break;\n\n case Ruler\\Model\\Bag\\Context::METHOD_ACCESS:\n $out .= '.' . $value->accept($this, $handle, $eldnah);\n\n break;\n }\n }\n\n return $out;\n }\n}\n" }, { "path": "Visitor/Interpreter.php", "content": "getId();\n $variable = false !== $eldnah;\n\n switch ($id) {\n case '#expression':\n $this->_root = new Ruler\\Model();\n $this->_root->expression = $element->getChild(0)->accept(\n $this,\n $handle,\n $eldnah\n );\n\n return $this->_root;\n\n case '#operation':\n $children = $element->getChildren();\n $left = $children[0]->accept($this, $handle, $eldnah);\n $right = $children[2]->accept($this, $handle, $eldnah);\n $name = $children[1]->accept($this, $handle, false);\n\n return $this->_root->_operator(\n $name,\n [$left, $right],\n false\n );\n\n case '#variable_access':\n $children = $element->getChildren();\n $name = $children[0]->accept($this, $handle, $eldnah);\n array_shift($children);\n\n foreach ($children as $child) {\n $_child = $child->accept($this, $handle, $eldnah);\n\n switch ($child->getId()) {\n case '#array_access':\n $name->index($_child);\n\n break;\n\n case '#attribute_access':\n $name->attribute($_child);\n\n break;\n\n case '#method_access':\n $name->call($_child);\n\n break;\n }\n }\n\n return $name;\n\n case '#array_access':\n return $element->getChild(0)->accept($this, $handle, $eldnah);\n\n case '#attribute_access':\n return $element->getChild(0)->accept($this, $handle, false);\n\n case '#method_access':\n return $element->getChild(0)->accept($this, $handle, $eldnah);\n\n case '#array_declaration':\n $out = [];\n\n foreach ($element->getChildren() as $child) {\n $out[] = $child->accept($this, $handle, $eldnah);\n }\n\n return $out;\n\n case '#function_call':\n $children = $element->getChildren();\n $name = $children[0]->accept($this, $handle, false);\n array_shift($children);\n\n $arguments = [];\n\n foreach ($children as $child) {\n $arguments[] = $child->accept($this, $handle, $eldnah);\n }\n\n return $this->_root->_operator(\n $name,\n $arguments,\n true\n );\n\n case '#and':\n case '#or':\n case '#xor':\n $name = substr($id, 1);\n $children = $element->getChildren();\n $left = $children[0]->accept($this, $handle, $eldnah);\n $right = $children[1]->accept($this, $handle, $eldnah);\n\n return $this->_root->operation(\n $name,\n [$left, $right]\n );\n\n case '#not':\n return $this->_root->operation(\n 'not',\n [$element->getChild(0)->accept($this, $handle, $eldnah)]\n );\n\n case 'token':\n $token = $element->getValueToken();\n $value = $element->getValueValue();\n\n switch ($token) {\n case 'identifier':\n return\n true === $variable\n ? $this->_root->variable($value)\n : $value;\n\n case 'true':\n return true;\n\n case 'false':\n return false;\n\n case 'null':\n return null;\n\n case 'float':\n return floatval($value);\n\n case 'integer':\n return intval($value);\n\n case 'string':\n return str_replace(\n '\\\\' . $value[0],\n $value[0],\n substr($value, 1, -1)\n );\n\n default:\n throw new Ruler\\Exception\\Interpreter(\n 'Token %s is unknown.',\n 0,\n $token\n );\n }\n\n break;\n\n default:\n throw new Ruler\\Exception\\Interpreter(\n 'Element %s is unknown.',\n 1,\n $id\n );\n }\n\n return;\n }\n\n /**\n * Get root.\n *\n * @return \\Hoa\\Ruler\\Model\n */\n public function getRoot()\n {\n return $this->_root;\n }\n}\n" }, { "path": "bors.toml", "content": "status = [\n \"continuous-integration/travis-ci/push\"\n]\ntimeout_sec = 1800\n" }, { "path": "composer.json", "content": "{\n \"name\" : \"hoa/ruler\",\n \"description\": \"The Hoa\\\\Ruler library.\",\n \"type\" : \"library\",\n \"keywords\" : [\"library\", \"ruler\"],\n \"homepage\" : \"https://hoa-project.net/\",\n \"license\" : \"BSD-3-Clause\",\n \"authors\" : [\n {\n \"name\" : \"Ivan Enderlin\",\n \"email\": \"ivan.enderlin@hoa-project.net\"\n },\n {\n \"name\" : \"Hoa community\",\n \"homepage\": \"https://hoa-project.net/\"\n }\n ],\n \"support\": {\n \"email\" : \"support@hoa-project.net\",\n \"irc\" : \"irc://chat.freenode.net/hoaproject\",\n \"forum\" : \"https://users.hoa-project.net/\",\n \"docs\" : \"https://central.hoa-project.net/Documentation/Library/Ruler\",\n \"source\": \"https://central.hoa-project.net/Resource/Library/Ruler\"\n },\n \"require\": {\n \"php\" : \">=5.5.0\",\n \"hoa/compiler\" : \"~3.0\",\n \"hoa/consistency\": \"~1.0\",\n \"hoa/exception\" : \"~1.0\",\n \"hoa/file\" : \"~1.0\",\n \"hoa/protocol\" : \"~1.0\",\n \"hoa/visitor\" : \"~2.0\"\n },\n \"require-dev\": {\n \"hoa/test\": \"~2.0\"\n },\n \"autoload\": {\n \"psr-4\": {\n \"Hoa\\\\Ruler\\\\\": \".\"\n }\n },\n \"extra\": {\n \"branch-alias\": {\n \"dev-master\": \"2.x-dev\"\n }\n }\n}\n" } ]