public function runQuery($s)
{
$qc = new QueryCompiler($this);
$this->reset();
$this->p->deleteFrom("query\$");
$s = trim($s);
$query = $qc->compile($s);
if ($query == null) {
// query could not be compiled
$this->writeLn("Illegal query.");
return true;
} else {
if ($this->debugOn > 1) {
// if in debug mode, display query WAM code
$this->writeLn("----- BEGIN QUERYCODE -----");
$this->writeLn($query->__toString());
$this->writeLn("------ END QUERYCODE ------");
}
$this->p->addProgram($query);
// add query to program in memory and
$this->p->updateLabels();
// update the labels for jumping hin und her
}
// reset the WAM's registers and jump to label "query$" (the current query, of course)
$this->programCounter = $this->p->getLabelIndex("query\$");
$stackResult = array();
$getOut = false;
do {
$result = new Solution();
$this->stringBuffer = $result;
$ms = microtime(true);
$this->run();
$result->elapsedTime = microtime(true) - $ms;
$result->opCount = $this->opCount;
$result->backtrackCount = $this->backtrackCount;
$this->writeLn("");
if ($this->failed) {
// if execution failed, just tell that
$result->succeed = false;
$this->writeLn("Failed.");
$getOut = true;
} else {
$result->succeed = true;
// if there are any query variables (e.g. in "start(X, Y)", X and Y would be such variables),
// display their current values and ask the user if he/she wants to see more possible solutions
if ($this->displayQCount > 0) {
$this->write("Success: ");
$cnt = 0;
for ($i = 0; $i < 100; $i++) {
// yes, we do not allow more than 100 query variables!
if ($this->displayQValue[$i]) {
$key = $this->queryVariables[$i]->name;
$value = $this->queryVariables[$i];
$result->setQueryVar($key, $value->toArrayValue());
$cnt++;
// if Q[i] is to be displayed, just do that
$this->write($key . " = " . $value);
if ($cnt < $this->displayQCount) {
$this->write(", ");
} else {
$this->writeLn(".");
}
}
}
} else {
$this->writeLn("Success.");
}
// we see other choice while there is any
if ($this->choicePoint !== null) {
$this->backtrack();
} else {
$getOut = true;
}
}
$stackResult[] = $result;
} while (!$getOut);
$this->reset();
return $stackResult;
}
