packages/deriver/tests/Unit/Deriver/Evaluator/Execution/Demand/ComponentsTest.php
1<?php
2
3declare (strict_types=1);
4
5namespace Tests\Unit\Deriver\Evaluator\Execution\Demand;
6
7use Deriver\Deriver\Contributions;
8use Deriver\Deriver\DeriverConfig;
9use Deriver\Deriver\Evaluator\Call\Evaluators;
10use Deriver\Deriver\Evaluator\Call\Extensions;
11use Deriver\Deriver\Evaluator\Call\Registrations;
12use Deriver\Deriver\Evaluator\Call\StateRegistry;
13use Deriver\Deriver\Evaluator\EvaluatorConfig;
14use Deriver\Deriver\Evaluator\Evidence\Frontier;
15use Deriver\Deriver\Evaluator\Execution\Completion\Completion;
16use Deriver\Deriver\Evaluator\Execution\Context;
17use Deriver\Deriver\Evaluator\Execution\Demand\Cell;
18use Deriver\Deriver\Evaluator\Execution\Demand\Components;
19use Deriver\Deriver\Evaluator\Execution\Demand\DemandKind;
20use Deriver\Deriver\Evaluator\Execution\Demand\Key;
21use Deriver\Deriver\Evaluator\Execution\Demand\Table;
22use Deriver\Deriver\Evaluator\Execution\EvaluatorConfig as ExecutionEvaluatorConfig;
23use Deriver\Deriver\Evaluator\Execution\State;
24use Deriver\Deriver\Evaluator\Request\Budget;
25use Deriver\Deriver\Evaluator\Request\QueryScope;
26use Deriver\Deriver\Evaluator\Request\ReturnQuery;
27use Deriver\Deriver\Evaluator\TargetProfile;
28use Deriver\Deriver\Evaluator\Term;
29use Deriver\Deriver\Execution\QueryExecution;
30use Deriver\Deriver\Lowerer\Declaration\CallableIdentity;
31use Deriver\Deriver\Lowerer\Declaration\CallableSource;
32use Deriver\Deriver\Lowerer\Declaration\Index;
33use Deriver\Deriver\Lowerer\Declaration\Indexer;
34use Deriver\Deriver\Lowerer\Declaration\Traits\Composition;
35use Deriver\Deriver\Lowerer\ExpressionLowering;
36use Deriver\Deriver\Lowerer\Graph\BasicBlock;
37use Deriver\Deriver\Lowerer\Graph\CallableGraph;
38use Deriver\Deriver\Lowerer\Graph\Instruction;
39use Deriver\Deriver\Lowerer\Graph\Terminator;
40use Deriver\Deriver\Lowerer\InstructionEmitter;
41use Deriver\Deriver\Lowerer\Lowerer;
42use Deriver\Deriver\Lowerer\LoweringScope;
43use Deriver\Deriver\Lowerer\StatementLowering;
44use Deriver\Deriver\MicroEvaluatorConversion;
45use Deriver\Deriver\Parser\Node\File;
46use Deriver\Deriver\Parser\Parser;
47use Deriver\Deriver\Parser\ParserConfig;
48use Deriver\Deriver\Parser\TargetSyntax;
49use Deriver\Deriver\Providers\ProviderExpansion;
50use Deriver\Deriver\Resolver\AssignmentPatterns;
51use Deriver\Deriver\Resolver\ClassScope;
52use Deriver\Deriver\Resolver\ExpressionValidation;
53use Deriver\Deriver\Resolver\MagicContext;
54use Deriver\Deriver\Resolver\Resolver;
55use Deriver\Deriver\SnapshotIdentity;
56use Deriver\Deriver\Sources\LineMap;
57use Deriver\Deriver\Sources\Path;
58use Deriver\Deriver\Sources\Source;
59use Deriver\Deriver\Sources\SourceRef;
60use Deriver\Deriver\Sources\Sources;
61use Deriver\Exception\ParserException;
62use Deriver\Exception\ResolutionException;
63use PHPUnit\Framework\Attributes\CoversClass;
64use PHPUnit\Framework\Attributes\Small;
65use PHPUnit\Framework\Attributes\UsesClass;
66use PHPUnit\Framework\TestCase;
67
68/**
69 * @covers \Deriver\Deriver\Evaluator\Execution\Demand\Components
70 */
71#[UsesClass(Resolver::class)]
72#[UsesClass(ExpressionValidation::class)]
73#[UsesClass(ResolutionException::class)]
74#[UsesClass(ParserConfig::class)]
75#[UsesClass(ParserException::class)]
76#[CoversClass(Components::class)]
77#[UsesClass(BasicBlock::class)]
78#[UsesClass(CallableGraph::class)]
79#[UsesClass(CallableIdentity::class)]
80#[UsesClass(Instruction::class)]
81#[UsesClass(Terminator::class)]
82#[UsesClass(Completion::class)]
83#[UsesClass(Context::class)]
84#[UsesClass(Cell::class)]
85#[UsesClass(Key::class)]
86#[UsesClass(Table::class)]
87#[UsesClass(State::class)]
88#[UsesClass(Extensions::class)]
89#[UsesClass(Evaluators::class)]
90#[UsesClass(StateRegistry::class)]
91#[UsesClass(DeriverConfig::class)]
92#[UsesClass(Sources::class)]
93#[UsesClass(Path::class)]
94#[UsesClass(Source::class)]
95#[UsesClass(TargetProfile::class)]
96#[UsesClass(Budget::class)]
97#[UsesClass(QueryScope::class)]
98#[UsesClass(ReturnQuery::class)]
99#[UsesClass(SourceRef::class)]
100#[UsesClass(Parser::class)]
101#[UsesClass(File::class)]
102#[UsesClass(Lowerer::class)]
103#[UsesClass(ExpressionLowering::class)]
104#[UsesClass(InstructionEmitter::class)]
105#[UsesClass(LoweringScope::class)]
106#[UsesClass(StatementLowering::class)]
107#[UsesClass(CallableSource::class)]
108#[UsesClass(Indexer::class)]
109#[UsesClass(Index::class)]
110#[UsesClass(Composition::class)]
111#[UsesClass(LineMap::class)]
112#[UsesClass(MagicContext::class)]
113#[UsesClass(AssignmentPatterns::class)]
114#[UsesClass(ClassScope::class)]
115#[UsesClass(TargetSyntax::class)]
116#[UsesClass(Term::class)]
117#[Small]
118final class ComponentsTest extends TestCase
119{
120 public function testFindGroupsMutualRecursionBeforeItsDependent(): void
121 {
122 $edges = ['root' => ['a'], 'a' => ['b'], 'b' => ['a']];
123 $source = '<?php function target(){return 1;}';
124 $budget = new Budget();
125 $configuration = new DeriverConfig();
126 $contributions = new Contributions();
127 $input = new Sources([new Source('fixture.php', $source)]);
128 $target = new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision);
129 $providers = new ProviderExpansion($input, array_map(Term::fromNative(...), $configuration->environment), $contributions);
130 $contributions1 = $providers->contributions;
131 $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);
132 $settings = new EvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators, array_map((new MicroEvaluatorConversion())->convert(...), $configuration->evaluators));
133 $identity = new SnapshotIdentity($providers->input, $settings, $evaluators, $providers->manifest);
134 $snapshotId = $identity->id;
135 $input1 = $providers->input;
136 $parser = new Parser(new ParserConfig($target->version));
137 $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($input1, false));
138 $program1 = new Index($snapshotId, $trees);
139 $execution = new QueryExecution($program1, new ExecutionEvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators), $evaluators, $identity->snapshot(array_map(Frontier::fromDiagnostic(...), $program1->diagnostics())));
140 $snapshotId1 = 'test';
141 $input2 = new Sources([new Source('fixture.php', $source)]);
142 $profile = $execution->configuration->target;
143 $parser1 = new Parser(new ParserConfig($profile->version));
144 $trees1 = array_map(static fn (Source $source2): File => (new Resolver())->resolve($parser1->parse(new Source(Path::normalize($source2->path), $source2->contents, $source2->declarationsOnly))), iterator_to_array($input2, false));
145 $program = new Index($snapshotId1, $trees1);
146 $context = new Context($program, new ReturnQuery('target', budget: $budget), $execution->configuration, $execution->evaluators);
147 $symbol = 'target';
148 $body = $context->program->callable($symbol);
149 self::assertNotNull($body);
150 $table1 = $context->summaries;
151 $keys = [];
152 $name = 'root';
153 $_ = ['a'];
154 $keys[$name] = new Key('test', $name, 'entry', DemandKind::Value, '', '', '', '');
155 $table1->register($keys[$name], $body, new State());
156 $name = 'a';
157 $_ = ['b'];
158 $keys[$name] = new Key('test', $name, 'entry', DemandKind::Value, '', '', '', '');
159 $table1->register($keys[$name], $body, new State());
160 $name = 'b';
161 $_ = ['a'];
162 $keys[$name] = new Key('test', $name, 'entry', DemandKind::Value, '', '', '', '');
163 $table1->register($keys[$name], $body, new State());
164 $name = 'root';
165 $dependencies = ['a'];
166 $table1->stack = [$keys[$name]->id()];
167 $dependency = 'a';
168 $table1->register($keys[$dependency], $body, new State());
169 $name = 'a';
170 $dependencies = ['b'];
171 $table1->stack = [$keys[$name]->id()];
172 $dependency = 'b';
173 $table1->register($keys[$dependency], $body, new State());
174 $name = 'b';
175 $dependencies = ['a'];
176 $table1->stack = [$keys[$name]->id()];
177 $dependency = 'a';
178 $table1->register($keys[$dependency], $body, new State());
179 $table1->stack = [];
180 $table = $table1;
181 $components = (new Components())->find($table);
182 self::assertCount(2, $components);
183 self::assertCount(2, $components[0]);
184 self::assertSame('root', $table->cells[$components[1][0]]->key->owner);
185 }
186 public function testOrderVisitsEveryNodeOnceIncludingSelfCycles(): void
187 {
188 $edges = ['a' => ['a'], 'b' => []];
189 $source = '<?php function target(){return 1;}';
190 $budget = new Budget();
191 $configuration = new DeriverConfig();
192 $contributions = new Contributions();
193 $input = new Sources([new Source('fixture.php', $source)]);
194 $target = new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision);
195 $providers = new ProviderExpansion($input, array_map(Term::fromNative(...), $configuration->environment), $contributions);
196 $contributions1 = $providers->contributions;
197 $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);
198 $settings = new EvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators, array_map((new MicroEvaluatorConversion())->convert(...), $configuration->evaluators));
199 $identity = new SnapshotIdentity($providers->input, $settings, $evaluators, $providers->manifest);
200 $snapshotId = $identity->id;
201 $input1 = $providers->input;
202 $parser = new Parser(new ParserConfig($target->version));
203 $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($input1, false));
204 $program1 = new Index($snapshotId, $trees);
205 $execution = new QueryExecution($program1, new ExecutionEvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators), $evaluators, $identity->snapshot(array_map(Frontier::fromDiagnostic(...), $program1->diagnostics())));
206 $snapshotId1 = 'test';
207 $input2 = new Sources([new Source('fixture.php', $source)]);
208 $profile = $execution->configuration->target;
209 $parser1 = new Parser(new ParserConfig($profile->version));
210 $trees1 = array_map(static fn (Source $source2): File => (new Resolver())->resolve($parser1->parse(new Source(Path::normalize($source2->path), $source2->contents, $source2->declarationsOnly))), iterator_to_array($input2, false));
211 $program = new Index($snapshotId1, $trees1);
212 $context = new Context($program, new ReturnQuery('target', budget: $budget), $execution->configuration, $execution->evaluators);
213 $symbol = 'target';
214 $body = $context->program->callable($symbol);
215 self::assertNotNull($body);
216 $table1 = $context->summaries;
217 $keys = [];
218 $name = 'a';
219 $_ = ['a'];
220 $keys[$name] = new Key('test', $name, 'entry', DemandKind::Value, '', '', '', '');
221 $table1->register($keys[$name], $body, new State());
222 $name = 'b';
223 $_ = [];
224 $keys[$name] = new Key('test', $name, 'entry', DemandKind::Value, '', '', '', '');
225 $table1->register($keys[$name], $body, new State());
226 $name = 'a';
227 $dependencies = ['a'];
228 $table1->stack = [$keys[$name]->id()];
229 $dependency = 'a';
230 $table1->register($keys[$dependency], $body, new State());
231 $name = 'b';
232 $dependencies = [];
233 $table1->stack = [$keys[$name]->id()];
234 $table1->stack = [];
235 $table = $table1;
236 $order = (new Components())->order($table);
237 self::assertCount(2, $order);
238 self::assertSame($order, array_values(array_unique($order)));
239 }
240}
241