packages/deriver/tests/Unit/Deriver/Evaluator/Language/ExpressionsTest.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\Index\DefinitionIndex;
15use Deriver\Deriver\Evaluator\Request\Budget;
16use Deriver\Deriver\Evaluator\Scalar\Identity;
17use Deriver\Deriver\Evaluator\Scope\Context;
18use Deriver\Deriver\Evaluator\Scope\Frame;
19use Deriver\Deriver\Evaluator\TargetProfile;
20use Deriver\Deriver\Evaluator\Term;
21use Deriver\Deriver\Lowerer\Declaration\Index;
22use Deriver\Deriver\MicroEvaluatorConversion;
23use Deriver\Deriver\Parser\Node\File;
24use Deriver\Deriver\Parser\Parser;
25use Deriver\Deriver\Parser\ParserConfig;
26use Deriver\Deriver\Providers\ProviderExpansion;
27use Deriver\Deriver\Resolver\Resolver;
28use Deriver\Deriver\Sources\Path;
29use Deriver\Deriver\Sources\Source;
30use Deriver\Deriver\Sources\Sources;
31use PHPUnit\Framework\Attributes\CoversNothing;
32use PHPUnit\Framework\TestCase;
33
34#[CoversNothing]
35final class ExpressionsTest extends TestCase
36{
37    public function testConstantUsesLexicalDeclarations(): void
38    {
39        $source = 'class C{const X=2+3;}function target(){return C::X;}';
40        $configuration = new DeriverConfig();
41        $budget = new Budget();
42        $contributions = new Contributions();
43        $target = new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision);
44        $providers = new ProviderExpansion(new Sources([new Source('candidate.php', '<?php ' . $source)]), array_map(Term::fromNative(...), $configuration->environment), $contributions);
45        $contributions1 = $providers->contributions;
46        $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);
47        $settings = new EvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators, array_map((new MicroEvaluatorConversion())->convert(...), $configuration->evaluators));
48        $snapshotId = 'test';
49        $input = $providers->input;
50        $parser = new Parser(new ParserConfig($target->version));
51        $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));
52        $program = new Index($snapshotId, $trees);
53        $engine = new Evaluator(new Context(new DefinitionIndex($program), $settings, $evaluators, $budget));
54        $symbol = 'target';
55        $graph = $engine->context->index->graph($symbol);
56        self::assertNotNull($graph);
57        $alternatives = (new Choices())->alternatives($engine->returns(new Frame($graph, 'source:' . $symbol), 64));
58        $values = array_reduce(iterator_to_array($alternatives, false), static function (array $values, array $alternative): array {
59            [$value, $_] = $alternative;
60            $values[(new Identity())->key($value)] = $value;
61            return $values;
62        }, []);
63        self::assertCount(1, $values);
64        $resolvedValue = array_values($values)[0];
65        self::assertInstanceOf(Term::class, $resolvedValue);
66        self::assertSame(5, $resolvedValue->native());
67    }
68    public function testCopyAllocatesADistinctIdentity(): void
69    {
70        $source = 'class C{}function target(){$a=new C;$b=clone $a;return $a===$b;}';
71        $configuration = new DeriverConfig();
72        $budget = new Budget();
73        $contributions = new Contributions();
74        $target = new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision);
75        $providers = new ProviderExpansion(new Sources([new Source('candidate.php', '<?php ' . $source)]), array_map(Term::fromNative(...), $configuration->environment), $contributions);
76        $contributions1 = $providers->contributions;
77        $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);
78        $settings = new EvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators, array_map((new MicroEvaluatorConversion())->convert(...), $configuration->evaluators));
79        $snapshotId = 'test';
80        $input = $providers->input;
81        $parser = new Parser(new ParserConfig($target->version));
82        $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));
83        $program = new Index($snapshotId, $trees);
84        $engine = new Evaluator(new Context(new DefinitionIndex($program), $settings, $evaluators, $budget));
85        $symbol = 'target';
86        $graph = $engine->context->index->graph($symbol);
87        self::assertNotNull($graph);
88        $alternatives = (new Choices())->alternatives($engine->returns(new Frame($graph, 'source:' . $symbol), 64));
89        $values = array_reduce(iterator_to_array($alternatives, false), static function (array $values, array $alternative): array {
90            [$value, $_] = $alternative;
91            $values[(new Identity())->key($value)] = $value;
92            return $values;
93        }, []);
94        self::assertCount(1, $values);
95        $resolvedValue = array_values($values)[0];
96        self::assertInstanceOf(Term::class, $resolvedValue);
97        self::assertSame(false, $resolvedValue->native());
98    }
99    public function testStringUsesCapturedMagicMethod(): void
100    {
101        $source = 'class C{function __toString(){return "text";}}function target(){return (string)new C;}';
102        $configuration = new DeriverConfig();
103        $budget = new Budget();
104        $contributions = new Contributions();
105        $target = new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision);
106        $providers = new ProviderExpansion(new Sources([new Source('candidate.php', '<?php ' . $source)]), array_map(Term::fromNative(...), $configuration->environment), $contributions);
107        $contributions1 = $providers->contributions;
108        $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);
109        $settings = new EvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators, array_map((new MicroEvaluatorConversion())->convert(...), $configuration->evaluators));
110        $snapshotId = 'test';
111        $input = $providers->input;
112        $parser = new Parser(new ParserConfig($target->version));
113        $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));
114        $program = new Index($snapshotId, $trees);
115        $engine = new Evaluator(new Context(new DefinitionIndex($program), $settings, $evaluators, $budget));
116        $symbol = 'target';
117        $graph = $engine->context->index->graph($symbol);
118        self::assertNotNull($graph);
119        $alternatives = (new Choices())->alternatives($engine->returns(new Frame($graph, 'source:' . $symbol), 64));
120        $values = array_reduce(iterator_to_array($alternatives, false), static function (array $values, array $alternative): array {
121            [$value, $_] = $alternative;
122            $values[(new Identity())->key($value)] = $value;
123            return $values;
124        }, []);
125        self::assertCount(1, $values);
126        $resolvedValue = array_values($values)[0];
127        self::assertInstanceOf(Term::class, $resolvedValue);
128        self::assertSame('text', $resolvedValue->native());
129    }
130    public function testEnumCasesKeepsDeclarationOrder(): void
131    {
132        $source = 'enum E:string{case A="a";case B="b";}function target(){return E::cases()[1]->name;}';
133        $configuration = new DeriverConfig();
134        $budget = new Budget();
135        $contributions = new Contributions();
136        $target = new TargetProfile($configuration->phpVersion, $configuration->integerBits, $configuration->floatPrecision);
137        $providers = new ProviderExpansion(new Sources([new Source('candidate.php', '<?php ' . $source)]), array_map(Term::fromNative(...), $configuration->environment), $contributions);
138        $contributions1 = $providers->contributions;
139        $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);
140        $settings = new EvaluatorConfig($target, $providers->environment, $configuration->standardEvaluators, array_map((new MicroEvaluatorConversion())->convert(...), $configuration->evaluators));
141        $snapshotId = 'test';
142        $input = $providers->input;
143        $parser = new Parser(new ParserConfig($target->version));
144        $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));
145        $program = new Index($snapshotId, $trees);
146        $engine = new Evaluator(new Context(new DefinitionIndex($program), $settings, $evaluators, $budget));
147        $symbol = 'target';
148        $graph = $engine->context->index->graph($symbol);
149        self::assertNotNull($graph);
150        $alternatives = (new Choices())->alternatives($engine->returns(new Frame($graph, 'source:' . $symbol), 64));
151        $values = array_reduce(iterator_to_array($alternatives, false), static function (array $values, array $alternative): array {
152            [$value, $_] = $alternative;
153            $values[(new Identity())->key($value)] = $value;
154            return $values;
155        }, []);
156        self::assertCount(1, $values);
157        $resolvedValue = array_values($values)[0];
158        self::assertInstanceOf(Term::class, $resolvedValue);
159        self::assertSame('B', $resolvedValue->native());
160    }
161
162    public function testIdentityResolvesInheritedMethodsOnFirstClassCallables(): void
163    {
164        $source = new Source('subject.php', '<?php class Base { public function value() { return 17; } } class Child extends Base {} function subject() { $callback = (new Child())->value(...); return $callback(); }');
165        $tree = (new Resolver())->resolve((new Parser(new ParserConfig('8.3')))->parse($source));
166        $index = new DefinitionIndex(new Index('test', [$tree]));
167        $profile = new TargetProfile('8.3');
168        $engine = new Evaluator(new Context($index, new EvaluatorConfig($profile), new Evaluators($profile), new Budget()));
169        $graph = $index->graph('subject');
170        self::assertNotNull($graph);
171        $value = $engine->returns(new Frame($graph, 'subject'), 64);
172        $alternatives = iterator_to_array((new Choices())->alternatives($value), false);
173        self::assertCount(1, $alternatives);
174        self::assertSame(17, $alternatives[0][0]->native());
175    }
176
177    public function testObjectKeepsConvertedPropertyWritesDistinct(): void
178    {
179        $source = new Source('subject.php', '<?php function subject() { $a = (object) ["value" => 1]; $b = (object) ["value" => 2]; $a->value = 17; return [$a->value, $b->value]; }');
180        $tree = (new Resolver())->resolve((new Parser(new ParserConfig('8.3')))->parse($source));
181        $index = new DefinitionIndex(new Index('test', [$tree]));
182        $profile = new TargetProfile('8.3');
183        $engine = new Evaluator(new Context($index, new EvaluatorConfig($profile), new Evaluators($profile), new Budget()));
184        $graph = $index->graph('subject');
185        self::assertNotNull($graph);
186        $value = $engine->returns(new Frame($graph, 'subject'), 64);
187        $alternatives = iterator_to_array((new Choices())->alternatives($value), false);
188        self::assertCount(1, $alternatives);
189        self::assertSame([17, 2], $alternatives[0][0]->native());
190    }
191}
192