classPlanCompiler

packages/deriver/src/Deriver/Evaluator/Call/Plan/PlanCompiler.php:22

final class PlanCompiler

Restricted visibility: declared "@visibility root". Code outside that scope must not name this declaration.

Lowers trusted plans into the same SSA instructions and control-flow blocks as PHP.

Properties§

public array<int, list<Instruction>> $instructions = [0 => []]

source §

public array<int, Terminator> $terminators = []

source §

public int $current = 0

source §

Current block.

public int $sequence = 0

source §

SSA sequence.

public SourceRef $source

source §

Methods§

public function __construct(public SourceRef $source)

source §

Parameters

$source SourceRef Evaluator declaration provenance

public function compile(
    CallDescriptor $descriptor,
    SemanticPlan $plan,
    CallableGraph|null $declaration = null,
): CallableGraph

source §

Compiles an acyclic semantic plan.

Parameters

`$descriptor`	`CallDescriptor`	Evaluator signature and identity
`$plan`	`SemanticPlan`	Ordered API semantics
`$declaration`	`CallableGraph\|null`	Optional source declaration supplying lexical method metadata

Returns

CallableGraph Executable abstract graph

Test cases 2

Called from 3

Calls 10

method-call PlanCompiler::actions() line 57
new BoundInstruction line 62
new CallableGraph line 63
new BasicBlock line 63
new Terminator line 63
class-const TerminatorKind::Return() line 63
new Parameter line 65
function-call str_contains line 74
function-call explode line 74
class-const Visibility::Public() line 75

public function expression(Expression $expression): string

source §

Emits a evaluator expression as shared solver instructions.

Parameters

$expression Expression Declarative expression

Returns

string Result register

Throws

InvalidInputException If the plan contains an unsupported opcode

Test cases 6

Called from 6

Calls 18

class-const ExpressionKind::LocationRead() line 86
method-call PlanCompiler::emit() line 87
method-call PlanLocations::address() line 87
new PlanLocations line 87
function-call array_map line 89
method-call PlanCompiler::expression() line 89
class-const ExpressionKind::Parameter() line 90
class-const ExpressionKind::State() line 93
function-call in_array line 96
class-const ExpressionKind::Constant() line 96
class-const ExpressionKind::Binary() line 96
class-const ExpressionKind::Unary() line 96
class-const ExpressionKind::Cast() line 96
class-const ExpressionKind::Intrinsic() line 96
class-const ExpressionKind::External() line 96
class-const ExpressionKind::ArrayRead() line 96
class-const ExpressionKind::ArraySet() line 96
new InvalidInputException line 97

public function actions(list<Action> $actions): void

source §

Lowers ordered actions, keeping callback exceptions and effects in the core.

Parameters

$actions list<Action> Plan actions

Throws

InvalidInputException If the plan uses an unsupported action

Test cases 1

PlanCompilerTest::testActionsStopsAfterACompletion calls

Called from 3

Calls 2

method-call PlanActions::apply() line 110
new PlanActions line 110

public function choice(Action $action, string $condition): void

source §

Creates correlated evaluator branches with one continuation.

Parameters

`$action`	`Action`	Conditional action
`$condition`	`string`	Predicate register

Test cases 1

PlanCompilerTest::testChoiceKeepsBothCorrelatedCompletions calls

Called from 1

method-call Deriver\Deriver\Evaluator\Call\Plan\PlanActions::apply() packages/deriver/src/Deriver/Evaluator/Call/Plan/PlanActions.php:57

Calls 5

function-call count line 123
new Terminator line 129
class-const TerminatorKind::Branch() line 129
method-call PlanCompiler::actions() line 131
class-const TerminatorKind::Jump() line 132

public function emit(
    string $operation,
    list<string> $operands = [],
    string $name = '',
    Term|null $constant = null,
    list<Argument> $arguments = [],
    array<string, scalar|null> $attributes = [],
): string

source §

Emits one evaluator instruction with stable evaluator provenance.

Parameters

`$operation`	`string`	\Deriver\Deriver\Lowerer\Graph\Instruction operation
`$operands`	`list<string>`	Register inputs
`$name`	`string`	Operation-specific name
`$constant`	`Term\|null`	Literal payload
`$arguments`	`list<Argument>`	Call arguments
`$attributes`	`array<string, scalar\|null>`	Operation metadata

Returns

string Result register

Test cases 2

Called from 19

Calls 1

new BoundInstruction line 152

Test cases 67§

Test cases that cover or call this symbol, from the coverage report and from the analyzed test sources.

Dedicated tests 11

Other tests reaching this symbol 56

Relations§

Instantiated in 3

Method calls 24

Type declarations 3