12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273 |
- import inspect from '../../jsutils/inspect';
- import { GraphQLError } from '../../error/GraphQLError';
- import { Kind } from '../../language/kinds';
- import { isNonNullType } from '../../type/definition';
- import { typeFromAST } from '../../utilities/typeFromAST';
- import { isTypeSubTypeOf } from '../../utilities/typeComparators';
- export function badVarPosMessage(varName, varType, expectedType) {
- return "Variable \"$".concat(varName, "\" of type \"").concat(varType, "\" used in position expecting type \"").concat(expectedType, "\".");
- }
- /**
- * Variables passed to field arguments conform to type
- */
- export function VariablesInAllowedPosition(context) {
- var varDefMap = Object.create(null);
- return {
- OperationDefinition: {
- enter: function enter() {
- varDefMap = Object.create(null);
- },
- leave: function leave(operation) {
- var usages = context.getRecursiveVariableUsages(operation);
- for (var _i2 = 0; _i2 < usages.length; _i2++) {
- var _ref2 = usages[_i2];
- var node = _ref2.node;
- var type = _ref2.type;
- var defaultValue = _ref2.defaultValue;
- var varName = node.name.value;
- var varDef = varDefMap[varName];
- if (varDef && type) {
- // A var type is allowed if it is the same or more strict (e.g. is
- // a subtype of) than the expected type. It can be more strict if
- // the variable type is non-null when the expected type is nullable.
- // If both are list types, the variable item type can be more strict
- // than the expected item type (contravariant).
- var schema = context.getSchema();
- var varType = typeFromAST(schema, varDef.type);
- if (varType && !allowedVariableUsage(schema, varType, varDef.defaultValue, type, defaultValue)) {
- context.reportError(new GraphQLError(badVarPosMessage(varName, inspect(varType), inspect(type)), [varDef, node]));
- }
- }
- }
- }
- },
- VariableDefinition: function VariableDefinition(node) {
- varDefMap[node.variable.name.value] = node;
- }
- };
- }
- /**
- * Returns true if the variable is allowed in the location it was found,
- * which includes considering if default values exist for either the variable
- * or the location at which it is located.
- */
- function allowedVariableUsage(schema, varType, varDefaultValue, locationType, locationDefaultValue) {
- if (isNonNullType(locationType) && !isNonNullType(varType)) {
- var hasNonNullVariableDefaultValue = varDefaultValue != null && varDefaultValue.kind !== Kind.NULL;
- var hasLocationDefaultValue = locationDefaultValue !== undefined;
- if (!hasNonNullVariableDefaultValue && !hasLocationDefaultValue) {
- return false;
- }
- var nullableLocationType = locationType.ofType;
- return isTypeSubTypeOf(schema, varType, nullableLocationType);
- }
- return isTypeSubTypeOf(schema, varType, locationType);
- }
|