grats - npm Package Compare versions

Comparing version 0.0.0-main-a5324602 to 0.0.0-main-a6ebf81d

dist/package.json

 {
     "name": "grats",
-    "version": "0.0.5",
+    "version": "0.0.26",
     "main": "dist/src/index.js",
@@ -9,3 +9,4 @@ "bin": "dist/src/cli.js",
     "files": [
-        "dist"
+        "dist",
+        "!dist/src/tests"
     ],
@@ -15,13 +16,15 @@ "scripts": {
         "integration-tests": "node src/tests/integration.mjs",
-        "build": "tsc --build",
-        "lint": "eslint src/**/*.ts"
+        "build": "rm -rf dist/ && tsc --build",
+        "format": "prettier . --write",
+        "lint": "eslint . && prettier . --check"
     },
     "dependencies": {
-        "@graphql-tools/utils": "^9.2.1",
         "commander": "^10.0.0",
         "graphql": "^16.6.0",
-        "typescript": "^4.9.5"
+        "typescript": "^5.0.2"
     },
     "devDependencies": {
+        "@graphql-tools/utils": "^9.2.1",
         "@types/node": "^18.14.6",
+        "@types/semver": "^7.5.6",
         "@typescript-eslint/eslint-plugin": "^5.55.0",
@@ -33,3 +36,5 @@ "@typescript-eslint/parser": "^5.55.0",
         "path-browserify": "^1.0.1",
+        "prettier": "^2.8.7",
         "process": "^0.11.10",
+        "semver": "^7.5.4",
         "ts-node": "^10.9.1"
@@ -40,7 +45,27 @@ },
     },
-    "packageManager": "pnpm@8.1.1",
+    "packageManager": "pnpm@8.12.0",
     "engines": {
         "node": ">=16 <=21",
         "pnpm": "^8"
-    }
+    },
+    "bugs": {
+        "url": "https://github.com/captbaritone/grats/issues"
+    },
+    "repository": {
+        "type": "git",
+        "url": "https://github.com/captbaritone/grats.git"
+    },
+    "author": {
+        "name": "Jordan Eldredge",
+        "email": "[e-mail]",
+        "url": "https://jordaneldredge.com"
+    },
+    "keywords": [
+        "graphql",
+        "typescript",
+        "resolvers",
+        "schema",
+        "code-first",
+        "implementation-first"
+    ]
 }

dist/src/cli.js

@@ -39,8 +39,6 @@ #!/usr/bin/env node
 };
-exports.__esModule = true;
+Object.defineProperty(exports, "__esModule", { value: true });
 exports.formatLoc = void 0;
-var graphql_1 = require("graphql");
 var _1 = require("./");
 var lib_1 = require("./lib");
-var utils_1 = require("@graphql-tools/utils");
 var commander_1 = require("commander");
@@ -51,2 +49,5 @@ var fs_1 = require("fs");
 var Locate_1 = require("./Locate");
+var printSchema_1 = require("./printSchema");
+var ts = require("typescript");
+var DiagnosticError_1 = require("./utils/DiagnosticError");
 var program = new commander_1.Command();
@@ -57,9 +58,14 @@ program
     .version(package_json_1.version)
-    .option("-o, --output <SCHEMA_FILE>", "Where to write the schema file. Defaults to stdout")
     .option("--tsconfig <TSCONFIG>", "Path to tsconfig.json. Defaults to auto-detecting based on the current working directory")
+    .option("--watch", "Watch for changes and rebuild schema files as needed")
     .action(function (_a) {
-    var output = _a.output, tsconfig = _a.tsconfig;
+    var tsconfig = _a.tsconfig, watch = _a.watch;
     return __awaiter(void 0, void 0, void 0, function () {
         return __generator(this, function (_b) {
-            build(output, tsconfig);
+            if (watch) {
+                startWatchMode(tsconfig);
+            }
+            else {
+                runBuild(tsconfig);
+            }
             return [2 /*return*/];
@@ -75,3 +81,9 @@ });
     var tsconfig = _a.tsconfig;
-    var schema = buildSchema(tsconfig);
+    var config = getTsConfigOrReportAndExit(tsconfig).config;
+    var schemaAndDocResult = (0, lib_1.buildSchemaAndDocResult)(config);
+    if (schemaAndDocResult.kind === "ERROR") {
+        console.error(schemaAndDocResult.err.formatDiagnosticsWithColorAndContext());
+        process.exit(1);
+    }
+    var schema = schemaAndDocResult.value.schema;
     var loc = (0, Locate_1.locate)(schema, entity);
@@ -85,31 +97,65 @@ if (loc.kind === "ERROR") {
 program.parse();
-function build(output, tsconfig) {
-    var schema = buildSchema(tsconfig);
-    var sortedSchema = (0, graphql_1.lexicographicSortSchema)(schema);
-    var schemaStr = (0, utils_1.printSchemaWithDirectives)(sortedSchema, {
-        assumeValid: true
-    });
-    if (output) {
-        var absOutput = (0, path_1.resolve)(process.cwd(), output);
-        (0, fs_1.writeFileSync)(absOutput, schemaStr);
-        console.error("Grats: Wrote schema to `".concat(absOutput, "`."));
-    }
-    else {
-        console.log(schemaStr);
-    }
+/**
+ * Run the compiler in watch mode.
+ */
+function startWatchMode(tsconfig) {
+    var _a = getTsConfigOrReportAndExit(tsconfig), config = _a.config, configPath = _a.configPath;
+    var watchHost = ts.createWatchCompilerHost(configPath, {}, ts.sys, ts.createSemanticDiagnosticsBuilderProgram, function (diagnostic) { return reportDiagnostics([diagnostic]); }, function (diagnostic) { return reportDiagnostics([diagnostic]); });
+    watchHost.afterProgramCreate = function (program) {
+        // For now we just rebuild the schema on every change.
+        var schemaResult = (0, lib_1.extractSchemaAndDoc)(config, program.getProgram());
+        if (schemaResult.kind === "ERROR") {
+            reportDiagnostics(schemaResult.err);
+            return;
+        }
+        writeSchemaFilesAndReport(schemaResult.value, config, configPath);
+    };
+    ts.createWatchProgram(watchHost);
 }
-function buildSchema(tsconfig) {
-    if (tsconfig && !(0, fs_1.existsSync)(tsconfig)) {
-        console.error("Grats: Could not find tsconfig.json at `".concat(tsconfig, "`."));
+/**
+ * Run the compiler performing a single build.
+ */
+function runBuild(tsconfig) {
+    var _a = getTsConfigOrReportAndExit(tsconfig), config = _a.config, configPath = _a.configPath;
+    var schemaAndDocResult = (0, lib_1.buildSchemaAndDocResult)(config);
+    if (schemaAndDocResult.kind === "ERROR") {
+        console.error(schemaAndDocResult.err.formatDiagnosticsWithColorAndContext());
         process.exit(1);
     }
-    var parsed = (0, _1.getParsedTsConfig)(tsconfig);
-    // FIXME: Validate config!
-    // https://github.com/tsconfig/bases
-    var schemaResult = (0, lib_1.buildSchemaResult)(parsed);
-    if (schemaResult.kind === "ERROR") {
-        console.error(schemaResult.err.formatDiagnosticsWithColorAndContext());
+    writeSchemaFilesAndReport(schemaAndDocResult.value, config, configPath);
+}
+/**
+ * Serializes the SDL and TypeScript schema to disk and reports to the console.
+ */
+function writeSchemaFilesAndReport(schemaAndDoc, config, configPath) {
+    var schema = schemaAndDoc.schema, doc = schemaAndDoc.doc;
+    var gratsConfig = config.raw.grats;
+    var dest = (0, path_1.resolve)((0, path_1.dirname)(configPath), gratsConfig.tsSchema);
+    var code = (0, printSchema_1.printExecutableSchema)(schema, gratsConfig, dest);
+    (0, fs_1.writeFileSync)(dest, code);
+    console.error("Grats: Wrote TypeScript schema to `".concat(dest, "`."));
+    var schemaStr = (0, printSchema_1.printGratsSDL)(doc, gratsConfig);
+    var absOutput = (0, path_1.resolve)((0, path_1.dirname)(configPath), gratsConfig.graphqlSchema);
+    (0, fs_1.writeFileSync)(absOutput, schemaStr);
+    console.error("Grats: Wrote schema to `".concat(absOutput, "`."));
+}
+/**
+ * Utility function to report diagnostics to the console.
+ */
+function reportDiagnostics(diagnostics) {
+    var reportable = DiagnosticError_1.ReportableDiagnostics.fromDiagnostics(diagnostics);
+    console.error(reportable.formatDiagnosticsWithColorAndContext());
+}
+// Locate and read the tsconfig.json file
+function getTsConfigOrReportAndExit(tsconfig) {
+    var configPath = tsconfig || ts.findConfigFile(process.cwd(), ts.sys.fileExists);
+    if (configPath == null) {
+        throw new Error("Grats: Could not find tsconfig.json");
+    }
+    var optionsResult = (0, _1.getParsedTsConfig)(configPath);
+    if (optionsResult.kind === "ERROR") {
+        console.error(optionsResult.err.formatDiagnosticsWithColorAndContext());
         process.exit(1);
     }
-    return schemaResult.value;
+    return { configPath: configPath, config: optionsResult.value };
 }
@@ -116,0 +162,0 @@ // Format a location for printing to the console. Tools like VS Code and iTerm

dist/src/Errors.d.ts

@@ -0,1 +1,2 @@
+export declare const ISSUE_URL = "https://github.com/captbaritone/grats/issues";
 /**
@@ -26,9 +27,11 @@ * Error messages for Grats
 export declare function functionFieldNotTopLevel(): string;
+export declare function staticMethodClassNotTopLevel(): string;
+export declare function staticMethodFieldClassNotExported(): string;
 export declare function functionFieldParentTypeMissing(): string;
 export declare function functionFieldParentTypeNotValid(): string;
 export declare function functionFieldNotNamed(): string;
-export declare function functionFieldDefaultExport(): string;
 export declare function functionFieldNotNamedExport(): string;
 export declare function inputTypeNotLiteral(): string;
 export declare function inputTypeFieldNotProperty(): string;
+export declare function inputInterfaceFieldNotProperty(): string;
 export declare function inputFieldUntyped(): string;
@@ -39,3 +42,7 @@ export declare function typeTagOnUnnamedClass(): string;
 export declare function typeNameMissingInitializer(): string;
-export declare function typeNameInitializeNotString(): string;
+export declare function typeNameInitializeNotString(expectedName: string): string;
+export declare function typeNameInitializeNotExpression(expectedName: string): string;
+export declare function typeNameTypeNotReferenceNode(expectedName: string): string;
+export declare function typeNameTypeNameNotIdentifier(expectedName: string): string;
+export declare function typeNameTypeNameNotConst(expectedName: string): string;
 export declare function typeNameInitializerWrong(expected: string, actual: string): string;
@@ -55,3 +62,4 @@ export declare function typeNameMissingTypeAnnotation(expected: string): string;
 export declare function methodMissingType(): string;
-export declare function promiseMissingTypeArg(): string;
+export declare function wrapperMissingTypeArg(): string;
+export declare function invalidWrapperOnInputType(wrapperName: string): string;
 export declare function cannotResolveSymbolForDescription(): string;
@@ -68,8 +76,7 @@ export declare function propertyFieldMissingType(): string;
 export declare function pluralTypeMissingParameter(): string;
-export declare function expectedIdentifier(): string;
+export declare function expectedNameIdentifier(): string;
 export declare function killsParentOnExceptionWithWrongConfig(): string;
 export declare function killsParentOnExceptionOnNullable(): string;
 export declare function nonNullTypeCannotBeOptional(): string;
-export declare function mergedInterfaces(interfaceName: string): string;
-export declare function implementsTagMissingValue(): string;
+export declare function mergedInterfaces(): string;
 export declare function implementsTagOnClass(): string;
@@ -93,1 +100,20 @@ export declare function implementsTagOnInterface(): string;
 export declare function graphQLTagNameHasWhitespace(tagName: string): string;
+export declare function subscriptionFieldNotAsyncIterable(): string;
+export declare function operationTypeNotUnknown(): string;
+export declare function expectedNullableArgumentToBeOptional(): string;
+export declare function gqlTagInLineComment(): string;
+export declare function gqlTagInNonJSDocBlockComment(): string;
+export declare function gqlTagInDetachedJSDocBlockComment(): string;
+export declare function gqlFieldTagOnInputType(): string;
+export declare function gqlFieldParentMissingTag(): string;
+export declare function missingSpecifiedByUrl(): string;
+export declare function specifiedByOnWrongNode(): string;
+export declare function missingGenericType(templateName: string, paramName: string): string;
+export declare function nonGraphQLGenericType(templateName: string, paramName: string): string;
+export declare function genericTypeUsedAsUnionMember(): string;
+export declare function genericTypeImplementsInterface(): string;
+export declare function concreteTypeMissingTypename(implementor: string): string;
+export declare function invalidFieldNonPublicAccessModifier(): string;
+export declare function invalidStaticModifier(): string;
+export declare function staticMethodOnNonClass(): string;
+export declare function staticMethodClassWithNamedExportNotNamed(): string;

dist/src/Errors.js

 "use strict";
-exports.__esModule = true;
-exports.defaultArgPropertyMissingName = exports.defaultArgElementIsNotAssignment = exports.defaultValueIsNotLiteral = exports.ambiguousNumberType = exports.expectedOneNonNullishType = exports.propertyFieldMissingType = exports.cannotResolveSymbolForDescription = exports.promiseMissingTypeArg = exports.methodMissingType = exports.gqlEntityMissingName = exports.enumVariantMissingInitializer = exports.enumVariantNotStringLiteral = exports.enumTagOnInvalidNode = exports.argNotTyped = exports.argNameNotLiteral = exports.argIsNotProperty = exports.argumentParamIsNotObject = exports.argumentParamIsMissingType = exports.typeNameDoesNotMatchExpected = exports.typeNameTypeNotStringLiteral = exports.typeNameMissingTypeAnnotation = exports.typeNameInitializerWrong = exports.typeNameInitializeNotString = exports.typeNameMissingInitializer = exports.typeNameNotDeclaration = exports.typeTagOnAliasOfNonObjectOrUnknown = exports.typeTagOnUnnamedClass = exports.inputFieldUntyped = exports.inputTypeFieldNotProperty = exports.inputTypeNotLiteral = exports.functionFieldNotNamedExport = exports.functionFieldDefaultExport = exports.functionFieldNotNamed = exports.functionFieldParentTypeNotValid = exports.functionFieldParentTypeMissing = exports.functionFieldNotTopLevel = exports.invalidReturnTypeForFunctionField = exports.invalidParentArgForFunctionField = exports.expectedUnionTypeReference = exports.expectedUnionTypeNode = exports.invalidUnionTagUsage = exports.invalidInputTagUsage = exports.invalidEnumTagUsage = exports.invalidInterfaceTagUsage = exports.invalidScalarTagUsage = exports.invalidTypeTagUsage = exports.invalidGratsTag = exports.wrongCasingForGratsTag = exports.killsParentOnExceptionOnWrongNode = exports.fieldTagOnWrongNode = void 0;
-exports.graphQLTagNameHasWhitespace = exports.graphQLNameHasLeadingNewlines = exports.multipleContextTypes = exports.unexpectedParamSpreadForContextParam = exports.expectedTypeAnnotationOnContextToHaveDeclaration = exports.expectedTypeAnnotationOnContextToBeResolvable = exports.expectedTypeAnnotationOfReferenceOnContext = exports.expectedTypeAnnotationOnContext = exports.unresolvedTypeReference = exports.invalidTypePassedToFieldFunction = exports.parameterPropertyMissingType = exports.parameterPropertyNotPublic = exports.parameterWithoutModifiers = exports.duplicateInterfaceTag = exports.duplicateTag = exports.implementsTagOnTypeAlias = exports.implementsTagOnInterface = exports.implementsTagOnClass = exports.implementsTagMissingValue = exports.mergedInterfaces = exports.nonNullTypeCannotBeOptional = exports.killsParentOnExceptionOnNullable = exports.killsParentOnExceptionWithWrongConfig = exports.expectedIdentifier = exports.pluralTypeMissingParameter = exports.unknownGraphQLType = exports.unsupportedTypeLiteral = exports.defaultArgPropertyMissingInitializer = void 0;
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.wrapperMissingTypeArg = exports.methodMissingType = exports.gqlEntityMissingName = exports.enumVariantMissingInitializer = exports.enumVariantNotStringLiteral = exports.enumTagOnInvalidNode = exports.argNotTyped = exports.argNameNotLiteral = exports.argIsNotProperty = exports.argumentParamIsNotObject = exports.argumentParamIsMissingType = exports.typeNameDoesNotMatchExpected = exports.typeNameTypeNotStringLiteral = exports.typeNameMissingTypeAnnotation = exports.typeNameInitializerWrong = exports.typeNameTypeNameNotConst = exports.typeNameTypeNameNotIdentifier = exports.typeNameTypeNotReferenceNode = exports.typeNameInitializeNotExpression = exports.typeNameInitializeNotString = exports.typeNameMissingInitializer = exports.typeNameNotDeclaration = exports.typeTagOnAliasOfNonObjectOrUnknown = exports.typeTagOnUnnamedClass = exports.inputFieldUntyped = exports.inputInterfaceFieldNotProperty = exports.inputTypeFieldNotProperty = exports.inputTypeNotLiteral = exports.functionFieldNotNamedExport = exports.functionFieldNotNamed = exports.functionFieldParentTypeNotValid = exports.functionFieldParentTypeMissing = exports.staticMethodFieldClassNotExported = exports.staticMethodClassNotTopLevel = exports.functionFieldNotTopLevel = exports.invalidReturnTypeForFunctionField = exports.invalidParentArgForFunctionField = exports.expectedUnionTypeReference = exports.expectedUnionTypeNode = exports.invalidUnionTagUsage = exports.invalidInputTagUsage = exports.invalidEnumTagUsage = exports.invalidInterfaceTagUsage = exports.invalidScalarTagUsage = exports.invalidTypeTagUsage = exports.invalidGratsTag = exports.wrongCasingForGratsTag = exports.killsParentOnExceptionOnWrongNode = exports.fieldTagOnWrongNode = exports.ISSUE_URL = void 0;
+exports.concreteTypeMissingTypename = exports.genericTypeImplementsInterface = exports.genericTypeUsedAsUnionMember = exports.nonGraphQLGenericType = exports.missingGenericType = exports.specifiedByOnWrongNode = exports.missingSpecifiedByUrl = exports.gqlFieldParentMissingTag = exports.gqlFieldTagOnInputType = exports.gqlTagInDetachedJSDocBlockComment = exports.gqlTagInNonJSDocBlockComment = exports.gqlTagInLineComment = exports.expectedNullableArgumentToBeOptional = exports.operationTypeNotUnknown = exports.subscriptionFieldNotAsyncIterable = exports.graphQLTagNameHasWhitespace = exports.graphQLNameHasLeadingNewlines = exports.multipleContextTypes = exports.unexpectedParamSpreadForContextParam = exports.expectedTypeAnnotationOnContextToHaveDeclaration = exports.expectedTypeAnnotationOnContextToBeResolvable = exports.expectedTypeAnnotationOfReferenceOnContext = exports.expectedTypeAnnotationOnContext = exports.unresolvedTypeReference = exports.invalidTypePassedToFieldFunction = exports.parameterPropertyMissingType = exports.parameterPropertyNotPublic = exports.parameterWithoutModifiers = exports.duplicateInterfaceTag = exports.duplicateTag = exports.implementsTagOnTypeAlias = exports.implementsTagOnInterface = exports.implementsTagOnClass = exports.mergedInterfaces = exports.nonNullTypeCannotBeOptional = exports.killsParentOnExceptionOnNullable = exports.killsParentOnExceptionWithWrongConfig = exports.expectedNameIdentifier = exports.pluralTypeMissingParameter = exports.unknownGraphQLType = exports.unsupportedTypeLiteral = exports.defaultArgPropertyMissingInitializer = exports.defaultArgPropertyMissingName = exports.defaultArgElementIsNotAssignment = exports.defaultValueIsNotLiteral = exports.ambiguousNumberType = exports.expectedOneNonNullishType = exports.propertyFieldMissingType = exports.cannotResolveSymbolForDescription = exports.invalidWrapperOnInputType = void 0;
+exports.staticMethodClassWithNamedExportNotNamed = exports.staticMethodOnNonClass = exports.invalidStaticModifier = exports.invalidFieldNonPublicAccessModifier = void 0;
 var Extractor_1 = require("./Extractor");
+exports.ISSUE_URL = "https://github.com/captbaritone/grats/issues";
 // TODO: Move these to short URLS that are easier to keep from breaking.
 var DOC_URLS = {
-    mergedInterfaces: "https://grats.capt.dev/docs/dockblock-tags/interfaces/#merged-interfaces",
-    parameterProperties: "https://grats.capt.dev/docs/dockblock-tags/fields#class-based-fields",
-    typeImplementsInterface: "TODO"
+    mergedInterfaces: "https://grats.capt.dev/docs/docblock-tags/interfaces/#merged-interfaces",
+    parameterProperties: "https://grats.capt.dev/docs/docblock-tags/fields#class-based-fields",
+    commentSyntax: "https://grats.capt.dev/docs/getting-started/comment-syntax",
 };
@@ -23,3 +25,3 @@ /**
 function fieldTagOnWrongNode() {
-    return "`@".concat(Extractor_1.FIELD_TAG, "` can only be used on method/property declarations or signatures.");
+    return "`@".concat(Extractor_1.FIELD_TAG, "` can only be used on method/property declarations, signatures, or function declarations.");
 }
@@ -35,2 +37,3 @@ exports.fieldTagOnWrongNode = fieldTagOnWrongNode;
 exports.wrongCasingForGratsTag = wrongCasingForGratsTag;
+// TODO: Add code action
 function invalidGratsTag(actual) {
@@ -42,31 +45,31 @@ var validTagList = Extractor_1.ALL_TAGS.map(function (t) { return "`@".concat(t, "`"); }).join(", ");
 function invalidTypeTagUsage() {
-    return "`@".concat(Extractor_1.TYPE_TAG, "` can only be used on class or interface declarations.");
+    return "`@".concat(Extractor_1.TYPE_TAG, "` can only be used on class, interface or type declarations. e.g. `class MyType {}`");
 }
 exports.invalidTypeTagUsage = invalidTypeTagUsage;
 function invalidScalarTagUsage() {
-    return "`@".concat(Extractor_1.SCALAR_TAG, "` can only be used on type alias declarations.");
+    return "`@".concat(Extractor_1.SCALAR_TAG, "` can only be used on type alias declarations. e.g. `type MyScalar = string`");
 }
 exports.invalidScalarTagUsage = invalidScalarTagUsage;
 function invalidInterfaceTagUsage() {
-    return "`@".concat(Extractor_1.INTERFACE_TAG, "` can only be used on interface declarations.");
+    return "`@".concat(Extractor_1.INTERFACE_TAG, "` can only be used on interface declarations. e.g. `interface MyInterface {}`");
 }
 exports.invalidInterfaceTagUsage = invalidInterfaceTagUsage;
 function invalidEnumTagUsage() {
-    return "`@".concat(Extractor_1.ENUM_TAG, "` can only be used on enum declarations or TypeScript unions.");
+    return "`@".concat(Extractor_1.ENUM_TAG, "` can only be used on enum declarations or TypeScript unions. e.g. `enum MyEnum {}` or `type MyEnum = \"foo\" | \"bar\"`");
 }
 exports.invalidEnumTagUsage = invalidEnumTagUsage;
 function invalidInputTagUsage() {
-    return "`@".concat(Extractor_1.INPUT_TAG, "` can only be used on type alias declarations.");
+    return "`@".concat(Extractor_1.INPUT_TAG, "` can only be used on type alias or interface declarations. e.g. `type MyInput = { foo: string }` or `interface MyInput { foo: string }`");
 }
 exports.invalidInputTagUsage = invalidInputTagUsage;
 function invalidUnionTagUsage() {
-    return "`@".concat(Extractor_1.UNION_TAG, "` can only be used on type alias declarations.");
+    return "`@".concat(Extractor_1.UNION_TAG, "` can only be used on type alias declarations. e.g. `type MyUnion = TypeA | TypeB`");
 }
 exports.invalidUnionTagUsage = invalidUnionTagUsage;
 function expectedUnionTypeNode() {
-    return "Expected a TypeScript union. `@".concat(Extractor_1.UNION_TAG, "` can only be used on TypeScript unions.");
+    return "Expected a TypeScript union. `@".concat(Extractor_1.UNION_TAG, "` can only be used on TypeScript unions. e.g. `type MyUnion = TypeA | TypeB`");
 }
 exports.expectedUnionTypeNode = expectedUnionTypeNode;
 function expectedUnionTypeReference() {
-    return "Expected `@".concat(Extractor_1.UNION_TAG, "` union members to be type references.");
+    return "Expected `@".concat(Extractor_1.UNION_TAG, "` union members to be type references. Grats expects union members to be references to something annotated with `@gqlType`.");
 }
@@ -79,133 +82,169 @@ exports.expectedUnionTypeReference = expectedUnionTypeReference;
 function invalidReturnTypeForFunctionField() {
-    return "Expected GraphQL field to have an explicit return type.";
+    return 'Expected GraphQL field to have an explicit return type. This is needed to allow Grats to "see" the type of the field.';
 }
 exports.invalidReturnTypeForFunctionField = invalidReturnTypeForFunctionField;
 function functionFieldNotTopLevel() {
-    return "Expected `@".concat(Extractor_1.FIELD_TAG, "` function to be a top-level declaration.");
+    return "Expected `@".concat(Extractor_1.FIELD_TAG, "` function to be a top-level declaration. Grats needs to import resolver functions into it's generated schema module, so the resolver function must be an exported.");
 }
 exports.functionFieldNotTopLevel = functionFieldNotTopLevel;
+function staticMethodClassNotTopLevel() {
+    return "Expected class with a static `@".concat(Extractor_1.FIELD_TAG, "` method to be a top-level declaration. Grats needs to import resolver methods into it's generated schema module, so the resolver's class must be an exported.");
+}
+exports.staticMethodClassNotTopLevel = staticMethodClassNotTopLevel;
+function staticMethodFieldClassNotExported() {
+    return "Expected `@".concat(Extractor_1.FIELD_TAG, "` static method's class to be exported. Grats needs to import resolvers into it's generated schema module, so the resolver class must be an exported.");
+}
+exports.staticMethodFieldClassNotExported = staticMethodFieldClassNotExported;
+var FUNCTION_PARENT_TYPE_CONTEXT = "Grats treats the first argument as the parent object of the field. Therefore Grats needs to see the _type_ of the first argument in order to know to which type/interface this field should be added.";
 function functionFieldParentTypeMissing() {
-    return "Expected first argument of a `@".concat(Extractor_1.FIELD_TAG, "` function to have an explicit type annotation.");
+    return "Expected first argument of a `@".concat(Extractor_1.FIELD_TAG, "` function to have an explicit type annotation. ").concat(FUNCTION_PARENT_TYPE_CONTEXT);
 }
 exports.functionFieldParentTypeMissing = functionFieldParentTypeMissing;
 function functionFieldParentTypeNotValid() {
-    return "Expected first argument of a `@".concat(Extractor_1.FIELD_TAG, "` function to be typed as a `@").concat(Extractor_1.TYPE_TAG, "` type.");
+    return "Expected first argument of a `@".concat(Extractor_1.FIELD_TAG, "` function to be typed as a type reference. ").concat(FUNCTION_PARENT_TYPE_CONTEXT);
 }
 exports.functionFieldParentTypeNotValid = functionFieldParentTypeNotValid;
 function functionFieldNotNamed() {
-    return "Expected `@".concat(Extractor_1.FIELD_TAG, "` function to be named.");
+    return "Expected `@".concat(Extractor_1.FIELD_TAG, "` function to be named. Grats uses the name of the function to derive the name of the GraphQL field. Additionally, Grats needs to import resolver functions into it's generated schema module, so the resolver function must be a named export.");
 }
 exports.functionFieldNotNamed = functionFieldNotNamed;
-function functionFieldDefaultExport() {
-    return "Expected a `@".concat(Extractor_1.FIELD_TAG, "` function to be a named export, not a default export.");
-}
-exports.functionFieldDefaultExport = functionFieldDefaultExport;
 function functionFieldNotNamedExport() {
-    return "Expected a `@".concat(Extractor_1.FIELD_TAG, "` function to be a named export.");
+    return "Expected a `@".concat(Extractor_1.FIELD_TAG, "` function to be a named export. Grats needs to import resolver functions into it's generated schema module, so the resolver function must be a named export.");
 }
 exports.functionFieldNotNamedExport = functionFieldNotNamedExport;
 function inputTypeNotLiteral() {
-    return "`@".concat(Extractor_1.INPUT_TAG, "` can only be used on type literals.");
+    return "`@".concat(Extractor_1.INPUT_TAG, "` can only be used on type literals. e.g. `type MyInput = { foo: string }`");
 }
 exports.inputTypeNotLiteral = inputTypeNotLiteral;
 function inputTypeFieldNotProperty() {
-    return "`@".concat(Extractor_1.INPUT_TAG, "` types only support property signature members.");
+    return "`@".concat(Extractor_1.INPUT_TAG, "` types only support property signature members. e.g. `type MyInput = { foo: string }`");
 }
 exports.inputTypeFieldNotProperty = inputTypeFieldNotProperty;
+function inputInterfaceFieldNotProperty() {
+    return "`@".concat(Extractor_1.INPUT_TAG, "` interfaces only support property signature members. e.g. `interface MyInput { foo: string }`");
+}
+exports.inputInterfaceFieldNotProperty = inputInterfaceFieldNotProperty;
 function inputFieldUntyped() {
-    return "Input field must have a type annotation.";
+    return 'Input field must have an explicit type annotation. Grats uses the type annotation to determine the type of the field, so it must be explicit in order for Grats to "see" the type.';
 }
 exports.inputFieldUntyped = inputFieldUntyped;
 function typeTagOnUnnamedClass() {
-    return "Unexpected `@".concat(Extractor_1.TYPE_TAG, "` annotation on unnamed class declaration.");
+    return "Unexpected `@".concat(Extractor_1.TYPE_TAG, "` annotation on unnamed class declaration. Grats uses the name of the class to derive the name of the GraphQL type. Consider naming the class.");
 }
 exports.typeTagOnUnnamedClass = typeTagOnUnnamedClass;
 function typeTagOnAliasOfNonObjectOrUnknown() {
-    return "Expected `@".concat(Extractor_1.TYPE_TAG, "` type to be a type literal or `unknown`. For example: `type Foo = { bar: string }` or `type Query = unknown`.");
+    return "Expected `@".concat(Extractor_1.TYPE_TAG, "` type to be an object type literal (`{ }`) or `unknown`. For example: `type Foo = { bar: string }` or `type Query = unknown`.");
 }
 exports.typeTagOnAliasOfNonObjectOrUnknown = typeTagOnAliasOfNonObjectOrUnknown;
+// TODO: Add code action
 function typeNameNotDeclaration() {
-    return "Expected `__typename` to be a property declaration.";
+    return "Expected `__typename` to be a property declaration. For example: `__typename: \"MyType\"`.";
 }
 exports.typeNameNotDeclaration = typeNameNotDeclaration;
+var TYPENAME_CONTEXT = "This is needed to ensure Grats can determine the type of this object during GraphQL execution.";
+function _typeNamePropertyExample(expectedName) {
+    return "For example: `__typename = \"".concat(expectedName, "\" as const` or `__typename: \"").concat(expectedName, "\";`.");
+}
 function typeNameMissingInitializer() {
-    return "Expected `__typename` property to have an initializer or a string literal type. For example: `__typename = \"MyType\"` or `__typename: \"MyType\";`.";
+    return "Expected `__typename` property to have an initializer or a string literal type.  ".concat(TYPENAME_CONTEXT);
 }
 exports.typeNameMissingInitializer = typeNameMissingInitializer;
-function typeNameInitializeNotString() {
-    return "Expected `__typename` property initializer to be a string literal. For example: `__typename = \"MyType\"` or `__typename: \"MyType\";`.";
+function typeNameInitializeNotString(expectedName) {
+    return "Expected `__typename` property initializer to be a string literal. ".concat(_typeNamePropertyExample(expectedName), " ").concat(TYPENAME_CONTEXT);
 }
 exports.typeNameInitializeNotString = typeNameInitializeNotString;
+function typeNameInitializeNotExpression(expectedName) {
+    return "Expected `__typename` property initializer to be an expression with a const assertion. ".concat(_typeNamePropertyExample(expectedName), " ").concat(TYPENAME_CONTEXT);
+}
+exports.typeNameInitializeNotExpression = typeNameInitializeNotExpression;
+function typeNameTypeNotReferenceNode(expectedName) {
+    return "Expected `__typename` property must be correctly defined. ".concat(_typeNamePropertyExample(expectedName), " ").concat(TYPENAME_CONTEXT);
+}
+exports.typeNameTypeNotReferenceNode = typeNameTypeNotReferenceNode;
+function typeNameTypeNameNotIdentifier(expectedName) {
+    return "Expected `__typename` property name must be correctly specified. ".concat(_typeNamePropertyExample(expectedName), " ").concat(TYPENAME_CONTEXT);
+}
+exports.typeNameTypeNameNotIdentifier = typeNameTypeNameNotIdentifier;
+function typeNameTypeNameNotConst(expectedName) {
+    return "Expected `__typename` property type name to be \"const\". ".concat(_typeNamePropertyExample(expectedName), " ").concat(TYPENAME_CONTEXT);
+}
+exports.typeNameTypeNameNotConst = typeNameTypeNameNotConst;
 function typeNameInitializerWrong(expected, actual) {
-    return "Expected `__typename` property initializer to be `\"".concat(expected, "\"`, found `\"").concat(actual, "\"`.");
+    return "Expected `__typename` property initializer to be `\"".concat(expected, "\"`, found `\"").concat(actual, "\"`. ").concat(TYPENAME_CONTEXT);
 }
 exports.typeNameInitializerWrong = typeNameInitializerWrong;
 function typeNameMissingTypeAnnotation(expected) {
-    return "Expected `__typename` property signature to specify the typename as a string literal string type. For example `__typename: \"".concat(expected, "\";`");
+    return "Expected `__typename` property signature to specify the typename as a string literal string type. For example `__typename: \"".concat(expected, "\";`. ").concat(TYPENAME_CONTEXT);
 }
 exports.typeNameMissingTypeAnnotation = typeNameMissingTypeAnnotation;
 function typeNameTypeNotStringLiteral(expected) {
-    return "Expected `__typename` property signature to specify the typename as a string literal string type. For example `__typename: \"".concat(expected, "\";`");
+    return "Expected `__typename` property signature to specify the typename as a string literal string type. For example `__typename: \"".concat(expected, "\";`. ").concat(TYPENAME_CONTEXT);
 }
 exports.typeNameTypeNotStringLiteral = typeNameTypeNotStringLiteral;
 function typeNameDoesNotMatchExpected(expected) {
-    return "Expected `__typename` property to be `\"".concat(expected, "\"`");
+    return "Expected `__typename` property to be `\"".concat(expected, "\"`. ").concat(TYPENAME_CONTEXT);
 }
 exports.typeNameDoesNotMatchExpected = typeNameDoesNotMatchExpected;
+// TODO: Add code action
 function argumentParamIsMissingType() {
-    return "Expected GraphQL field arguments to have a TypeScript type. If there are no arguments, you can use `args: unknown`.";
+    return "Expected GraphQL field arguments to have an explicit type annotation. If there are no arguments, you can use `args: unknown`. Grats needs to be able to see the type of the arguments to generate a GraphQL schema.";
 }
 exports.argumentParamIsMissingType = argumentParamIsMissingType;
 function argumentParamIsNotObject() {
-    return "Expected GraphQL field arguments to be typed using a literal object: `{someField: string}`. If there are no arguments, you can use `args: unknown`.";
+    return "Expected GraphQL field arguments to be typed using an inline literal object: `{someField: string}`. If there are no arguments, you can use `args: unknown`. Grats needs to be able to see the type of the arguments to generate a GraphQL schema.";
 }
 exports.argumentParamIsNotObject = argumentParamIsNotObject;
 function argIsNotProperty() {
-    return "Expected GraphQL field argument type to be a property signature.";
+    return "Expected GraphQL field argument type to be a property signature. For example: `{ someField: string }`. Grats needs to be able to see the type of the arguments to generate a GraphQL schema.";
 }
 exports.argIsNotProperty = argIsNotProperty;
 function argNameNotLiteral() {
-    return "Expected GraphQL field argument names to be a literal.";
+    return "Expected GraphQL field argument names to be a literal. For example: `{ someField: string }`. Grats needs to be able to see the type of the arguments to generate a GraphQL schema.";
 }
 exports.argNameNotLiteral = argNameNotLiteral;
 function argNotTyped() {
-    return "Expected GraphQL field argument to have a type.";
+    return "Expected GraphQL field argument to have an explicit type annotation. For example: `{ someField: string }`. Grats needs to be able to see the type of the arguments to generate a GraphQL schema.";
 }
 exports.argNotTyped = argNotTyped;
 function enumTagOnInvalidNode() {
-    return "Expected `@".concat(Extractor_1.ENUM_TAG, "` to be a union type, or a string literal in the edge case of a single value enum.");
+    return "Expected `@".concat(Extractor_1.ENUM_TAG, "` to be a union type, or a string literal in the edge case of a single value enum. For example: `type MyEnum = \"foo\" | \"bar\"` or `type MyEnum = \"foo\"`.");
 }
 exports.enumTagOnInvalidNode = enumTagOnInvalidNode;
 function enumVariantNotStringLiteral() {
-    return "Expected `@".concat(Extractor_1.ENUM_TAG, "` enum members to be string literal types. For example: `'foo'`.");
+    return "Expected `@".concat(Extractor_1.ENUM_TAG, "` enum members to be string literal types. For example: `'foo'`. Grats needs to be able to see the concrete value of the enum member to generate the GraphQL schema.");
 }
 exports.enumVariantNotStringLiteral = enumVariantNotStringLiteral;
 function enumVariantMissingInitializer() {
-    return "Expected `@".concat(Extractor_1.ENUM_TAG, "` enum members to have string literal initializers. For example: `FOO = 'foo'`.");
+    return "Expected `@".concat(Extractor_1.ENUM_TAG, "` enum members to have string literal initializers. For example: `FOO = 'foo'`. In GraphQL enum values are strings, and Grats needs to be able to see the concrete value of the enum member to generate the GraphQL schema.");
 }
 exports.enumVariantMissingInitializer = enumVariantMissingInitializer;
 function gqlEntityMissingName() {
-    return "Expected GraphQL entity to have a name.";
+    return "Expected GraphQL entity to have a name. Grats uses the name of the entity to derive the name of the GraphQL construct.";
 }
 exports.gqlEntityMissingName = gqlEntityMissingName;
 function methodMissingType() {
-    return "Expected GraphQL field to have a type.";
+    return "Expected GraphQL field methods to have an explicitly defined return type. Grats needs to be able to see the type of the field to generate its type in the GraphQL schema.";
 }
 exports.methodMissingType = methodMissingType;
-function promiseMissingTypeArg() {
-    return "Expected type reference to have type arguments.";
+function wrapperMissingTypeArg() {
+    return "Expected wrapper type reference to have type arguments. Grats needs to be able to see the return type in order to generate a GraphQL schema.";
 }
-exports.promiseMissingTypeArg = promiseMissingTypeArg;
+exports.wrapperMissingTypeArg = wrapperMissingTypeArg;
+function invalidWrapperOnInputType(wrapperName) {
+    return "Invalid input type. `".concat(wrapperName, "` is not a valid type when used as a GraphQL input value.");
+}
+exports.invalidWrapperOnInputType = invalidWrapperOnInputType;
 function cannotResolveSymbolForDescription() {
-    return "Expected TypeScript to be able to resolve this GraphQL entity to a symbol.";
+    return "Expected TypeScript to be able to resolve this GraphQL entity to a symbol. Is it possible that this type is not defined in this file? Grats needs to follow type references to their declaration in order to determine which GraphQL name is being referenced.";
 }
 exports.cannotResolveSymbolForDescription = cannotResolveSymbolForDescription;
 function propertyFieldMissingType() {
-    return "Expected GraphQL field to have a type.";
+    return "Expected GraphQL field to have an explicitly defined type annotation. Grats needs to be able to see the type of the field to generate a field's type in the GraphQL schema.";
 }
 exports.propertyFieldMissingType = propertyFieldMissingType;
 function expectedOneNonNullishType() {
-    return "Expected exactly one non-nullish type.";
+    return "Expected exactly one non-nullish type. GraphQL does not support fields returning an arbitrary union of types. Consider defining an explicit `@".concat(Extractor_1.UNION_TAG, "` union type and returning that.");
 }
 exports.expectedOneNonNullishType = expectedOneNonNullishType;
+// TODO: Add code action
 function ambiguousNumberType() {
@@ -216,50 +255,53 @@ return "Unexpected number type. GraphQL supports both Int and Float, making `number` ambiguous. Instead, import the `Int` or `Float` type from `".concat(Extractor_1.LIBRARY_IMPORT_NAME, "` and use that. e.g. `import { Int, Float } from \"").concat(Extractor_1.LIBRARY_IMPORT_NAME, "\";`.");
 function defaultValueIsNotLiteral() {
-    return "Expected GraphQL field argument default values to be a literal.";
+    return 'Expected GraphQL field argument default values to be a literal. Grats interprets argument defaults as GraphQL default values, which must be literals. For example: `10` or `"foo"`.';
 }
 exports.defaultValueIsNotLiteral = defaultValueIsNotLiteral;
 function defaultArgElementIsNotAssignment() {
-    return "Expected object literal property to be a property assignment.";
+    return "Expected property to be a default assignment. For example: `{ first = 10}`. Grats needs to extract a literal GraphQL value here, and that requires Grats being able to see the literal value in the source code.";
 }
 exports.defaultArgElementIsNotAssignment = defaultArgElementIsNotAssignment;
 function defaultArgPropertyMissingName() {
-    return "Expected object literal property to have a name.";
+    return "Expected object literal property to have a name. Grats needs to extract a literal value here, and that requires Grats being able to see the literal value and its field name in the source code.";
 }
 exports.defaultArgPropertyMissingName = defaultArgPropertyMissingName;
 function defaultArgPropertyMissingInitializer() {
-    return "Expected object literal property to have an initializer. For example: `{ offset = 10}`.";
+    return "Expected object literal property to have an initializer. For example: `{ offset = 10}`. Grats needs to extract a literal GraphQL value here, and that requires Grats being able to see the literal value in the source code.";
 }
 exports.defaultArgPropertyMissingInitializer = defaultArgPropertyMissingInitializer;
 function unsupportedTypeLiteral() {
-    return "Unexpected type literal. You may want to define a named GraphQL type elsewhere and reference it here.";
+    return "Unexpected type literal. Grats expects types in GraphQL positions to be scalar types, or reference a named GraphQL type directly. You may want to define a named GraphQL type elsewhere and reference it here.";
 }
 exports.unsupportedTypeLiteral = unsupportedTypeLiteral;
 function unknownGraphQLType() {
-    return "Unknown GraphQL type.";
+    return "Unknown GraphQL type. Grats doe not know how to map this type to a GraphQL type. You may want to define a named GraphQL type elsewhere and reference it here. If you think Grats should be able to infer a GraphQL type from this type, please file an issue.";
 }
 exports.unknownGraphQLType = unknownGraphQLType;
 function pluralTypeMissingParameter() {
-    return "Expected type reference to have type arguments.";
+    return "Expected wrapper type reference to have type arguments. Grats needs to be able to see the return type in order to generate a GraphQL schema.";
 }
 exports.pluralTypeMissingParameter = pluralTypeMissingParameter;
-function expectedIdentifier() {
-    return "Expected an identifier.";
+function expectedNameIdentifier() {
+    return "Expected an name identifier. Grats expected to find a name here which it could use to derive the GraphQL name.";
 }
-exports.expectedIdentifier = expectedIdentifier;
+exports.expectedNameIdentifier = expectedNameIdentifier;
+// TODO: Add code action
 function killsParentOnExceptionWithWrongConfig() {
-    return "Unexpected `@".concat(Extractor_1.KILLS_PARENT_ON_EXCEPTION_TAG, "` tag. `@").concat(Extractor_1.KILLS_PARENT_ON_EXCEPTION_TAG, "` is only supported when the Grats config `nullableByDefault` is enabled.");
+    return "Unexpected `@".concat(Extractor_1.KILLS_PARENT_ON_EXCEPTION_TAG, "` tag. `@").concat(Extractor_1.KILLS_PARENT_ON_EXCEPTION_TAG, "` is only supported when the Grats config option `nullableByDefault` is enabled in your `tsconfig.json`.");
 }
 exports.killsParentOnExceptionWithWrongConfig = killsParentOnExceptionWithWrongConfig;
+// TODO: Add code action
 function killsParentOnExceptionOnNullable() {
-    return "Unexpected `@".concat(Extractor_1.KILLS_PARENT_ON_EXCEPTION_TAG, "` tag. `@").concat(Extractor_1.KILLS_PARENT_ON_EXCEPTION_TAG, "` is unnessesary on fields that are already nullable.");
+    return "Unexpected `@".concat(Extractor_1.KILLS_PARENT_ON_EXCEPTION_TAG, "` tag on field typed as nullable. `@").concat(Extractor_1.KILLS_PARENT_ON_EXCEPTION_TAG, "` will force a field to appear as non-nullable in the schema, so it's implementation must also be non-nullable. .");
 }
 exports.killsParentOnExceptionOnNullable = killsParentOnExceptionOnNullable;
+// TODO: Add code action
 function nonNullTypeCannotBeOptional() {
-    return "Unexpected optional argument that does not also accept `null`. Optional arguments in GraphQL may get passed an explict `null` value. This means optional arguments must be typed to also accept `null`.";
+    return "Unexpected optional argument that does not also accept `null`. Optional arguments in GraphQL may get passed an explicit `null` value by the GraphQL executor. This means optional arguments must be typed to also accept `null`. Consider adding `| null` to the end of the argument type.";
 }
 exports.nonNullTypeCannotBeOptional = nonNullTypeCannotBeOptional;
-function mergedInterfaces(interfaceName) {
+function mergedInterfaces() {
     return [
-        "Unexpected merged interface `".concat(interfaceName, "`."),
+        "Unexpected merged interface.",
         "If an interface is declared multiple times in a scope, TypeScript merges them.",
-        "To avoid ambiguity Grats does not support using merged interfaces as GraphQL interfaces.",
+        "To avoid ambiguity Grats does not support using merged interfaces as GraphQL definitions.",
         "Consider using a unique name for your TypeScript interface and renaming it.\n\n",
@@ -270,6 +312,3 @@ "Learn more: ".concat(DOC_URLS.mergedInterfaces),
 exports.mergedInterfaces = mergedInterfaces;
-function implementsTagMissingValue() {
-    return "Expected `@".concat(Extractor_1.IMPLEMENTS_TAG_DEPRECATED, "` to be followed by one or more interface names.");
-}
-exports.implementsTagMissingValue = implementsTagMissingValue;
+// TODO: Add code action
 function implementsTagOnClass() {
@@ -279,2 +318,3 @@ return "`@".concat(Extractor_1.IMPLEMENTS_TAG_DEPRECATED, "` has been deprecated. Instead use `class MyType implements MyInterface`.");
 exports.implementsTagOnClass = implementsTagOnClass;
+// TODO: Add code action
 function implementsTagOnInterface() {
@@ -285,5 +325,6 @@ return "`@".concat(Extractor_1.IMPLEMENTS_TAG_DEPRECATED, "` has been deprecated. Instead use `interface MyType extends MyInterface`.");
 function implementsTagOnTypeAlias() {
-    return "`@".concat(Extractor_1.IMPLEMENTS_TAG_DEPRECATED, "` has been deprecated. Types which implement GraphQL interfaces should be defined using TypeScript class or interface declarations. Learn more: ").concat(DOC_URLS.typeImplementsInterface, ".");
+    return "`@".concat(Extractor_1.IMPLEMENTS_TAG_DEPRECATED, "` has been deprecated. Types which implement GraphQL interfaces should be defined using TypeScript class or interface declarations.");
 }
 exports.implementsTagOnTypeAlias = implementsTagOnTypeAlias;
+// TODO: Add code action
 function duplicateTag(tagName) {
@@ -297,2 +338,3 @@ return "Unexpected duplicate `@".concat(tagName, "` tag. Grats does not accept multiple instances of the same tag.");
 exports.duplicateInterfaceTag = duplicateInterfaceTag;
+// TODO: Add code action
 function parameterWithoutModifiers() {
@@ -313,3 +355,3 @@ return [
 function parameterPropertyMissingType() {
-    return "Expected `@".concat(Extractor_1.FIELD_TAG, "` parameter property to have a type annotation.");
+    return "Expected `@".concat(Extractor_1.FIELD_TAG, "` parameter property to have an explicit type annotation. Grats needs to be able to see the type of the parameter property to generate a GraphQL schema.");
 }
@@ -322,11 +364,11 @@ exports.parameterPropertyMissingType = parameterPropertyMissingType;
 function unresolvedTypeReference() {
-    return "This type is not a valid GraphQL type. Did you mean to annotate it's definition with a `/** @gql */` tag such as `/** @gqlType */` or `/** @gqlInput **/`?";
+    return "Unable to resolve type reference. In order to generate a GraphQL schema, Grats needs to determine which GraphQL type is being referenced. This requires being able to resolve type references to their `@gql` annotated declaration. However this reference could not be resolved. Is it possible that this type is not defined in this file?";
 }
 exports.unresolvedTypeReference = unresolvedTypeReference;
 function expectedTypeAnnotationOnContext() {
-    return "Expected context parameter to have a type annotation. Grats validates that your context parameter is type-safe by checking all context values reference the same type declaration.";
+    return "Expected context parameter to have an explicit type annotation. Grats validates that your context parameter is type-safe by checking that all context values reference the same type declaration.";
 }
 exports.expectedTypeAnnotationOnContext = expectedTypeAnnotationOnContext;
 function expectedTypeAnnotationOfReferenceOnContext() {
-    return "Expected context parameter's type to be a type reference Grats validates that your context parameter is type-safe by checking all context values reference the same type declaration.";
+    return "Expected context parameter's type to be a type reference. Grats validates that your context parameter is type-safe by checking that all context values reference the same type declaration.";
 }
@@ -337,3 +379,3 @@ exports.expectedTypeAnnotationOfReferenceOnContext = expectedTypeAnnotationOfReferenceOnContext;
     // TODO: I don't think we have a test case that triggers this error.
-    return "Unable to resolve context parameter type. Grats validates that your context parameter is type-safe by checking all context values reference the same type declaration.";
+    return "Unable to resolve context parameter type. Grats validates that your context parameter is type-safe by checking that all context values reference the same type declaration.";
 }
@@ -346,3 +388,3 @@ exports.expectedTypeAnnotationOnContextToBeResolvable = expectedTypeAnnotationOnContextToBeResolvable;
 function unexpectedParamSpreadForContextParam() {
-    return "Unexpected spread parameter in context parameter position. Grats expects the context parameter to be a single, explicitly typed, argument.";
+    return "Unexpected spread parameter in context parameter position. Grats expects the context parameter to be a single, explicitly-typed argument.";
 }
@@ -362,1 +404,80 @@ exports.unexpectedParamSpreadForContextParam = unexpectedParamSpreadForContextParam;
 exports.graphQLTagNameHasWhitespace = graphQLTagNameHasWhitespace;
+function subscriptionFieldNotAsyncIterable() {
+    return "Expected fields on `Subscription` to return an `AsyncIterable`. Fields on `Subscription` model a subscription, which is a stream of events. Grats expects fields on `Subscription` to return an `AsyncIterable` which can be used to model this stream.";
+}
+exports.subscriptionFieldNotAsyncIterable = subscriptionFieldNotAsyncIterable;
+function operationTypeNotUnknown() {
+    return "Operation types `Query`, `Mutation`, and `Subscription` must be defined as type aliases of `unknown`. E.g. `type Query = unknown`. This is because GraphQL servers do not have an agreed upon way to produce root values, and Grats errs on the side of safety. If you are trying to implement dependency injection, consider using the `context` argument passed to each resolver instead. If you have a strong use case for a concrete root value, please file an issue.";
+}
+exports.operationTypeNotUnknown = operationTypeNotUnknown;
+function expectedNullableArgumentToBeOptional() {
+    return "Expected nullable argument to _also_ be optional (`?`). graphql-js may omit properties on the argument object where an undefined GraphQL variable is passed, or if the argument is omitted in the operation text. To ensure your resolver is capable of handing this scenario, add a `?` to the end of the argument name to make it optional. e.g. `{greeting?: string | null}`";
+}
+exports.expectedNullableArgumentToBeOptional = expectedNullableArgumentToBeOptional;
+function gqlTagInLineComment() {
+    return "Unexpected Grats tag in line (`//`) comment. Grats looks for tags in JSDoc-style block comments. e.g. `/** @gqlType */`. For more information see: ".concat(DOC_URLS.commentSyntax);
+}
+exports.gqlTagInLineComment = gqlTagInLineComment;
+function gqlTagInNonJSDocBlockComment() {
+    return "Unexpected Grats tag in non-JSDoc-style block comment. Grats only looks for tags in JSDoc-style block comments which start with `/**`. For more information see: ".concat(DOC_URLS.commentSyntax);
+}
+exports.gqlTagInNonJSDocBlockComment = gqlTagInNonJSDocBlockComment;
+function gqlTagInDetachedJSDocBlockComment() {
+    return "Unexpected Grats tag in detached docblock. Grats was unable to determine which TypeScript declaration this docblock is associated with. Moving the docblock to a position with is unambiguously \"above\" the relevant declaration may help. For more information see: ".concat(DOC_URLS.commentSyntax);
+}
+exports.gqlTagInDetachedJSDocBlockComment = gqlTagInDetachedJSDocBlockComment;
+function gqlFieldTagOnInputType() {
+    return "The tag `@".concat(Extractor_1.FIELD_TAG, "` is not needed on fields of input types. All fields are automatically included as part of the input type. This tag can be safely removed.");
+}
+exports.gqlFieldTagOnInputType = gqlFieldTagOnInputType;
+// TODO: Add code action
+function gqlFieldParentMissingTag() {
+    return "Unexpected `@".concat(Extractor_1.FIELD_TAG, "`. The parent construct must be either a `@").concat(Extractor_1.TYPE_TAG, "` or `@").concat(Extractor_1.INTERFACE_TAG, "` tag. Are you missing one of these tags?");
+}
+exports.gqlFieldParentMissingTag = gqlFieldParentMissingTag;
+function missingSpecifiedByUrl() {
+    return "Expected `@".concat(Extractor_1.SPECIFIED_BY_TAG, "` tag to be followed by a URL. This URL will be used as the `url` argument to the `@specifiedBy` directive in the generated GraphQL schema. See https://spec.graphql.org/draft/#sec--specifiedBy for more information.");
+}
+exports.missingSpecifiedByUrl = missingSpecifiedByUrl;
+// TODO: Add code action
+function specifiedByOnWrongNode() {
+    return "Unexpected `@".concat(Extractor_1.SPECIFIED_BY_TAG, "` tag on non-scalar declaration. `@").concat(Extractor_1.SPECIFIED_BY_TAG, "` can only be used on custom scalar declarations. Are you missing a `@").concat(Extractor_1.SCALAR_TAG, "` tag?");
+}
+exports.specifiedByOnWrongNode = specifiedByOnWrongNode;
+function missingGenericType(templateName, paramName) {
+    return "Missing type argument for generic GraphQL type. Expected `".concat(templateName, "` to be passed a GraphQL type argument for type parameter `").concat(paramName, "`.");
+}
+exports.missingGenericType = missingGenericType;
+function nonGraphQLGenericType(templateName, paramName) {
+    return "Expected `".concat(templateName, "` to be passed a GraphQL type argument for type parameter `").concat(paramName, "`.");
+}
+exports.nonGraphQLGenericType = nonGraphQLGenericType;
+function genericTypeUsedAsUnionMember() {
+    return "Unexpected generic type used as union member. Generic type may not currently be used as members of a union. Grats requires that all union members define a `__typename` field typed as a string literal matching the type's name. Since generic types are synthesized into multiple types with different names, Grats cannot ensure they have a correct `__typename` property and thus cannot be used as members of a union.";
+}
+exports.genericTypeUsedAsUnionMember = genericTypeUsedAsUnionMember;
+function genericTypeImplementsInterface() {
+    return "Unexpected `implements` on generic `".concat(Extractor_1.TYPE_TAG, "`. Generic types may not currently declare themselves as implementing interfaces. Grats requires that all types which implement an interface define a `__typename` field typed as a string literal matching the type's name. Since generic types are synthesized into multiple types with different names, Grats cannot ensure they have a correct `__typename` property and thus declare themselves as interface implementors.");
+}
+exports.genericTypeImplementsInterface = genericTypeImplementsInterface;
+function concreteTypeMissingTypename(implementor) {
+    return "Missing `__typename` on `".concat(implementor, "`. The type `").concat(implementor, "` is used in a union or interface, so it must have a `__typename` field.");
+}
+exports.concreteTypeMissingTypename = concreteTypeMissingTypename;
+// TODO: Add code action
+function invalidFieldNonPublicAccessModifier() {
+    return "Unexpected access modifier on `@".concat(Extractor_1.FIELD_TAG, "` method. GraphQL fields must be able to be called by the GraphQL executor.");
+}
+exports.invalidFieldNonPublicAccessModifier = invalidFieldNonPublicAccessModifier;
+function invalidStaticModifier() {
+    return "Unexpected `static` modifier on non-method `@".concat(Extractor_1.FIELD_TAG, "`. `static` is only valid on method signatures.");
+}
+exports.invalidStaticModifier = invalidStaticModifier;
+function staticMethodOnNonClass() {
+    return "Unexpected `@".concat(Extractor_1.FIELD_TAG, "` `static` method on non-class declaration. Static method fields may only be declared on exported class declarations.");
+}
+exports.staticMethodOnNonClass = staticMethodOnNonClass;
+function staticMethodClassWithNamedExportNotNamed() {
+    return "Expected `@".concat(Extractor_1.FIELD_TAG, "` static method's class to be named if exported without the `default` keyword.");
+}
+exports.staticMethodClassWithNamedExportNotNamed = staticMethodClassWithNamedExportNotNamed;

dist/src/Extractor.d.ts

@@ -1,10 +0,7 @@
-import { FieldDefinitionNode, InputValueDefinitionNode, NamedTypeNode, NameNode, TypeNode, StringValueNode, ConstValueNode, ConstDirectiveNode, EnumValueDefinitionNode, ConstObjectFieldNode, ConstObjectValueNode, ConstListValueNode } from "graphql";
+import { NameNode, DefinitionNode } from "graphql";
 import { DiagnosticsResult } from "./utils/DiagnosticError";
 import * as ts from "typescript";
-import { GratsDefinitionNode, TypeContext } from "./TypeContext";
-import { ConfigOptions } from "./lib";
-import { GraphQLConstructor } from "./GraphQLConstructor";
+import { NameDefinition } from "./TypeContext";
 export declare const LIBRARY_IMPORT_NAME = "grats";
 export declare const LIBRARY_NAME = "Grats";
-export declare const ISSUE_URL = "https://github.com/captbaritone/grats/issues";
 export declare const TYPE_TAG = "gqlType";
@@ -20,3 +17,11 @@ export declare const FIELD_TAG = "gqlField";
 export declare const ALL_TAGS: string[];
-type ArgDefaults = Map<string, ts.Expression>;
+export declare const SPECIFIED_BY_TAG = "specifiedBy";
+export type ExtractionSnapshot = {
+    readonly definitions: DefinitionNode[];
+    readonly unresolvedNames: Map<ts.EntityName, NameNode>;
+    readonly nameDefinitions: Map<ts.DeclarationStatement, NameDefinition>;
+    readonly contextReferences: Array<ts.Node>;
+    readonly typesWithTypename: Set<string>;
+    readonly interfaceDeclarations: Array<ts.InterfaceDeclaration>;
+};
 /**
@@ -32,80 +37,2 @@ * Extracts GraphQL definitions from TypeScript source code.
  */
-export declare class Extractor {
-    definitions: GratsDefinitionNode[];
-    sourceFile: ts.SourceFile;
-    ctx: TypeContext;
-    configOptions: ConfigOptions;
-    errors: ts.Diagnostic[];
-    gql: GraphQLConstructor;
-    constructor(sourceFile: ts.SourceFile, ctx: TypeContext, buildOptions: ConfigOptions);
-    extract(): DiagnosticsResult<GratsDefinitionNode[]>;
-    extractType(node: ts.Node, tag: ts.JSDocTag): void;
-    extractScalar(node: ts.Node, tag: ts.JSDocTag): void;
-    extractInterface(node: ts.Node, tag: ts.JSDocTag): void;
-    extractEnum(node: ts.Node, tag: ts.JSDocTag): void;
-    extractInput(node: ts.Node, tag: ts.JSDocTag): void;
-    extractUnion(node: ts.Node, tag: ts.JSDocTag): void;
-    /** Error handling and location juggling */
-    report(node: ts.Node, message: string, relatedInformation?: ts.DiagnosticRelatedInformation[]): null;
-    reportUnhandled(node: ts.Node, positionKind: "type" | "field" | "field type" | "input" | "input field" | "union member" | "constant value" | "union" | "enum value", message: string, relatedInformation?: ts.DiagnosticRelatedInformation[]): null;
-    related(node: ts.Node, message: string): ts.DiagnosticRelatedInformation;
-    diagnosticAnnotatedLocation(node: ts.Node): {
-        start: number;
-        length: number;
-        filepath: ts.SourceFile;
-    };
-    /** TypeScript traversals */
-    unionTypeAliasDeclaration(node: ts.TypeAliasDeclaration, tag: ts.JSDocTag): null | undefined;
-    functionDeclarationExtendType(node: ts.FunctionDeclaration, tag: ts.JSDocTag): null | undefined;
-    typeReferenceFromParam(typeParam: ts.ParameterDeclaration): NameNode | null;
-    namedFunctionExportName(node: ts.FunctionDeclaration): ts.Identifier | null;
-    scalarTypeAliasDeclaration(node: ts.TypeAliasDeclaration, tag: ts.JSDocTag): null | undefined;
-    inputTypeAliasDeclaration(node: ts.TypeAliasDeclaration, tag: ts.JSDocTag): null | undefined;
-    collectInputFields(node: ts.TypeAliasDeclaration): Array<InputValueDefinitionNode> | null;
-    collectInputField(node: ts.PropertySignature): InputValueDefinitionNode | null;
-    typeClassDeclaration(node: ts.ClassDeclaration, tag: ts.JSDocTag): null | undefined;
-    typeInterfaceDeclaration(node: ts.InterfaceDeclaration, tag: ts.JSDocTag): null | undefined;
-    typeTypeAliasDeclaration(node: ts.TypeAliasDeclaration, tag: ts.JSDocTag): null | undefined;
-    checkForTypenameProperty(node: ts.ClassDeclaration | ts.InterfaceDeclaration | ts.TypeLiteralNode, expectedName: string): void;
-    isValidTypeNameProperty(member: ts.ClassElement | ts.TypeElement, expectedName: string): boolean;
-    isValidTypenamePropertyDeclaration(node: ts.PropertyDeclaration, expectedName: string): boolean;
-    isValidTypenamePropertySignature(node: ts.PropertySignature, expectedName: string): boolean;
-    isValidTypenamePropertyType(node: ts.TypeNode, expectedName: string): boolean;
-    collectInterfaces(node: ts.ClassDeclaration | ts.InterfaceDeclaration | ts.TypeAliasDeclaration): Array<NamedTypeNode> | null;
-    reportTagInterfaces(node: ts.TypeAliasDeclaration | ts.ClassDeclaration | ts.InterfaceDeclaration): null | undefined;
-    collectHeritageInterfaces(node: ts.ClassDeclaration | ts.InterfaceDeclaration): Array<NamedTypeNode> | null;
-    symbolHasGqlTag(node: ts.Node): boolean;
-    hasGqlTag(node: ts.Node): boolean;
-    interfaceInterfaceDeclaration(node: ts.InterfaceDeclaration, tag: ts.JSDocTag): null | undefined;
-    collectFields(node: ts.ClassDeclaration | ts.InterfaceDeclaration | ts.TypeLiteralNode): Array<FieldDefinitionNode>;
-    constructorParam(node: ts.ParameterDeclaration): FieldDefinitionNode | null;
-    collectArgs(argsParam: ts.ParameterDeclaration): ReadonlyArray<InputValueDefinitionNode> | null;
-    collectArgDefaults(node: ts.ObjectBindingPattern): ArgDefaults;
-    collectConstValue(node: ts.Expression): ConstValueNode | null;
-    collectArrayLiteral(node: ts.ArrayLiteralExpression): ConstListValueNode | null;
-    collectObjectLiteral(node: ts.ObjectLiteralExpression): ConstObjectValueNode | null;
-    collectObjectField(node: ts.ObjectLiteralElementLike): ConstObjectFieldNode | null;
-    collectArg(node: ts.TypeElement, defaults?: Map<string, ts.Expression> | null): InputValueDefinitionNode | null;
-    enumEnumDeclaration(node: ts.EnumDeclaration, tag: ts.JSDocTag): void;
-    enumTypeAliasDeclaration(node: ts.TypeAliasDeclaration, tag: ts.JSDocTag): void;
-    enumTypeAliasVariants(node: ts.TypeAliasDeclaration): EnumValueDefinitionNode[] | null;
-    collectEnumValues(node: ts.EnumDeclaration): ReadonlyArray<EnumValueDefinitionNode>;
-    entityName(node: ts.ClassDeclaration | ts.MethodDeclaration | ts.MethodSignature | ts.PropertyDeclaration | ts.InterfaceDeclaration | ts.PropertySignature | ts.EnumDeclaration | ts.TypeAliasDeclaration | ts.FunctionDeclaration | ts.ParameterDeclaration, tag: ts.JSDocTag): NameNode | null;
-    validateContextParameter(node: ts.ParameterDeclaration): null | undefined;
-    methodDeclaration(node: ts.MethodDeclaration | ts.MethodSignature): FieldDefinitionNode | null;
-    collectMethodType(node: ts.TypeNode): TypeNode | null;
-    collectPropertyType(node: ts.TypeNode): TypeNode | null;
-    maybeUnwrapPromise(node: ts.TypeNode): ts.TypeNode | null;
-    collectDescription(node: ts.Node): StringValueNode | null;
-    collectDeprecated(node: ts.Node): ConstDirectiveNode | null;
-    property(node: ts.PropertyDeclaration | ts.PropertySignature): FieldDefinitionNode | null;
-    collectType(node: ts.TypeNode): TypeNode | null;
-    typeReference(node: ts.TypeReferenceNode): TypeNode | null;
-    isNullish(node: ts.Node): boolean;
-    expectIdentifier(node: ts.Node): ts.Identifier | null;
-    findTag(node: ts.Node, tagName: string): ts.JSDocTag | null;
-    handleErrorBubbling(parentNode: ts.Node, type: TypeNode): TypeNode;
-    exportDirective(nameNode: ts.Node, filename: string, functionName: string): ConstDirectiveNode;
-    fieldNameDirective(nameNode: ts.Node, name: string): ConstDirectiveNode;
-}
-export {};
+export declare function extract(sourceFile: ts.SourceFile): DiagnosticsResult<ExtractionSnapshot>;

dist/src/GraphQLConstructor.d.ts

@@ -1,7 +0,12 @@
-import { ListTypeNode, NamedTypeNode, Location as GraphQLLocation, NameNode, Token, TypeNode, NonNullTypeNode, StringValueNode, ConstValueNode, ConstDirectiveNode, ConstArgumentNode, UnionTypeDefinitionNode, FieldDefinitionNode, InputValueDefinitionNode, FloatValueNode, IntValueNode, NullValueNode, BooleanValueNode, ConstListValueNode, ConstObjectValueNode, ConstObjectFieldNode, ObjectTypeDefinitionNode, EnumValueDefinitionNode, ScalarTypeDefinitionNode, InputObjectTypeDefinitionNode, EnumTypeDefinitionNode, InterfaceTypeDefinitionNode } from "graphql";
+import { ListTypeNode, NamedTypeNode, Location as GraphQLLocation, NameNode, TypeNode, NonNullTypeNode, StringValueNode, ConstValueNode, ConstDirectiveNode, ConstArgumentNode, UnionTypeDefinitionNode, FieldDefinitionNode, InputValueDefinitionNode, FloatValueNode, IntValueNode, NullValueNode, BooleanValueNode, ConstListValueNode, ConstObjectValueNode, ConstObjectFieldNode, ObjectTypeDefinitionNode, EnumValueDefinitionNode, ScalarTypeDefinitionNode, InputObjectTypeDefinitionNode, EnumTypeDefinitionNode, InterfaceTypeDefinitionNode, ASTNode, ObjectTypeExtensionNode } from "graphql";
 import * as ts from "typescript";
-import { AbstractFieldDefinitionNode } from "./TypeContext";
+import { TsLocatableNode } from "./utils/DiagnosticError";
 export declare class GraphQLConstructor {
-    sourceFile: ts.SourceFile;
-    constructor(sourceFile: ts.SourceFile);
+    fieldMetadataDirective(node: ts.Node, metadata: {
+        tsModulePath: string | null;
+        name: string | null;
+        exportName: string | null;
+        argCount: number | null;
+    }): ConstDirectiveNode;
+    killsParentOnExceptionDirective(node: ts.Node): ConstDirectiveNode;
     unionTypeDefinition(node: ts.Node, name: NameNode, types: NamedTypeNode[], description: StringValueNode | null): UnionTypeDefinitionNode;
@@ -11,3 +16,3 @@ objectTypeDefinition(node: ts.Node, name: NameNode, fields: FieldDefinitionNode[], interfaces: NamedTypeNode[] | null, description: StringValueNode | null): ObjectTypeDefinitionNode;
     enumTypeDefinition(node: ts.Node, name: NameNode, values: readonly EnumValueDefinitionNode[], description: StringValueNode | null): EnumTypeDefinitionNode;
-    abstractFieldDefinition(node: ts.Node, onType: NameNode, field: FieldDefinitionNode): AbstractFieldDefinitionNode;
+    abstractFieldDefinition(node: ts.Node, onType: NameNode, field: FieldDefinitionNode): ObjectTypeExtensionNode;
     fieldDefinition(node: ts.Node, name: NameNode, type: TypeNode, args: readonly InputValueDefinitionNode[] | null, directives: readonly ConstDirectiveNode[], description: StringValueNode | null): FieldDefinitionNode;
@@ -17,3 +22,3 @@ constObjectField(node: ts.Node, name: NameNode, value: ConstValueNode): ConstObjectFieldNode;
     enumValueDefinition(node: ts.Node, name: NameNode, directives: readonly ConstDirectiveNode[] | undefined, description: StringValueNode | null): EnumValueDefinitionNode;
-    scalarTypeDefinition(node: ts.Node, name: NameNode, description: StringValueNode | null): ScalarTypeDefinitionNode;
+    scalarTypeDefinition(node: ts.Node, name: NameNode, directives: readonly ConstDirectiveNode[] | null, description: StringValueNode | null): ScalarTypeDefinitionNode;
     inputObjectTypeDefinition(node: ts.Node, name: NameNode, fields: InputValueDefinitionNode[] | null, directives: readonly ConstDirectiveNode[] | null, description: StringValueNode | null): InputObjectTypeDefinitionNode;
@@ -27,2 +32,3 @@ name(node: ts.Node, value: string): NameNode;
     list(node: ts.Node, values: ConstValueNode[]): ConstListValueNode;
+    withLocation<T = ASTNode>(node: ts.Node, value: T): T;
     constArgument(node: ts.Node, name: NameNode, value: ConstValueNode): ConstArgumentNode;
@@ -36,4 +42,3 @@ constDirective(node: ts.Node, name: NameNode, args: ReadonlyArray<ConstArgumentNode> | null): ConstDirectiveNode;
     _optionalList<T>(input: readonly T[] | null): readonly T[] | undefined;
-    _loc(node: ts.Node): GraphQLLocation;
-    _dummyToken(pos: number): Token;
 }
+export declare function loc(node: TsLocatableNode): GraphQLLocation;

dist/src/GraphQLConstructor.js

 "use strict";
-exports.__esModule = true;
-exports.GraphQLConstructor = void 0;
+var __assign = (this && this.__assign) || function () {
+    __assign = Object.assign || function(t) {
+        for (var s, i = 1, n = arguments.length; i < n; i++) {
+            s = arguments[i];
+            for (var p in s) if (Object.prototype.hasOwnProperty.call(s, p))
+                t[p] = s[p];
+        }
+        return t;
+    };
+    return __assign.apply(this, arguments);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.loc = exports.GraphQLConstructor = void 0;
 var graphql_1 = require("graphql");
+var metadataDirectives_1 = require("./metadataDirectives");
+var helpers_1 = require("./utils/helpers");
 var GraphQLConstructor = /** @class */ (function () {
-    function GraphQLConstructor(sourceFile) {
-        this.sourceFile = sourceFile;
+    function GraphQLConstructor() {
     }
+    GraphQLConstructor.prototype.fieldMetadataDirective = function (node, metadata) {
+        var args = [];
+        if (metadata.tsModulePath != null) {
+            args.push(this.constArgument(node, this.name(node, metadataDirectives_1.TS_MODULE_PATH_ARG), this.string(node, metadata.tsModulePath)));
+        }
+        if (metadata.name != null) {
+            args.push(this.constArgument(node, this.name(node, metadataDirectives_1.FIELD_NAME_ARG), this.string(node, metadata.name)));
+        }
+        if (metadata.exportName != null) {
+            args.push(this.constArgument(node, this.name(node, metadataDirectives_1.EXPORT_NAME_ARG), this.string(node, metadata.exportName)));
+        }
+        if (metadata.argCount != null) {
+            args.push(this.constArgument(node, this.name(node, metadataDirectives_1.ARG_COUNT), this.int(node, metadata.argCount.toString())));
+        }
+        return this.constDirective(node, this.name(node, metadataDirectives_1.FIELD_METADATA_DIRECTIVE), args);
+    };
+    GraphQLConstructor.prototype.killsParentOnExceptionDirective = function (node) {
+        return (0, metadataDirectives_1.makeKillsParentOnExceptionDirective)(loc(node));
+    };
     /* Top Level Types */
@@ -13,6 +44,6 @@ GraphQLConstructor.prototype.unionTypeDefinition = function (node, name, types, description) {
             kind: graphql_1.Kind.UNION_TYPE_DEFINITION,
-            loc: this._loc(node),
+            loc: loc(node),
             description: description !== null && description !== void 0 ? description : undefined,
             name: name,
-            types: types
+            types: types,
         };
@@ -23,3 +54,3 @@ };
             kind: graphql_1.Kind.OBJECT_TYPE_DEFINITION,
-            loc: this._loc(node),
+            loc: loc(node),
             description: description !== null && description !== void 0 ? description : undefined,
@@ -29,3 +60,3 @@ directives: undefined,
             fields: fields,
-            interfaces: interfaces !== null && interfaces !== void 0 ? interfaces : undefined
+            interfaces: interfaces !== null && interfaces !== void 0 ? interfaces : undefined,
         };
@@ -36,3 +67,3 @@ };
             kind: graphql_1.Kind.INTERFACE_TYPE_DEFINITION,
-            loc: this._loc(node),
+            loc: loc(node),
             description: description !== null && description !== void 0 ? description : undefined,
@@ -42,3 +73,3 @@ directives: undefined,
             fields: fields,
-            interfaces: interfaces !== null && interfaces !== void 0 ? interfaces : undefined
+            interfaces: interfaces !== null && interfaces !== void 0 ? interfaces : undefined,
         };
@@ -49,6 +80,6 @@ };
             kind: graphql_1.Kind.ENUM_TYPE_DEFINITION,
-            loc: this._loc(node),
+            loc: loc(node),
             description: description !== null && description !== void 0 ? description : undefined,
             name: name,
-            values: values
+            values: values,
         };
@@ -59,6 +90,7 @@ };
         return {
-            kind: "AbstractFieldDefinition",
-            loc: this._loc(node),
-            onType: onType,
-            field: field
+            kind: graphql_1.Kind.OBJECT_TYPE_EXTENSION,
+            loc: loc(node),
+            name: onType,
+            fields: [field],
+            mayBeInterface: true,
         };
@@ -70,3 +102,3 @@ };
             kind: graphql_1.Kind.FIELD_DEFINITION,
-            loc: this._loc(node),
+            loc: loc(node),
             description: description !== null && description !== void 0 ? description : undefined,
@@ -76,7 +108,7 @@ name: name,
             arguments: args !== null && args !== void 0 ? args : undefined,
-            directives: this._optionalList(directives)
+            directives: this._optionalList(directives),
         };
     };
     GraphQLConstructor.prototype.constObjectField = function (node, name, value) {
-        return { kind: graphql_1.Kind.OBJECT_FIELD, loc: this._loc(node), name: name, value: value };
+        return { kind: graphql_1.Kind.OBJECT_FIELD, loc: loc(node), name: name, value: value };
     };
@@ -86,3 +118,3 @@ GraphQLConstructor.prototype.inputValueDefinition = function (node, name, type, directives, defaultValue, description) {
             kind: graphql_1.Kind.INPUT_VALUE_DEFINITION,
-            loc: this._loc(node),
+            loc: loc(node),
             description: description !== null && description !== void 0 ? description : undefined,
@@ -92,3 +124,3 @@ name: name,
             defaultValue: defaultValue !== null && defaultValue !== void 0 ? defaultValue : undefined,
-            directives: this._optionalList(directives)
+            directives: this._optionalList(directives),
         };
@@ -99,15 +131,15 @@ };
             kind: graphql_1.Kind.ENUM_VALUE_DEFINITION,
-            loc: this._loc(node),
+            loc: loc(node),
             description: description !== null && description !== void 0 ? description : undefined,
             name: name,
-            directives: directives
+            directives: directives,
         };
     };
-    GraphQLConstructor.prototype.scalarTypeDefinition = function (node, name, description) {
+    GraphQLConstructor.prototype.scalarTypeDefinition = function (node, name, directives, description) {
         return {
             kind: graphql_1.Kind.SCALAR_TYPE_DEFINITION,
-            loc: this._loc(node),
+            loc: loc(node),
             description: description !== null && description !== void 0 ? description : undefined,
             name: name,
-            directives: undefined
+            directives: this._optionalList(directives),
         };
@@ -118,7 +150,7 @@ };
             kind: graphql_1.Kind.INPUT_OBJECT_TYPE_DEFINITION,
-            loc: this._loc(node),
+            loc: loc(node),
             description: description !== null && description !== void 0 ? description : undefined,
             name: name,
             fields: fields !== null && fields !== void 0 ? fields : undefined,
-            directives: this._optionalList(directives)
+            directives: this._optionalList(directives),
         };
@@ -128,3 +160,8 @@ };
     GraphQLConstructor.prototype.name = function (node, value) {
-        return { kind: graphql_1.Kind.NAME, loc: this._loc(node), value: value };
+        return {
+            kind: graphql_1.Kind.NAME,
+            loc: loc(node),
+            value: value,
+            tsIdentifier: (0, helpers_1.uniqueId)(),
+        };
     };
@@ -134,8 +171,8 @@ GraphQLConstructor.prototype.namedType = function (node, value) {
             kind: graphql_1.Kind.NAMED_TYPE,
-            loc: this._loc(node),
-            name: this.name(node, value)
+            loc: loc(node),
+            name: this.name(node, value),
         };
     };
     GraphQLConstructor.prototype.object = function (node, fields) {
-        return { kind: graphql_1.Kind.OBJECT, loc: this._loc(node), fields: fields };
+        return { kind: graphql_1.Kind.OBJECT, loc: loc(node), fields: fields };
     };
@@ -147,3 +184,3 @@ /* Helpers */
         }
-        return { kind: graphql_1.Kind.NON_NULL_TYPE, loc: this._loc(node), type: type };
+        return { kind: graphql_1.Kind.NON_NULL_TYPE, loc: loc(node), type: type };
     };
@@ -158,9 +195,12 @@ GraphQLConstructor.prototype.nullableType = function (type) {
     GraphQLConstructor.prototype.listType = function (node, type) {
-        return { kind: graphql_1.Kind.LIST_TYPE, loc: this._loc(node), type: type };
+        return { kind: graphql_1.Kind.LIST_TYPE, loc: loc(node), type: type };
     };
     GraphQLConstructor.prototype.list = function (node, values) {
-        return { kind: graphql_1.Kind.LIST, loc: this._loc(node), values: values };
+        return { kind: graphql_1.Kind.LIST, loc: loc(node), values: values };
     };
+    GraphQLConstructor.prototype.withLocation = function (node, value) {
+        return __assign(__assign({}, value), { loc: loc(node) });
+    };
     GraphQLConstructor.prototype.constArgument = function (node, name, value) {
-        return { kind: graphql_1.Kind.ARGUMENT, loc: this._loc(node), name: name, value: value };
+        return { kind: graphql_1.Kind.ARGUMENT, loc: loc(node), name: name, value: value };
     };
@@ -170,21 +210,21 @@ GraphQLConstructor.prototype.constDirective = function (node, name, args) {
             kind: graphql_1.Kind.DIRECTIVE,
-            loc: this._loc(node),
+            loc: loc(node),
             name: name,
-            arguments: this._optionalList(args)
+            arguments: this._optionalList(args),
         };
     };
     GraphQLConstructor.prototype.string = function (node, value, block) {
-        return { kind: graphql_1.Kind.STRING, loc: this._loc(node), value: value, block: block };
+        return { kind: graphql_1.Kind.STRING, loc: loc(node), value: value, block: block };
     };
     GraphQLConstructor.prototype.float = function (node, value) {
-        return { kind: graphql_1.Kind.FLOAT, loc: this._loc(node), value: value };
+        return { kind: graphql_1.Kind.FLOAT, loc: loc(node), value: value };
     };
     GraphQLConstructor.prototype.int = function (node, value) {
-        return { kind: graphql_1.Kind.INT, loc: this._loc(node), value: value };
+        return { kind: graphql_1.Kind.INT, loc: loc(node), value: value };
     };
-    GraphQLConstructor.prototype["null"] = function (node) {
-        return { kind: graphql_1.Kind.NULL, loc: this._loc(node) };
+    GraphQLConstructor.prototype.null = function (node) {
+        return { kind: graphql_1.Kind.NULL, loc: loc(node) };
     };
     GraphQLConstructor.prototype.boolean = function (node, value) {
-        return { kind: graphql_1.Kind.BOOLEAN, loc: this._loc(node), value: value };
+        return { kind: graphql_1.Kind.BOOLEAN, loc: loc(node), value: value };
     };
@@ -197,17 +237,19 @@ GraphQLConstructor.prototype._optionalList = function (input) {
     };
-    // TODO: This is potentially quite expensive, and we only need it if we report
-    // an error at one of these locations. We could consider some trick to return a
-    // proxy object that would lazily compute the line/column info.
-    GraphQLConstructor.prototype._loc = function (node) {
-        var source = new graphql_1.Source(this.sourceFile.text, this.sourceFile.fileName);
-        var startToken = this._dummyToken(node.getStart());
-        var endToken = this._dummyToken(node.getEnd());
-        return new graphql_1.Location(startToken, endToken, source);
-    };
-    GraphQLConstructor.prototype._dummyToken = function (pos) {
-        var _a = this.sourceFile.getLineAndCharacterOfPosition(pos), line = _a.line, character = _a.character;
-        return new graphql_1.Token(graphql_1.TokenKind.SOF, pos, pos, line, character, undefined);
-    };
     return GraphQLConstructor;
 }());
 exports.GraphQLConstructor = GraphQLConstructor;
+// TODO: This is potentially quite expensive, and we only need it if we report
+// an error at one of these locations. We could consider some trick to return a
+// proxy object that would lazily compute the line/column info.
+function loc(node) {
+    var sourceFile = node.getSourceFile();
+    var source = new graphql_1.Source(sourceFile.text, sourceFile.fileName);
+    var startToken = _dummyToken(sourceFile, node.getStart());
+    var endToken = _dummyToken(sourceFile, node.getEnd());
+    return new graphql_1.Location(startToken, endToken, source);
+}
+exports.loc = loc;
+function _dummyToken(sourceFile, pos) {
+    var _a = sourceFile.getLineAndCharacterOfPosition(pos), line = _a.line, character = _a.character;
+    return new graphql_1.Token(graphql_1.TokenKind.SOF, pos, pos, line, character, undefined);
+}

dist/src/gratsRoot.d.ts

@@ -1,3 +0,2 @@
-import * as ts from "typescript";
-export declare function getRelativeOutputPath(options: ts.ParsedCommandLine, sourceFile: ts.SourceFile): string;
+export declare function relativePath(absolute: string): string;
 export declare function resolveRelativePath(relativePath: string): string;

dist/src/gratsRoot.js

 "use strict";
-exports.__esModule = true;
-exports.resolveRelativePath = exports.getRelativeOutputPath = void 0;
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.resolveRelativePath = exports.relativePath = void 0;
 var path_1 = require("path");
-var ts = require("typescript");
 // Grats parses TypeScript files and finds resolvers. If the field resolver is a
@@ -13,16 +12,7 @@ // named export, Grats needs to be able to import that file during execution.
 // step and the runtime can agree on. This path is that thing.
-var gratsRoot = __dirname;
-function getRelativeOutputPath(options, sourceFile) {
-    var fileNames = ts.getOutputFileNames(options, sourceFile.fileName, true);
-    // ts.getOutputFileNames returns a list of files that includes both the .d.ts
-    // and .js files.
-    var jsFileNames = fileNames.filter(function (fileName) { return fileName.endsWith(".js"); });
-    if (jsFileNames.length !== 1) {
-        throw new Error("Grats: Expected ts.getOutputFileNames to return exactly one `.js` file. " +
-            "Found ".concat(jsFileNames.length, "}. This is a bug in Grats. I'd appreciate it if ") +
-            "you could open an issue.");
-    }
-    return (0, path_1.relative)(gratsRoot, fileNames[0]);
+var gratsRoot = (0, path_1.join)(__dirname, "../..");
+function relativePath(absolute) {
+    return (0, path_1.relative)(gratsRoot, absolute);
 }
-exports.getRelativeOutputPath = getRelativeOutputPath;
+exports.relativePath = relativePath;
 function resolveRelativePath(relativePath) {
@@ -29,0 +19,0 @@ return (0, path_1.resolve)(gratsRoot, relativePath);

dist/src/index.d.ts

@@ -1,10 +0,9 @@
-import { GraphQLSchema } from "graphql";
-import * as ts from "typescript";
+import { ParsedCommandLineGrats } from "./gratsConfig";
+import { ReportableDiagnostics } from "./utils/DiagnosticError";
+import { Result } from "./utils/Result";
+export { printSDLWithoutMetadata } from "./printSchema";
 export * from "./Types";
 export * from "./lib";
-type RuntimeOptions = {
-    emitSchemaFile?: string;
-};
-export declare function extractGratsSchemaAtRuntime(runtimeOptions: RuntimeOptions): GraphQLSchema;
-export declare function buildSchemaFromSDL(sdl: string): GraphQLSchema;
-export declare function getParsedTsConfig(configPath?: string): ts.ParsedCommandLine;
+export { extract } from "./Extractor";
+export { codegen } from "./codegen";
+export declare function getParsedTsConfig(configFile: string): Result<ParsedCommandLineGrats, ReportableDiagnostics>;

dist/src/index.js

@@ -16,39 +16,19 @@ "use strict";
 };
-exports.__esModule = true;
-exports.getParsedTsConfig = exports.buildSchemaFromSDL = exports.extractGratsSchemaAtRuntime = void 0;
-var graphql_1 = require("graphql");
-var utils_1 = require("@graphql-tools/utils");
-var fs = require("fs");
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.getParsedTsConfig = exports.codegen = exports.extract = exports.printSDLWithoutMetadata = void 0;
 var ts = require("typescript");
-var lib_1 = require("./lib");
+var gratsConfig_1 = require("./gratsConfig");
+var DiagnosticError_1 = require("./utils/DiagnosticError");
+var Result_1 = require("./utils/Result");
+var printSchema_1 = require("./printSchema");
+Object.defineProperty(exports, "printSDLWithoutMetadata", { enumerable: true, get: function () { return printSchema_1.printSDLWithoutMetadata; } });
 __exportStar(require("./Types"), exports);
 __exportStar(require("./lib"), exports);
-// Build an executable schema from a set of files. Note that if extraction
-// fails, this function will exit the process and print a helpful error
-// message.
-function extractGratsSchemaAtRuntime(runtimeOptions) {
-    var parsedTsConfig = getParsedTsConfig();
-    var schemaResult = (0, lib_1.buildSchemaResult)(parsedTsConfig);
-    if (schemaResult.kind === "ERROR") {
-        console.error(schemaResult.err.formatDiagnosticsWithColorAndContext());
-        process.exit(1);
-    }
-    var runtimeSchema = schemaResult.value;
-    if (runtimeOptions.emitSchemaFile) {
-        runtimeSchema = (0, graphql_1.lexicographicSortSchema)(runtimeSchema);
-        var sdl = (0, utils_1.printSchemaWithDirectives)(runtimeSchema, { assumeValid: true });
-        var filePath = runtimeOptions.emitSchemaFile;
-        fs.writeFileSync(filePath, sdl);
-    }
-    return runtimeSchema;
-}
-exports.extractGratsSchemaAtRuntime = extractGratsSchemaAtRuntime;
-function buildSchemaFromSDL(sdl) {
-    var schema = (0, graphql_1.buildSchema)(sdl);
-    return (0, lib_1.applyServerDirectives)(schema);
-}
-exports.buildSchemaFromSDL = buildSchemaFromSDL;
+// Used by the experimental TypeScript plugin
+var Extractor_1 = require("./Extractor");
+Object.defineProperty(exports, "extract", { enumerable: true, get: function () { return Extractor_1.extract; } });
+var codegen_1 = require("./codegen");
+Object.defineProperty(exports, "codegen", { enumerable: true, get: function () { return codegen_1.codegen; } });
 // #FIXME: Report diagnostics instead of throwing!
-function getParsedTsConfig(configPath) {
-    var configFile = configPath || ts.findConfigFile(process.cwd(), ts.sys.fileExists);
+function getParsedTsConfig(configFile) {
     if (!configFile) {
@@ -60,7 +40,10 @@ throw new Error("Grats: Could not find tsconfig.json");
     var parsed = ts.getParsedCommandLineOfConfigFile(configFile, undefined, configFileHost);
-    if (!parsed || parsed.errors.length > 0) {
-        throw new Error("Grats: Could not parse tsconfig.json");
+    if (!parsed) {
+        throw new Error("Grats: Could not locate tsconfig.json");
     }
-    return parsed;
+    if (parsed.errors.length > 0) {
+        return (0, Result_1.err)(DiagnosticError_1.ReportableDiagnostics.fromDiagnostics(parsed.errors));
+    }
+    return (0, Result_1.ok)((0, gratsConfig_1.validateGratsOptions)(parsed));
 }
 exports.getParsedTsConfig = getParsedTsConfig;

dist/src/InterfaceGraph.d.ts

@@ -1,4 +0,4 @@
-import { GratsDefinitionNode, TypeContext } from "./TypeContext";
-import { DiagnosticsResult } from "./utils/DiagnosticError";
+import { TypeContext } from "./TypeContext";
 import { DefaultMap } from "./utils/helpers";
+import { DefinitionNode } from "graphql";
 export type InterfaceImplementor = {
@@ -12,2 +12,2 @@ kind: "TYPE" | "INTERFACE";
  */
-export declare function computeInterfaceMap(typeContext: TypeContext, docs: GratsDefinitionNode[]): DiagnosticsResult<InterfaceMap>;
+export declare function computeInterfaceMap(typeContext: TypeContext, docs: DefinitionNode[]): InterfaceMap;

dist/src/InterfaceGraph.js

@@ -13,5 +13,4 @@ "use strict";
 };
-exports.__esModule = true;
+Object.defineProperty(exports, "__esModule", { value: true });
 exports.computeInterfaceMap = void 0;
-var DiagnosticError_1 = require("./utils/DiagnosticError");
 var helpers_1 = require("./utils/helpers");
@@ -30,3 +29,2 @@ var graphql_1 = require("graphql");
     };
-    var errors = [];
     try {
@@ -41,3 +39,3 @@ for (var docs_1 = __values(docs), docs_1_1 = docs_1.next(); !docs_1_1.done; docs_1_1 = docs_1.next()) {
                             var implementor = _g.value;
-                            var resolved = typeContext.resolveNamedType(implementor.name);
+                            var resolved = typeContext.resolveUnresolvedNamedType(implementor.name);
                             if (resolved.kind === "ERROR") {
@@ -49,3 +47,3 @@ // We trust that these errors will be reported elsewhere.
                                 kind: "INTERFACE",
-                                name: doc.name.value
+                                name: doc.name.value,
                             });
@@ -57,3 +55,3 @@ }
                         try {
-                            if (_g && !_g.done && (_b = _f["return"])) _b.call(_f);
+                            if (_g && !_g.done && (_b = _f.return)) _b.call(_f);
                         }
@@ -68,3 +66,3 @@ finally { if (e_2) throw e_2.error; }
                             var implementor = _j.value;
-                            var resolved = typeContext.resolveNamedType(implementor.name);
+                            var resolved = typeContext.resolveUnresolvedNamedType(implementor.name);
                             if (resolved.kind === "ERROR") {
@@ -80,3 +78,3 @@ // We trust that these errors will be reported elsewhere.
                         try {
-                            if (_j && !_j.done && (_c = _h["return"])) _c.call(_h);
+                            if (_j && !_j.done && (_c = _h.return)) _c.call(_h);
                         }
@@ -92,11 +90,8 @@ finally { if (e_3) throw e_3.error; }
         try {
-            if (docs_1_1 && !docs_1_1.done && (_a = docs_1["return"])) _a.call(docs_1);
+            if (docs_1_1 && !docs_1_1.done && (_a = docs_1.return)) _a.call(docs_1);
         }
         finally { if (e_1) throw e_1.error; }
     }
-    if (errors.length > 0) {
-        return (0, DiagnosticError_1.err)(errors);
-    }
-    return (0, DiagnosticError_1.ok)(graph);
+    return graph;
 }
 exports.computeInterfaceMap = computeInterfaceMap;

dist/src/lib.d.ts

@@ -1,10 +0,17 @@
-import { GraphQLSchema } from "graphql";
-import { Result, ReportableDiagnostics } from "./utils/DiagnosticError";
+import { DocumentNode, GraphQLSchema } from "graphql";
+import { DiagnosticsWithoutLocationResult, ReportableDiagnostics } from "./utils/DiagnosticError";
+import { Result } from "./utils/Result";
 import * as ts from "typescript";
-export { applyServerDirectives } from "./serverDirectives";
-export type ConfigOptions = {
-    nullableByDefault?: boolean;
-    reportTypeScriptTypeErrors?: boolean;
+import { ParsedCommandLineGrats } from "./gratsConfig";
+export { initTsPlugin } from "./tsPlugin/initTsPlugin";
+export { GratsConfig } from "./gratsConfig";
+export type SchemaAndDoc = {
+    schema: GraphQLSchema;
+    doc: DocumentNode;
 };
-export declare function buildSchemaResult(options: ts.ParsedCommandLine): Result<GraphQLSchema, ReportableDiagnostics>;
-export declare function buildSchemaResultWithHost(options: ts.ParsedCommandLine, compilerHost: ts.CompilerHost): Result<GraphQLSchema, ReportableDiagnostics>;
+export declare function buildSchemaAndDocResult(options: ParsedCommandLineGrats): Result<SchemaAndDoc, ReportableDiagnostics>;
+export declare function buildSchemaAndDocResultWithHost(options: ParsedCommandLineGrats, compilerHost: ts.CompilerHost): Result<SchemaAndDoc, ReportableDiagnostics>;
+/**
+ * The core transformation pipeline of Grats.
+ */
+export declare function extractSchemaAndDoc(options: ParsedCommandLineGrats, program: ts.Program): DiagnosticsWithoutLocationResult<SchemaAndDoc>;

dist/src/lib.js

 "use strict";
-var __assign = (this && this.__assign) || function () {
-    __assign = Object.assign || function(t) {
-        for (var s, i = 1, n = arguments.length; i < n; i++) {
-            s = arguments[i];
-            for (var p in s) if (Object.prototype.hasOwnProperty.call(s, p))
-                t[p] = s[p];
-        }
-        return t;
-    };
-    return __assign.apply(this, arguments);
-};
-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 __values = (this && this.__values) || function(o) {
@@ -35,17 +13,47 @@ var s = typeof Symbol === "function" && Symbol.iterator, m = s && o[s], i = 0;
 };
-exports.__esModule = true;
-exports.buildSchemaResultWithHost = exports.buildSchemaResult = exports.applyServerDirectives = void 0;
+var __read = (this && this.__read) || function (o, n) {
+    var m = typeof Symbol === "function" && o[Symbol.iterator];
+    if (!m) return o;
+    var i = m.call(o), r, ar = [], e;
+    try {
+        while ((n === void 0 || n-- > 0) && !(r = i.next()).done) ar.push(r.value);
+    }
+    catch (error) { e = { error: error }; }
+    finally {
+        try {
+            if (r && !r.done && (m = i["return"])) m.call(i);
+        }
+        finally { if (e) throw e.error; }
+    }
+    return ar;
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.extractSchemaAndDoc = exports.buildSchemaAndDocResultWithHost = exports.buildSchemaAndDocResult = exports.initTsPlugin = void 0;
 var graphql_1 = require("graphql");
 var DiagnosticError_1 = require("./utils/DiagnosticError");
+var Result_1 = require("./utils/Result");
+var Result_2 = require("./utils/Result");
 var ts = require("typescript");
-var Extractor_1 = require("./Extractor");
 var TypeContext_1 = require("./TypeContext");
 var validate_1 = require("graphql/validation/validate");
-var serverDirectives_1 = require("./serverDirectives");
-var helpers_1 = require("./utils/helpers");
-var serverDirectives_2 = require("./serverDirectives");
-__createBinding(exports, serverDirectives_2, "applyServerDirectives");
+var validateTypenames_1 = require("./validations/validateTypenames");
+var snapshotsFromProgram_1 = require("./transforms/snapshotsFromProgram");
+var validateMergedInterfaces_1 = require("./validations/validateMergedInterfaces");
+var validateContextReferences_1 = require("./validations/validateContextReferences");
+var metadataDirectives_1 = require("./metadataDirectives");
+var addInterfaceFields_1 = require("./transforms/addInterfaceFields");
+var filterNonGqlInterfaces_1 = require("./transforms/filterNonGqlInterfaces");
+var validateAsyncIterable_1 = require("./validations/validateAsyncIterable");
+var applyDefaultNullability_1 = require("./transforms/applyDefaultNullability");
+var mergeExtensions_1 = require("./transforms/mergeExtensions");
+var sortSchemaAst_1 = require("./transforms/sortSchemaAst");
+var validateSemanticNullability_1 = require("./validations/validateSemanticNullability");
+var resolveTypes_1 = require("./transforms/resolveTypes");
+// Export the TypeScript plugin implementation used by
+// grats-ts-plugin
+var initTsPlugin_1 = require("./tsPlugin/initTsPlugin");
+Object.defineProperty(exports, "initTsPlugin", { enumerable: true, get: function () { return initTsPlugin_1.initTsPlugin; } });
 // Construct a schema, using GraphQL schema language
 // Exported for tests that want to intercept diagnostic errors.
-function buildSchemaResult(options) {
+function buildSchemaAndDocResult(options) {
     // https://stackoverflow.com/a/66604532/1263117
@@ -55,154 +63,128 @@ var compilerHost = ts.createCompilerHost(options.options,
     true);
-    return buildSchemaResultWithHost(options, compilerHost);
+    return buildSchemaAndDocResultWithHost(options, compilerHost);
 }
-exports.buildSchemaResult = buildSchemaResult;
-function buildSchemaResultWithHost(options, compilerHost) {
-    var gratsOptions = parseGratsOptions(options);
-    var schemaResult = extractSchema(options, gratsOptions, compilerHost);
-    if (schemaResult.kind === "ERROR") {
-        return (0, DiagnosticError_1.err)(new DiagnosticError_1.ReportableDiagnostics(compilerHost, schemaResult.err));
-    }
-    return (0, DiagnosticError_1.ok)((0, serverDirectives_1.applyServerDirectives)(schemaResult.value));
+exports.buildSchemaAndDocResult = buildSchemaAndDocResult;
+function buildSchemaAndDocResultWithHost(options, compilerHost) {
+    var program = ts.createProgram(options.fileNames, options.options, compilerHost);
+    return new Result_1.ResultPipe(extractSchemaAndDoc(options, program))
+        .mapErr(function (e) { return new DiagnosticError_1.ReportableDiagnostics(compilerHost, e); })
+        .result();
 }
-exports.buildSchemaResultWithHost = buildSchemaResultWithHost;
-// TODO: Make this return diagnostics
-function parseGratsOptions(options) {
-    var _a, _b;
-    var gratsOptions = __assign({}, ((_b = (_a = options.raw) === null || _a === void 0 ? void 0 : _a.grats) !== null && _b !== void 0 ? _b : {}));
-    if (gratsOptions.nullableByDefault === undefined) {
-        gratsOptions.nullableByDefault = true;
+exports.buildSchemaAndDocResultWithHost = buildSchemaAndDocResultWithHost;
+/**
+ * The core transformation pipeline of Grats.
+ */
+function extractSchemaAndDoc(options, program) {
+    return new Result_1.ResultPipe((0, snapshotsFromProgram_1.extractSnapshotsFromProgram)(program, options))
+        .map(function (snapshots) { return combineSnapshots(snapshots); })
+        .andThen(function (snapshot) {
+        var typesWithTypename = snapshot.typesWithTypename;
+        var config = options.raw.grats;
+        var checker = program.getTypeChecker();
+        var ctx = TypeContext_1.TypeContext.fromSnapshot(checker, snapshot);
+        // Collect validation errors
+        var validationResult = (0, Result_1.concatResults)((0, validateMergedInterfaces_1.validateMergedInterfaces)(checker, snapshot.interfaceDeclarations), (0, validateContextReferences_1.validateContextReferences)(ctx, snapshot.contextReferences));
+        var docResult = new Result_1.ResultPipe(validationResult)
+            // Add the metadata directive definitions to definitions
+            // found in the snapshot.
+            .map(function () { return (0, metadataDirectives_1.addMetadataDirectives)(snapshot.definitions); })
+            // Filter out any `implements` clauses that are not GraphQL interfaces.
+            .map(function (definitions) { return (0, filterNonGqlInterfaces_1.filterNonGqlInterfaces)(ctx, definitions); })
+            .andThen(function (definitions) { return (0, resolveTypes_1.resolveTypes)(ctx, definitions); })
+            // If you define a field on an interface using the functional style, we need to add
+            // that field to each concrete type as well. This must be done after all types are created,
+            // but before we validate the schema.
+            .andThen(function (definitions) { return (0, addInterfaceFields_1.addInterfaceFields)(ctx, definitions); })
+            // Convert the definitions into a DocumentNode
+            .map(function (definitions) { return ({ kind: graphql_1.Kind.DOCUMENT, definitions: definitions }); })
+            // Ensure all subscription fields return an AsyncIterable.
+            .andThen(function (doc) { return (0, validateAsyncIterable_1.validateAsyncIterable)(doc); })
+            // Apply default nullability to fields and arguments, and detect any misuse of
+            // `@killsParentOnException`.
+            .andThen(function (doc) { return (0, applyDefaultNullability_1.applyDefaultNullability)(doc, config); })
+            // Merge any `extend` definitions into their base definitions.
+            .map(function (doc) { return (0, mergeExtensions_1.mergeExtensions)(doc); })
+            // Sort the definitions in the document to ensure a stable output.
+            .map(function (doc) { return (0, sortSchemaAst_1.sortSchemaAst)(doc); })
+            .result();
+        if (docResult.kind === "ERROR") {
+            return docResult;
+        }
+        var doc = docResult.value;
+        // Build and validate the schema with regards to the GraphQL spec.
+        return (new Result_1.ResultPipe(buildSchemaFromDoc(doc))
+            // Ensure that every type which implements an interface or is a member of a
+            // union has a __typename field.
+            .andThen(function (schema) { return (0, validateTypenames_1.validateTypenames)(schema, typesWithTypename); })
+            .andThen(function (schema) { return (0, validateSemanticNullability_1.validateSemanticNullability)(schema, config); })
+            // Combine the schema and document into a single result.
+            .map(function (schema) { return ({ schema: schema, doc: doc }); })
+            .result());
+    })
+        .result();
+}
+exports.extractSchemaAndDoc = extractSchemaAndDoc;
+// Given a SDL AST, build and validate a GraphQLSchema.
+function buildSchemaFromDoc(doc) {
+    // TODO: Currently this does not detect definitions that shadow builtins
+    // (`String`, `Int`, etc). However, if we pass a second param (extending an
+    // existing schema) we do! So, we should find a way to validate that we don't
+    // shadow builtins.
+    var validationErrors = (0, validate_1.validateSDL)(doc);
+    if (validationErrors.length > 0) {
+        return (0, Result_2.err)(validationErrors.map(DiagnosticError_1.graphQlErrorToDiagnostic));
     }
-    else if (typeof gratsOptions.nullableByDefault !== "boolean") {
-        throw new Error("Grats: The Grats config option `nullableByDefault` must be a boolean if provided.");
+    var schema = (0, graphql_1.buildASTSchema)(doc, { assumeValidSDL: true });
+    var diagnostics = (0, graphql_1.validateSchema)(schema)
+        // FIXME: Handle case where query is not defined (no location)
+        .filter(function (e) { return e.source && e.locations && e.positions; });
+    if (diagnostics.length > 0) {
+        return (0, Result_2.err)(diagnostics.map(DiagnosticError_1.graphQlErrorToDiagnostic));
     }
-    if (gratsOptions.reportTypeScriptTypeErrors === undefined) {
-        gratsOptions.reportTypeScriptTypeErrors = false;
-    }
-    else if (typeof gratsOptions.reportTypeScriptTypeErrors !== "boolean") {
-        throw new Error("Grats: The Grats config option `reportTypeScriptTypeErrors` must be a boolean if provided");
-    }
-    // FIXME: Check for unknown options
-    return gratsOptions;
+    return (0, Result_2.ok)(schema);
 }
-function extractSchema(options, gratsOptions, host) {
-    var e_1, _a, e_2, _b;
-    var program = ts.createProgram(options.fileNames, options.options, host);
-    var checker = program.getTypeChecker();
-    var ctx = new TypeContext_1.TypeContext(options, checker, host);
-    var definitions = Array.from(serverDirectives_1.DIRECTIVES_AST.definitions);
-    var errors = [];
+// Given a list of snapshots, merge them into a single snapshot.
+function combineSnapshots(snapshots) {
+    var e_1, _a, e_2, _b, e_3, _c, e_4, _d, e_5, _e, e_6, _f, e_7, _g;
+    var result = {
+        definitions: [],
+        nameDefinitions: new Map(),
+        unresolvedNames: new Map(),
+        contextReferences: [],
+        typesWithTypename: new Set(),
+        interfaceDeclarations: [],
+    };
     try {
-        for (var _c = __values(program.getSourceFiles()), _d = _c.next(); !_d.done; _d = _c.next()) {
-            var sourceFile = _d.value;
-            // If the file doesn't contain any GraphQL definitions, skip it.
-            if (!/@gql/i.test(sourceFile.text)) {
-                continue;
-            }
-            if (gratsOptions.reportTypeScriptTypeErrors) {
-                // If the user asked for us to report TypeScript errors, then we'll report them.
-                var typeErrors = ts.getPreEmitDiagnostics(program, sourceFile);
-                if (typeErrors.length > 0) {
-                    (0, helpers_1.extend)(errors, typeErrors);
-                    continue;
+        for (var snapshots_1 = __values(snapshots), snapshots_1_1 = snapshots_1.next(); !snapshots_1_1.done; snapshots_1_1 = snapshots_1.next()) {
+            var snapshot = snapshots_1_1.value;
+            try {
+                for (var _h = (e_2 = void 0, __values(snapshot.definitions)), _j = _h.next(); !_j.done; _j = _h.next()) {
+                    var definition = _j.value;
+                    result.definitions.push(definition);
                 }
             }
-            else {
-                // Otherwise, we will only report syntax errors, since they will prevent us from
-                // extracting any GraphQL definitions.
-                var syntaxErrors = program.getSyntacticDiagnostics(sourceFile);
-                if (syntaxErrors.length > 0) {
-                    // It's not very helpful to report multiple syntax errors, so just report
-                    // the first one.
-                    errors.push(syntaxErrors[0]);
-                    continue;
+            catch (e_2_1) { e_2 = { error: e_2_1 }; }
+            finally {
+                try {
+                    if (_j && !_j.done && (_b = _h.return)) _b.call(_h);
                 }
+                finally { if (e_2) throw e_2.error; }
             }
-            var extractor = new Extractor_1.Extractor(sourceFile, ctx, gratsOptions);
-            var extractedResult = extractor.extract();
-            if (extractedResult.kind === "ERROR") {
-                (0, helpers_1.extend)(errors, extractedResult.err);
-                continue;
-            }
             try {
-                for (var _e = (e_2 = void 0, __values(extractedResult.value)), _f = _e.next(); !_f.done; _f = _e.next()) {
-                    var definition = _f.value;
-                    definitions.push(definition);
+                for (var _k = (e_3 = void 0, __values(snapshot.nameDefinitions)), _l = _k.next(); !_l.done; _l = _k.next()) {
+                    var _m = __read(_l.value, 2), node = _m[0], definition = _m[1];
+                    result.nameDefinitions.set(node, definition);
                 }
             }
-            catch (e_2_1) { e_2 = { error: e_2_1 }; }
+            catch (e_3_1) { e_3 = { error: e_3_1 }; }
             finally {
                 try {
-                    if (_f && !_f.done && (_b = _e["return"])) _b.call(_e);
+                    if (_l && !_l.done && (_c = _k.return)) _c.call(_k);
                 }
-                finally { if (e_2) throw e_2.error; }
+                finally { if (e_3) throw e_3.error; }
             }
-        }
-    }
-    catch (e_1_1) { e_1 = { error: e_1_1 }; }
-    finally {
-        try {
-            if (_d && !_d.done && (_a = _c["return"])) _a.call(_c);
-        }
-        finally { if (e_1) throw e_1.error; }
-    }
-    if (errors.length > 0) {
-        return (0, DiagnosticError_1.err)(errors);
-    }
-    // If you define a field on an interface using the functional style, we need to add
-    // that field to each concrete type as well. This must be done after all types are created,
-    // but before we validate the schema.
-    var definitionsResult = ctx.handleAbstractDefinitions(definitions);
-    if (definitionsResult.kind === "ERROR") {
-        return definitionsResult;
-    }
-    var docResult = ctx.resolveTypes({
-        kind: graphql_1.Kind.DOCUMENT,
-        definitions: definitionsResult.value
-    });
-    if (docResult.kind === "ERROR")
-        return docResult;
-    var doc = docResult.value;
-    // TODO: Currently this does not detect definitions that shadow builtins
-    // (`String`, `Int`, etc). However, if we pass a second param (extending an
-    // existing schema) we do! So, we should find a way to validate that we don't
-    // shadow builtins.
-    var validationErrors = (0, validate_1.validateSDL)(doc).map(function (e) {
-        return (0, DiagnosticError_1.graphQlErrorToDiagnostic)(e);
-    });
-    if (validationErrors.length > 0) {
-        return (0, DiagnosticError_1.err)(validationErrors);
-    }
-    var schema = (0, graphql_1.buildASTSchema)(doc, { assumeValidSDL: true });
-    var diagnostics = (0, graphql_1.validateSchema)(schema)
-        // FIXME: Handle case where query is not defined (no location)
-        .filter(function (e) { return e.source && e.locations && e.positions; })
-        .map(function (e) { return (0, DiagnosticError_1.graphQlErrorToDiagnostic)(e); });
-    if (diagnostics.length > 0) {
-        return (0, DiagnosticError_1.err)(diagnostics);
-    }
-    var typenameDiagnostics = validateTypename(schema, ctx);
-    if (typenameDiagnostics.length > 0)
-        return (0, DiagnosticError_1.err)(typenameDiagnostics);
-    return (0, DiagnosticError_1.ok)(schema);
-}
-function validateTypename(schema, ctx) {
-    var e_3, _a, e_4, _b;
-    var _c, _d;
-    var typenameDiagnostics = [];
-    var abstractTypes = Object.values(schema.getTypeMap()).filter(graphql_1.isAbstractType);
-    try {
-        for (var abstractTypes_1 = __values(abstractTypes), abstractTypes_1_1 = abstractTypes_1.next(); !abstractTypes_1_1.done; abstractTypes_1_1 = abstractTypes_1.next()) {
-            var type = abstractTypes_1_1.value;
-            // TODO: If we already implement resolveType, we don't need to check implementors
-            var typeImplementors = schema.getPossibleTypes(type).filter(graphql_1.isType);
             try {
-                for (var typeImplementors_1 = (e_4 = void 0, __values(typeImplementors)), typeImplementors_1_1 = typeImplementors_1.next(); !typeImplementors_1_1.done; typeImplementors_1_1 = typeImplementors_1.next()) {
-                    var implementor = typeImplementors_1_1.value;
-                    if (!ctx.hasTypename.has(implementor.name)) {
-                        var loc = (_d = (_c = implementor.astNode) === null || _c === void 0 ? void 0 : _c.name) === null || _d === void 0 ? void 0 : _d.loc;
-                        if (loc == null) {
-                            throw new Error("Grats expected the parsed type `".concat(implementor.name, "` to have location information. This is a bug in Grats. Please report it."));
-                        }
-                        typenameDiagnostics.push((0, DiagnosticError_1.diagnosticAtGraphQLLocation)("Missing __typename on `".concat(implementor.name, "`. The type `").concat(type.name, "` is used in a union or interface, so it must have a `__typename` field."), loc));
-                    }
+                for (var _o = (e_4 = void 0, __values(snapshot.unresolvedNames)), _p = _o.next(); !_p.done; _p = _o.next()) {
+                    var _q = __read(_p.value, 2), node = _q[0], typeName = _q[1];
+                    result.unresolvedNames.set(node, typeName);
                 }
@@ -213,16 +195,55 @@ }
                 try {
-                    if (typeImplementors_1_1 && !typeImplementors_1_1.done && (_b = typeImplementors_1["return"])) _b.call(typeImplementors_1);
+                    if (_p && !_p.done && (_d = _o.return)) _d.call(_o);
                 }
                 finally { if (e_4) throw e_4.error; }
             }
+            try {
+                for (var _r = (e_5 = void 0, __values(snapshot.contextReferences)), _s = _r.next(); !_s.done; _s = _r.next()) {
+                    var contextReference = _s.value;
+                    result.contextReferences.push(contextReference);
+                }
+            }
+            catch (e_5_1) { e_5 = { error: e_5_1 }; }
+            finally {
+                try {
+                    if (_s && !_s.done && (_e = _r.return)) _e.call(_r);
+                }
+                finally { if (e_5) throw e_5.error; }
+            }
+            try {
+                for (var _t = (e_6 = void 0, __values(snapshot.typesWithTypename)), _u = _t.next(); !_u.done; _u = _t.next()) {
+                    var typeName = _u.value;
+                    result.typesWithTypename.add(typeName);
+                }
+            }
+            catch (e_6_1) { e_6 = { error: e_6_1 }; }
+            finally {
+                try {
+                    if (_u && !_u.done && (_f = _t.return)) _f.call(_t);
+                }
+                finally { if (e_6) throw e_6.error; }
+            }
+            try {
+                for (var _v = (e_7 = void 0, __values(snapshot.interfaceDeclarations)), _w = _v.next(); !_w.done; _w = _v.next()) {
+                    var interfaceDeclaration = _w.value;
+                    result.interfaceDeclarations.push(interfaceDeclaration);
+                }
+            }
+            catch (e_7_1) { e_7 = { error: e_7_1 }; }
+            finally {
+                try {
+                    if (_w && !_w.done && (_g = _v.return)) _g.call(_v);
+                }
+                finally { if (e_7) throw e_7.error; }
+            }
         }
     }
-    catch (e_3_1) { e_3 = { error: e_3_1 }; }
+    catch (e_1_1) { e_1 = { error: e_1_1 }; }
     finally {
         try {
-            if (abstractTypes_1_1 && !abstractTypes_1_1.done && (_a = abstractTypes_1["return"])) _a.call(abstractTypes_1);
+            if (snapshots_1_1 && !snapshots_1_1.done && (_a = snapshots_1.return)) _a.call(snapshots_1);
         }
-        finally { if (e_3) throw e_3.error; }
+        finally { if (e_1) throw e_1.error; }
     }
-    return typenameDiagnostics;
+    return result;
 }

dist/src/Locate.d.ts

 import { GraphQLSchema, Location } from "graphql";
-import { Result } from "./utils/DiagnosticError";
+import { Result } from "./utils/Result";
 /**
@@ -4,0 +4,0 @@ * Given an entity name of the format `ParentType` or `ParentType.fieldName`,

dist/src/Locate.js

 "use strict";
-exports.__esModule = true;
+Object.defineProperty(exports, "__esModule", { value: true });
 exports.locate = void 0;
 var graphql_1 = require("graphql");
-var DiagnosticError_1 = require("./utils/DiagnosticError");
+var Result_1 = require("./utils/Result");
+var helpers_1 = require("./utils/helpers");
 /**
@@ -18,9 +19,9 @@ * Given an entity name of the format `ParentType` or `ParentType.fieldName`,
     if (type == null) {
-        return (0, DiagnosticError_1.err)("Cannot locate type `".concat(entity.parent, "`."));
+        return (0, Result_1.err)("Cannot locate type `".concat(entity.parent, "`."));
     }
     if (entity.field == null) {
-        if (type.astNode == null || type.astNode.name.loc == null) {
+        if (type.astNode == null) {
             throw new Error("Grats bug: Cannot find location of type `".concat(entity.parent, "`."));
         }
-        return (0, DiagnosticError_1.ok)(type.astNode.name.loc);
+        return (0, Result_1.ok)((0, helpers_1.loc)(type.astNode.name));
     }
@@ -30,12 +31,12 @@ if (!(type instanceof graphql_1.GraphQLObjectType ||
         type instanceof graphql_1.GraphQLInputObjectType)) {
-        return (0, DiagnosticError_1.err)("Cannot locate field `".concat(entity.field, "` on type `").concat(entity.parent, "`. Only object types, interfaces, and input objects have fields."));
+        return (0, Result_1.err)("Cannot locate field `".concat(entity.field, "` on type `").concat(entity.parent, "`. Only object types, interfaces, and input objects have fields."));
     }
     var field = type.getFields()[entity.field];
     if (field == null) {
-        return (0, DiagnosticError_1.err)("Cannot locate field `".concat(entity.field, "` on type `").concat(entity.parent, "`."));
+        return (0, Result_1.err)("Cannot locate field `".concat(entity.field, "` on type `").concat(entity.parent, "`."));
     }
-    if (field.astNode == null || field.astNode.name.loc == null) {
+    if (field.astNode == null) {
         throw new Error("Grats bug: Cannot find location of field `".concat(entity.field, "` on type `").concat(entity.parent, "`."));
     }
-    return (0, DiagnosticError_1.ok)(field.astNode.name.loc);
+    return (0, Result_1.ok)((0, helpers_1.loc)(field.astNode.name));
 }
@@ -47,7 +48,7 @@ exports.locate = locate;
     if (match == null) {
-        return (0, DiagnosticError_1.err)("Invalid entity name: `".concat(entityName, "`. Expected `ParentType` or `ParentType.fieldName`."));
+        return (0, Result_1.err)("Invalid entity name: `".concat(entityName, "`. Expected `ParentType` or `ParentType.fieldName`."));
     }
     var parent = match[1];
     var field = match[2] || null;
-    return (0, DiagnosticError_1.ok)({ parent: parent, field: field });
+    return (0, Result_1.ok)({ parent: parent, field: field });
 }

dist/src/TypeContext.d.ts

@@ -1,26 +0,12 @@
-import { DefinitionNode, DocumentNode, FieldDefinitionNode, Location, NameNode } from "graphql";
+import { InputObjectTypeDefinitionNode, InterfaceTypeDefinitionNode, NameNode, ObjectTypeDefinitionNode, UnionTypeDefinitionNode } from "graphql";
 import * as ts from "typescript";
-import { DiagnosticResult, DiagnosticsResult } from "./utils/DiagnosticError";
-import { InterfaceMap } from "./InterfaceGraph";
+import { DiagnosticResult } from "./utils/DiagnosticError";
+import { ExtractionSnapshot } from "./Extractor";
 export declare const UNRESOLVED_REFERENCE_NAME = "__UNRESOLVED_REFERENCE__";
-type NameDefinition = {
+export type NameDefinition = {
     name: NameNode;
     kind: "TYPE" | "INTERFACE" | "UNION" | "SCALAR" | "INPUT_OBJECT" | "ENUM";
 };
-export type GratsDefinitionNode = DefinitionNode | AbstractFieldDefinitionNode;
-export type AbstractFieldDefinitionNode = {
-    readonly kind: "AbstractFieldDefinition";
-    readonly loc: Location;
-    readonly onType: NameNode;
-    readonly field: FieldDefinitionNode;
-};
+type TsIdentifier = number;
 /**
- * Information about the GraphQL context type. We track the first value we see,
- * and then validate that any other values we see are the same.
- */
-type GqlContext = {
-    declaration: ts.Node;
-    firstReference: ts.Node;
-};
-/**
  * Used to track TypeScript references.
@@ -39,23 +25,20 @@ *
     checker: ts.TypeChecker;
-    host: ts.CompilerHost;
-    _options: ts.ParsedCommandLine;
-    _symbolToName: Map<ts.Symbol, NameDefinition>;
-    _unresolvedTypes: Map<NameNode, ts.Symbol>;
-    gqlContext: GqlContext | null;
-    hasTypename: Set<string>;
-    constructor(options: ts.ParsedCommandLine, checker: ts.TypeChecker, host: ts.CompilerHost);
-    recordTypeName(node: ts.Node, name: NameNode, kind: NameDefinition["kind"]): void;
-    recordHasTypenameField(name: string): void;
-    markUnresolvedType(node: ts.Node, name: NameNode): void;
+    _declarationToName: Map<ts.Declaration, NameDefinition>;
+    _unresolvedNodes: Map<TsIdentifier, ts.EntityName>;
+    _idToDeclaration: Map<TsIdentifier, ts.Declaration>;
+    static fromSnapshot(checker: ts.TypeChecker, snapshot: ExtractionSnapshot): TypeContext;
+    constructor(checker: ts.TypeChecker);
+    private _recordTypeName;
+    private _markUnresolvedType;
     findSymbolDeclaration(startSymbol: ts.Symbol): ts.Declaration | null;
-    resolveSymbol(startSymbol: ts.Symbol): ts.Symbol;
-    resolveTypes(doc: DocumentNode): DiagnosticsResult<DocumentNode>;
-    handleAbstractDefinitions(docs: GratsDefinitionNode[]): DiagnosticsResult<DefinitionNode[]>;
-    addAbstractFieldDefinition(doc: AbstractFieldDefinitionNode, interfaceGraph: InterfaceMap): DiagnosticsResult<DefinitionNode[]>;
-    resolveNamedType(unresolved: NameNode): DiagnosticResult<NameNode>;
-    err(loc: Location, message: string, relatedInformation?: ts.DiagnosticRelatedInformation[]): ts.Diagnostic;
-    relatedInformation(loc: Location, message: string): ts.DiagnosticRelatedInformation;
-    validateInterfaceImplementorsHaveTypenameField(): DiagnosticResult<null>;
-    getDestFilePath(sourceFile: ts.SourceFile): string;
+    private resolveSymbol;
+    resolveUnresolvedNamedType(unresolved: NameNode): DiagnosticResult<NameNode>;
+    unresolvedNameIsGraphQL(unresolved: NameNode): boolean;
+    gqlNameDefinitionForGqlName(nameNode: NameNode): DiagnosticResult<NameDefinition>;
+    gqlNameForTsName(node: ts.EntityName): DiagnosticResult<string>;
+    private maybeTsDeclarationForTsName;
+    tsDeclarationForTsName(node: ts.EntityName): DiagnosticResult<ts.Declaration>;
+    tsDeclarationForGqlDefinition(definition: ObjectTypeDefinitionNode | UnionTypeDefinitionNode | InputObjectTypeDefinitionNode | InterfaceTypeDefinitionNode): ts.Declaration;
+    getEntityName(name: NameNode): ts.EntityName | null;
 }
 export {};

dist/src/TypeContext.js

@@ -24,12 +24,24 @@ "use strict";
 };
-exports.__esModule = true;
+var __read = (this && this.__read) || function (o, n) {
+    var m = typeof Symbol === "function" && o[Symbol.iterator];
+    if (!m) return o;
+    var i = m.call(o), r, ar = [], e;
+    try {
+        while ((n === void 0 || n-- > 0) && !(r = i.next()).done) ar.push(r.value);
+    }
+    catch (error) { e = { error: error }; }
+    finally {
+        try {
+            if (r && !r.done && (m = i["return"])) m.call(i);
+        }
+        finally { if (e) throw e.error; }
+    }
+    return ar;
+};
+Object.defineProperty(exports, "__esModule", { value: true });
 exports.TypeContext = exports.UNRESOLVED_REFERENCE_NAME = void 0;
-var graphql_1 = require("graphql");
 var ts = require("typescript");
 var DiagnosticError_1 = require("./utils/DiagnosticError");
-var gratsRoot_1 = require("./gratsRoot");
-var serverDirectives_1 = require("./serverDirectives");
-var Extractor_1 = require("./Extractor");
+var Result_1 = require("./utils/Result");
 var E = require("./Errors");
-var InterfaceGraph_1 = require("./InterfaceGraph");
 var helpers_1 = require("./utils/helpers");
@@ -50,35 +62,48 @@ exports.UNRESOLVED_REFERENCE_NAME = "__UNRESOLVED_REFERENCE__";
 var TypeContext = /** @class */ (function () {
-    function TypeContext(options, checker, host) {
-        this._symbolToName = new Map();
-        this._unresolvedTypes = new Map();
-        // The resolver context declaration, if it has been encountered.
-        // Gets mutated by Extractor.
-        this.gqlContext = null;
-        this.hasTypename = new Set();
-        this._options = options;
+    function TypeContext(checker) {
+        this._declarationToName = new Map();
+        this._unresolvedNodes = new Map();
+        this._idToDeclaration = new Map();
         this.checker = checker;
-        this.host = host;
     }
-    TypeContext.prototype.recordTypeName = function (node, name, kind) {
-        var symbol = this.checker.getSymbolAtLocation(node);
-        if (symbol == null) {
-            // FIXME: Make this a diagnostic
-            throw new Error("Could not resolve type reference. You probably have a TypeScript error.");
+    TypeContext.fromSnapshot = function (checker, snapshot) {
+        var e_1, _a, e_2, _b;
+        var self = new TypeContext(checker);
+        try {
+            for (var _c = __values(snapshot.unresolvedNames), _d = _c.next(); !_d.done; _d = _c.next()) {
+                var _e = __read(_d.value, 2), node = _e[0], typeName = _e[1];
+                self._markUnresolvedType(node, typeName);
+            }
         }
-        if (this._symbolToName.has(symbol)) {
-            // Ensure we never try to record the same name twice.
-            throw new Error("Unexpected double recording of typename.");
+        catch (e_1_1) { e_1 = { error: e_1_1 }; }
+        finally {
+            try {
+                if (_d && !_d.done && (_a = _c.return)) _a.call(_c);
+            }
+            finally { if (e_1) throw e_1.error; }
         }
-        this._symbolToName.set(symbol, { name: name, kind: kind });
+        try {
+            for (var _f = __values(snapshot.nameDefinitions), _g = _f.next(); !_g.done; _g = _f.next()) {
+                var _h = __read(_g.value, 2), node = _h[0], definition = _h[1];
+                self._recordTypeName(node, definition.name, definition.kind);
+            }
+        }
+        catch (e_2_1) { e_2 = { error: e_2_1 }; }
+        finally {
+            try {
+                if (_g && !_g.done && (_b = _f.return)) _b.call(_f);
+            }
+            finally { if (e_2) throw e_2.error; }
+        }
+        return self;
     };
-    TypeContext.prototype.recordHasTypenameField = function (name) {
-        this.hasTypename.add(name);
+    // Record that a GraphQL construct of type `kind` with the name `name` is
+    // declared at `node`.
+    TypeContext.prototype._recordTypeName = function (node, name, kind) {
+        this._idToDeclaration.set(name.tsIdentifier, node);
+        this._declarationToName.set(node, { name: name, kind: kind });
     };
-    TypeContext.prototype.markUnresolvedType = function (node, name) {
-        var symbol = this.checker.getSymbolAtLocation(node);
-        if (symbol == null) {
-            //
-            throw new Error("Could not resolve type reference. You probably have a TypeScript error.");
-        }
-        this._unresolvedTypes.set(name, this.resolveSymbol(symbol));
+    // Record that a type references `node`
+    TypeContext.prototype._markUnresolvedType = function (node, name) {
+        this._unresolvedNodes.set(name.tsIdentifier, node);
     };
@@ -105,202 +130,93 @@ TypeContext.prototype.findSymbolDeclaration = function (startSymbol) {
     };
-    TypeContext.prototype.resolveTypes = function (doc) {
-        var _a;
-        var _this = this;
-        var errors = [];
-        var newDoc = (0, graphql_1.visit)(doc, (_a = {},
-            _a[graphql_1.Kind.NAME] = function (t) {
-                var namedTypeResult = _this.resolveNamedType(t);
-                if (namedTypeResult.kind === "ERROR") {
-                    errors.push(namedTypeResult.err);
-                    return t;
-                }
-                return namedTypeResult.value;
-            },
-            _a));
-        if (errors.length > 0) {
-            return (0, DiagnosticError_1.err)(errors);
+    TypeContext.prototype.resolveUnresolvedNamedType = function (unresolved) {
+        if (unresolved.value !== exports.UNRESOLVED_REFERENCE_NAME) {
+            return (0, Result_1.ok)(unresolved);
         }
-        return (0, DiagnosticError_1.ok)(newDoc);
-    };
-    TypeContext.prototype.handleAbstractDefinitions = function (docs) {
-        var e_1, _a;
-        var newDocs = [];
-        var errors = [];
-        var interfaceGraphResult = (0, InterfaceGraph_1.computeInterfaceMap)(this, docs);
-        if (interfaceGraphResult.kind === "ERROR") {
-            return interfaceGraphResult;
+        var typeReference = this.getEntityName(unresolved);
+        if (typeReference == null) {
+            throw new Error("Unexpected unresolved reference name.");
         }
-        var interfaceGraph = interfaceGraphResult.value;
-        try {
-            for (var docs_1 = __values(docs), docs_1_1 = docs_1.next(); !docs_1_1.done; docs_1_1 = docs_1.next()) {
-                var doc = docs_1_1.value;
-                if (doc.kind === "AbstractFieldDefinition") {
-                    var abstractDocResults = this.addAbstractFieldDefinition(doc, interfaceGraph);
-                    if (abstractDocResults.kind === "ERROR") {
-                        (0, helpers_1.extend)(errors, abstractDocResults.err);
-                    }
-                    else {
-                        (0, helpers_1.extend)(newDocs, abstractDocResults.value);
-                    }
-                }
-                else {
-                    newDocs.push(doc);
-                }
-            }
+        var declarationResult = this.tsDeclarationForTsName(typeReference);
+        if (declarationResult.kind === "ERROR") {
+            return (0, Result_1.err)(declarationResult.err);
         }
-        catch (e_1_1) { e_1 = { error: e_1_1 }; }
-        finally {
-            try {
-                if (docs_1_1 && !docs_1_1.done && (_a = docs_1["return"])) _a.call(docs_1);
-            }
-            finally { if (e_1) throw e_1.error; }
+        if (ts.isTypeParameterDeclaration(declarationResult.value)) {
+            return (0, Result_1.err)((0, DiagnosticError_1.gqlErr)((0, helpers_1.loc)(unresolved), "Type parameters are not supported in this context."));
         }
-        if (errors.length > 0) {
-            return (0, DiagnosticError_1.err)(errors);
+        var nameDefinition = this._declarationToName.get(declarationResult.value);
+        if (nameDefinition == null) {
+            return (0, Result_1.err)((0, DiagnosticError_1.gqlErr)((0, helpers_1.loc)(unresolved), E.unresolvedTypeReference()));
         }
-        return (0, DiagnosticError_1.ok)(newDocs);
+        return (0, Result_1.ok)(__assign(__assign({}, unresolved), { value: nameDefinition.name.value }));
     };
-    // A field definition may be on a concrete type, or on an interface. If it's on an interface,
-    // we need to add it to each concrete type that implements the interface.
-    TypeContext.prototype.addAbstractFieldDefinition = function (doc, interfaceGraph) {
-        var e_2, _a;
-        var _b;
-        var newDocs = [];
-        var typeNameResult = this.resolveNamedType(doc.onType);
-        if (typeNameResult.kind === "ERROR") {
-            return (0, DiagnosticError_1.err)([typeNameResult.err]);
+    TypeContext.prototype.unresolvedNameIsGraphQL = function (unresolved) {
+        var referenceNode = this.getEntityName(unresolved);
+        if (referenceNode == null)
+            return false;
+        var declaration = this.maybeTsDeclarationForTsName(referenceNode);
+        if (declaration == null)
+            return false;
+        return this._declarationToName.has(declaration);
+    };
+    TypeContext.prototype.gqlNameDefinitionForGqlName = function (nameNode) {
+        var referenceNode = this.getEntityName(nameNode);
+        if (referenceNode == null) {
+            throw new Error("Expected to find reference node for name node.");
         }
-        var symbol = this._unresolvedTypes.get(doc.onType);
-        if (symbol == null) {
-            // This should have already been handled by resolveNamedType
-            throw new Error("Expected to find unresolved type.");
+        var declaration = this.maybeTsDeclarationForTsName(referenceNode);
+        if (declaration == null) {
+            return (0, Result_1.err)((0, DiagnosticError_1.gqlErr)((0, helpers_1.loc)(nameNode), E.unresolvedTypeReference()));
         }
-        var nameDefinition = this._symbolToName.get(symbol);
-        if (nameDefinition == null) {
-            // This should have already been handled by resolveNamedType
+        var definition = this._declarationToName.get(declaration);
+        if (definition == null) {
             throw new Error("Expected to find name definition.");
         }
-        switch (nameDefinition.kind) {
-            case "TYPE":
-                // Extending a type, is just adding a field to it.
-                newDocs.push({
-                    kind: graphql_1.Kind.OBJECT_TYPE_EXTENSION,
-                    name: doc.onType,
-                    fields: [doc.field],
-                    loc: doc.loc
-                });
-                break;
-            case "INTERFACE": {
-                // Extending an interface is a bit more complicated. We need to add the field
-                // to the interface, and to each type that implements the interface.
-                // The interface field definition is not executable, so we don't
-                // need to annotate it with the details of the implementation.
-                var directives = (_b = doc.field.directives) === null || _b === void 0 ? void 0 : _b.filter(function (directive) {
-                    return directive.name.value !== serverDirectives_1.EXPORTED_DIRECTIVE;
-                });
-                newDocs.push({
-                    kind: graphql_1.Kind.INTERFACE_TYPE_EXTENSION,
-                    name: doc.onType,
-                    fields: [__assign(__assign({}, doc.field), { directives: directives })]
-                });
-                try {
-                    for (var _c = __values(interfaceGraph.get(nameDefinition.name.value)), _d = _c.next(); !_d.done; _d = _c.next()) {
-                        var implementor = _d.value;
-                        var name = {
-                            kind: graphql_1.Kind.NAME,
-                            value: implementor.name,
-                            loc: doc.loc
-                        };
-                        switch (implementor.kind) {
-                            case "TYPE":
-                                newDocs.push({
-                                    kind: graphql_1.Kind.OBJECT_TYPE_EXTENSION,
-                                    name: name,
-                                    fields: [doc.field],
-                                    loc: doc.loc
-                                });
-                                break;
-                            case "INTERFACE":
-                                newDocs.push({
-                                    kind: graphql_1.Kind.INTERFACE_TYPE_EXTENSION,
-                                    name: name,
-                                    fields: [__assign(__assign({}, doc.field), { directives: directives })],
-                                    loc: doc.loc
-                                });
-                                break;
-                        }
-                    }
-                }
-                catch (e_2_1) { e_2 = { error: e_2_1 }; }
-                finally {
-                    try {
-                        if (_d && !_d.done && (_a = _c["return"])) _a.call(_c);
-                    }
-                    finally { if (e_2) throw e_2.error; }
-                }
-                break;
-            }
-            default: {
-                // Extending any other type of definition is not supported.
-                var loc = doc.onType.loc;
-                if (loc == null) {
-                    throw new Error("Expected onType to have a location.");
-                }
-                var relatedLoc = nameDefinition.name.loc;
-                if (relatedLoc == null) {
-                    throw new Error("Expected nameDefinition to have a location.");
-                }
-                return (0, DiagnosticError_1.err)([
-                    this.err(loc, E.invalidTypePassedToFieldFunction(), [
-                        this.relatedInformation(relatedLoc, "This is the type that was passed to `@".concat(Extractor_1.FIELD_TAG, "`.")),
-                    ]),
-                ]);
-            }
-        }
-        return (0, DiagnosticError_1.ok)(newDocs);
+        return (0, Result_1.ok)(definition);
     };
-    TypeContext.prototype.resolveNamedType = function (unresolved) {
-        var symbol = this._unresolvedTypes.get(unresolved);
-        if (symbol == null) {
-            if (unresolved.value === exports.UNRESOLVED_REFERENCE_NAME) {
-                // This is a logic error on our side.
-                throw new Error("Unexpected unresolved reference name.");
-            }
-            return (0, DiagnosticError_1.ok)(unresolved);
+    // Note! This assumes you have already handled any type parameters.
+    TypeContext.prototype.gqlNameForTsName = function (node) {
+        var declarationResult = this.tsDeclarationForTsName(node);
+        if (declarationResult.kind === "ERROR") {
+            return (0, Result_1.err)(declarationResult.err);
         }
-        var nameDefinition = this._symbolToName.get(symbol);
+        if (ts.isTypeParameterDeclaration(declarationResult.value)) {
+            return (0, Result_1.err)((0, DiagnosticError_1.tsErr)(node, "Type parameter not valid", [
+                (0, DiagnosticError_1.tsErr)(declarationResult.value, "Defined here"),
+            ]));
+        }
+        var nameDefinition = this._declarationToName.get(declarationResult.value);
         if (nameDefinition == null) {
-            if (unresolved.loc == null) {
-                throw new Error("Expected namedType to have a location.");
-            }
-            return (0, DiagnosticError_1.err)(this.err(unresolved.loc, E.unresolvedTypeReference()));
+            return (0, Result_1.err)((0, DiagnosticError_1.tsErr)(node, E.unresolvedTypeReference()));
         }
-        return (0, DiagnosticError_1.ok)(__assign(__assign({}, unresolved), { value: nameDefinition.name.value }));
+        return (0, Result_1.ok)(nameDefinition.name.value);
     };
-    TypeContext.prototype.err = function (loc, message, relatedInformation) {
-        return {
-            messageText: message,
-            start: loc.start,
-            length: loc.end - loc.start,
-            category: ts.DiagnosticCategory.Error,
-            code: DiagnosticError_1.FAKE_ERROR_CODE,
-            file: ts.createSourceFile(loc.source.name, loc.source.body, ts.ScriptTarget.Latest),
-            relatedInformation: relatedInformation
-        };
+    TypeContext.prototype.maybeTsDeclarationForTsName = function (node) {
+        var symbol = this.checker.getSymbolAtLocation(node);
+        if (symbol == null) {
+            return null;
+        }
+        return this.findSymbolDeclaration(symbol);
     };
-    TypeContext.prototype.relatedInformation = function (loc, message) {
-        return {
-            category: ts.DiagnosticCategory.Message,
-            code: DiagnosticError_1.FAKE_ERROR_CODE,
-            messageText: message,
-            file: ts.createSourceFile(loc.source.name, loc.source.body, ts.ScriptTarget.Latest),
-            start: loc.start,
-            length: loc.end - loc.start
-        };
+    TypeContext.prototype.tsDeclarationForTsName = function (node) {
+        var declaration = this.maybeTsDeclarationForTsName(node);
+        if (!declaration) {
+            return (0, Result_1.err)((0, DiagnosticError_1.tsErr)(node, E.unresolvedTypeReference()));
+        }
+        return (0, Result_1.ok)(declaration);
     };
-    TypeContext.prototype.validateInterfaceImplementorsHaveTypenameField = function () {
-        return (0, DiagnosticError_1.ok)(null);
+    TypeContext.prototype.tsDeclarationForGqlDefinition = function (definition) {
+        var name = definition.name;
+        var declaration = this._idToDeclaration.get(name.tsIdentifier);
+        if (!declaration) {
+            throw new Error("Could not find declaration for ".concat(name.value));
+        }
+        return declaration;
     };
-    TypeContext.prototype.getDestFilePath = function (sourceFile) {
-        return (0, gratsRoot_1.getRelativeOutputPath)(this._options, sourceFile);
+    TypeContext.prototype.getEntityName = function (name) {
+        var _a;
+        var entityName = (_a = this._unresolvedNodes.get(name.tsIdentifier)) !== null && _a !== void 0 ? _a : null;
+        if (entityName == null && name.value === exports.UNRESOLVED_REFERENCE_NAME) {
+            throw new Error("Expected unresolved reference to have a node.");
+        }
+        return entityName;
     };
@@ -307,0 +223,0 @@ return TypeContext;

dist/src/Types.js

 "use strict";
-exports.__esModule = true;
+Object.defineProperty(exports, "__esModule", { value: true });

dist/src/utils/DiagnosticError.d.ts

 import { GraphQLError, Location, Source } from "graphql";
 import * as ts from "typescript";
-type Ok<T> = {
-    kind: "OK";
-    value: T;
+import { Result } from "./Result";
+type FixableDiagnostic = ts.Diagnostic & {
+    fix?: ts.CodeFixAction;
 };
-type Err<E> = {
-    kind: "ERROR";
-    err: E;
+export type FixableDiagnosticWithLocation = ts.DiagnosticWithLocation & {
+    fix?: ts.CodeFixAction;
 };
-export type Result<T, E> = Ok<T> | Err<E>;
-export type DiagnosticResult<T> = Result<T, ts.Diagnostic>;
-export type DiagnosticsResult<T> = Result<T, ts.Diagnostic[]>;
-export declare function ok<T>(value: T): Ok<T>;
-export declare function err<E>(err: E): Err<E>;
+export type DiagnosticResult<T> = Result<T, FixableDiagnosticWithLocation>;
+export type DiagnosticsResult<T> = Result<T, FixableDiagnosticWithLocation[]>;
+export type DiagnosticsWithoutLocationResult<T> = Result<T, ts.Diagnostic[]>;
 export declare class ReportableDiagnostics {
-    _host: ts.CompilerHost;
-    _diagnostics: ts.Diagnostic[];
-    constructor(host: ts.CompilerHost, diagnostics: ts.Diagnostic[]);
+    _host: ts.FormatDiagnosticsHost;
+    _diagnostics: FixableDiagnostic[];
+    constructor(host: ts.FormatDiagnosticsHost, diagnostics: FixableDiagnostic[]);
+    static fromDiagnostics(diagnostics: ts.Diagnostic[]): ReportableDiagnostics;
     formatDiagnosticsWithColorAndContext(): string;
     formatDiagnosticsWithContext(): string;
 }
-export declare const FAKE_ERROR_CODE = 349389149282;
+export declare const FAKE_ERROR_CODE = 1038;
 export declare function graphQlErrorToDiagnostic(error: GraphQLError): ts.Diagnostic;
-export declare function diagnosticAtGraphQLLocation(message: string, loc: Location): ts.Diagnostic;
+export declare function gqlErr(loc: Location, message: string, relatedInformation?: ts.DiagnosticRelatedInformation[]): ts.DiagnosticWithLocation;
+export declare function gqlRelated(loc: Location, message: string): ts.DiagnosticRelatedInformation;
+export declare function rangeErr(file: ts.SourceFile, commentRange: ts.CommentRange, message: string, relatedInformation?: ts.DiagnosticRelatedInformation[], fix?: ts.CodeFixAction): FixableDiagnosticWithLocation;
+/**
+ * A generic version of the methods on ts.Node that we need
+ * to create diagnostics.
+ *
+ * This interface allows us to create diagnostics from our
+ * own classes.
+ */
+export interface TsLocatableNode {
+    getStart(): number;
+    getEnd(): number;
+    getSourceFile(): ts.SourceFile;
+}
+export declare function tsErr(node: TsLocatableNode, message: string, relatedInformation?: ts.DiagnosticRelatedInformation[], fix?: ts.CodeFixAction): FixableDiagnosticWithLocation;
+export declare function tsRelated(node: ts.Node, message: string): ts.DiagnosticRelatedInformation;
 export declare function graphqlSourceToSourceFile(source: Source): ts.SourceFile;
 export {};

dist/src/utils/DiagnosticError.js

@@ -29,13 +29,5 @@ "use strict";
 };
-exports.__esModule = true;
-exports.graphqlSourceToSourceFile = exports.diagnosticAtGraphQLLocation = exports.graphQlErrorToDiagnostic = exports.FAKE_ERROR_CODE = exports.ReportableDiagnostics = exports.err = exports.ok = void 0;
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.graphqlSourceToSourceFile = exports.tsRelated = exports.tsErr = exports.rangeErr = exports.gqlRelated = exports.gqlErr = exports.graphQlErrorToDiagnostic = exports.FAKE_ERROR_CODE = exports.ReportableDiagnostics = void 0;
 var ts = require("typescript");
-function ok(value) {
-    return { kind: "OK", value: value };
-}
-exports.ok = ok;
-function err(err) {
-    return { kind: "ERROR", err: err };
-}
-exports.err = err;
 var ReportableDiagnostics = /** @class */ (function () {
@@ -46,2 +38,12 @@ function ReportableDiagnostics(host, diagnostics) {
     }
+    // If you don't have a host, for example if you error while parsing the
+    // tsconfig, you can use this method and one will be created for you.
+    ReportableDiagnostics.fromDiagnostics = function (diagnostics) {
+        var formatHost = {
+            getCanonicalFileName: function (path) { return path; },
+            getCurrentDirectory: ts.sys.getCurrentDirectory,
+            getNewLine: function () { return ts.sys.newLine; },
+        };
+        return new ReportableDiagnostics(formatHost, diagnostics);
+    };
     ReportableDiagnostics.prototype.formatDiagnosticsWithColorAndContext = function () {
@@ -60,5 +62,5 @@ var formatted = ts.formatDiagnosticsWithColorAndContext(this._diagnostics, this._host);
 exports.ReportableDiagnostics = ReportableDiagnostics;
-// A madeup error code that we use to fake a TypeScript error code.
+// A made-up error code that we use to fake a TypeScript error code.
 // We pick a very random number to avoid collisions with real error messages.
-exports.FAKE_ERROR_CODE = 349389149282;
+exports.FAKE_ERROR_CODE = 1038;
 function stripColor(str) {
@@ -77,3 +79,3 @@ // eslint-disable-next-line no-control-regex
     }
-    // Start with baseline location infromation
+    // Start with baseline location information
     var start = position;
@@ -97,10 +99,3 @@ var length = 1;
                         }
-                        relatedInformation.push({
-                            category: ts.DiagnosticCategory.Message,
-                            code: exports.FAKE_ERROR_CODE,
-                            messageText: "Related location",
-                            file: graphqlSourceToSourceFile(relatedNode.loc.source),
-                            start: relatedNode.loc.start,
-                            length: relatedNode.loc.end - relatedNode.loc.start
-                        });
+                        relatedInformation.push(gqlRelated(relatedNode.loc, "Related location"));
                     }
@@ -111,3 +106,3 @@ }
                     try {
-                        if (rest_1_1 && !rest_1_1.done && (_a = rest_1["return"])) _a.call(rest_1);
+                        if (rest_1_1 && !rest_1_1.done && (_a = rest_1.return)) _a.call(rest_1);
                     }
@@ -130,7 +125,8 @@ finally { if (e_1) throw e_1.error; }
         length: length,
-        relatedInformation: relatedInformation
+        relatedInformation: relatedInformation,
+        source: "Grats",
     };
 }
 exports.graphQlErrorToDiagnostic = graphQlErrorToDiagnostic;
-function diagnosticAtGraphQLLocation(message, loc) {
+function gqlErr(loc, message, relatedInformation) {
     return {
@@ -142,6 +138,63 @@ messageText: message,
         start: loc.start,
-        length: loc.end - loc.start
+        length: loc.end - loc.start,
+        relatedInformation: relatedInformation,
+        source: "Grats",
     };
 }
-exports.diagnosticAtGraphQLLocation = diagnosticAtGraphQLLocation;
+exports.gqlErr = gqlErr;
+function gqlRelated(loc, message) {
+    return {
+        category: ts.DiagnosticCategory.Message,
+        code: exports.FAKE_ERROR_CODE,
+        messageText: message,
+        file: graphqlSourceToSourceFile(loc.source),
+        start: loc.start,
+        length: loc.end - loc.start,
+    };
+}
+exports.gqlRelated = gqlRelated;
+function rangeErr(file, commentRange, message, relatedInformation, fix) {
+    var start = commentRange.pos;
+    var length = commentRange.end - commentRange.pos;
+    return {
+        messageText: message,
+        file: file,
+        code: exports.FAKE_ERROR_CODE,
+        category: ts.DiagnosticCategory.Error,
+        start: start,
+        length: length,
+        relatedInformation: relatedInformation,
+        source: "Grats",
+        fix: fix,
+    };
+}
+exports.rangeErr = rangeErr;
+function tsErr(node, message, relatedInformation, fix) {
+    var start = node.getStart();
+    var length = node.getEnd() - start;
+    var sourceFile = node.getSourceFile();
+    return {
+        messageText: message,
+        file: sourceFile,
+        code: exports.FAKE_ERROR_CODE,
+        category: ts.DiagnosticCategory.Error,
+        start: start,
+        length: length,
+        relatedInformation: relatedInformation,
+        source: "Grats",
+        fix: fix,
+    };
+}
+exports.tsErr = tsErr;
+function tsRelated(node, message) {
+    return {
+        category: ts.DiagnosticCategory.Message,
+        code: 0,
+        file: node.getSourceFile(),
+        start: node.getStart(),
+        length: node.getWidth(),
+        messageText: message,
+    };
+}
+exports.tsRelated = tsRelated;
 function graphqlSourceToSourceFile(source) {
@@ -148,0 +201,0 @@ return ts.createSourceFile(source.name, source.body, ts.ScriptTarget.Latest);

dist/src/utils/helpers.d.ts

@@ -0,1 +1,2 @@
+import { Location } from "graphql";
 export declare class DefaultMap<K, V> {
@@ -8,1 +9,9 @@ private readonly getDefault;
 export declare function extend<T>(a: T[], b: readonly T[]): void;
+export declare function loc(item: {
+    loc?: Location;
+}): Location;
+export declare function astNode<T>(item: {
+    astNode?: T | undefined | null;
+}): T;
+export declare function uniqueId(): number;
+export declare function nullThrows<T>(value: T | null | undefined): T;

dist/src/utils/helpers.js

@@ -13,4 +13,4 @@ "use strict";
 };
-exports.__esModule = true;
-exports.extend = exports.DefaultMap = void 0;
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.nullThrows = exports.uniqueId = exports.astNode = exports.loc = exports.extend = exports.DefaultMap = void 0;
 var DefaultMap = /** @class */ (function () {
@@ -43,3 +43,3 @@ function DefaultMap(getDefault) {
         try {
-            if (b_1_1 && !b_1_1.done && (_a = b_1["return"])) _a.call(b_1);
+            if (b_1_1 && !b_1_1.done && (_a = b_1.return)) _a.call(b_1);
         }
@@ -50,1 +50,27 @@ finally { if (e_1) throw e_1.error; }
 exports.extend = extend;
+function loc(item) {
+    if (item.loc == null) {
+        throw new Error("Expected item to have loc");
+    }
+    return item.loc;
+}
+exports.loc = loc;
+function astNode(item) {
+    if (item.astNode == null) {
+        throw new Error("Expected item to have astNode");
+    }
+    return item.astNode;
+}
+exports.astNode = astNode;
+var i = 0;
+function uniqueId() {
+    return i++;
+}
+exports.uniqueId = uniqueId;
+function nullThrows(value) {
+    if (value == null) {
+        throw new Error("Grats Error. Expected value to be non-nullish. This error represents an error in Grats. Please report it.");
+    }
+    return value;
+}
+exports.nullThrows = nullThrows;

dist/src/utils/JSDoc.js

@@ -13,3 +13,3 @@ "use strict";
 };
-exports.__esModule = true;
+Object.defineProperty(exports, "__esModule", { value: true });
 exports.traverseJSDocTags = void 0;
@@ -42,3 +42,3 @@ var ts = require("typescript");
             try {
-                if (_c && !_c.done && (_a = _b["return"])) _a.call(_b);
+                if (_c && !_c.done && (_a = _b.return)) _a.call(_b);
             }
@@ -45,0 +45,0 @@ finally { if (e_1) throw e_1.error; }

package.json

 {
   "name": "grats",
-  "version": "0.0.0-main-a5324602",
+  "version": "0.0.0-main-a6ebf81d",
   "main": "dist/src/index.js",
@@ -9,12 +9,14 @@ "bin": "dist/src/cli.js",
   "files": [
-    "dist"
+    "dist",
+    "!dist/src/tests"
   ],
   "dependencies": {
-    "@graphql-tools/utils": "^9.2.1",
     "commander": "^10.0.0",
     "graphql": "^16.6.0",
-    "typescript": "^4.9.5"
+    "typescript": "^5.0.2"
   },
   "devDependencies": {
+    "@graphql-tools/utils": "^9.2.1",
     "@types/node": "^18.14.6",
+    "@types/semver": "^7.5.6",
     "@typescript-eslint/eslint-plugin": "^5.55.0",
@@ -26,3 +28,5 @@ "@typescript-eslint/parser": "^5.55.0",
     "path-browserify": "^1.0.1",
+    "prettier": "^2.8.7",
     "process": "^0.11.10",
+    "semver": "^7.5.4",
     "ts-node": "^10.9.1"
@@ -33,3 +37,3 @@ },
   },
-  "packageManager": "pnpm@8.1.1",
+  "packageManager": "pnpm@8.12.0",
   "engines": {
@@ -39,8 +43,29 @@ "node": ">=16 <=21",
   },
+  "bugs": {
+    "url": "https://github.com/captbaritone/grats/issues"
+  },
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/captbaritone/grats.git"
+  },
+  "author": {
+    "name": "Jordan Eldredge",
+    "email": "[e-mail]",
+    "url": "https://jordaneldredge.com"
+  },
+  "keywords": [
+    "graphql",
+    "typescript",
+    "resolvers",
+    "schema",
+    "code-first",
+    "implementation-first"
+  ],
   "scripts": {
     "test": "ts-node src/tests/test.ts",
     "integration-tests": "node src/tests/integration.mjs",
-    "build": "tsc --build",
-    "lint": "eslint src/**/*.ts"
+    "build": "rm -rf dist/ && tsc --build",
+    "format": "prettier . --write",
+    "lint": "eslint . && prettier . --check"
   }
 }

README.md

@@ -1,5 +0,1 @@
-# -=[ ALPHA SOFTWARE ]=-
-
-**Grats is still experimental. Feel free to try it out and give feedback, but the api is still in flux**
-
 # Grats: Implementation-First GraphQL for TypeScript
@@ -9,4 +5,6 @@
 
-**What if building a GraphQL server were as simple as just writing functions?**
+_Beta Software: Grats is largely stable and being used in production in multiple places. If you encounter any issues, don't hesitate to let us know._
 
+**The simplest way to build a GraphQL server in TypeScript**
+
 When you write your GraphQL server in TypeScript, your fields and resolvers
@@ -21,4 +19,32 @@ are _already_ annotated with type information. _Grats leverages your existing
 
-## Read the docs: https://grats.capt.dev/
+Read the [blog post](https://jordaneldredge.com/blog/grats).
 
+## Example
+
+Here's what it looks like to define a User type with a greeting field using Grats:
+
+```ts
+/** @gqlType */
+class User {
+  /** @gqlField */
+  name: string;
+
+  /** @gqlField */
+  greet(args: { greeting: string }): string {
+    return `${args.greeting}, ${this.name}`;
+  }
+}
+```
+
+After running `npx grats`, you'll find a `schema.ts` module that exports an executable schema, and a `schema.graphql` file contains your GraphQL schema definition:
+
+```graphql
+type User {
+  name: String
+  greet(greeting: String!): String
+}
+```
+
+That's just the beginning! To learn more, **Read the docs: https://grats.capt.dev/**
+
 ## Contributing
@@ -33,3 +59,3 @@
 - [@bradzacher](https://github.com/bradzacher) for tips on how to handle TypeScript ASTs.
-- Everyone who worked on Meta's Hack GraphQL server, the developer experince of which inspired this project.
+- Everyone who worked on Meta's Hack GraphQL server, the developer experience of which inspired this project.
 - A number of other projects which seem to have explored similar ideas in the past:
@@ -39,1 +65,5 @@ - [ts2gql](https://github.com/convoyinc/ts2gql)
   - [typegraphql-reflection-poc](https://github.com/MichalLytek/typegraphql-reflection-poc)
+
+## License
+
+Grats is [MIT licensed](./LICENSE).

New alerts

Major refactor

Supply chain risk

Package has recently undergone a major refactor. It may be unstable or indicate significant internal changes. Use caution when updating to versions that include significant changes.

Found 1 instance in 1 package

Long strings

Supply chain risk

Contains long string literals, which may be a sign of obfuscated or packed code.

Found 1 instance in 1 package

Fixed alerts

Dynamic require

Supply chain risk

Dynamic require can indicate the package is performing dangerous or unsafe dynamic code execution.

Found 1 instance in 1 package

No contributors or author data

Maintenance

Package does not specify a list of contributors or an author in package.json.

Found 1 instance in 1 package

No bug tracker

Maintenance

Package does not have a linked bug tracker in package.json.

Found 1 instance in 1 package

No repository

Supply chain risk

Package does not have a linked source code repository. Without this field, a package will have no reference to the location of the source code use to generate the package.

Found 1 instance in 1 package

Improved metrics

Total package byte prevSize

344027

increased by62.77%

Dependency count

3

decreased by-25%

Number of package files

78

increased by59.18%

Lines of code

7062

increased by61.79%

Number of low maintenance alerts

0

decreased by-100%

Number of lines in readme file

66

increased by83.33%

Number of low supply chain risk alerts

2

decreased by-66.67%

Worsened metrics

Dev dependency count

13

increased by44.44%

Number of medium supply chain risk alerts

1

increased byInfinity%

Dependency changes

• + Addedtypescript@5.7.3(transitive)

• - Removed@graphql-tools/utils@^9.2.1

• - Removed@graphql-tools/utils@9.2.1(transitive)

• - Removed@graphql-typed-document-node/core@3.2.0(transitive)

• - Removedtslib@2.8.1(transitive)

• - Removedtypescript@4.9.5(transitive)

• Updatedtypescript@^5.0.2