public function resolve(State $state)
{
$this->state = $state;
// First resolve properties
$this->resolveAllProperties();
$resolved = new SplObjectStorage();
$unresolved = new SplObjectStorage();
foreach ($state->variables as $op) {
if (!empty($op->type) && $op->type->type !== Type::TYPE_UNKNOWN) {
$resolved[$op] = $op->type;
} elseif ($op instanceof Operand\BoundVariable && $op->scope === Operand\BoundVariable::SCOPE_OBJECT) {
$resolved[$op] = $op->type = Type::fromDecl($op->extra->value);
} elseif ($op instanceof Operand\Literal) {
$resolved[$op] = $op->type = Type::fromValue($op->value);
} else {
$unresolved[$op] = Type::unknown();
}
}
if (count($unresolved) === 0) {
// short-circuit
return;
}
$round = 1;
do {
$start = count($resolved);
$toRemove = [];
foreach ($unresolved as $k => $var) {
$type = $this->resolveVar($var, $resolved);
if ($type) {
$toRemove[] = $var;
$resolved[$var] = $type;
}
}
foreach ($toRemove as $remove) {
$unresolved->detach($remove);
}
} while (count($unresolved) > 0 && $start < count($resolved));
foreach ($resolved as $var) {
$var->type = $resolved[$var];
}
foreach ($unresolved as $var) {
$var->type = $unresolved[$var];
}
}
