Lechimp\Dicto\Variables\WithProperty

Complexity

Total Complexity

10

Size/Duplication

Total Lines	73
Duplicated Lines	0 %

Coupling/Cohesion

Components	1
Dependencies	2

Test Coverage

Coverage

94.12%

Importance

Changes

0

5 Methods

Rating	Name	Duplication	Size	Complexity
A	__construct()	0	7	1
A	variable()	0	3	1
A	meaning()	0	3	1
B	argument_list()	0	21	5
A	compile()	0	9	2

<?php
/******************************************************************************
 * An implementation of dicto (scg.unibe.ch/dicto) in and for PHP.
 * 
 * Copyright (c) 2016, 2015 Richard Klees <richard.klees@rwth-aachen.de>
 *
 * This software is licensed under The MIT License. You should have received 
 * a copy of the license along with the code.
 */

namespace Lechimp\Dicto\Variables;

use Lechimp\Dicto\Graph\Node;

/**
 * A variable with a certain property.
 */
class WithProperty extends Variable {
    /**
     * @var Variable
     */
    private $other;

    /**
     * @var Property
     */
    private $property;

    /**
     * @var array
     */
    private $arguments;

    public function __construct(Variable $other, Property $property, array $arguments) {
        parent::__construct();
        assert('$property->arguments_are_valid($arguments)');
        $this->other = $other;
        $this->property = $property;
        $this->arguments = $arguments;
    }

    /**
     * @return  Variable
     */
    public function variable() {
        return $this->other;
    }

    /**
     * @inheritdocs
     */
    public function meaning() {
        return $this->variable()->meaning()." ".$this->property->parse_as().": ".$this->argument_list();
    }

    protected function argument_list() {
        $args = array();
        foreach ($this->arguments as $argument) {
            if (is_string($argument)) {
                $args[] = "\"$argument\"";
            }
            else if ($argument instanceof Variable) {
                $name = $argument->name();
                if ($name !== null) {
                    $args[] = $name;
                }
                else {
                    $args[] = "(".$argument->meaning().")";
                }
            }
            else {
                throw new \LogicException("Unknown arg type: ".gettype($argument));
            }
        }
        return implode(", ", $args);
    }

    /**
     * @inheritdocs
     */
    public function compile() {
        $left_condition = $this->other->compile();
        $property_condition = $this->property->compile($this->arguments);

        return function(Node $n) use ($left_condition, $property_condition) {
            return $left_condition($n)
                && $property_condition($n);
        };
    }
}