|
1
|
|
|
<?php |
|
2
|
|
|
namespace GraphQL\Validator; |
|
3
|
|
|
|
|
4
|
|
|
use GraphQL\Error\Error; |
|
5
|
|
|
use GraphQL\Language\AST\DocumentNode; |
|
6
|
|
|
use GraphQL\Language\Visitor; |
|
7
|
|
|
use GraphQL\Type\Schema; |
|
8
|
|
|
use GraphQL\Type\Definition\Type; |
|
9
|
|
|
use GraphQL\Utils\TypeInfo; |
|
10
|
|
|
use GraphQL\Validator\Rules\AbstractValidationRule; |
|
11
|
|
|
use GraphQL\Validator\Rules\ValuesOfCorrectType; |
|
12
|
|
|
use GraphQL\Validator\Rules\DisableIntrospection; |
|
13
|
|
|
use GraphQL\Validator\Rules\ExecutableDefinitions; |
|
14
|
|
|
use GraphQL\Validator\Rules\FieldsOnCorrectType; |
|
15
|
|
|
use GraphQL\Validator\Rules\FragmentsOnCompositeTypes; |
|
16
|
|
|
use GraphQL\Validator\Rules\KnownArgumentNames; |
|
17
|
|
|
use GraphQL\Validator\Rules\KnownDirectives; |
|
18
|
|
|
use GraphQL\Validator\Rules\KnownFragmentNames; |
|
19
|
|
|
use GraphQL\Validator\Rules\KnownTypeNames; |
|
20
|
|
|
use GraphQL\Validator\Rules\LoneAnonymousOperation; |
|
21
|
|
|
use GraphQL\Validator\Rules\NoFragmentCycles; |
|
22
|
|
|
use GraphQL\Validator\Rules\NoUndefinedVariables; |
|
23
|
|
|
use GraphQL\Validator\Rules\NoUnusedFragments; |
|
24
|
|
|
use GraphQL\Validator\Rules\NoUnusedVariables; |
|
25
|
|
|
use GraphQL\Validator\Rules\OverlappingFieldsCanBeMerged; |
|
26
|
|
|
use GraphQL\Validator\Rules\PossibleFragmentSpreads; |
|
27
|
|
|
use GraphQL\Validator\Rules\ProvidedNonNullArguments; |
|
28
|
|
|
use GraphQL\Validator\Rules\QueryComplexity; |
|
29
|
|
|
use GraphQL\Validator\Rules\QueryDepth; |
|
30
|
|
|
use GraphQL\Validator\Rules\ScalarLeafs; |
|
31
|
|
|
use GraphQL\Validator\Rules\UniqueArgumentNames; |
|
32
|
|
|
use GraphQL\Validator\Rules\UniqueDirectivesPerLocation; |
|
33
|
|
|
use GraphQL\Validator\Rules\UniqueFragmentNames; |
|
34
|
|
|
use GraphQL\Validator\Rules\UniqueInputFieldNames; |
|
35
|
|
|
use GraphQL\Validator\Rules\UniqueOperationNames; |
|
36
|
|
|
use GraphQL\Validator\Rules\UniqueVariableNames; |
|
37
|
|
|
use GraphQL\Validator\Rules\VariablesAreInputTypes; |
|
38
|
|
|
use GraphQL\Validator\Rules\VariablesDefaultValueAllowed; |
|
39
|
|
|
use GraphQL\Validator\Rules\VariablesInAllowedPosition; |
|
40
|
|
|
|
|
41
|
|
|
/** |
|
42
|
|
|
* Implements the "Validation" section of the spec. |
|
43
|
|
|
* |
|
44
|
|
|
* Validation runs synchronously, returning an array of encountered errors, or |
|
45
|
|
|
* an empty array if no errors were encountered and the document is valid. |
|
46
|
|
|
* |
|
47
|
|
|
* A list of specific validation rules may be provided. If not provided, the |
|
48
|
|
|
* default list of rules defined by the GraphQL specification will be used. |
|
49
|
|
|
* |
|
50
|
|
|
* Each validation rule is an instance of GraphQL\Validator\Rules\AbstractValidationRule |
|
51
|
|
|
* which returns a visitor (see the [GraphQL\Language\Visitor API](reference.md#graphqllanguagevisitor)). |
|
52
|
|
|
* |
|
53
|
|
|
* Visitor methods are expected to return an instance of [GraphQL\Error\Error](reference.md#graphqlerrorerror), |
|
54
|
|
|
* or array of such instances when invalid. |
|
55
|
|
|
* |
|
56
|
|
|
* Optionally a custom TypeInfo instance may be provided. If not provided, one |
|
57
|
|
|
* will be created from the provided schema. |
|
58
|
|
|
*/ |
|
59
|
|
|
class DocumentValidator |
|
60
|
|
|
{ |
|
61
|
|
|
private static $rules = []; |
|
62
|
|
|
|
|
63
|
|
|
private static $defaultRules; |
|
64
|
|
|
|
|
65
|
|
|
private static $securityRules; |
|
66
|
|
|
|
|
67
|
|
|
private static $initRules = false; |
|
68
|
|
|
|
|
69
|
|
|
/** |
|
70
|
|
|
* Primary method for query validation. See class description for details. |
|
71
|
|
|
* |
|
72
|
|
|
* @api |
|
73
|
|
|
* @param Schema $schema |
|
74
|
|
|
* @param DocumentNode $ast |
|
75
|
|
|
* @param AbstractValidationRule[]|null $rules |
|
76
|
|
|
* @param TypeInfo|null $typeInfo |
|
77
|
|
|
* @return Error[] |
|
78
|
|
|
*/ |
|
79
|
513 |
|
public static function validate( |
|
80
|
|
|
Schema $schema, |
|
81
|
|
|
DocumentNode $ast, |
|
82
|
|
|
array $rules = null, |
|
83
|
|
|
TypeInfo $typeInfo = null |
|
84
|
|
|
) |
|
85
|
|
|
{ |
|
86
|
513 |
|
if (null === $rules) { |
|
87
|
97 |
|
$rules = static::allRules(); |
|
88
|
|
|
} |
|
89
|
|
|
|
|
90
|
513 |
|
if (true === is_array($rules) && 0 === count($rules)) { |
|
91
|
|
|
// Skip validation if there are no rules |
|
92
|
4 |
|
return []; |
|
93
|
|
|
} |
|
94
|
|
|
|
|
95
|
511 |
|
$typeInfo = $typeInfo ?: new TypeInfo($schema); |
|
96
|
511 |
|
$errors = static::visitUsingRules($schema, $typeInfo, $ast, $rules); |
|
97
|
511 |
|
return $errors; |
|
98
|
|
|
} |
|
99
|
|
|
|
|
100
|
|
|
|
|
101
|
|
|
/** |
|
102
|
|
|
* Returns all global validation rules. |
|
103
|
|
|
* |
|
104
|
|
|
* @api |
|
105
|
|
|
* @return AbstractValidationRule[] |
|
106
|
|
|
*/ |
|
107
|
103 |
|
public static function allRules() |
|
108
|
|
|
{ |
|
109
|
103 |
|
if (!self::$initRules) { |
|
110
|
1 |
|
static::$rules = array_merge(static::defaultRules(), self::securityRules(), self::$rules); |
|
|
|
|
|
|
111
|
1 |
|
static::$initRules = true; |
|
|
|
|
|
|
112
|
|
|
} |
|
113
|
|
|
|
|
114
|
103 |
|
return self::$rules; |
|
115
|
|
|
} |
|
116
|
|
|
|
|
117
|
1 |
|
public static function defaultRules() |
|
118
|
|
|
{ |
|
119
|
1 |
|
if (null === self::$defaultRules) { |
|
120
|
|
|
self::$defaultRules = [ |
|
121
|
1 |
|
ExecutableDefinitions::class => new ExecutableDefinitions(), |
|
122
|
1 |
|
UniqueOperationNames::class => new UniqueOperationNames(), |
|
123
|
1 |
|
LoneAnonymousOperation::class => new LoneAnonymousOperation(), |
|
124
|
1 |
|
KnownTypeNames::class => new KnownTypeNames(), |
|
125
|
1 |
|
FragmentsOnCompositeTypes::class => new FragmentsOnCompositeTypes(), |
|
126
|
1 |
|
VariablesAreInputTypes::class => new VariablesAreInputTypes(), |
|
127
|
1 |
|
ScalarLeafs::class => new ScalarLeafs(), |
|
128
|
1 |
|
FieldsOnCorrectType::class => new FieldsOnCorrectType(), |
|
129
|
1 |
|
UniqueFragmentNames::class => new UniqueFragmentNames(), |
|
130
|
1 |
|
KnownFragmentNames::class => new KnownFragmentNames(), |
|
131
|
1 |
|
NoUnusedFragments::class => new NoUnusedFragments(), |
|
132
|
1 |
|
PossibleFragmentSpreads::class => new PossibleFragmentSpreads(), |
|
133
|
1 |
|
NoFragmentCycles::class => new NoFragmentCycles(), |
|
134
|
1 |
|
UniqueVariableNames::class => new UniqueVariableNames(), |
|
135
|
1 |
|
NoUndefinedVariables::class => new NoUndefinedVariables(), |
|
136
|
1 |
|
NoUnusedVariables::class => new NoUnusedVariables(), |
|
137
|
1 |
|
KnownDirectives::class => new KnownDirectives(), |
|
138
|
1 |
|
UniqueDirectivesPerLocation::class => new UniqueDirectivesPerLocation(), |
|
139
|
1 |
|
KnownArgumentNames::class => new KnownArgumentNames(), |
|
140
|
1 |
|
UniqueArgumentNames::class => new UniqueArgumentNames(), |
|
141
|
1 |
|
ValuesOfCorrectType::class => new ValuesOfCorrectType(), |
|
142
|
1 |
|
ProvidedNonNullArguments::class => new ProvidedNonNullArguments(), |
|
143
|
1 |
|
VariablesDefaultValueAllowed::class => new VariablesDefaultValueAllowed(), |
|
144
|
1 |
|
VariablesInAllowedPosition::class => new VariablesInAllowedPosition(), |
|
145
|
1 |
|
OverlappingFieldsCanBeMerged::class => new OverlappingFieldsCanBeMerged(), |
|
146
|
1 |
|
UniqueInputFieldNames::class => new UniqueInputFieldNames(), |
|
147
|
|
|
]; |
|
148
|
|
|
} |
|
149
|
|
|
|
|
150
|
1 |
|
return self::$defaultRules; |
|
151
|
|
|
} |
|
152
|
|
|
|
|
153
|
|
|
/** |
|
154
|
|
|
* @return array |
|
155
|
|
|
*/ |
|
156
|
1 |
|
public static function securityRules() |
|
157
|
|
|
{ |
|
158
|
|
|
// This way of defining rules is deprecated |
|
159
|
|
|
// When custom security rule is required - it should be just added via DocumentValidator::addRule(); |
|
160
|
|
|
// TODO: deprecate this |
|
161
|
|
|
|
|
162
|
1 |
|
if (null === self::$securityRules) { |
|
163
|
|
|
self::$securityRules = [ |
|
164
|
1 |
|
DisableIntrospection::class => new DisableIntrospection(DisableIntrospection::DISABLED), // DEFAULT DISABLED |
|
165
|
1 |
|
QueryDepth::class => new QueryDepth(QueryDepth::DISABLED), // default disabled |
|
166
|
1 |
|
QueryComplexity::class => new QueryComplexity(QueryComplexity::DISABLED), // default disabled |
|
167
|
|
|
]; |
|
168
|
|
|
} |
|
169
|
1 |
|
return self::$securityRules; |
|
170
|
|
|
} |
|
171
|
|
|
|
|
172
|
|
|
/** |
|
173
|
|
|
* Returns global validation rule by name. Standard rules are named by class name, so |
|
174
|
|
|
* example usage for such rules: |
|
175
|
|
|
* |
|
176
|
|
|
* $rule = DocumentValidator::getRule(GraphQL\Validator\Rules\QueryComplexity::class); |
|
177
|
|
|
* |
|
178
|
|
|
* @api |
|
179
|
|
|
* @param string $name |
|
180
|
|
|
* @return AbstractValidationRule |
|
181
|
|
|
*/ |
|
182
|
92 |
|
public static function getRule($name) |
|
183
|
|
|
{ |
|
184
|
92 |
|
$rules = static::allRules(); |
|
185
|
|
|
|
|
186
|
92 |
|
if (isset($rules[$name])) { |
|
187
|
92 |
|
return $rules[$name]; |
|
188
|
|
|
} |
|
189
|
|
|
|
|
190
|
|
|
$name = "GraphQL\\Validator\\Rules\\$name"; |
|
191
|
|
|
return isset($rules[$name]) ? $rules[$name] : null ; |
|
192
|
|
|
} |
|
193
|
|
|
|
|
194
|
|
|
/** |
|
195
|
|
|
* Add rule to list of global validation rules |
|
196
|
|
|
* |
|
197
|
|
|
* @api |
|
198
|
|
|
* @param AbstractValidationRule $rule |
|
199
|
|
|
*/ |
|
200
|
|
|
public static function addRule(AbstractValidationRule $rule) |
|
201
|
|
|
{ |
|
202
|
|
|
self::$rules[$rule->getName()] = $rule; |
|
203
|
|
|
} |
|
204
|
|
|
|
|
205
|
|
|
public static function isError($value) |
|
206
|
|
|
{ |
|
207
|
|
|
return is_array($value) |
|
208
|
|
|
? count(array_filter($value, function($item) { return $item instanceof \Exception || $item instanceof \Throwable;})) === count($value) |
|
209
|
|
|
: ($value instanceof \Exception || $value instanceof \Throwable); |
|
210
|
|
|
} |
|
211
|
|
|
|
|
212
|
|
|
public static function append(&$arr, $items) |
|
213
|
|
|
{ |
|
214
|
|
|
if (is_array($items)) { |
|
215
|
|
|
$arr = array_merge($arr, $items); |
|
216
|
|
|
} else { |
|
217
|
|
|
$arr[] = $items; |
|
218
|
|
|
} |
|
219
|
|
|
return $arr; |
|
220
|
|
|
} |
|
221
|
|
|
|
|
222
|
|
|
/** |
|
223
|
|
|
* Utility which determines if a value literal node is valid for an input type. |
|
224
|
|
|
* |
|
225
|
|
|
* Deprecated. Rely on validation for documents containing literal values. |
|
226
|
|
|
* |
|
227
|
|
|
* @deprecated |
|
228
|
|
|
* @return Error[] |
|
229
|
|
|
*/ |
|
230
|
2 |
|
public static function isValidLiteralValue(Type $type, $valueNode) |
|
231
|
|
|
{ |
|
232
|
2 |
|
$emptySchema = new Schema([]); |
|
233
|
2 |
|
$emptyDoc = new DocumentNode(['definitions' => []]); |
|
234
|
2 |
|
$typeInfo = new TypeInfo($emptySchema, $type); |
|
235
|
2 |
|
$context = new ValidationContext($emptySchema, $emptyDoc, $typeInfo); |
|
236
|
2 |
|
$validator = new ValuesOfCorrectType(); |
|
237
|
2 |
|
$visitor = $validator->getVisitor($context); |
|
238
|
2 |
|
Visitor::visit($valueNode, Visitor::visitWithTypeInfo($typeInfo, $visitor)); |
|
239
|
2 |
|
return $context->getErrors(); |
|
240
|
|
|
} |
|
241
|
|
|
|
|
242
|
|
|
/** |
|
243
|
|
|
* This uses a specialized visitor which runs multiple visitors in parallel, |
|
244
|
|
|
* while maintaining the visitor skip and break API. |
|
245
|
|
|
* |
|
246
|
|
|
* @param Schema $schema |
|
247
|
|
|
* @param TypeInfo $typeInfo |
|
248
|
|
|
* @param DocumentNode $documentNode |
|
249
|
|
|
* @param AbstractValidationRule[] $rules |
|
250
|
|
|
* @return array |
|
251
|
|
|
*/ |
|
252
|
511 |
|
public static function visitUsingRules(Schema $schema, TypeInfo $typeInfo, DocumentNode $documentNode, array $rules) |
|
253
|
|
|
{ |
|
254
|
511 |
|
$context = new ValidationContext($schema, $documentNode, $typeInfo); |
|
255
|
511 |
|
$visitors = []; |
|
256
|
511 |
|
foreach ($rules as $rule) { |
|
257
|
511 |
|
$visitors[] = $rule->getVisitor($context); |
|
258
|
|
|
} |
|
259
|
511 |
|
Visitor::visit($documentNode, Visitor::visitWithTypeInfo($typeInfo, Visitor::visitInParallel($visitors))); |
|
260
|
511 |
|
return $context->getErrors(); |
|
261
|
|
|
} |
|
262
|
|
|
} |
|
263
|
|
|
|