packages/deriver/tests/Unit/Deriver/Evaluator/Language/CallbacksTest.php
1<?php
2
3declare (strict_types=1);
4
5namespace Tests\Unit\Deriver\Evaluator\Language;
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\Enumeration\Choices;
12use Deriver\Deriver\Evaluator\Evaluator;
13use Deriver\Deriver\Evaluator\EvaluatorConfig;
14use Deriver\Deriver\Evaluator\Evidence\Frontier;
15use Deriver\Deriver\Evaluator\Index\DefinitionIndex;
16use Deriver\Deriver\Evaluator\Language\Callbacks as Subject;
17use Deriver\Deriver\Evaluator\Request\Budget;
18use Deriver\Deriver\Evaluator\Request\ReturnQuery;
19use Deriver\Deriver\Evaluator\Scalar\Identity;
20use Deriver\Deriver\Evaluator\Scope\Context;
21use Deriver\Deriver\Evaluator\Scope\Frame;
22use Deriver\Deriver\Evaluator\TargetProfile;
23use Deriver\Deriver\Evaluator\Term;
24use Deriver\Deriver\Lowerer\Declaration\Index;
25use Deriver\Deriver\MicroEvaluatorConversion;
26use Deriver\Deriver\Parser\Node\File;
27use Deriver\Deriver\Parser\Parser;
28use Deriver\Deriver\Parser\ParserConfig;
29use Deriver\Deriver\Providers\ProviderExpansion;
30use Deriver\Deriver\Publication\CandidateQuery;
31use Deriver\Deriver\Resolver\Resolver;
32use Deriver\Deriver\SnapshotIdentity;
33use Deriver\Deriver\Sources\Path;
34use Deriver\Deriver\Sources\Source;
35use Deriver\Deriver\Sources\Sources;
36use PHPUnit\Framework\Attributes\CoversNothing;
37use PHPUnit\Framework\TestCase;
38
39#[CoversNothing]
40final class CallbacksTest extends TestCase
41{
42 public function testApplyExpandsFiniteMap(): void
43 {
44 $source = 'function target(){return array_map(fn($x)=>$x+1,[1,2]);}';
45 $configuration = new DeriverConfig();
46 $budget = new Budget();
47 $contributions = new Contributions();
48 $target = new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision);
49 $providers = new ProviderExpansion(new Sources([new Source('candidate.php', '<?php ' . $source)]), array_map(Term::fromNative(...), $configuration->environment), $contributions);
50 $contributions1 = $providers->contributions;
51 $evaluators = new Evaluators(new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision), new Registrations($contributions1->evaluators, $contributions1->providers, $contributions1->domains, $contributions1->intrinsics, $contributions1->stateSlots), $configuration->standardEvaluators);
52 $settings = new EvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators, array_map((new MicroEvaluatorConversion())->convert(...), $configuration->evaluators));
53 $snapshotId = 'test';
54 $input = $providers->input;
55 $parser = new Parser(new ParserConfig($target->version));
56 $trees = array_map(static fn (Source $source1): File => (new Resolver())->resolve($parser->parse(new Source(Path::normalize($source1->path), $source1->contents, $source1->declarationsOnly))), iterator_to_array($input, false));
57 $program = new Index($snapshotId, $trees);
58 $engine = new Evaluator(new Context(new DefinitionIndex($program), $settings, $evaluators, $budget));
59 $symbol = 'target';
60 $graph = $engine->context->index->graph($symbol);
61 self::assertNotNull($graph);
62 $alternatives = (new Choices())->alternatives($engine->returns(new Frame($graph, 'source:' . $symbol), 64));
63 $values = array_reduce(iterator_to_array($alternatives, false), static function (array $values, array $alternative): array {
64 [$value, $_] = $alternative;
65 $values[(new Identity())->key($value)] = $value;
66 return $values;
67 }, []);
68 self::assertCount(1, $values);
69 $resolvedValue = array_values($values)[0];
70 self::assertInstanceOf(Term::class, $resolvedValue);
71 self::assertSame([2, 3], $resolvedValue->native());
72 }
73 public function testMapManyPreservesLongestInput(): void
74 {
75 $source = 'function target(){return array_map(null,[1,2],[3]);}';
76 $configuration = new DeriverConfig();
77 $budget = new Budget();
78 $contributions = new Contributions();
79 $target = new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision);
80 $providers = new ProviderExpansion(new Sources([new Source('candidate.php', '<?php ' . $source)]), array_map(Term::fromNative(...), $configuration->environment), $contributions);
81 $contributions1 = $providers->contributions;
82 $evaluators = new Evaluators(new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision), new Registrations($contributions1->evaluators, $contributions1->providers, $contributions1->domains, $contributions1->intrinsics, $contributions1->stateSlots), $configuration->standardEvaluators);
83 $settings = new EvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators, array_map((new MicroEvaluatorConversion())->convert(...), $configuration->evaluators));
84 $snapshotId = 'test';
85 $input = $providers->input;
86 $parser = new Parser(new ParserConfig($target->version));
87 $trees = array_map(static fn (Source $source1): File => (new Resolver())->resolve($parser->parse(new Source(Path::normalize($source1->path), $source1->contents, $source1->declarationsOnly))), iterator_to_array($input, false));
88 $program = new Index($snapshotId, $trees);
89 $engine = new Evaluator(new Context(new DefinitionIndex($program), $settings, $evaluators, $budget));
90 $symbol = 'target';
91 $graph = $engine->context->index->graph($symbol);
92 self::assertNotNull($graph);
93 $alternatives = (new Choices())->alternatives($engine->returns(new Frame($graph, 'source:' . $symbol), 64));
94 $values = array_reduce(iterator_to_array($alternatives, false), static function (array $values, array $alternative): array {
95 [$value, $_] = $alternative;
96 $values[(new Identity())->key($value)] = $value;
97 return $values;
98 }, []);
99 self::assertCount(1, $values);
100 $resolvedValue = array_values($values)[0];
101 self::assertInstanceOf(Term::class, $resolvedValue);
102 self::assertSame([[1, 3], [2, null]], $resolvedValue->native());
103 }
104 public function testSortUsesTheCapturedComparator(): void
105 {
106 $source = 'function target(){$a=[3,1,2];usort($a,fn($x,$y)=>$x<=>$y);return $a;}';
107 $configuration = new DeriverConfig();
108 $budget = new Budget();
109 $contributions = new Contributions();
110 $target = new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision);
111 $providers = new ProviderExpansion(new Sources([new Source('candidate.php', '<?php ' . $source)]), array_map(Term::fromNative(...), $configuration->environment), $contributions);
112 $contributions1 = $providers->contributions;
113 $evaluators = new Evaluators(new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision), new Registrations($contributions1->evaluators, $contributions1->providers, $contributions1->domains, $contributions1->intrinsics, $contributions1->stateSlots), $configuration->standardEvaluators);
114 $settings = new EvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators, array_map((new MicroEvaluatorConversion())->convert(...), $configuration->evaluators));
115 $snapshotId = 'test';
116 $input = $providers->input;
117 $parser = new Parser(new ParserConfig($target->version));
118 $trees = array_map(static fn (Source $source1): File => (new Resolver())->resolve($parser->parse(new Source(Path::normalize($source1->path), $source1->contents, $source1->declarationsOnly))), iterator_to_array($input, false));
119 $program = new Index($snapshotId, $trees);
120 $engine = new Evaluator(new Context(new DefinitionIndex($program), $settings, $evaluators, $budget));
121 $symbol = 'target';
122 $graph = $engine->context->index->graph($symbol);
123 self::assertNotNull($graph);
124 $alternatives = (new Choices())->alternatives($engine->returns(new Frame($graph, 'source:' . $symbol), 64));
125 $values = array_reduce(iterator_to_array($alternatives, false), static function (array $values, array $alternative): array {
126 [$value, $_] = $alternative;
127 $values[(new Identity())->key($value)] = $value;
128 return $values;
129 }, []);
130 self::assertCount(1, $values);
131 $resolvedValue = array_values($values)[0];
132 self::assertInstanceOf(Term::class, $resolvedValue);
133 self::assertSame([1, 2, 3], $resolvedValue->native());
134 }
135 public function testResidualKeepsItsCallbackAndOperands(): void
136 {
137 $array = Term::parameter('items', 'array');
138 $callback = Term::constant('f');
139 $result = (new Subject())->residual('array_map', [$callback, $array]);
140 self::assertSame([$callback, $array], $result->operands);
141 }
142 public function testCollectFiltersUsingTheCapturedPredicate(): void
143 {
144 $source = 'function target(){return array_filter([1,2,3],fn($x)=>$x>1);}';
145 $configuration = new DeriverConfig();
146 $budget = new Budget();
147 $contributions = new Contributions();
148 $prepared1Input = new Sources([new Source('candidate.php', '<?php ' . $source)]);
149 $prepared1Configuration = $configuration;
150 $prepared1Contributions = $contributions;
151 $prepared1Target = new TargetProfile($prepared1Configuration->phpVersion, $prepared1Configuration->integerBits, $prepared1Configuration->floatPrecision);
152 $prepared1Providers = new ProviderExpansion($prepared1Input, array_map(Term::fromNative(...), $prepared1Configuration->environment), $prepared1Contributions);
153 $contributions1 = $prepared1Providers->contributions;
154 $prepared1Evaluators = new Evaluators(new TargetProfile($prepared1Configuration->phpVersion, $prepared1Configuration->integerBits, $prepared1Configuration->floatPrecision), new Registrations($contributions1->evaluators, $contributions1->providers, $contributions1->domains, $contributions1->intrinsics, $contributions1->stateSlots), $prepared1Configuration->standardEvaluators);
155 $prepared1Settings = new EvaluatorConfig($prepared1Target, $prepared1Providers->environment, $prepared1Configuration->standardEvaluators, array_map((new MicroEvaluatorConversion())->convert(...), $prepared1Configuration->evaluators));
156 $prepared1Identity = new SnapshotIdentity($prepared1Providers->input, $prepared1Settings, $prepared1Evaluators, $prepared1Providers->manifest);
157 $snapshotId = $prepared1Identity->id;
158 $input = $prepared1Providers->input;
159 $parser = new Parser(new ParserConfig($prepared1Target->version));
160 $trees = array_map(static fn (Source $source1): File => (new Resolver())->resolve($parser->parse(new Source(Path::normalize($source1->path), $source1->contents, $source1->declarationsOnly))), iterator_to_array($input, false));
161 $prepared1Program = new Index($snapshotId, $trees);
162 $prepared1Snapshot = $prepared1Identity->snapshot(array_map(Frontier::fromDiagnostic(...), $prepared1Program->diagnostics()));
163 self::assertSame([1 => 2, 2 => 3], (new CandidateQuery(new DefinitionIndex($prepared1Program), $prepared1Settings, $prepared1Evaluators, $prepared1Snapshot))->derive(new ReturnQuery('target', budget: $budget))[0]->result);
164 }
165}
166