/**
* Short interpreter.
*
* @param string $praspel Praspel.
* @param string $bindToClass Classname to bind.
* @return \Hoa\Praspel\Model\Clause
*/
public static function interpret($praspel, $bindToClass = null)
{
static $_compiler = null;
static $_interpreter = null;
if (null === $_compiler) {
$_compiler = Compiler\Llk::load(new File\Read('hoa://Library/Praspel/Grammar.pp'));
}
if (null === $_interpreter) {
$_interpreter = new Visitor\Interpreter();
}
$ast = $_compiler->parse($praspel);
if (null !== $bindToClass) {
$_interpreter->bindToClass($bindToClass);
}
return $_interpreter->visit($ast);
}
/**
* The entry method.
*
* @return int
*/
public function main()
{
while (false !== ($c = $this->getOption($v))) {
switch ($c) {
case 'h':
case '?':
return $this->usage();
case '__ambiguous':
$this->resolveOptionAmbiguity($v);
break;
}
}
Realdom::setDefaultSampler(new Math\Sampler\Random());
$compiler = Compiler\Llk::load(new File\Read('hoa://Library/Praspel/Grammar.pp'));
$interpreter = new Praspel\Visitor\Interpreter();
$dump = new Praspel\Visitor\Compiler();
$interpreter->visit($compiler->parse('@requires;'));
$words = [];
from('Hoathis or Hoa')->foreachImport('Realdom.*', function ($classname) use(&$words) {
$class = new \ReflectionClass($classname);
if ($class->isSubclassOf('\\Hoa\\Realdom')) {
$words[] = $classname::NAME;
}
return;
});
$readline = new Console\Readline();
$readline->setAutocompleter(new Console\Readline\Autocompleter\Word($words));
$expression = '.h';
do {
try {
if ('.' === $expression[0]) {
@(list($expression, $tail) = explode(' ', $expression));
}
switch ($expression) {
case '.h':
case '.help':
echo 'Usage:', "\n", ' .h[elp] to print this help;', "\n", ' .c[lear] to clear the screen;', "\n", ' .v[ariables] to print all variables;', "\n", ' .s[ample] to sample a value of a variable;', "\n", ' .u[nset] to unset a variable;', "\n", ' .d[ump] to dump the tree of the expression;', "\n", ' .q[uit] to quit.', "\n";
break;
case '.c':
case '.clear':
Console\Cursor::clear('↕');
break;
case '.v':
case '.variables':
foreach ($interpreter->getClause() as $variable) {
echo $variable->getName(), ': ', $variable->getHeld()->toPraspel(), "\n";
}
break;
case '.s':
case '.sample':
if (null === $tail) {
echo 'You must precise a variable name.', "\n";
break;
}
$_clause = $interpreter->getClause();
if (!isset($_clause[$tail])) {
echo 'Variable ', $tail, ' does not exist.', "\n";
break;
}
$_variable = $_clause[$tail];
var_export($_variable->sample());
echo "\n";
$_variable->reset();
break;
case '.u':
case '.unset':
if (null === $tail) {
echo 'You must precise a variable name.', "\n";
break;
}
$_clause = $interpreter->getClause();
unset($_clause[$tail]);
break;
case '.d':
case '.dump':
echo $dump->visit($interpreter->getRoot());
break;
case '.q':
case '.quit':
break 2;
default:
if (null === $expression) {
break;
}
$interpreter->visit($compiler->parse($expression, 'expression'));
break;
}
} catch (\Exception $e) {
echo $e->getMessage(), "\n";
}
echo "\n";
} while (false !== ($expression = $readline->readLine('> ')));
return;
}
