final class MutationImpact

Derives observable execution metadata from a shadow-state transition.

Type Aliases§

Row = import from TableDefinition

Methods§

public function __construct(
    private ShadowMutation $mutation,
    array<int, Row> $before,
    array<int, Row> $input,
    array<int, Row> $after,
    private RowMultiset $rows = new \ZtdQuery\Shadow\Row\RowMultiset(),
    private MutationRowIdentity $identity = new \ZtdQuery\Shadow\Mutation\MutationRowIdentity(),
)

Parameters

$mutationShadowMutationThe statement whose effect this reports
$beforearray<int, Row>The table as it stood
$inputarray<int, Row>The rows the statement was given
$afterarray<int, Row>The table as it stands now
$rowsRowMultisetAccounts for rows that repeat
$identityMutationRowIdentityTakes the carried names back off a row
Test cases 16
Calls 3

Private surface 6§

Implementation details, listed for orientation only.

private RowSet $before
private RowSet $input
private RowSet $after
private ShadowMutation $mutation
private RowMultiset $rows = new \ZtdQuery\Shadow\Row\RowMultiset()
private MutationRowIdentity $identity = new \ZtdQuery\Shadow\Mutation\MutationRowIdentity()

Test cases 19§

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

Dedicated tests 16
Other tests reaching this symbol 3

Relations§

Instantiated in 1
Method calls 3
Type declarations 3