packages/deriver/tests/Unit/Deriver/Selection/TargetResolutionTest.php

1<?php
2
3declare (strict_types=1);
4
5namespace Tests\Unit\Deriver\Selection;
6
7use Deriver\Deriver\Contributions;
8use Deriver\Deriver\DeriverConfig;
9use Deriver\Deriver\Evaluator\Call\Evaluators;
10use Deriver\Deriver\Evaluator\Call\Registrations;
11use Deriver\Deriver\Evaluator\EvaluatorConfig;
12use Deriver\Deriver\Evaluator\Evidence\Frontier;
13use Deriver\Deriver\Evaluator\Index\DefinitionIndex;
14use Deriver\Deriver\Evaluator\Projection;
15use Deriver\Deriver\Evaluator\Request\ParameterQuery;
16use Deriver\Deriver\Evaluator\Request\ReturnQuery;
17use Deriver\Deriver\Evaluator\Request\StateQuery;
18use Deriver\Deriver\Evaluator\Request\TupleQuery;
19use Deriver\Deriver\Evaluator\Request\ValueQuery;
20use Deriver\Deriver\Evaluator\TargetKind;
21use Deriver\Deriver\Evaluator\TargetProfile;
22use Deriver\Deriver\Evaluator\Term;
23use Deriver\Deriver\Lowerer\Declaration\Index;
24use Deriver\Deriver\MicroEvaluatorConversion;
25use Deriver\Deriver\Parser\Node\File;
26use Deriver\Deriver\Parser\Parser;
27use Deriver\Deriver\Parser\ParserConfig;
28use Deriver\Deriver\Providers\ProviderExpansion;
29use Deriver\Deriver\Publication\CandidateQuery;
30use Deriver\Deriver\Resolver\Resolver;
31use Deriver\Deriver\Selection\CallObservations;
32use Deriver\Deriver\Selection\TargetResolution;
33use Deriver\Deriver\SnapshotIdentity;
34use Deriver\Deriver\Sources\Path;
35use Deriver\Deriver\Sources\Source;
36use Deriver\Deriver\Sources\Sources;
37use Deriver\Exception\InvalidInputException;
38use PHPUnit\Framework\Attributes\CoversNothing;
39use PHPUnit\Framework\TestCase;
40
41#[CoversNothing]
42final class TargetResolutionTest extends TestCase
43{
44    public function testResolveBindsEverySupportedQueryFormToItsOwnerAndSelection(): void
45    {
46        $prepared1Input = new Sources([new Source('candidate.php', '<?php ' . 'function target($x){$y = $x; observe($y, 2);}')]);
47        $prepared1Configuration = new DeriverConfig();
48        $prepared1Contributions = new Contributions();
49        $prepared1Target = new TargetProfile($prepared1Configuration->phpVersion, $prepared1Configuration->integerBits, $prepared1Configuration->floatPrecision);
50        $prepared1Providers = new ProviderExpansion($prepared1Input, array_map(Term::fromNative(...), $prepared1Configuration->environment), $prepared1Contributions);
51        $contributions = $prepared1Providers->contributions;
52        $prepared1Evaluators = new Evaluators(new TargetProfile($prepared1Configuration->phpVersion, $prepared1Configuration->integerBits, $prepared1Configuration->floatPrecision), new Registrations($contributions->evaluators, $contributions->providers, $contributions->domains, $contributions->intrinsics, $contributions->stateSlots), $prepared1Configuration->standardEvaluators);
53        $prepared1Settings = new EvaluatorConfig($prepared1Target, $prepared1Providers->environment, $prepared1Configuration->standardEvaluators, array_map((new MicroEvaluatorConversion())->convert(...), $prepared1Configuration->evaluators));
54        $prepared1Identity = new SnapshotIdentity($prepared1Providers->input, $prepared1Settings, $prepared1Evaluators, $prepared1Providers->manifest);
55        $snapshotId = $prepared1Identity->id;
56        $input = $prepared1Providers->input;
57        $parser = new Parser(new ParserConfig($prepared1Target->version));
58        $trees = array_map(static fn (Source $source): File => (new Resolver())->resolve($parser->parse(new Source(Path::normalize($source->path), $source->contents, $source->declarationsOnly))), iterator_to_array($input, false));
59        $prepared1Program = new Index($snapshotId, $trees);
60        $prepared1Snapshot = $prepared1Identity->snapshot(array_map(Frontier::fromDiagnostic(...), $prepared1Program->diagnostics()));
61        $session = new CandidateQuery(new DefinitionIndex($prepared1Program), $prepared1Settings, $prepared1Evaluators, $prepared1Snapshot);
62        $resolution = new TargetResolution($prepared1Program, $prepared1Snapshot->id);
63        $site = (new CallObservations($prepared1Program, $prepared1Evaluators))->find('observe')[0];
64        $return = $resolution->resolve(new ReturnQuery('target'));
65        self::assertSame(['target', TargetKind::Return, 'target'], [$return->owner, $return->kind, $return->selector]);
66        $parameter = $resolution->resolve(new ParameterQuery('target', 'x'));
67        self::assertSame(['target', TargetKind::Parameter, 'x', 'x'], [$parameter->owner, $parameter->kind, $parameter->selector, $parameter->parameter]);
68        $value = $resolution->resolve(new ValueQuery($site->argument(0), new Projection([0])));
69        self::assertSame(['target', TargetKind::Value, $site->argument(0)->register], [$value->owner, $value->kind, $value->register]);
70        self::assertSame($site->argument(0)->source, $value->source);
71        self::assertSame([0], $value->projection?->path);
72        $tuple = $resolution->resolve(new TupleQuery($site->beforeInvocation(), ['left' => $site->argument(0), 'right' => $site->argument(1)]));
73        self::assertSame(TargetKind::Tuple, $tuple->kind);
74        self::assertSame(['left' => $site->argument(0)->register, 'right' => $site->argument(1)->register], $tuple->registers);
75        $state = $resolution->resolve(new StateQuery($site->beforeInvocation(), 'y'));
76        self::assertSame(['target', TargetKind::State, 'y', 'y'], [$state->owner, $state->kind, $state->selector, $state->variable]);
77        self::assertSame($site->beforeInvocation()->instruction, $state->point?->instruction);
78    }
79    public function testResolveRejectsAReferenceFromAnotherSnapshot(): void
80    {
81        $prepared2Input = new Sources([new Source('candidate.php', '<?php ' . 'function target($x){observe($x);}')]);
82        $prepared2Configuration = new DeriverConfig();
83        $prepared2Contributions = new Contributions();
84        $prepared2Target = new TargetProfile($prepared2Configuration->phpVersion, $prepared2Configuration->integerBits, $prepared2Configuration->floatPrecision);
85        $prepared2Providers = new ProviderExpansion($prepared2Input, array_map(Term::fromNative(...), $prepared2Configuration->environment), $prepared2Contributions);
86        $contributions = $prepared2Providers->contributions;
87        $prepared2Evaluators = new Evaluators(new TargetProfile($prepared2Configuration->phpVersion, $prepared2Configuration->integerBits, $prepared2Configuration->floatPrecision), new Registrations($contributions->evaluators, $contributions->providers, $contributions->domains, $contributions->intrinsics, $contributions->stateSlots), $prepared2Configuration->standardEvaluators);
88        $prepared2Settings = new EvaluatorConfig($prepared2Target, $prepared2Providers->environment, $prepared2Configuration->standardEvaluators, array_map((new MicroEvaluatorConversion())->convert(...), $prepared2Configuration->evaluators));
89        $prepared2Identity = new SnapshotIdentity($prepared2Providers->input, $prepared2Settings, $prepared2Evaluators, $prepared2Providers->manifest);
90        $snapshotId = $prepared2Identity->id;
91        $input = $prepared2Providers->input;
92        $parser = new Parser(new ParserConfig($prepared2Target->version));
93        $trees = array_map(static fn (Source $source): File => (new Resolver())->resolve($parser->parse(new Source(Path::normalize($source->path), $source->contents, $source->declarationsOnly))), iterator_to_array($input, false));
94        $prepared2Program = new Index($snapshotId, $trees);
95        $prepared2Snapshot = $prepared2Identity->snapshot(array_map(Frontier::fromDiagnostic(...), $prepared2Program->diagnostics()));
96        $session = new CandidateQuery(new DefinitionIndex($prepared2Program), $prepared2Settings, $prepared2Evaluators, $prepared2Snapshot);
97        $prepared3Input = new Sources([new Source('candidate.php', '<?php ' . 'function target($x){observe($x, 1);}')]);
98        $prepared3Configuration = new DeriverConfig();
99        $prepared3Contributions = new Contributions();
100        $prepared3Target = new TargetProfile($prepared3Configuration->phpVersion, $prepared3Configuration->integerBits, $prepared3Configuration->floatPrecision);
101        $prepared3Providers = new ProviderExpansion($prepared3Input, array_map(Term::fromNative(...), $prepared3Configuration->environment), $prepared3Contributions);
102        $contributions1 = $prepared3Providers->contributions;
103        $prepared3Evaluators = new Evaluators(new TargetProfile($prepared3Configuration->phpVersion, $prepared3Configuration->integerBits, $prepared3Configuration->floatPrecision), new Registrations($contributions1->evaluators, $contributions1->providers, $contributions1->domains, $contributions1->intrinsics, $contributions1->stateSlots), $prepared3Configuration->standardEvaluators);
104        $prepared3Settings = new EvaluatorConfig($prepared3Target, $prepared3Providers->environment, $prepared3Configuration->standardEvaluators, array_map((new MicroEvaluatorConversion())->convert(...), $prepared3Configuration->evaluators));
105        $prepared3Identity = new SnapshotIdentity($prepared3Providers->input, $prepared3Settings, $prepared3Evaluators, $prepared3Providers->manifest);
106        $snapshotId1 = $prepared3Identity->id;
107        $input1 = $prepared3Providers->input;
108        $parser1 = new Parser(new ParserConfig($prepared3Target->version));
109        $trees1 = array_map(static fn (Source $source1): File => (new Resolver())->resolve($parser1->parse(new Source(Path::normalize($source1->path), $source1->contents, $source1->declarationsOnly))), iterator_to_array($input1, false));
110        $prepared3Program = new Index($snapshotId1, $trees1);
111        $prepared3Snapshot = $prepared3Identity->snapshot(array_map(Frontier::fromDiagnostic(...), $prepared3Program->diagnostics()));
112        $other = new CandidateQuery(new DefinitionIndex($prepared3Program), $prepared3Settings, $prepared3Evaluators, $prepared3Snapshot);
113        $this->expectException(InvalidInputException::class);
114        (new TargetResolution($prepared2Program, $prepared2Snapshot->id))->resolve(new ValueQuery((new CallObservations($prepared3Program, $prepared3Evaluators))->find('observe')[0]->argument(0)));
115    }
116}
117