1
|
|
|
<?php |
2
|
|
|
/** |
3
|
|
|
* This file is part of Railt package. |
4
|
|
|
* |
5
|
|
|
* For the full copyright and license information, please view the LICENSE |
6
|
|
|
* file that was distributed with this source code. |
7
|
|
|
*/ |
8
|
|
|
declare(strict_types=1); |
9
|
|
|
|
10
|
|
|
namespace Railt\SDL\Compiler\Builder\Invocation; |
11
|
|
|
|
12
|
|
|
use Railt\Parser\Ast\RuleInterface; |
13
|
|
|
use Railt\Reflection\Contracts\Definition; |
14
|
|
|
use Railt\Reflection\Definition\DirectiveDefinition; |
15
|
|
|
use Railt\Reflection\Invocation\DirectiveInvocation as Invocation; |
16
|
|
|
use Railt\SDL\Compiler\Ast\Invocation\DirectiveArgumentNode; |
17
|
|
|
use Railt\SDL\Compiler\Ast\Invocation\DirectiveNode; |
18
|
|
|
use Railt\SDL\Compiler\Builder\Builder; |
19
|
|
|
use Railt\SDL\Exception\TypeConflictException; |
20
|
|
|
|
21
|
|
|
/** |
22
|
|
|
* Class DirectiveInvocationBuilder |
23
|
|
|
*/ |
24
|
|
|
class DirectiveBuilder extends Builder |
25
|
|
|
{ |
26
|
|
|
/** |
27
|
|
|
* @param RuleInterface|DirectiveNode $rule |
28
|
|
|
* @param Definition $parent |
29
|
|
|
* @return Definition |
30
|
|
|
*/ |
31
|
|
|
public function build(RuleInterface $rule, Definition $parent): Definition |
32
|
|
|
{ |
33
|
|
|
$directive = new Invocation($parent->getDocument(), $rule->getDirectiveName()); |
|
|
|
|
34
|
|
|
$directive->withOffset($rule->getOffset()); |
35
|
|
|
|
36
|
|
|
$this->when->resolving(function () use ($rule, $directive): void { |
37
|
|
|
$definition = $this->loadDefinition($directive, $rule); |
38
|
|
|
|
39
|
|
|
$this->buildArguments($directive, $definition, $rule); |
40
|
|
|
|
41
|
|
|
$this->validateUncompletedArguments($directive, $definition); |
42
|
|
|
}); |
43
|
|
|
|
44
|
|
|
return $directive; |
45
|
|
|
} |
46
|
|
|
|
47
|
|
|
/** |
48
|
|
|
* @param Invocation $directive |
49
|
|
|
* @param RuleInterface $rule |
50
|
|
|
* @return DirectiveDefinition |
51
|
|
|
* @throws \Railt\Io\Exception\ExternalFileException |
52
|
|
|
*/ |
53
|
|
|
private function loadDefinition(Invocation $directive, RuleInterface $rule): DirectiveDefinition |
54
|
|
|
{ |
55
|
|
|
/** @var DirectiveDefinition $definition */ |
56
|
|
|
$definition = $directive->getDefinition(); |
57
|
|
|
|
58
|
|
View Code Duplication |
if (! ($definition instanceof Definition\DirectiveDefinition)) { |
|
|
|
|
59
|
|
|
$error = '%s should be a Directive, but %s given'; |
60
|
|
|
throw (new TypeConflictException(\sprintf($error, $directive, |
61
|
|
|
$definition)))->throwsIn($directive->getFile(), $rule->getOffset()); |
62
|
|
|
} |
63
|
|
|
|
64
|
|
|
return $definition; |
65
|
|
|
} |
66
|
|
|
|
67
|
|
|
/** |
68
|
|
|
* @param Invocation $call |
69
|
|
|
* @param DirectiveDefinition $def |
70
|
|
|
* @param RuleInterface|DirectiveNode $rule |
71
|
|
|
* @throws \Railt\Io\Exception\ExternalFileException |
72
|
|
|
*/ |
73
|
|
|
private function buildArguments(Invocation $call, DirectiveDefinition $def, RuleInterface $rule): void |
74
|
|
|
{ |
75
|
|
|
/** @var DirectiveArgumentNode $ast */ |
76
|
|
|
foreach ($rule->getDirectiveArguments() as $ast) { |
|
|
|
|
77
|
|
|
$name = $ast->getArgumentName(); |
78
|
|
|
$argument = $def->getArgument($name); |
79
|
|
|
|
80
|
|
View Code Duplication |
if ($argument === null) { |
|
|
|
|
81
|
|
|
$error = 'Directive %s does not provide argument %s'; |
82
|
|
|
throw (new TypeConflictException(\sprintf($error, $def, $name)))->throwsIn($call->getFile(), |
83
|
|
|
$ast->getOffset()); |
84
|
|
|
} |
85
|
|
|
|
86
|
|
|
$value = $this->valueOf($argument, $ast->getArgumentValue()); |
87
|
|
|
|
88
|
|
|
$call->withArgument($name, $value); |
89
|
|
|
} |
90
|
|
|
} |
91
|
|
|
|
92
|
|
|
/** |
93
|
|
|
* @param Invocation $directive |
94
|
|
|
* @param DirectiveDefinition $definition |
95
|
|
|
* @throws \Railt\Io\Exception\ExternalFileException |
96
|
|
|
*/ |
97
|
|
|
private function validateUncompletedArguments(Invocation $directive, DirectiveDefinition $definition): void |
98
|
|
|
{ |
99
|
|
|
foreach ($definition->getArguments() as $argument) { |
100
|
|
|
if ($directive->hasArgument($argument->getName())) { |
101
|
|
|
continue; |
102
|
|
|
} |
103
|
|
|
|
104
|
|
|
if (! $argument->hasDefaultValue()) { |
105
|
|
|
$error = 'Missing value for required argument %s of %s'; |
106
|
|
|
throw (new TypeConflictException(\sprintf($error, $argument, |
107
|
|
|
$directive)))->throwsIn($directive->getFile(), $directive->getLine(), $directive->getColumn()); |
108
|
|
|
} |
109
|
|
|
} |
110
|
|
|
} |
111
|
|
|
} |
112
|
|
|
|
Let’s take a look at an example:
In the above example, the authenticate() method works fine as long as you just pass instances of MyUser. However, if you now also want to pass a different implementation of User which does not have a getDisplayName() method, the code will break.
Available Fixes
Change the type-hint for the parameter:
Add an additional type-check:
Add the method to the interface: