2015-07-15 20:05:46 +03:00
|
|
|
<?php
|
|
|
|
namespace GraphQL\Executor;
|
|
|
|
|
|
|
|
use GraphQL\Error;
|
|
|
|
use GraphQL\Language\AST\Document;
|
|
|
|
use GraphQL\Language\AST\Field;
|
|
|
|
use GraphQL\Language\AST\FragmentDefinition;
|
|
|
|
use GraphQL\Language\AST\Node;
|
|
|
|
use GraphQL\Language\AST\OperationDefinition;
|
|
|
|
use GraphQL\Language\AST\SelectionSet;
|
|
|
|
use GraphQL\Schema;
|
2015-08-17 17:01:55 +03:00
|
|
|
use GraphQL\Type\Definition\AbstractType;
|
2015-07-15 20:05:46 +03:00
|
|
|
use GraphQL\Type\Definition\Directive;
|
|
|
|
use GraphQL\Type\Definition\EnumType;
|
|
|
|
use GraphQL\Type\Definition\FieldDefinition;
|
|
|
|
use GraphQL\Type\Definition\ListOfType;
|
|
|
|
use GraphQL\Type\Definition\NonNull;
|
|
|
|
use GraphQL\Type\Definition\ObjectType;
|
2015-08-17 17:01:55 +03:00
|
|
|
use GraphQL\Type\Definition\ResolveInfo;
|
2015-07-15 20:05:46 +03:00
|
|
|
use GraphQL\Type\Definition\ScalarType;
|
|
|
|
use GraphQL\Type\Definition\Type;
|
|
|
|
use GraphQL\Type\Introspection;
|
|
|
|
use GraphQL\Utils;
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Terminology
|
|
|
|
*
|
|
|
|
* "Definitions" are the generic name for top-level statements in the document.
|
|
|
|
* Examples of this include:
|
|
|
|
* 1) Operations (such as a query)
|
|
|
|
* 2) Fragments
|
|
|
|
*
|
|
|
|
* "Operations" are a generic name for requests in the document.
|
|
|
|
* Examples of this include:
|
|
|
|
* 1) query,
|
|
|
|
* 2) mutation
|
|
|
|
*
|
|
|
|
* "Selections" are the statements that can appear legally and at
|
|
|
|
* single level of the query. These include:
|
|
|
|
* 1) field references e.g "a"
|
|
|
|
* 2) fragment "spreads" e.g. "...c"
|
|
|
|
* 3) inline fragment "spreads" e.g. "...on Type { a }"
|
|
|
|
*/
|
|
|
|
class Executor
|
|
|
|
{
|
|
|
|
private static $UNDEFINED;
|
|
|
|
|
2015-08-30 10:43:55 +03:00
|
|
|
private static $defaultResolveFn = [__CLASS__, 'defaultResolveFn'];
|
2015-08-17 17:01:55 +03:00
|
|
|
|
|
|
|
/**
|
|
|
|
* Custom default resolve function
|
|
|
|
*
|
|
|
|
* @param $fn
|
|
|
|
* @throws \Exception
|
|
|
|
*/
|
2016-03-12 02:30:46 +03:00
|
|
|
public static function setDefaultResolveFn($fn)
|
2015-08-17 17:01:55 +03:00
|
|
|
{
|
|
|
|
Utils::invariant(is_callable($fn), 'Expecting callable, but got ' . Utils::getVariableType($fn));
|
|
|
|
self::$defaultResolveFn = $fn;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @param Schema $schema
|
|
|
|
* @param Document $ast
|
|
|
|
* @param $rootValue
|
2016-05-02 00:42:05 +03:00
|
|
|
* @param $contextValue
|
2015-08-17 17:01:55 +03:00
|
|
|
* @param array|\ArrayAccess $variableValues
|
|
|
|
* @param null $operationName
|
|
|
|
* @return ExecutionResult
|
|
|
|
*/
|
2016-05-02 00:42:05 +03:00
|
|
|
public static function execute(Schema $schema, Document $ast, $rootValue = null, $contextValue = null, $variableValues = null, $operationName = null)
|
2015-07-15 20:05:46 +03:00
|
|
|
{
|
|
|
|
if (!self::$UNDEFINED) {
|
|
|
|
self::$UNDEFINED = new \stdClass();
|
|
|
|
}
|
|
|
|
|
2015-08-17 17:01:55 +03:00
|
|
|
if (null !== $variableValues) {
|
|
|
|
Utils::invariant(
|
|
|
|
is_array($variableValues) || $variableValues instanceof \ArrayAccess,
|
|
|
|
"Variable values are expected to be array or instance of ArrayAccess, got " . Utils::getVariableType($variableValues)
|
|
|
|
);
|
|
|
|
}
|
|
|
|
if (null !== $operationName) {
|
|
|
|
Utils::invariant(
|
|
|
|
is_string($operationName),
|
|
|
|
"Operation name is supposed to be string, got " . Utils::getVariableType($operationName)
|
|
|
|
);
|
2015-07-15 20:05:46 +03:00
|
|
|
}
|
|
|
|
|
2016-05-02 00:42:05 +03:00
|
|
|
$exeContext = self::buildExecutionContext($schema, $ast, $rootValue, $contextValue, $variableValues, $operationName);
|
2015-08-17 17:01:55 +03:00
|
|
|
|
|
|
|
try {
|
|
|
|
$data = self::executeOperation($exeContext, $exeContext->operation, $rootValue);
|
|
|
|
} catch (Error $e) {
|
|
|
|
$exeContext->addError($e);
|
|
|
|
$data = null;
|
2015-07-15 20:05:46 +03:00
|
|
|
}
|
|
|
|
|
2015-08-17 17:01:55 +03:00
|
|
|
return new ExecutionResult($data, $exeContext->errors);
|
2015-07-15 20:05:46 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Constructs a ExecutionContext object from the arguments passed to
|
|
|
|
* execute, which we will pass throughout the other execution methods.
|
|
|
|
*/
|
2016-05-02 00:42:05 +03:00
|
|
|
private static function buildExecutionContext(
|
|
|
|
Schema $schema,
|
|
|
|
Document $documentAst,
|
|
|
|
$rootValue,
|
|
|
|
$contextValue,
|
|
|
|
$rawVariableValues,
|
|
|
|
$operationName = null
|
|
|
|
)
|
2015-07-15 20:05:46 +03:00
|
|
|
{
|
2015-08-17 17:01:55 +03:00
|
|
|
$errors = [];
|
2015-07-15 20:05:46 +03:00
|
|
|
$fragments = [];
|
2016-05-02 00:42:05 +03:00
|
|
|
$operation = null;
|
2015-07-15 20:05:46 +03:00
|
|
|
|
2016-05-02 00:42:05 +03:00
|
|
|
foreach ($documentAst->definitions as $definition) {
|
|
|
|
switch ($definition->kind) {
|
2015-07-15 20:05:46 +03:00
|
|
|
case Node::OPERATION_DEFINITION:
|
2016-05-02 00:42:05 +03:00
|
|
|
if (!$operationName && $operation) {
|
|
|
|
throw new Error(
|
|
|
|
'Must provide operation name if query contains multiple operations.'
|
|
|
|
);
|
|
|
|
}
|
|
|
|
if (!$operationName ||
|
|
|
|
(isset($definition->name) && $definition->name->value === $operationName)) {
|
|
|
|
$operation = $definition;
|
|
|
|
}
|
2015-07-15 20:05:46 +03:00
|
|
|
break;
|
|
|
|
case Node::FRAGMENT_DEFINITION:
|
2016-05-02 00:42:05 +03:00
|
|
|
$fragments[$definition->name->value] = $definition;
|
2015-07-15 20:05:46 +03:00
|
|
|
break;
|
2016-05-02 00:42:05 +03:00
|
|
|
default:
|
|
|
|
throw new Error(
|
|
|
|
"GraphQL cannot execute a request containing a {$definition->kind}.",
|
|
|
|
[$definition]
|
|
|
|
);
|
2015-07-15 20:05:46 +03:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-05-02 00:42:05 +03:00
|
|
|
if (!$operation) {
|
|
|
|
if ($operationName) {
|
|
|
|
throw new Error("Unknown operation named \"$operationName\".");
|
|
|
|
} else {
|
|
|
|
throw new Error('Must provide an operation.');
|
|
|
|
}
|
2015-07-15 20:05:46 +03:00
|
|
|
}
|
|
|
|
|
2016-05-02 00:42:05 +03:00
|
|
|
$variableValues = Values::getVariableValues(
|
|
|
|
$schema,
|
|
|
|
$operation->variableDefinitions ?: [],
|
|
|
|
$rawVariableValues ?: []
|
|
|
|
);
|
2015-07-15 20:05:46 +03:00
|
|
|
|
2016-05-02 00:42:05 +03:00
|
|
|
$exeContext = new ExecutionContext($schema, $fragments, $rootValue, $contextValue, $operation, $variableValues, $errors);
|
2015-07-15 20:05:46 +03:00
|
|
|
return $exeContext;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Implements the "Evaluating operations" section of the spec.
|
|
|
|
*/
|
2015-08-17 17:01:55 +03:00
|
|
|
private static function executeOperation(ExecutionContext $exeContext, OperationDefinition $operation, $rootValue)
|
2015-07-15 20:05:46 +03:00
|
|
|
{
|
|
|
|
$type = self::getOperationRootType($exeContext->schema, $operation);
|
|
|
|
$fields = self::collectFields($exeContext, $type, $operation->selectionSet, new \ArrayObject(), new \ArrayObject());
|
2015-08-17 17:01:55 +03:00
|
|
|
|
2015-07-15 20:05:46 +03:00
|
|
|
if ($operation->operation === 'mutation') {
|
2015-10-23 12:44:01 +03:00
|
|
|
return self::executeFieldsSerially($exeContext, $type, $rootValue, $fields);
|
2015-07-15 20:05:46 +03:00
|
|
|
}
|
2015-08-17 17:01:55 +03:00
|
|
|
|
2015-10-23 12:44:01 +03:00
|
|
|
return self::executeFields($exeContext, $type, $rootValue, $fields);
|
2015-07-15 20:05:46 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Extracts the root type of the operation from the schema.
|
|
|
|
*
|
|
|
|
* @param Schema $schema
|
|
|
|
* @param OperationDefinition $operation
|
|
|
|
* @return ObjectType
|
|
|
|
* @throws Error
|
|
|
|
*/
|
|
|
|
private static function getOperationRootType(Schema $schema, OperationDefinition $operation)
|
|
|
|
{
|
|
|
|
switch ($operation->operation) {
|
|
|
|
case 'query':
|
|
|
|
return $schema->getQueryType();
|
|
|
|
case 'mutation':
|
|
|
|
$mutationType = $schema->getMutationType();
|
|
|
|
if (!$mutationType) {
|
|
|
|
throw new Error(
|
|
|
|
'Schema is not configured for mutations',
|
|
|
|
[$operation]
|
|
|
|
);
|
|
|
|
}
|
|
|
|
return $mutationType;
|
|
|
|
default:
|
|
|
|
throw new Error(
|
|
|
|
'Can only execute queries and mutations',
|
|
|
|
[$operation]
|
|
|
|
);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Implements the "Evaluating selection sets" section of the spec
|
|
|
|
* for "write" mode.
|
|
|
|
*/
|
2015-10-23 12:44:01 +03:00
|
|
|
private static function executeFieldsSerially(ExecutionContext $exeContext, ObjectType $parentType, $sourceValue, $fields)
|
2015-07-15 20:05:46 +03:00
|
|
|
{
|
|
|
|
$results = [];
|
|
|
|
foreach ($fields as $responseName => $fieldASTs) {
|
2015-10-23 12:44:01 +03:00
|
|
|
$result = self::resolveField($exeContext, $parentType, $sourceValue, $fieldASTs);
|
2015-08-31 22:44:03 +03:00
|
|
|
|
2015-10-23 12:44:01 +03:00
|
|
|
if ($result !== self::$UNDEFINED) {
|
|
|
|
// Undefined means that field is not defined in schema
|
|
|
|
$results[$responseName] = $result;
|
|
|
|
}
|
|
|
|
}
|
2015-07-15 20:05:46 +03:00
|
|
|
return $results;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Implements the "Evaluating selection sets" section of the spec
|
|
|
|
* for "read" mode.
|
|
|
|
*/
|
2015-10-23 12:44:01 +03:00
|
|
|
private static function executeFields(ExecutionContext $exeContext, ObjectType $parentType, $source, $fields)
|
2015-07-15 20:05:46 +03:00
|
|
|
{
|
|
|
|
// Native PHP doesn't support promises.
|
|
|
|
// Custom executor should be built for platforms like ReactPHP
|
2015-10-23 12:44:01 +03:00
|
|
|
return self::executeFieldsSerially($exeContext, $parentType, $source, $fields);
|
2015-07-15 20:05:46 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Given a selectionSet, adds all of the fields in that selection to
|
|
|
|
* the passed in map of fields, and returns it at the end.
|
|
|
|
*
|
2016-05-02 00:42:05 +03:00
|
|
|
* CollectFields requires the "runtime type" of an object. For a field which
|
|
|
|
* returns and Interface or Union type, the "runtime type" will be the actual
|
|
|
|
* Object type returned by that field.
|
|
|
|
*
|
2015-07-15 20:05:46 +03:00
|
|
|
* @return \ArrayObject
|
|
|
|
*/
|
|
|
|
private static function collectFields(
|
|
|
|
ExecutionContext $exeContext,
|
2016-05-02 00:42:05 +03:00
|
|
|
ObjectType $runtimeType,
|
2015-07-15 20:05:46 +03:00
|
|
|
SelectionSet $selectionSet,
|
|
|
|
$fields,
|
|
|
|
$visitedFragmentNames
|
|
|
|
)
|
|
|
|
{
|
2016-05-02 00:42:05 +03:00
|
|
|
foreach ($selectionSet->selections as $selection) {
|
2015-07-15 20:05:46 +03:00
|
|
|
switch ($selection->kind) {
|
|
|
|
case Node::FIELD:
|
|
|
|
if (!self::shouldIncludeNode($exeContext, $selection->directives)) {
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
$name = self::getFieldEntryKey($selection);
|
|
|
|
if (!isset($fields[$name])) {
|
|
|
|
$fields[$name] = new \ArrayObject();
|
|
|
|
}
|
|
|
|
$fields[$name][] = $selection;
|
|
|
|
break;
|
|
|
|
case Node::INLINE_FRAGMENT:
|
|
|
|
if (!self::shouldIncludeNode($exeContext, $selection->directives) ||
|
2016-05-02 00:42:05 +03:00
|
|
|
!self::doesFragmentConditionMatch($exeContext, $selection, $runtimeType)
|
2015-07-15 20:05:46 +03:00
|
|
|
) {
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
self::collectFields(
|
|
|
|
$exeContext,
|
2016-05-02 00:42:05 +03:00
|
|
|
$runtimeType,
|
2015-07-15 20:05:46 +03:00
|
|
|
$selection->selectionSet,
|
|
|
|
$fields,
|
|
|
|
$visitedFragmentNames
|
|
|
|
);
|
|
|
|
break;
|
|
|
|
case Node::FRAGMENT_SPREAD:
|
|
|
|
$fragName = $selection->name->value;
|
|
|
|
if (!empty($visitedFragmentNames[$fragName]) || !self::shouldIncludeNode($exeContext, $selection->directives)) {
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
$visitedFragmentNames[$fragName] = true;
|
|
|
|
|
|
|
|
/** @var FragmentDefinition|null $fragment */
|
|
|
|
$fragment = isset($exeContext->fragments[$fragName]) ? $exeContext->fragments[$fragName] : null;
|
2016-05-02 00:42:05 +03:00
|
|
|
if (!$fragment || !self::doesFragmentConditionMatch($exeContext, $fragment, $runtimeType)) {
|
2015-07-15 20:05:46 +03:00
|
|
|
continue;
|
|
|
|
}
|
|
|
|
self::collectFields(
|
|
|
|
$exeContext,
|
2016-05-02 00:42:05 +03:00
|
|
|
$runtimeType,
|
2015-07-15 20:05:46 +03:00
|
|
|
$fragment->selectionSet,
|
|
|
|
$fields,
|
|
|
|
$visitedFragmentNames
|
|
|
|
);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return $fields;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
2015-08-17 17:01:55 +03:00
|
|
|
* Determines if a field should be included based on the @include and @skip
|
|
|
|
* directives, where @skip has higher precedence than @include.
|
2015-07-15 20:05:46 +03:00
|
|
|
*/
|
|
|
|
private static function shouldIncludeNode(ExecutionContext $exeContext, $directives)
|
|
|
|
{
|
2015-08-17 17:01:55 +03:00
|
|
|
$skipDirective = Directive::skipDirective();
|
|
|
|
$includeDirective = Directive::includeDirective();
|
|
|
|
|
|
|
|
/** @var \GraphQL\Language\AST\Directive $skipAST */
|
|
|
|
$skipAST = $directives
|
|
|
|
? Utils::find($directives, function(\GraphQL\Language\AST\Directive $directive) use ($skipDirective) {
|
|
|
|
return $directive->name->value === $skipDirective->name;
|
|
|
|
})
|
|
|
|
: null;
|
|
|
|
|
|
|
|
if ($skipAST) {
|
|
|
|
$argValues = Values::getArgumentValues($skipDirective->args, $skipAST->arguments, $exeContext->variableValues);
|
2016-05-02 00:42:05 +03:00
|
|
|
if (isset($argValues['if']) && $argValues['if'] === true) {
|
|
|
|
return false;
|
|
|
|
}
|
2015-07-15 20:05:46 +03:00
|
|
|
}
|
|
|
|
|
2015-08-17 17:01:55 +03:00
|
|
|
/** @var \GraphQL\Language\AST\Directive $includeAST */
|
|
|
|
$includeAST = $directives
|
|
|
|
? Utils::find($directives, function(\GraphQL\Language\AST\Directive $directive) use ($includeDirective) {
|
|
|
|
return $directive->name->value === $includeDirective->name;
|
|
|
|
})
|
|
|
|
: null;
|
|
|
|
|
|
|
|
if ($includeAST) {
|
|
|
|
$argValues = Values::getArgumentValues($includeDirective->args, $includeAST->arguments, $exeContext->variableValues);
|
2016-05-02 00:42:05 +03:00
|
|
|
if (isset($argValues['if']) && $argValues['if'] === false) {
|
|
|
|
return false;
|
|
|
|
}
|
2015-07-15 20:05:46 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Determines if a fragment is applicable to the given type.
|
|
|
|
*/
|
|
|
|
private static function doesFragmentConditionMatch(ExecutionContext $exeContext,/* FragmentDefinition | InlineFragment*/ $fragment, ObjectType $type)
|
|
|
|
{
|
2015-10-23 12:45:40 +03:00
|
|
|
$typeConditionAST = $fragment->typeCondition;
|
|
|
|
|
|
|
|
if (!$typeConditionAST) {
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
$conditionalType = Utils\TypeInfo::typeFromAST($exeContext->schema, $typeConditionAST);
|
2015-07-15 20:05:46 +03:00
|
|
|
if ($conditionalType === $type) {
|
|
|
|
return true;
|
|
|
|
}
|
2016-05-02 00:42:05 +03:00
|
|
|
if ($conditionalType instanceof AbstractType) {
|
|
|
|
return $exeContext->schema->isPossibleType($conditionalType, $type);
|
2015-07-15 20:05:46 +03:00
|
|
|
}
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
2015-08-09 21:26:36 +03:00
|
|
|
* Implements the logic to compute the key of a given fields entry
|
2015-07-15 20:05:46 +03:00
|
|
|
*/
|
|
|
|
private static function getFieldEntryKey(Field $node)
|
|
|
|
{
|
|
|
|
return $node->alias ? $node->alias->value : $node->name->value;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
2015-10-23 12:44:01 +03:00
|
|
|
* Resolves the field on the given source object. In particular, this
|
|
|
|
* figures out the value that the field returns by calling its resolve function,
|
|
|
|
* then calls completeValue to complete promises, serialize scalars, or execute
|
|
|
|
* the sub-selection-set for objects.
|
2015-07-15 20:05:46 +03:00
|
|
|
*/
|
2015-10-23 12:44:01 +03:00
|
|
|
private static function resolveField(ExecutionContext $exeContext, ObjectType $parentType, $source, $fieldASTs)
|
2015-07-15 20:05:46 +03:00
|
|
|
{
|
2015-08-17 17:01:55 +03:00
|
|
|
$fieldAST = $fieldASTs[0];
|
|
|
|
|
2016-06-10 12:57:43 +03:00
|
|
|
$fieldName = $fieldAST->name->value;
|
2015-10-25 11:23:15 +03:00
|
|
|
|
2016-06-10 12:57:43 +03:00
|
|
|
$fieldDef = self::getFieldDef($exeContext->schema, $parentType, $fieldName);
|
2015-10-25 11:23:15 +03:00
|
|
|
|
2016-06-10 12:57:43 +03:00
|
|
|
if (!$fieldDef) {
|
|
|
|
return self::$UNDEFINED;
|
2015-10-25 11:23:15 +03:00
|
|
|
}
|
|
|
|
|
2016-06-10 12:57:43 +03:00
|
|
|
$returnType = $fieldDef->getType();
|
|
|
|
|
|
|
|
// Build hash of arguments from the field.arguments AST, using the
|
|
|
|
// variables scope to fulfill any variable references.
|
|
|
|
$args = Values::getArgumentValues(
|
|
|
|
$fieldDef->args,
|
|
|
|
$fieldAST->arguments,
|
|
|
|
$exeContext->variableValues
|
|
|
|
);
|
|
|
|
|
|
|
|
// The resolve function's optional third argument is a collection of
|
|
|
|
// information about the current execution state.
|
|
|
|
$info = new ResolveInfo([
|
|
|
|
'fieldName' => $fieldName,
|
|
|
|
'fieldASTs' => $fieldASTs,
|
|
|
|
'returnType' => $returnType,
|
|
|
|
'parentType' => $parentType,
|
|
|
|
'schema' => $exeContext->schema,
|
|
|
|
'fragments' => $exeContext->fragments,
|
|
|
|
'rootValue' => $exeContext->rootValue,
|
|
|
|
'operation' => $exeContext->operation,
|
|
|
|
'variableValues' => $exeContext->variableValues,
|
|
|
|
]);
|
|
|
|
|
|
|
|
|
|
|
|
if (isset($fieldDef->resolveFn)) {
|
|
|
|
$resolveFn = $fieldDef->resolveFn;
|
|
|
|
} else if (isset($parentType->resolveFieldFn)) {
|
|
|
|
$resolveFn = $parentType->resolveFieldFn;
|
2015-10-23 12:44:01 +03:00
|
|
|
} else {
|
2016-06-10 12:57:43 +03:00
|
|
|
$resolveFn = self::$defaultResolveFn;
|
2015-10-25 11:23:15 +03:00
|
|
|
}
|
|
|
|
|
2016-05-02 00:42:05 +03:00
|
|
|
// The resolve function's optional third argument is a context value that
|
|
|
|
// is provided to every resolve function within an execution. It is commonly
|
|
|
|
// used to represent an authenticated user, or request-specific caches.
|
|
|
|
$context = $exeContext->contextValue;
|
|
|
|
|
2016-06-10 12:57:43 +03:00
|
|
|
// Get the resolve function, regardless of if its result is normal
|
|
|
|
// or abrupt (error).
|
2016-05-02 00:42:05 +03:00
|
|
|
$result = self::resolveOrError($resolveFn, $source, $args, $context, $info);
|
2016-06-10 12:57:43 +03:00
|
|
|
|
|
|
|
$result = self::completeValueCatchingError(
|
|
|
|
$exeContext,
|
|
|
|
$returnType,
|
|
|
|
$fieldASTs,
|
|
|
|
$info,
|
|
|
|
$result
|
|
|
|
);
|
|
|
|
|
2015-10-25 11:23:15 +03:00
|
|
|
return $result;
|
2015-07-15 20:05:46 +03:00
|
|
|
}
|
|
|
|
|
2015-10-23 12:45:40 +03:00
|
|
|
// Isolates the "ReturnOrAbrupt" behavior to not de-opt the `resolveField`
|
|
|
|
// function. Returns the result of resolveFn or the abrupt-return Error object.
|
2016-05-02 00:42:05 +03:00
|
|
|
private static function resolveOrError($resolveFn, $source, $args, $context, $info)
|
2015-10-23 12:45:40 +03:00
|
|
|
{
|
|
|
|
try {
|
2016-05-02 00:42:05 +03:00
|
|
|
return call_user_func($resolveFn, $source, $args, $context, $info);
|
2015-10-23 12:45:40 +03:00
|
|
|
} catch (\Exception $error) {
|
|
|
|
return $error;
|
|
|
|
}
|
|
|
|
}
|
2015-07-15 20:05:46 +03:00
|
|
|
|
2016-05-02 00:42:05 +03:00
|
|
|
// This is a small wrapper around completeValue which detects and logs errors
|
|
|
|
// in the execution context.
|
2015-08-17 17:01:55 +03:00
|
|
|
public static function completeValueCatchingError(
|
|
|
|
ExecutionContext $exeContext,
|
|
|
|
Type $returnType,
|
|
|
|
$fieldASTs,
|
|
|
|
ResolveInfo $info,
|
|
|
|
$result
|
|
|
|
)
|
|
|
|
{
|
|
|
|
// If the field type is non-nullable, then it is resolved without any
|
|
|
|
// protection from errors.
|
|
|
|
if ($returnType instanceof NonNull) {
|
|
|
|
return self::completeValue($exeContext, $returnType, $fieldASTs, $info, $result);
|
|
|
|
}
|
|
|
|
|
|
|
|
// Otherwise, error protection is applied, logging the error and resolving
|
|
|
|
// a null value for this field if one is encountered.
|
|
|
|
try {
|
|
|
|
return self::completeValue($exeContext, $returnType, $fieldASTs, $info, $result);
|
|
|
|
} catch (Error $err) {
|
2015-10-23 12:45:40 +03:00
|
|
|
// If `completeValue` returned abruptly (threw an error), log the error
|
|
|
|
// and return null.
|
2015-08-17 17:01:55 +03:00
|
|
|
$exeContext->addError($err);
|
|
|
|
return null;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-07-15 20:05:46 +03:00
|
|
|
/**
|
|
|
|
* Implements the instructions for completeValue as defined in the
|
|
|
|
* "Field entries" section of the spec.
|
|
|
|
*
|
|
|
|
* If the field type is Non-Null, then this recursively completes the value
|
|
|
|
* for the inner type. It throws a field error if that completion returns null,
|
|
|
|
* as per the "Nullability" section of the spec.
|
|
|
|
*
|
|
|
|
* If the field type is a List, then this recursively completes the value
|
|
|
|
* for the inner type on each item in the list.
|
|
|
|
*
|
|
|
|
* If the field type is a Scalar or Enum, ensures the completed value is a legal
|
2015-08-17 17:01:55 +03:00
|
|
|
* value of the type by calling the `serialize` method of GraphQL type
|
|
|
|
* definition.
|
2015-07-15 20:05:46 +03:00
|
|
|
*
|
2016-05-02 00:42:05 +03:00
|
|
|
* If the field is an abstract type, determine the runtime type of the value
|
|
|
|
* and then complete based on that type
|
|
|
|
*
|
2015-07-15 20:05:46 +03:00
|
|
|
* Otherwise, the field type expects a sub-selection set, and will complete the
|
|
|
|
* value by evaluating all sub-selections.
|
2016-05-02 00:42:05 +03:00
|
|
|
*
|
|
|
|
* @param ExecutionContext $exeContext
|
|
|
|
* @param Type $returnType
|
|
|
|
* @param Field[] $fieldASTs
|
|
|
|
* @param ResolveInfo $info
|
|
|
|
* @param $result
|
|
|
|
* @return array|null
|
|
|
|
* @throws Error
|
|
|
|
* @throws \Exception
|
2015-07-15 20:05:46 +03:00
|
|
|
*/
|
2016-05-02 00:42:05 +03:00
|
|
|
private static function completeValue(ExecutionContext $exeContext, Type $returnType, $fieldASTs, ResolveInfo $info, &$result)
|
2015-07-15 20:05:46 +03:00
|
|
|
{
|
2015-10-23 12:45:40 +03:00
|
|
|
if ($result instanceof \Exception) {
|
|
|
|
throw Error::createLocatedError($result, $fieldASTs);
|
|
|
|
}
|
|
|
|
|
2015-07-15 20:05:46 +03:00
|
|
|
// If field type is NonNull, complete for inner type, and throw field error
|
|
|
|
// if result is null.
|
2015-08-17 17:01:55 +03:00
|
|
|
if ($returnType instanceof NonNull) {
|
|
|
|
$completed = self::completeValue(
|
2015-07-15 20:05:46 +03:00
|
|
|
$exeContext,
|
2015-08-17 17:01:55 +03:00
|
|
|
$returnType->getWrappedType(),
|
2015-07-15 20:05:46 +03:00
|
|
|
$fieldASTs,
|
2015-08-17 17:01:55 +03:00
|
|
|
$info,
|
2015-07-15 20:05:46 +03:00
|
|
|
$result
|
|
|
|
);
|
|
|
|
if ($completed === null) {
|
|
|
|
throw new Error(
|
2016-05-02 00:42:05 +03:00
|
|
|
'Cannot return null for non-nullable field ' . $info->parentType . '.' . $info->fieldName . '.',
|
2015-07-15 20:05:46 +03:00
|
|
|
$fieldASTs instanceof \ArrayObject ? $fieldASTs->getArrayCopy() : $fieldASTs
|
|
|
|
);
|
|
|
|
}
|
|
|
|
return $completed;
|
|
|
|
}
|
|
|
|
|
|
|
|
// If result is null-like, return null.
|
|
|
|
if (null === $result) {
|
|
|
|
return null;
|
|
|
|
}
|
|
|
|
|
2015-10-23 12:44:01 +03:00
|
|
|
// If field type is List, complete each item in the list with the inner type
|
2015-08-17 17:01:55 +03:00
|
|
|
if ($returnType instanceof ListOfType) {
|
2016-05-02 00:42:05 +03:00
|
|
|
return self::completeListValue($exeContext, $returnType, $fieldASTs, $info, $result);
|
2015-10-23 12:44:01 +03:00
|
|
|
}
|
2015-07-15 20:05:46 +03:00
|
|
|
|
2015-10-23 12:44:01 +03:00
|
|
|
// If field type is Scalar or Enum, serialize to a valid value, returning
|
|
|
|
// null if serialization is not possible.
|
|
|
|
if ($returnType instanceof ScalarType ||
|
|
|
|
$returnType instanceof EnumType) {
|
2016-05-02 00:42:05 +03:00
|
|
|
return self::completeLeafValue($returnType, $result);
|
2015-07-15 20:05:46 +03:00
|
|
|
}
|
|
|
|
|
2016-05-02 00:42:05 +03:00
|
|
|
if ($returnType instanceof AbstractType) {
|
|
|
|
return self::completeAbstractValue($exeContext, $returnType, $fieldASTs, $info, $result);
|
2015-08-17 17:01:55 +03:00
|
|
|
}
|
2015-07-15 20:05:46 +03:00
|
|
|
|
2016-05-02 00:42:05 +03:00
|
|
|
// Field type must be Object, Interface or Union and expect sub-selections.
|
|
|
|
if ($returnType instanceof ObjectType) {
|
|
|
|
return self::completeObjectValue($exeContext, $returnType, $fieldASTs, $info, $result);
|
2015-07-15 20:05:46 +03:00
|
|
|
}
|
2015-10-23 12:44:01 +03:00
|
|
|
|
2016-05-02 00:42:05 +03:00
|
|
|
throw new Error("Cannot complete value of unexpected type \"{$returnType}\".");
|
2015-07-15 20:05:46 +03:00
|
|
|
}
|
|
|
|
|
2015-10-23 12:44:01 +03:00
|
|
|
|
2015-07-15 20:05:46 +03:00
|
|
|
/**
|
|
|
|
* If a resolve function is not given, then a default resolve behavior is used
|
|
|
|
* which takes the property of the source object of the same name as the field
|
|
|
|
* and returns it as the result, or if it's a function, returns the result
|
|
|
|
* of calling that function.
|
|
|
|
*/
|
2016-05-02 00:42:05 +03:00
|
|
|
public static function defaultResolveFn($source, $args, $context, ResolveInfo $info)
|
2015-07-15 20:05:46 +03:00
|
|
|
{
|
2015-08-17 17:01:55 +03:00
|
|
|
$fieldName = $info->fieldName;
|
2015-07-15 20:05:46 +03:00
|
|
|
$property = null;
|
2015-08-17 17:01:55 +03:00
|
|
|
|
2015-07-15 20:05:46 +03:00
|
|
|
if (is_array($source) || $source instanceof \ArrayAccess) {
|
2015-08-17 17:01:55 +03:00
|
|
|
if (isset($source[$fieldName])) {
|
|
|
|
$property = $source[$fieldName];
|
2015-07-15 20:05:46 +03:00
|
|
|
}
|
|
|
|
} else if (is_object($source)) {
|
2015-08-30 10:43:55 +03:00
|
|
|
if (isset($source->{$fieldName})) {
|
2015-08-17 17:01:55 +03:00
|
|
|
$property = $source->{$fieldName};
|
2015-07-15 20:05:46 +03:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-08-30 10:43:55 +03:00
|
|
|
return $property instanceof \Closure ? $property($source) : $property;
|
2015-07-15 20:05:46 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* This method looks up the field on the given type defintion.
|
|
|
|
* It has special casing for the two introspection fields, __schema
|
|
|
|
* and __typename. __typename is special because it can always be
|
|
|
|
* queried as a field, even in situations where no other fields
|
|
|
|
* are allowed, like on a Union. __schema could get automatically
|
|
|
|
* added to the query type, but that would require mutating type
|
|
|
|
* definitions, which would cause issues.
|
|
|
|
*
|
|
|
|
* @return FieldDefinition
|
|
|
|
*/
|
2015-08-17 17:01:55 +03:00
|
|
|
private static function getFieldDef(Schema $schema, ObjectType $parentType, $fieldName)
|
2015-07-15 20:05:46 +03:00
|
|
|
{
|
|
|
|
$schemaMetaFieldDef = Introspection::schemaMetaFieldDef();
|
|
|
|
$typeMetaFieldDef = Introspection::typeMetaFieldDef();
|
|
|
|
$typeNameMetaFieldDef = Introspection::typeNameMetaFieldDef();
|
|
|
|
|
2015-08-17 17:01:55 +03:00
|
|
|
if ($fieldName === $schemaMetaFieldDef->name && $schema->getQueryType() === $parentType) {
|
2015-07-15 20:05:46 +03:00
|
|
|
return $schemaMetaFieldDef;
|
2015-08-17 17:01:55 +03:00
|
|
|
} else if ($fieldName === $typeMetaFieldDef->name && $schema->getQueryType() === $parentType) {
|
2015-07-15 20:05:46 +03:00
|
|
|
return $typeMetaFieldDef;
|
2015-08-17 17:01:55 +03:00
|
|
|
} else if ($fieldName === $typeNameMetaFieldDef->name) {
|
2015-07-15 20:05:46 +03:00
|
|
|
return $typeNameMetaFieldDef;
|
|
|
|
}
|
2015-08-17 17:01:55 +03:00
|
|
|
|
2015-07-15 20:05:46 +03:00
|
|
|
$tmp = $parentType->getFields();
|
2015-08-17 17:01:55 +03:00
|
|
|
return isset($tmp[$fieldName]) ? $tmp[$fieldName] : null;
|
2015-07-15 20:05:46 +03:00
|
|
|
}
|
2015-10-25 11:23:15 +03:00
|
|
|
|
|
|
|
/**
|
|
|
|
* Get an unique identifier for a FieldAST.
|
|
|
|
*
|
|
|
|
* @param object $fieldAST
|
|
|
|
* @return string
|
|
|
|
*/
|
2015-10-25 16:08:24 +03:00
|
|
|
private static function getFieldUid($fieldAST, ObjectType $fieldType)
|
2015-10-25 11:23:15 +03:00
|
|
|
{
|
2015-10-25 16:08:24 +03:00
|
|
|
return $fieldAST->loc->start . '-' . $fieldAST->loc->end . '-' . $fieldType->name;
|
2015-10-25 11:23:15 +03:00
|
|
|
}
|
2016-05-02 00:42:05 +03:00
|
|
|
|
|
|
|
/**
|
|
|
|
* Complete a value of an abstract type by determining the runtime object type
|
|
|
|
* of that value, then complete the value for that type.
|
|
|
|
*
|
|
|
|
* @param ExecutionContext $exeContext
|
|
|
|
* @param AbstractType $returnType
|
|
|
|
* @param $fieldASTs
|
|
|
|
* @param ResolveInfo $info
|
|
|
|
* @param $result
|
|
|
|
* @return mixed
|
|
|
|
* @throws Error
|
|
|
|
*/
|
|
|
|
private static function completeAbstractValue(ExecutionContext $exeContext, AbstractType $returnType, $fieldASTs, ResolveInfo $info, &$result)
|
|
|
|
{
|
|
|
|
$resolveType = $returnType->getResolveTypeFn();
|
|
|
|
|
|
|
|
$runtimeType = $resolveType ?
|
|
|
|
call_user_func($resolveType, $result, $exeContext->contextValue, $info) :
|
|
|
|
Type::getTypeOf($result, $exeContext->contextValue, $info, $returnType);
|
|
|
|
|
|
|
|
if (!($runtimeType instanceof ObjectType)) {
|
|
|
|
throw new Error(
|
|
|
|
"Abstract type {$returnType} must resolve to an Object type at runtime " .
|
|
|
|
"for field {$info->parentType}.{$info->fieldName} with value \"" . print_r($result, true) . "\"," .
|
|
|
|
"received \"$runtimeType\".",
|
|
|
|
$fieldASTs
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
if (!$exeContext->schema->isPossibleType($returnType, $runtimeType)) {
|
|
|
|
throw new Error(
|
|
|
|
"Runtime Object type \"$runtimeType\" is not a possible type for \"$returnType\".",
|
|
|
|
$fieldASTs
|
|
|
|
);
|
|
|
|
}
|
|
|
|
return self::completeObjectValue($exeContext, $runtimeType, $fieldASTs, $info, $result);
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Complete a list value by completing each item in the list with the
|
|
|
|
* inner type
|
|
|
|
*
|
|
|
|
* @param ExecutionContext $exeContext
|
|
|
|
* @param ListOfType $returnType
|
|
|
|
* @param $fieldASTs
|
|
|
|
* @param ResolveInfo $info
|
|
|
|
* @param $result
|
|
|
|
* @return array
|
|
|
|
* @throws \Exception
|
|
|
|
*/
|
|
|
|
private static function completeListValue(ExecutionContext $exeContext, ListOfType $returnType, $fieldASTs, ResolveInfo $info, &$result)
|
|
|
|
{
|
|
|
|
$itemType = $returnType->getWrappedType();
|
|
|
|
Utils::invariant(
|
|
|
|
is_array($result) || $result instanceof \Traversable,
|
|
|
|
'User Error: expected iterable, but did not find one for field ' . $info->parentType . '.' . $info->fieldName . '.'
|
|
|
|
);
|
|
|
|
|
|
|
|
$tmp = [];
|
|
|
|
foreach ($result as $item) {
|
|
|
|
$tmp[] = self::completeValueCatchingError($exeContext, $itemType, $fieldASTs, $info, $item);
|
|
|
|
}
|
|
|
|
return $tmp;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Complete a Scalar or Enum by serializing to a valid value, returning
|
|
|
|
* null if serialization is not possible.
|
|
|
|
*
|
|
|
|
* @param Type $returnType
|
|
|
|
* @param $result
|
|
|
|
* @return mixed
|
|
|
|
* @throws \Exception
|
|
|
|
*/
|
|
|
|
private static function completeLeafValue(Type $returnType, &$result)
|
|
|
|
{
|
|
|
|
Utils::invariant(method_exists($returnType, 'serialize'), 'Missing serialize method on type');
|
|
|
|
return $returnType->serialize($result);
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Complete an Object value by executing all sub-selections.
|
|
|
|
*
|
|
|
|
* @param ExecutionContext $exeContext
|
|
|
|
* @param ObjectType $returnType
|
|
|
|
* @param $fieldASTs
|
|
|
|
* @param ResolveInfo $info
|
|
|
|
* @param $result
|
|
|
|
* @return array
|
|
|
|
* @throws Error
|
|
|
|
*/
|
|
|
|
private static function completeObjectValue(ExecutionContext $exeContext, ObjectType $returnType, $fieldASTs, ResolveInfo $info, &$result)
|
|
|
|
{
|
|
|
|
// If there is an isTypeOf predicate function, call it with the
|
|
|
|
// current result. If isTypeOf returns false, then raise an error rather
|
|
|
|
// than continuing execution.
|
|
|
|
if (false === $returnType->isTypeOf($result, $exeContext->contextValue, $info)) {
|
|
|
|
throw new Error(
|
|
|
|
"Expected value of type $returnType but got: " . Utils::getVariableType($result),
|
|
|
|
$fieldASTs
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
// Collect sub-fields to execute to complete this value.
|
|
|
|
$subFieldASTs = new \ArrayObject();
|
|
|
|
$visitedFragmentNames = new \ArrayObject();
|
|
|
|
|
|
|
|
$fieldsCount = count($fieldASTs);
|
|
|
|
for ($i = 0; $i < $fieldsCount; $i++) {
|
|
|
|
// Get memoized value if it exists
|
|
|
|
$uid = self::getFieldUid($fieldASTs[$i], $returnType);
|
|
|
|
if (isset($exeContext->memoized['collectSubFields'][$uid])) {
|
|
|
|
$subFieldASTs = $exeContext->memoized['collectSubFields'][$uid];
|
|
|
|
} else {
|
|
|
|
$selectionSet = $fieldASTs[$i]->selectionSet;
|
|
|
|
if ($selectionSet) {
|
|
|
|
$subFieldASTs = self::collectFields(
|
|
|
|
$exeContext,
|
|
|
|
$returnType,
|
|
|
|
$selectionSet,
|
|
|
|
$subFieldASTs,
|
|
|
|
$visitedFragmentNames
|
|
|
|
);
|
|
|
|
$exeContext->memoized['collectSubFields'][$uid] = $subFieldASTs;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
return self::executeFields($exeContext, $returnType, $result, $subFieldASTs);
|
|
|
|
}
|
2015-07-15 20:05:46 +03:00
|
|
|
}
|