@gqlkit-ts/cli 0.2.0 → 0.3.0

package/src/type-extractor/types/diagnostics.ts

@@ -73,7 +73,6 @@ export type DiagnosticCode =
   | "MODULE_RESOLUTION_ERROR"
   | "SKIPPED_FIELD"
   | "SKIPPED_ENUM_VALUE"
-  | "EMPTY_TYPE_PROPERTIES"
   | "INDEX_SIGNATURE_ONLY"
   | "UNKNOWN_ABSTRACT_TYPE"
   | "INVALID_ABSTRACT_TYPE_KIND"
@@ -84,7 +83,18 @@ export type DiagnosticCode =
   | "DUPLICATE_ENUM_VALUE"
   | "DUPLICATE_ENUM_VALUE_AFTER_CONVERSION"
   | "INVALID_ENUM_MEMBER_NAME"
-  | "AMBIGUOUS_SCALAR_BASE_TYPE";
+  | "AMBIGUOUS_SCALAR_BASE_TYPE"
+  | "INLINE_UNION_PRIMITIVE_MEMBER"
+  | "INLINE_UNION_ENUM_MEMBER"
+  | "INLINE_UNION_UNRESOLVABLE_MEMBER"
+  | "MISSING_TYPENAME_PROPERTY"
+  | "INVALID_TYPENAME_TYPE"
+  | "OPTIONAL_TYPENAME_PROPERTY"
+  | "NULLABLE_TYPENAME_PROPERTY"
+  | "TYPENAME_FIELD_STRUCTURE_MISMATCH"
+  | "DUPLICATE_TYPENAME_VALUE"
+  | "IGNORE_FIELD_NOT_FOUND"
+  | "IGNORE_ALL_FIELDS";
 
 export interface Diagnostic {
   readonly code: DiagnosticCode;

package/src/type-extractor/types/ts-type-reference-factory.ts

@@ -1,4 +1,5 @@
 import type ts from "typescript";
+import type { DeprecationInfo } from "../../shared/tsdoc-parser.js";
 import type {
   InlineEnumMemberInfo,
   InlineObjectPropertyDef,
@@ -22,6 +23,8 @@ function createTSTypeReference(
     nullable: false,
     scalarInfo: null,
     inlineObjectProperties: null,
+    inlineObjectDescription: null,
+    inlineObjectDeprecated: null,
     inlineEnumMembers: null,
     externalEnumSymbol: null,
     externalEnumDescription: null,
@@ -76,12 +79,24 @@ export function createUnionType(
   });
 }
 
+interface CreateInlineObjectTypeParams {
+  readonly properties: ReadonlyArray<InlineObjectPropertyDef>;
+  /** TSDoc description from the type alias (null for true inline objects) */
+  readonly description: string | null;
+  /** @deprecated tag from the type alias (null for true inline objects) */
+  readonly deprecated: DeprecationInfo | null;
+}
+
 export function createInlineObjectType(
-  properties: ReadonlyArray<InlineObjectPropertyDef>,
+  params: CreateInlineObjectTypeParams,
 ): TSTypeReference {
   return createTSTypeReference({
     kind: "inlineObject",
-    overrides: { inlineObjectProperties: properties },
+    overrides: {
+      inlineObjectProperties: params.properties,
+      inlineObjectDescription: params.description,
+      inlineObjectDeprecated: params.deprecated,
+    },
   });
 }
 
@@ -116,9 +131,7 @@ interface CreateInlineEnumTypeParams {
   /** TSDoc description from the external enum type itself (null for string literal unions) */
   readonly externalEnumDescription: string | null;
   /** @deprecated tag from the external enum type itself (null for string literal unions) */
-  readonly externalEnumDeprecated:
-    | import("../../shared/tsdoc-parser.js").DeprecationInfo
-    | null;
+  readonly externalEnumDeprecated: DeprecationInfo | null;
 }
 
 export function createInlineEnumType(

package/src/type-extractor/types/typescript.ts

@@ -70,6 +70,10 @@ export interface TSTypeReference {
   readonly nullable: boolean;
   readonly scalarInfo: ScalarTypeInfo | null;
   readonly inlineObjectProperties: ReadonlyArray<InlineObjectPropertyDef> | null;
+  /** TSDoc description from the inline object type alias (Requirement 7.2) */
+  readonly inlineObjectDescription: string | null;
+  /** @deprecated tag from the inline object type alias (Requirement 7.3) */
+  readonly inlineObjectDeprecated: DeprecationInfo | null;
   /** Inline enum members when kind is "inlineEnum" */
   readonly inlineEnumMembers: ReadonlyArray<InlineEnumMemberInfo> | null;
   /** External TypeScript enum symbol for deduplication (Requirement 5.2) */

package/dist/resolver-extractor/validator/only-validator.d.ts

@@ -1,61 +0,0 @@
-/**
- * OnlyValidator validates that scalar types with only constraints
- * are used in the correct position (input or output).
- *
- * - Scalars with only: "output" can only be used in output positions
- * - Scalars with only: "input" can only be used in input positions
- * - Scalars without only constraint can be used in both positions
- */
-import type { TSTypeReference } from "../../type-extractor/types/index.js";
-export type OnlyConstraintViolationCode = "OUTPUT_ONLY_IN_INPUT_POSITION" | "INPUT_ONLY_IN_OUTPUT_POSITION";
-export interface OnlyConstraintViolation {
-    readonly code: OnlyConstraintViolationCode;
-    readonly message: string;
-    readonly scalarName: string;
-    readonly only: "input" | "output";
-    readonly position: "input" | "output";
-    readonly context: ValidationContext;
-}
-interface InputTypeFieldContext {
-    readonly kind: "inputTypeField";
-    readonly typeName: string;
-    readonly fieldName: string;
-    readonly sourceFile: string;
-    readonly line: number;
-}
-interface ObjectTypeFieldContext {
-    readonly kind: "objectTypeField";
-    readonly typeName: string;
-    readonly fieldName: string;
-    readonly sourceFile: string;
-    readonly line: number;
-}
-interface ResolverArgumentContext {
-    readonly kind: "resolverArgument";
-    readonly resolverName: string;
-    readonly argumentName: string;
-    readonly sourceFile: string;
-    readonly line: number;
-}
-interface ResolverReturnTypeContext {
-    readonly kind: "resolverReturnType";
-    readonly resolverName: string;
-    readonly sourceFile: string;
-    readonly line: number;
-}
-export type ValidationContext = InputTypeFieldContext | ObjectTypeFieldContext | ResolverArgumentContext | ResolverReturnTypeContext;
-export interface ValidateOnlyConstraintsOptions {
-    readonly typeRef: TSTypeReference;
-    readonly position: "input" | "output";
-    readonly context: ValidationContext;
-}
-/**
- * Validates that only constraints are not violated.
- * Returns diagnostics for each violation.
- *
- * @param options - Validation options including type reference, position, and context
- * @returns Array of constraint violations (empty if no violations)
- */
-export declare function validateOnlyConstraints(options: ValidateOnlyConstraintsOptions): ReadonlyArray<OnlyConstraintViolation>;
-export {};
-//# sourceMappingURL=only-validator.d.ts.map

package/dist/resolver-extractor/validator/only-validator.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"only-validator.d.ts","sourceRoot":"","sources":["../../../src/resolver-extractor/validator/only-validator.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,qCAAqC,CAAC;AAE3E,MAAM,MAAM,2BAA2B,GACnC,+BAA+B,GAC/B,+BAA+B,CAAC;AAEpC,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,IAAI,EAAE,2BAA2B,CAAC;IAC3C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,QAAQ,CAAC;IAClC,QAAQ,CAAC,QAAQ,EAAE,OAAO,GAAG,QAAQ,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;CACrC;AAED,UAAU,qBAAqB;IAC7B,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,UAAU,sBAAsB;IAC9B,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,UAAU,uBAAuB;IAC/B,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAClC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,UAAU,yBAAyB;IACjC,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;IACpC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,MAAM,iBAAiB,GACzB,qBAAqB,GACrB,sBAAsB,GACtB,uBAAuB,GACvB,yBAAyB,CAAC;AAE9B,MAAM,WAAW,8BAA8B;IAC7C,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;IAClC,QAAQ,CAAC,QAAQ,EAAE,OAAO,GAAG,QAAQ,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;CACrC;AA0ED;;;;;;GAMG;AACH,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,8BAA8B,GACtC,aAAa,CAAC,uBAAuB,CAAC,CASxC"}

package/dist/resolver-extractor/validator/only-validator.js

@@ -1,76 +0,0 @@
-/**
- * OnlyValidator validates that scalar types with only constraints
- * are used in the correct position (input or output).
- *
- * - Scalars with only: "output" can only be used in output positions
- * - Scalars with only: "input" can only be used in input positions
- * - Scalars without only constraint can be used in both positions
- */
-function formatContextLocation(context) {
-    switch (context.kind) {
-        case "inputTypeField":
-            return `field '${context.fieldName}' of input type '${context.typeName}'`;
-        case "objectTypeField":
-            return `field '${context.fieldName}' of type '${context.typeName}'`;
-        case "resolverArgument":
-            return `argument '${context.argumentName}' of resolver '${context.resolverName}'`;
-        case "resolverReturnType":
-            return `return type of resolver '${context.resolverName}'`;
-    }
-}
-function createViolationMessage(scalarName, only, position, context) {
-    const locationDesc = formatContextLocation(context);
-    const oppositePosition = only === "output" ? "input" : "output";
-    const hint = position === "input"
-        ? "Use a type without 'only' constraint or with 'only: \"input\"' instead."
-        : "Use a type without 'only' constraint or with 'only: \"output\"' instead.";
-    return `Scalar type '${scalarName}' is ${only}-only but is used in ${position} position (${locationDesc}). ${oppositePosition.charAt(0).toUpperCase() + oppositePosition.slice(1)}-only scalars cannot be used in ${position} positions. ${hint}`;
-}
-function collectScalarViolations(typeRef, position, context, violations) {
-    if (typeRef.scalarInfo) {
-        const { scalarName, only } = typeRef.scalarInfo;
-        if (only !== null) {
-            if (position === "input" && only === "output") {
-                violations.push({
-                    code: "OUTPUT_ONLY_IN_INPUT_POSITION",
-                    message: createViolationMessage(scalarName, only, position, context),
-                    scalarName,
-                    only,
-                    position,
-                    context,
-                });
-            }
-            else if (position === "output" && only === "input") {
-                violations.push({
-                    code: "INPUT_ONLY_IN_OUTPUT_POSITION",
-                    message: createViolationMessage(scalarName, only, position, context),
-                    scalarName,
-                    only,
-                    position,
-                    context,
-                });
-            }
-        }
-    }
-    if (typeRef.elementType) {
-        collectScalarViolations(typeRef.elementType, position, context, violations);
-    }
-    if (typeRef.members) {
-        for (const member of typeRef.members) {
-            collectScalarViolations(member, position, context, violations);
-        }
-    }
-}
-/**
- * Validates that only constraints are not violated.
- * Returns diagnostics for each violation.
- *
- * @param options - Validation options including type reference, position, and context
- * @returns Array of constraint violations (empty if no violations)
- */
-export function validateOnlyConstraints(options) {
-    const violations = [];
-    collectScalarViolations(options.typeRef, options.position, options.context, violations);
-    return violations;
-}
-//# sourceMappingURL=only-validator.js.map

package/dist/resolver-extractor/validator/only-validator.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"only-validator.js","sourceRoot":"","sources":["../../../src/resolver-extractor/validator/only-validator.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AA4DH,SAAS,qBAAqB,CAAC,OAA0B;IACvD,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,gBAAgB;YACnB,OAAO,UAAU,OAAO,CAAC,SAAS,oBAAoB,OAAO,CAAC,QAAQ,GAAG,CAAC;QAC5E,KAAK,iBAAiB;YACpB,OAAO,UAAU,OAAO,CAAC,SAAS,cAAc,OAAO,CAAC,QAAQ,GAAG,CAAC;QACtE,KAAK,kBAAkB;YACrB,OAAO,aAAa,OAAO,CAAC,YAAY,kBAAkB,OAAO,CAAC,YAAY,GAAG,CAAC;QACpF,KAAK,oBAAoB;YACvB,OAAO,4BAA4B,OAAO,CAAC,YAAY,GAAG,CAAC;IAC/D,CAAC;AACH,CAAC;AAED,SAAS,sBAAsB,CAC7B,UAAkB,EAClB,IAAwB,EACxB,QAA4B,EAC5B,OAA0B;IAE1B,MAAM,YAAY,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAAC;IACpD,MAAM,gBAAgB,GAAG,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;IAChE,MAAM,IAAI,GACR,QAAQ,KAAK,OAAO;QAClB,CAAC,CAAC,yEAAyE;QAC3E,CAAC,CAAC,0EAA0E,CAAC;IAEjF,OAAO,gBAAgB,UAAU,QAAQ,IAAI,wBAAwB,QAAQ,cAAc,YAAY,MAAM,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,mCAAmC,QAAQ,eAAe,IAAI,EAAE,CAAC;AACpP,CAAC;AAED,SAAS,uBAAuB,CAC9B,OAAwB,EACxB,QAA4B,EAC5B,OAA0B,EAC1B,UAAqC;IAErC,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;QACvB,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC,UAAU,CAAC;QAEhD,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAClB,IAAI,QAAQ,KAAK,OAAO,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC9C,UAAU,CAAC,IAAI,CAAC;oBACd,IAAI,EAAE,+BAA+B;oBACrC,OAAO,EAAE,sBAAsB,CAAC,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC;oBACpE,UAAU;oBACV,IAAI;oBACJ,QAAQ;oBACR,OAAO;iBACR,CAAC,CAAC;YACL,CAAC;iBAAM,IAAI,QAAQ,KAAK,QAAQ,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;gBACrD,UAAU,CAAC,IAAI,CAAC;oBACd,IAAI,EAAE,+BAA+B;oBACrC,OAAO,EAAE,sBAAsB,CAAC,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC;oBACpE,UAAU;oBACV,IAAI;oBACJ,QAAQ;oBACR,OAAO;iBACR,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;QACxB,uBAAuB,CAAC,OAAO,CAAC,WAAW,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAC9E,CAAC;IAED,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACpB,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;YACrC,uBAAuB,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,uBAAuB,CACrC,OAAuC;IAEvC,MAAM,UAAU,GAA8B,EAAE,CAAC;IACjD,uBAAuB,CACrB,OAAO,CAAC,OAAO,EACf,OAAO,CAAC,QAAQ,EAChB,OAAO,CAAC,OAAO,EACf,UAAU,CACX,CAAC;IACF,OAAO,UAAU,CAAC;AACpB,CAAC"}

package/src/resolver-extractor/validator/only-validator.ts

@@ -1,158 +0,0 @@
-/**
- * OnlyValidator validates that scalar types with only constraints
- * are used in the correct position (input or output).
- *
- * - Scalars with only: "output" can only be used in output positions
- * - Scalars with only: "input" can only be used in input positions
- * - Scalars without only constraint can be used in both positions
- */
-
-import type { TSTypeReference } from "../../type-extractor/types/index.js";
-
-export type OnlyConstraintViolationCode =
-  | "OUTPUT_ONLY_IN_INPUT_POSITION"
-  | "INPUT_ONLY_IN_OUTPUT_POSITION";
-
-export interface OnlyConstraintViolation {
-  readonly code: OnlyConstraintViolationCode;
-  readonly message: string;
-  readonly scalarName: string;
-  readonly only: "input" | "output";
-  readonly position: "input" | "output";
-  readonly context: ValidationContext;
-}
-
-interface InputTypeFieldContext {
-  readonly kind: "inputTypeField";
-  readonly typeName: string;
-  readonly fieldName: string;
-  readonly sourceFile: string;
-  readonly line: number;
-}
-
-interface ObjectTypeFieldContext {
-  readonly kind: "objectTypeField";
-  readonly typeName: string;
-  readonly fieldName: string;
-  readonly sourceFile: string;
-  readonly line: number;
-}
-
-interface ResolverArgumentContext {
-  readonly kind: "resolverArgument";
-  readonly resolverName: string;
-  readonly argumentName: string;
-  readonly sourceFile: string;
-  readonly line: number;
-}
-
-interface ResolverReturnTypeContext {
-  readonly kind: "resolverReturnType";
-  readonly resolverName: string;
-  readonly sourceFile: string;
-  readonly line: number;
-}
-
-export type ValidationContext =
-  | InputTypeFieldContext
-  | ObjectTypeFieldContext
-  | ResolverArgumentContext
-  | ResolverReturnTypeContext;
-
-export interface ValidateOnlyConstraintsOptions {
-  readonly typeRef: TSTypeReference;
-  readonly position: "input" | "output";
-  readonly context: ValidationContext;
-}
-
-function formatContextLocation(context: ValidationContext): string {
-  switch (context.kind) {
-    case "inputTypeField":
-      return `field '${context.fieldName}' of input type '${context.typeName}'`;
-    case "objectTypeField":
-      return `field '${context.fieldName}' of type '${context.typeName}'`;
-    case "resolverArgument":
-      return `argument '${context.argumentName}' of resolver '${context.resolverName}'`;
-    case "resolverReturnType":
-      return `return type of resolver '${context.resolverName}'`;
-  }
-}
-
-function createViolationMessage(
-  scalarName: string,
-  only: "input" | "output",
-  position: "input" | "output",
-  context: ValidationContext,
-): string {
-  const locationDesc = formatContextLocation(context);
-  const oppositePosition = only === "output" ? "input" : "output";
-  const hint =
-    position === "input"
-      ? "Use a type without 'only' constraint or with 'only: \"input\"' instead."
-      : "Use a type without 'only' constraint or with 'only: \"output\"' instead.";
-
-  return `Scalar type '${scalarName}' is ${only}-only but is used in ${position} position (${locationDesc}). ${oppositePosition.charAt(0).toUpperCase() + oppositePosition.slice(1)}-only scalars cannot be used in ${position} positions. ${hint}`;
-}
-
-function collectScalarViolations(
-  typeRef: TSTypeReference,
-  position: "input" | "output",
-  context: ValidationContext,
-  violations: OnlyConstraintViolation[],
-): void {
-  if (typeRef.scalarInfo) {
-    const { scalarName, only } = typeRef.scalarInfo;
-
-    if (only !== null) {
-      if (position === "input" && only === "output") {
-        violations.push({
-          code: "OUTPUT_ONLY_IN_INPUT_POSITION",
-          message: createViolationMessage(scalarName, only, position, context),
-          scalarName,
-          only,
-          position,
-          context,
-        });
-      } else if (position === "output" && only === "input") {
-        violations.push({
-          code: "INPUT_ONLY_IN_OUTPUT_POSITION",
-          message: createViolationMessage(scalarName, only, position, context),
-          scalarName,
-          only,
-          position,
-          context,
-        });
-      }
-    }
-  }
-
-  if (typeRef.elementType) {
-    collectScalarViolations(typeRef.elementType, position, context, violations);
-  }
-
-  if (typeRef.members) {
-    for (const member of typeRef.members) {
-      collectScalarViolations(member, position, context, violations);
-    }
-  }
-}
-
-/**
- * Validates that only constraints are not violated.
- * Returns diagnostics for each violation.
- *
- * @param options - Validation options including type reference, position, and context
- * @returns Array of constraint violations (empty if no violations)
- */
-export function validateOnlyConstraints(
-  options: ValidateOnlyConstraintsOptions,
-): ReadonlyArray<OnlyConstraintViolation> {
-  const violations: OnlyConstraintViolation[] = [];
-  collectScalarViolations(
-    options.typeRef,
-    options.position,
-    options.context,
-    violations,
-  );
-  return violations;
-}