Init

Author: janbarasek

README.md

@@ -0,0 +1,12 @@
+Math PHP computational engine
+=============================
+
+Extremely complex library for advance work with math patterns, tokens and computing.
+
+> Please help improve this documentation by sending a Pull request.
+
+Install by Composer:
+
+```
+composer require mathematicator-core/engine
+```

composer.json

@@ -0,0 +1,20 @@
+{
+	"name": "mathematicator-core/engine",
+	"description": "Math computational Engine",
+	"homepage": "https://github.com/mathematicator-core/engine",
+	"authors": [
+		{
+			"name": "Jan Barášek",
+			"homepage": "http://baraja.cz"
+		}
+	],
+	"require": {
+		"php": ">=7.1"
+	},
+	"autoload": {
+		"classmap": [
+			"src/"
+		]
+	},
+	"minimum-stability": "stable"
+}

config.neon

@@ -0,0 +1,8 @@
+services:
+	- Mathematicator\Engine\Engine
+	- Mathematicator\Engine\QueryNormalizer
+	- Model\Math\NumberRewriter
+
+orm.annotations:
+	paths:
+		Mathematicator: %appDir%/../vendor/mathematicator-core

src/Engine.php

@@ -0,0 +1,87 @@
+<?php
+
+namespace Mathematicator\Engine;
+
+
+use Mathematicator\Router\Router;
+use Mathematicator\SearchController\BaseController;
+use Nette\DI\Container;
+use Tracy\Debugger;
+
+class Engine
+{
+
+	/**
+	 * @var Router
+	 */
+	private $router;
+
+	/**
+	 * @var Container
+	 */
+	private $serviceFactory;
+
+	/**
+	 * @param Router $router
+	 * @param Container $container
+	 */
+	public function __construct(Router $router, Container $container)
+	{
+		$this->router = $router;
+		$this->serviceFactory = $container;
+	}
+
+	/**
+	 * @param string $query
+	 * @return EngineResult
+	 */
+	public function compute(string $query): EngineResult
+	{
+		if (preg_match('/^(?<left>.+?)\s*vs\.?\s*(?<right>.+?)$/', $query, $versus)) {
+			$result = new EngineMultiResult($query, null);
+
+			$result->addResult($this->compute($versus['left']), 'left');
+			$result->addResult($this->compute($versus['right']), 'right');
+
+			return $result;
+		}
+
+		$callback = $this->router->routeQuery($query);
+		$callbackResult = $this->callCallback($query, $callback);
+
+		$result = new EngineSingleResult(
+			$query,
+			preg_replace('/^.+\\\\([^\\\\]+)$/', '$1', $callback),
+			$callbackResult === null ? null : $callbackResult->getInterpret(),
+			$callbackResult === null ? null : $callbackResult->getBoxes(),
+			$callbackResult === null ? [] : $callbackResult->getSources()
+		);
+		$result->setTime((int) round(Debugger::timer('search_request') * 1000));
+
+		return $result;
+	}
+
+	/**
+	 * @param string $query
+	 * @param string $callback
+	 * @return BaseController|null
+	 */
+	private function callCallback(string $query, string $callback): ?BaseController
+	{
+		/** @var BaseController|null $return */
+		$return = $this->serviceFactory->getByType($callback);
+
+		if ($return !== null) {
+			$return->setQuery($query);
+			$return->resetBoxes();
+
+			try {
+				$return->actionDefault();
+			} catch (TerminateException $e) {
+			}
+		}
+
+		return $return;
+	}
+
+}

src/Entity/EngineMultiResult.php

@@ -0,0 +1,51 @@
+<?php
+
+namespace Mathematicator\Engine;
+
+
+class EngineMultiResult extends EngineResult
+{
+
+	/**
+	 * @var EngineSingleResult[]
+	 */
+	private $results;
+
+	/**
+	 * @return EngineSingleResult[]
+	 */
+	public function getResults(): array
+	{
+		return $this->results;
+	}
+
+	/**
+	 * @param string|null $name
+	 * @return EngineResult
+	 * @throws NoResultsException
+	 */
+	public function getResult(string $name = null): EngineResult
+	{
+		if (!isset($this->results[$name])) {
+			throw new NoResultsException('Result "' . $name . '" does not exists.');
+		}
+
+		return $this->results[$name];
+	}
+
+	/**
+	 * @param EngineResult $result
+	 * @param string|null $name
+	 */
+	public function addResult(EngineResult $result, ?string $name = null): void
+	{
+		if ($name !== null) {
+			$this->results[$name] = $result;
+		} else {
+			$this->results[] = $result;
+		}
+
+		$this->setTime($this->getTime() + $result->getTime());
+	}
+
+}

src/Entity/EngineResult.php

@@ -0,0 +1,79 @@
+<?php
+
+namespace Mathematicator\Engine;
+
+
+use Nette\SmartObject;
+use Nette\Utils\Strings;
+
+class EngineResult
+{
+
+	use SmartObject;
+
+	/**
+	 * @var string
+	 */
+	private $query;
+
+	/**
+	 * @var string|null
+	 */
+	private $matchedRoute;
+
+	/**
+	 * @var int
+	 */
+	private $time;
+
+	/**
+	 * @param string $query
+	 * @param string|null $matchedRoute
+	 */
+	public function __construct(string $query, ?string $matchedRoute)
+	{
+		$this->query = $query;
+		$this->matchedRoute = $matchedRoute;
+	}
+
+	/**
+	 * @return string
+	 */
+	public function getQuery(): string
+	{
+		return $this->query;
+	}
+
+	/**
+	 * @return int
+	 */
+	public function getLength(): int
+	{
+		return Strings::length($this->getQuery());
+	}
+
+	/**
+	 * @return string|null
+	 */
+	public function getMatchedRoute(): ?string
+	{
+		return $this->matchedRoute;
+	}
+
+	/**
+	 * @return int
+	 */
+	public function getTime(): int
+	{
+		return $this->time ?? 0;
+	}
+
+	/**
+	 * @param int $time
+	 */
+	public function setTime(int $time): void
+	{
+		$this->time = $time;
+	}
+
+}

src/Entity/EngineSingleResult.php

@@ -0,0 +1,65 @@
+<?php
+
+namespace Mathematicator\Engine;
+
+
+use Mathematicator\Search\Box;
+
+class EngineSingleResult extends EngineResult
+{
+
+	/**
+	 * @var Box|null
+	 */
+	private $interpret;
+
+	/**
+	 * @var Box[]
+	 */
+	private $boxes;
+
+	/**
+	 * @var Source[]
+	 */
+	private $sources = [];
+
+	/**
+	 * @param string $query
+	 * @param string $matchedRoute
+	 * @param Box|null $interpret
+	 * @param Box[] $boxes
+	 * @param Source[] $sources
+	 */
+	public function __construct(string $query, string $matchedRoute, ?Box $interpret, array $boxes, array $sources = [])
+	{
+		parent::__construct($query, $matchedRoute);
+		$this->interpret = $interpret;
+		$this->boxes = $boxes;
+		$this->sources = $sources;
+	}
+
+	/**
+	 * @return Box[]
+	 */
+	public function getBoxes(): array
+	{
+		return $this->boxes;
+	}
+
+	/**
+	 * @return Box|null
+	 */
+	public function getInterpret(): ?Box
+	{
+		return $this->interpret;
+	}
+
+	/**
+	 * @return Source[]
+	 */
+	public function getSources(): array
+	{
+		return $this->sources;
+	}
+
+}