@graphprotocol/graph-cli 0.37.4 → 0.37.5

package/dist/validation/schema.js

@@ -0,0 +1,768 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || function (mod) {
+    if (mod && mod.__esModule) return mod;
+    var result = {};
+    if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
+    __setModuleDefault(result, mod);
+    return result;
+};
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.validateSchema = exports.typeSuggestion = void 0;
+const fs_1 = __importDefault(require("fs"));
+const graphql = __importStar(require("graphql/language"));
+const immutable_1 = __importDefault(require("immutable"));
+const List = immutable_1.default.List;
+const Set = immutable_1.default.Set;
+// Builtin scalar types
+const BUILTIN_SCALAR_TYPES = ['Boolean', 'Int', 'BigDecimal', 'String', 'BigInt', 'Bytes', 'ID'];
+// Type suggestions for common mistakes
+const TYPE_SUGGESTIONS = [
+    ['Address', 'Bytes'],
+    ['address', 'Bytes'],
+    ['Account', 'String'],
+    ['account', 'String'],
+    ['AccountId', 'String'],
+    ['AccountID', 'String'],
+    ['accountId', 'String'],
+    ['accountid', 'String'],
+    ['bytes', 'Bytes'],
+    ['string', 'String'],
+    ['bool', 'Boolean'],
+    ['boolean', 'Boolean'],
+    ['Bool', 'Boolean'],
+    ['float', 'BigDecimal'],
+    ['Float', 'BigDecimal'],
+    ['int', 'Int'],
+    ['uint', 'BigInt'],
+    ['owner', 'String'],
+    ['Owner', 'String'],
+    [/^(u|uint)(8|16|24)$/, 'Int'],
+    [/^(i|int)(8|16|24|32)$/, 'Int'],
+    [/^(u|uint)32$/, 'BigInt'],
+    [
+        /^(u|uint|i|int)(40|48|56|64|72|80|88|96|104|112|120|128|136|144|152|160|168|176|184|192|200|208|216|224|232|240|248|256)$/,
+        'BigInt',
+    ],
+];
+// As a convention, the type _Schema_ is reserved to define imports on.
+const RESERVED_TYPE = '_Schema_';
+/**
+ * Returns a GraphQL type suggestion for a given input type.
+ * Returns `undefined` if no suggestion is available for the type.
+ */
+const typeSuggestion = (typeName) => TYPE_SUGGESTIONS.filter(([pattern, _]) => {
+    return typeof pattern === 'string' ? pattern === typeName : typeName.match(pattern);
+}).map(([_, suggestion]) => suggestion)[0];
+exports.typeSuggestion = typeSuggestion;
+const loadSchema = (filename) => {
+    try {
+        return fs_1.default.readFileSync(filename, 'utf-8');
+    }
+    catch (e) {
+        throw new Error(`Failed to load GraphQL schema: ${e}`);
+    }
+};
+const parseSchema = (doc) => {
+    try {
+        return graphql.parse(doc);
+    }
+    catch (e) {
+        throw new Error(`Invalid GraphQL schema: ${e}`);
+    }
+};
+const validateEntityDirective = (def) => def.directives.find((directive) => directive.name.value === 'entity')
+    ? List()
+    : immutable_1.default.fromJS([
+        {
+            loc: def.loc,
+            entity: def.name.value,
+            message: `Defined without @entity directive`,
+        },
+    ]);
+const validateEntityID = (def) => {
+    const idField = def.fields.find((field) => field.name.value === 'id');
+    if (idField === undefined) {
+        return immutable_1.default.fromJS([
+            {
+                loc: def.loc,
+                entity: def.name.value,
+                message: `Missing field: id: ID!`,
+            },
+        ]);
+    }
+    if (idField.type.kind === 'NonNullType' &&
+        idField.type.type.kind === 'NamedType' &&
+        (idField.type.type.name.value === 'ID' ||
+            idField.type.type.name.value === 'Bytes' ||
+            idField.type.type.name.value === 'String')) {
+        return List();
+    }
+    return immutable_1.default.fromJS([
+        {
+            loc: idField.loc,
+            entity: def.name.value,
+            message: `Field 'id': Entity ids must be of type Bytes! or String!`,
+        },
+    ]);
+};
+const validateListFieldType = (def, field) => field.type.kind === 'NonNullType' &&
+    field.type.kind === 'ListType' &&
+    field.type.type.kind !== 'NonNullType'
+    ? immutable_1.default.fromJS([
+        {
+            loc: field.loc,
+            entity: def.name.value,
+            message: `\
+Field '${field.name.value}':
+Field has type [${field.type.type.name.value}]! but
+must have type [${field.type.type.name.value}!]!
+
+Reason: Lists with null elements are not supported.`,
+        },
+    ])
+    : field.type.kind === 'ListType' && field.type.type.kind !== 'NonNullType'
+        ? immutable_1.default.fromJS([
+            {
+                loc: field.loc,
+                entity: def.name.value,
+                message: `\
+Field '${field.name.value}':
+Field has type [${field.type.type.name.value}] but
+must have type [${field.type.type.name.value}!]
+
+Reason: Lists with null elements are not supported.`,
+            },
+        ])
+        : List();
+const unwrapType = (type) => {
+    const innerTypeFromList = (listType) => listType.type.kind === 'NonNullType' ? innerTypeFromNonNull(listType.type) : listType.type;
+    const innerTypeFromNonNull = (nonNullType) => nonNullType.type.kind === 'ListType' ? innerTypeFromList(nonNullType.type) : nonNullType.type;
+    // Obtain the inner-most type from the field
+    return type.kind === 'NonNullType'
+        ? innerTypeFromNonNull(type)
+        : type.kind === 'ListType'
+            ? innerTypeFromList(type)
+            : type;
+};
+const gatherLocalTypes = (defs) => defs
+    .filter(def => def.kind === 'ObjectTypeDefinition' ||
+    def.kind === 'EnumTypeDefinition' ||
+    def.kind === 'InterfaceTypeDefinition')
+    .map(def => 
+// @ts-expect-error TODO: name field does not exist on definition, really?
+def.name.value);
+const gatherImportedTypes = (defs) => defs
+    .filter(def => def.kind === 'ObjectTypeDefinition' &&
+    def.name.value == RESERVED_TYPE &&
+    def.directives?.find((directive) => directive.name.value == 'import' &&
+        directive.arguments.find((argument) => argument.name.value == 'types')))
+    .map(def => 
+// @ts-expect-error TODO: directives field does not exist on definition, really?
+def.directives
+    .filter((directive) => directive.name.value == 'import' &&
+    directive.arguments.find((argument) => argument.name.value == 'types'))
+    .map((imp) => imp.arguments.find((argument) => argument.name.value == 'types' && argument.value.kind == 'ListValue'))
+    .map((arg) => arg.value.values.map((type) => type.kind == 'StringValue'
+    ? type.value
+    : type.kind == 'ObjectValue' &&
+        type.fields.find((field) => field.name.value == 'as' && field.value.kind == 'StringValue')
+        ? type.fields.find((field) => field.name.value == 'as').value.value
+        : undefined)))
+    .reduce((flattened, types_args) => flattened.concat(types_args.reduce((flattened, types_arg) => {
+    types_arg.forEach(type => (type ? flattened.push(type) : undefined));
+    return flattened;
+}, [])), []);
+const entityTypeByName = (defs, name) => defs
+    .filter(def => def.kind === 'InterfaceTypeDefinition' ||
+    (def.kind === 'ObjectTypeDefinition' &&
+        def.directives.find((directive) => directive.name.value === 'entity')))
+    .find(def => def.name.value === name);
+const fieldTargetEntityName = (field) => unwrapType(field.type).name.value;
+const fieldTargetEntity = (defs, field) => entityTypeByName(defs, fieldTargetEntityName(field));
+const validateInnerFieldType = (defs, def, field) => {
+    const innerType = unwrapType(field.type);
+    // Get the name of the type
+    const typeName = innerType.name.value;
+    // Look up a possible suggestion for the type to catch common mistakes
+    const suggestion = (0, exports.typeSuggestion)(typeName);
+    // Collect all types that we can use here: built-ins + entities + enums + interfaces
+    const availableTypes = List.of(...BUILTIN_SCALAR_TYPES, ...gatherLocalTypes(defs), ...gatherImportedTypes(defs));
+    // Check whether the type name is available, otherwise return an error
+    return availableTypes.includes(typeName)
+        ? List()
+        : immutable_1.default.fromJS([
+            {
+                loc: field.loc,
+                entity: def.name.value,
+                message: `\
+Field '${field.name.value}': \
+Unknown type '${typeName}'.${suggestion !== undefined ? ` Did you mean '${suggestion}'?` : ''}`,
+            },
+        ]);
+};
+const validateEntityFieldType = (defs, def, field) => List.of(...validateListFieldType(def, field), ...validateInnerFieldType(defs, def, field));
+const validateEntityFieldArguments = (_defs, def, field) => field.arguments.length > 0
+    ? immutable_1.default.fromJS([
+        {
+            loc: field.loc,
+            entity: def.name.value,
+            message: `\
+Field '${field.name.value}': \
+Field arguments are not supported.`,
+        },
+    ])
+    : List();
+const validateDerivedFromDirective = (defs, def, field, directive) => {
+    // Validate that there is a `field` argument and nothing else
+    if (directive.arguments.length !== 1 || directive.arguments[0].name.value !== 'field') {
+        return immutable_1.default.fromJS([
+            {
+                loc: directive.loc,
+                entity: def.name.value,
+                message: `\
+Field '${field.name.value}': \
+@derivedFrom directive must have a 'field' argument`,
+            },
+        ]);
+    }
+    // Validate that the "field" argument value is a string
+    if (directive.arguments[0].value.kind !== 'StringValue') {
+        return immutable_1.default.fromJS([
+            {
+                loc: directive.loc,
+                entity: def.name.value,
+                message: `\
+Field '${field.name.value}': \
+Value of the @derivedFrom 'field' argument must be a string`,
+            },
+        ]);
+    }
+    const targetEntity = fieldTargetEntity(defs, field);
+    if (targetEntity === undefined) {
+        // This is handled in `validateInnerFieldType` but if we don't catch
+        // the undefined case here, the code below will throw, as it assumes
+        // the target entity exists
+        return immutable_1.default.fromJS([]);
+    }
+    const derivedFromField = targetEntity.fields.find((field) => field.name.value === directive.arguments[0].value.value);
+    if (derivedFromField === undefined) {
+        return immutable_1.default.fromJS([
+            {
+                loc: directive.loc,
+                entity: def.name.value,
+                message: `\
+Field '${field.name.value}': \
+@derivedFrom field '${directive.arguments[0].value.value}' \
+does not exist on type '${targetEntity.name.value}'`,
+            },
+        ]);
+    }
+    const backrefTypeName = unwrapType(derivedFromField.type);
+    const backRefEntity = entityTypeByName(defs, backrefTypeName.name.value);
+    // The field we are deriving from must either have type 'def' or one of the
+    // interface types that 'def' is implementing
+    if (!backRefEntity ||
+        (backRefEntity.name.value !== def.name.value &&
+            !def.interfaces.find((intf) => intf.name.value === backRefEntity.name.value))) {
+        return immutable_1.default.fromJS([
+            {
+                loc: directive.loc,
+                entity: def.name.value,
+                message: `\
+Field '${field.name.value}': \
+@derivedFrom field '${directive.arguments[0].value.value}' \
+on type '${targetEntity.name.value}' must have the type \
+'${def.name.value}', '${def.name.value}!', '[${def.name.value}!]!', \
+or one of the interface types that '${def.name.value}' implements`,
+            },
+        ]);
+    }
+    return List();
+};
+const validateEntityFieldDirective = (defs, def, field, directive) => directive.name.value === 'derivedFrom'
+    ? validateDerivedFromDirective(defs, def, field, directive)
+    : List();
+const validateEntityFieldDirectives = (defs, def, field) => field.directives.reduce((errors, directive) => errors.concat(validateEntityFieldDirective(defs, def, field, directive)), List());
+const validateEntityFields = (defs, def) => def.fields.reduce((errors, field) => errors
+    .concat(validateEntityFieldType(defs, def, field))
+    .concat(validateEntityFieldArguments(defs, def, field))
+    .concat(validateEntityFieldDirectives(defs, def, field)), List());
+const validateNoImportDirective = (def) => def.directives.find((directive) => directive.name.value == 'import')
+    ? List([
+        immutable_1.default.fromJS({
+            loc: def.name.loc,
+            entity: def.name.value,
+            message: `@import directive only allowed on '${RESERVED_TYPE}' type`,
+        }),
+    ])
+    : List();
+const validateNoFulltext = (def) => def.directives.find((directive) => directive.name.value == 'fulltext')
+    ? List([
+        immutable_1.default.fromJS({
+            loc: def.name.loc,
+            entity: def.name.value,
+            message: `@fulltext directive only allowed on '${RESERVED_TYPE}' type`,
+        }),
+    ])
+    : List();
+const validateFulltextFields = (def, directive) => {
+    return directive.arguments.reduce((errors, argument) => {
+        return errors.concat(['name', 'language', 'algorithm', 'include'].includes(argument.name.value)
+            ? List([])
+            : List([
+                immutable_1.default.fromJS({
+                    loc: directive.name.loc,
+                    entity: def.name.value,
+                    directive: fulltextDirectiveName(directive),
+                    message: `found invalid argument: '${argument.name.value}', @fulltext directives only allow 'name', 'language', 'algorithm', and 'includes' arguments`,
+                }),
+            ]));
+    }, List([]));
+};
+const validateFulltextName = (def, directive) => {
+    const name = directive.arguments.find((argument) => argument.name.value == 'name');
+    return name
+        ? validateFulltextArgumentName(def, directive, name)
+        : List([
+            immutable_1.default.fromJS({
+                loc: directive.name.loc,
+                entity: def.name.value,
+                directive: fulltextDirectiveName(directive),
+                message: `@fulltext argument 'name' must be specified`,
+            }),
+        ]);
+};
+const validateFulltextArgumentName = (def, directive, argument) => {
+    return argument.value.kind != 'StringValue'
+        ? List([
+            immutable_1.default.fromJS({
+                loc: directive.name.loc,
+                entity: def.name.value,
+                directive: fulltextDirectiveName(directive),
+                message: `@fulltext argument 'name' must be a string`,
+            }),
+        ])
+        : List([]);
+};
+const fulltextDirectiveName = (directive) => {
+    const arg = directive.arguments.find((argument) => argument.name.value == 'name');
+    return arg ? arg.value.value : 'Other';
+};
+const validateFulltextLanguage = (def, directive) => {
+    const language = directive.arguments.find((argument) => argument.name.value == 'language');
+    return language
+        ? validateFulltextArgumentLanguage(def, directive, language)
+        : List([
+            immutable_1.default.fromJS({
+                loc: directive.name.loc,
+                entity: def.name.value,
+                directive: fulltextDirectiveName(directive),
+                message: `@fulltext argument 'language' must be specified`,
+            }),
+        ]);
+};
+const validateFulltextArgumentLanguage = (def, directive, argument) => {
+    const languages = [
+        'simple',
+        'da',
+        'nl',
+        'en',
+        'fi',
+        'fr',
+        'de',
+        'hu',
+        'it',
+        'no',
+        'pt',
+        'ro',
+        'ru',
+        'es',
+        'sv',
+        'tr',
+    ];
+    if (argument.value.kind != 'EnumValue') {
+        return List([
+            immutable_1.default.fromJS({
+                loc: directive.name.loc,
+                entity: def.name.value,
+                directive: fulltextDirectiveName(directive),
+                message: `@fulltext 'language' value must be one of: ${languages.join(', ')}`,
+            }),
+        ]);
+    }
+    if (!languages.includes(argument.value.value)) {
+        return List([
+            immutable_1.default.fromJS({
+                loc: directive.name.loc,
+                entity: def.name.value,
+                directive: fulltextDirectiveName(directive),
+                message: `@fulltext directive 'language' value must be one of: ${languages.join(', ')}`,
+            }),
+        ]);
+    }
+    return List([]);
+};
+const validateFulltextAlgorithm = (def, directive) => {
+    const algorithm = directive.arguments.find((argument) => argument.name.value == 'algorithm');
+    return algorithm
+        ? validateFulltextArgumentAlgorithm(def, directive, algorithm)
+        : List([
+            immutable_1.default.fromJS({
+                loc: directive.name.loc,
+                entity: def.name.value,
+                directive: fulltextDirectiveName(directive),
+                message: `@fulltext argument 'algorithm' must be specified`,
+            }),
+        ]);
+};
+const validateFulltextArgumentAlgorithm = (def, directive, argument) => {
+    if (argument.value.kind != 'EnumValue') {
+        return List([
+            immutable_1.default.fromJS({
+                loc: directive.name.loc,
+                entity: def.name.value,
+                directive: fulltextDirectiveName(directive),
+                message: `@fulltext argument 'algorithm' must be one of: rank, proximityRank`,
+            }),
+        ]);
+    }
+    if (!['rank', 'proximityRank'].includes(argument.value.value)) {
+        return List([
+            immutable_1.default.fromJS({
+                loc: directive.name.loc,
+                entity: def.name.value,
+                directive: fulltextDirectiveName(directive),
+                message: `@fulltext 'algorithm' value, '${argument.value.value}', must be one of: rank, proximityRank`,
+            }),
+        ]);
+    }
+    return List([]);
+};
+const validateFulltextInclude = (def, directive) => {
+    const include = directive.arguments.find((argument) => argument.name.value == 'include');
+    if (include) {
+        if (include.value.kind != 'ListValue') {
+            return List([
+                immutable_1.default.fromJS({
+                    loc: directive.name.loc,
+                    entity: def.name.value,
+                    directive: fulltextDirectiveName(directive),
+                    message: `@fulltext argument 'include' must be a list`,
+                }),
+            ]);
+        }
+        return include.value.values.reduce((errors, type) => errors.concat(validateFulltextArgumentInclude(def, directive, type)), List());
+    }
+    return List([
+        immutable_1.default.fromJS({
+            loc: directive.name.loc,
+            entity: def.name.value,
+            directive: fulltextDirectiveName(directive),
+            message: `@fulltext argument 'include' must be specified`,
+        }),
+    ]);
+};
+const validateFulltextArgumentInclude = (def, directive, argument) => {
+    if (argument.kind != 'ObjectValue') {
+        return List([
+            immutable_1.default.fromJS({
+                loc: directive.name.loc,
+                entity: def.name.value,
+                directive: fulltextDirectiveName(directive),
+                message: `@fulltext argument 'include' must have the form '[{entity: "entityName", fields: [{name: "fieldName"}, ...]} ...]`,
+            }),
+        ]);
+    }
+    if (argument.fields.length != 2) {
+        return List([
+            immutable_1.default.fromJS({
+                loc: directive.name.loc,
+                entity: def.name.value,
+                directive: fulltextDirectiveName(directive),
+                message: `@fulltext argument include must have two fields, 'entity' and 'fields'`,
+            }),
+        ]);
+    }
+    return argument.fields.reduce((errors, field) => errors.concat(validateFulltextArgumentIncludeFields(def, directive, field)), List([]));
+};
+const validateFulltextArgumentIncludeFields = (def, directive, field) => {
+    if (!['entity', 'fields'].includes(field.name.value)) {
+        return List([
+            immutable_1.default.fromJS({
+                loc: directive.name.loc,
+                entity: def.name.value,
+                directive: fulltextDirectiveName(directive),
+                message: `@fulltext argument 'include > ${field.name.value}' must be be one of: entity, fields`,
+            }),
+        ]);
+    }
+    if (field.name.value == 'entity' && field.value.kind != 'StringValue') {
+        return List([
+            immutable_1.default.fromJS({
+                loc: directive.name.loc,
+                entity: def.name.value,
+                directive: fulltextDirectiveName(directive),
+                message: `@fulltext argument 'include > entity' must be the name of an entity in the schema enclosed in double quotes`,
+            }),
+        ]);
+    }
+    if (field.name.value == 'fields' && field.value.kind != 'ListValue') {
+        return List([
+            immutable_1.default.fromJS({
+                loc: directive.name.loc,
+                entity: def.name.value,
+                directive: fulltextDirectiveName(directive),
+                message: `@fulltext argument 'include > fields' must be a list`,
+            }),
+        ]);
+    }
+    if (field.name.value == 'fields' && field.value.kind == 'ListValue') {
+        return field.value.values.reduce((errors, field) => errors.concat(validateFulltextArgumentIncludeFieldsObjects(def, directive, field)), List([]));
+    }
+    return List([]);
+};
+const validateFulltextArgumentIncludeFieldsObjects = (def, directive, argument) => {
+    if (argument.kind != 'ObjectValue') {
+        return List([
+            immutable_1.default.fromJS({
+                loc: directive.name.loc,
+                entity: def.name.value,
+                directive: fulltextDirectiveName(directive),
+                message: `@fulltext argument 'include > fields' must have the form '[{ name: "fieldName" }, ...]`,
+            }),
+        ]);
+    }
+    return argument.fields.reduce((errors, field) => errors.concat(validateFulltextArgumentIncludeArgumentFieldsObject(def, directive, field)), List());
+};
+const validateFulltextArgumentIncludeArgumentFieldsObject = (def, directive, field) => {
+    if (!['name'].includes(field.name.value)) {
+        return List([
+            immutable_1.default.fromJS({
+                loc: directive.name.loc,
+                entity: def.name.value,
+                directive: fulltextDirectiveName(directive),
+                message: `@fulltext argument 'include > fields' has invalid member '${field.name.value}', must be one of: name`,
+            }),
+        ]);
+    }
+    if (field.name.value == 'name' && field.value.kind != 'StringValue') {
+        return List([
+            immutable_1.default.fromJS({
+                loc: directive.name.loc,
+                entity: def.name.value,
+                directive: fulltextDirectiveName(directive),
+                message: `@fulltext argument 'include > fields > name' must be the name of an entity field enclosed in double quotes`,
+            }),
+        ]);
+    }
+    return List([]);
+};
+const importDirectiveTypeValidators = {
+    StringValue: (_def, _directive, _type) => List(),
+    ObjectValue: (def, directive, type) => {
+        const errors = List();
+        if (type.fields.length != 2) {
+            return errors.push(immutable_1.default.fromJS({
+                loc: directive.name.loc,
+                entity: def.name.value,
+                message: `Import must be one of "Name" or { name: "Name", as: "Alias" }`,
+            }));
+        }
+        return type.fields.reduce((errors, field) => {
+            if (!['name', 'as'].includes(field.name.value)) {
+                return errors.push(immutable_1.default.fromJS({
+                    loc: directive.name.loc,
+                    entity: def.name.value,
+                    message: `@import field '${field.name.value}' invalid, may only be one of: name, as`,
+                }));
+            }
+            if (field.value.kind != 'StringValue') {
+                return errors.push(immutable_1.default.fromJS({
+                    loc: directive.name.loc,
+                    entity: def.name.value,
+                    message: `@import fields [name, as] must be strings`,
+                }));
+            }
+            return errors;
+        }, errors);
+    },
+};
+const validateImportDirectiveType = (def, directive, type) => {
+    return importDirectiveTypeValidators[type.kind]
+        ? importDirectiveTypeValidators[type.kind](def, directive, type)
+        : List([
+            immutable_1.default.fromJS({
+                loc: directive.name.loc,
+                entity: def.name.value,
+                message: `Import must be one of "Name" or { name: "Name", as: "Alias" }`,
+            }),
+        ]);
+};
+const validateImportDirectiveArgumentTypes = (def, directive, argument) => {
+    if (argument.value.kind != 'ListValue') {
+        return List([
+            immutable_1.default.fromJS({
+                loc: directive.name.loc,
+                entity: def.name.value,
+                message: `@import argument 'types' must be an list`,
+            }),
+        ]);
+    }
+    return argument.value.values.reduce((errors, type) => errors.concat(validateImportDirectiveType(def, directive, type)), List());
+};
+const validateImportDirectiveArgumentFrom = (def, directive, argument) => {
+    if (argument.value.kind != 'ObjectValue') {
+        return List([
+            immutable_1.default.fromJS({
+                loc: directive.name.loc,
+                entity: def.name.value,
+                message: `@import argument 'from' must be an object`,
+            }),
+        ]);
+    }
+    if (argument.value.fields.length != 1) {
+        return List([
+            immutable_1.default.fromJS({
+                loc: directive.name.loc,
+                entity: def.name.value,
+                message: `@import argument 'from' must have an 'id' or 'name' field`,
+            }),
+        ]);
+    }
+    return argument.value.fields.reduce((errors, field) => {
+        if (!['name', 'id'].includes(field.name.value)) {
+            return errors.push(immutable_1.default.fromJS({
+                loc: field.name.loc,
+                entity: def.name.value,
+                message: `@import argument 'from' must be one of { name: "Name" } or { id: "ID" }`,
+            }));
+        }
+        if (field.value.kind != 'StringValue') {
+            return errors.push(immutable_1.default.fromJS({
+                loc: field.name.loc,
+                entity: def.name.value,
+                message: `@import argument 'from' must be one of { name: "Name" } or { id: "ID" } with string values`,
+            }));
+        }
+        return errors;
+    }, List());
+};
+const validateImportDirectiveFields = (def, directive) => {
+    return directive.arguments.reduce((errors, argument) => {
+        return errors.concat(['types', 'from'].includes(argument.name.value)
+            ? List([])
+            : List([
+                immutable_1.default.fromJS({
+                    loc: directive.name.loc,
+                    entity: def.name.value,
+                    message: `found invalid argument: '${argument.name.value}', @import directives only allow 'types' and 'from' arguments`,
+                }),
+            ]));
+    }, List([]));
+};
+const validateImportDirectiveTypes = (def, directive) => {
+    const types = directive.arguments.find((argument) => argument.name.value == 'types');
+    return types
+        ? validateImportDirectiveArgumentTypes(def, directive, types)
+        : List([
+            immutable_1.default.fromJS({
+                loc: directive.name.loc,
+                entity: def.name.value,
+                message: `@import argument 'types' must be specified`,
+            }),
+        ]);
+};
+const validateImportDirectiveFrom = (def, directive) => {
+    const from = directive.arguments.find((argument) => argument.name.value == 'from');
+    return from
+        ? validateImportDirectiveArgumentFrom(def, directive, from)
+        : List([
+            immutable_1.default.fromJS({
+                loc: directive.name.loc,
+                entity: def.name.value,
+                message: `@import argument 'from' must be specified`,
+            }),
+        ]);
+};
+const validateImportDirective = (def, directive) => List.of(...validateImportDirectiveFields(def, directive), ...validateImportDirectiveTypes(def, directive), ...validateImportDirectiveFrom(def, directive));
+const validateFulltext = (def, directive) => List.of(...validateFulltextFields(def, directive), ...validateFulltextName(def, directive), ...validateFulltextLanguage(def, directive), ...validateFulltextAlgorithm(def, directive), ...validateFulltextInclude(def, directive));
+const validateSubgraphSchemaDirective = (def, directive) => {
+    if (directive.name.value == 'import') {
+        return validateImportDirective(def, directive);
+    }
+    if (directive.name.value == 'fulltext') {
+        return validateFulltext(def, directive);
+    }
+    return List([
+        immutable_1.default.fromJS({
+            loc: directive.name.loc,
+            entity: def.name.value,
+            message: `${RESERVED_TYPE} type only allows @import and @fulltext directives`,
+        }),
+    ]);
+};
+const validateSubgraphSchemaDirectives = (def) => def.directives.reduce((errors, directive) => errors.concat(validateSubgraphSchemaDirective(def, directive)), List());
+const validateTypeHasNoFields = (def) => def.fields.length
+    ? List([
+        immutable_1.default.fromJS({
+            loc: def.name.loc,
+            entity: def.name.value,
+            message: `${def.name.value} type is not allowed any fields by convention`,
+        }),
+    ])
+    : List();
+const validateAtLeastOneExtensionField = (_def) => List();
+const typeDefinitionValidators = {
+    ObjectTypeDefinition: (defs, def) => def.name && def.name.value == RESERVED_TYPE
+        ? List.of(...validateSubgraphSchemaDirectives(def), ...validateTypeHasNoFields(def))
+        : List.of(...validateEntityDirective(def), ...validateEntityID(def), ...validateEntityFields(defs, def), ...validateNoImportDirective(def), ...validateNoFulltext(def)),
+    ObjectTypeExtension: (_defs, def) => validateAtLeastOneExtensionField(def),
+};
+const validateTypeDefinition = (defs, def) => typeDefinitionValidators[def.kind] !== undefined
+    ? typeDefinitionValidators[def.kind](defs, def)
+    : List();
+const validateTypeDefinitions = (defs) => defs.reduce((errors, def) => errors.concat(validateTypeDefinition(defs, def)), List());
+const validateNamingCollisionsInTypes = (types) => {
+    let seen = Set();
+    let conflicting = Set();
+    return types.reduce((errors, type) => {
+        if (seen.has(type) && !conflicting.has(type)) {
+            errors = errors.push(immutable_1.default.fromJS({
+                loc: { start: 1, end: 1 },
+                entity: type,
+                message: `Type '${type}' is defined more than once`,
+            }));
+            conflicting = conflicting.add(type);
+        }
+        else {
+            seen = seen.add(type);
+        }
+        return errors;
+    }, List());
+};
+const validateNamingCollisions = (local, imported) => validateNamingCollisionsInTypes(local.concat(imported));
+const validateSchema = (filename) => {
+    const doc = loadSchema(filename);
+    const schema = parseSchema(doc);
+    return List.of(...validateTypeDefinitions(schema.definitions), ...validateNamingCollisions(gatherLocalTypes(schema.definitions), gatherImportedTypes(schema.definitions)));
+};
+exports.validateSchema = validateSchema;