tsc-ts 0.0.4 → 0.0.5

package/dist/api/compiler/node-builder-pseudo.d.ts

@@ -0,0 +1,36 @@
+import { type Node } from './ast.js';
+import type { Checker } from './checker.js';
+import { type Type, type TypePredicate } from './checker-types.js';
+import { type NodeBuilder } from './node-builder.js';
+import { type Symbol } from './symbol.js';
+import { PseudoChecker, type PseudoType } from './transformers/declarations-pseudo.js';
+/** A pseudochecker for declaration emit with the checker. */
+export declare function newPseudoChecker(c: Checker): PseudoChecker;
+export declare function containsNonMissingUndefinedType(c: Checker, t: Type): boolean;
+export declare function getRegularTypeOfExpression(c: Checker, node: Node): Type;
+/**
+ * Like `pseudoTypeToNode`, but an inferred pseudo-type (or an annotation that can't be reused)
+ * reports its fallback and is written from the checker's type.
+ */
+export declare function pseudoTypeToNodeWithCheckerFallback(b: NodeBuilder, t: PseudoType, checkerType: Type): Node | undefined;
+/** The type node of a pseudo-type, reporting the fallbacks its structure implies. */
+export declare function pseudoTypeToNode(b: NodeBuilder, t: PseudoType): Node | undefined;
+/**
+ * Whether a pseudo-type denotes `type_`. Reports the parts that need inference when
+ * `reportErrors`; an error type matches anything.
+ */
+export declare function pseudoTypeEquivalentToType(b: NodeBuilder, t: PseudoType, type_: Type | undefined, isOptionalAnnotated: boolean, reportErrors: boolean): boolean;
+/** Whether a pseudo return type is a type predicate annotation matching `predicate`. */
+export declare function pseudoReturnTypeMatchesPredicate(b: NodeBuilder, rt: PseudoType, predicate: TypePredicate): boolean;
+/** The type a pseudo-type denotes, for the kinds that map to one directly. */
+export declare function pseudoTypeToType(b: NodeBuilder, t: PseudoType): Type | undefined;
+/**
+ * Whether the type written for a parameter or property needs `| undefined`: a parameter
+ * initialized before a required one, or an optional property of a reverse mapped type.
+ */
+export declare function requiresAddingImplicitUndefinedForDeclaration(c: Checker, declaration: Node, symbolIn: Symbol | undefined, enclosingDeclaration: Node | undefined): boolean;
+/** Declarations whose type the builder writes from the declaration, as tsgo's `HasInferredType`. */
+export declare function hasInferredTypeKind(node: Node): boolean;
+export declare function isAccessorKind(node: Node): boolean;
+/** Whether a declaration is marked optional with `?`, as tsgo's `HasQuestionToken`. */
+export declare function hasQuestionToken(node: Node): boolean;