@typia/core 12.0.0-dev.20260225

package/lib/programmers/AssertProgrammer.js

@@ -0,0 +1,262 @@
+"use strict";
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.AssertProgrammer = void 0;
+const typescript_1 = __importDefault(require("typescript"));
+const IdentifierFactory_1 = require("../factories/IdentifierFactory");
+const StatementFactory_1 = require("../factories/StatementFactory");
+const TypeFactory_1 = require("../factories/TypeFactory");
+const IsProgrammer_1 = require("./IsProgrammer");
+const FunctionProgrammer_1 = require("./helpers/FunctionProgrammer");
+const OptionPredicator_1 = require("./helpers/OptionPredicator");
+const CheckerProgrammer_1 = require("./internal/CheckerProgrammer");
+const FeatureProgrammer_1 = require("./internal/FeatureProgrammer");
+const check_object_1 = require("./iterate/check_object");
+/**
+ * Assertion code generator.
+ *
+ * Generates runtime assertion code that throws `TypeGuardError` on failure.
+ * Used by `typia.assert<T>()` and `typia.assertEquals<T>()`.
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+var AssertProgrammer;
+(function (AssertProgrammer) {
+    AssertProgrammer.decompose = (props) => {
+        var _a, _b;
+        const is = IsProgrammer_1.IsProgrammer.decompose(Object.assign(Object.assign({}, props), { config: {
+                equals: props.config.equals,
+            } }));
+        const composed = CheckerProgrammer_1.CheckerProgrammer.compose(Object.assign(Object.assign({}, props), { config: {
+                prefix: "_a",
+                path: true,
+                trace: true,
+                numeric: OptionPredicator_1.OptionPredicator.numeric(props.context.options),
+                equals: props.config.equals,
+                atomist: (next) => [
+                    ...(next.entry.expression ? [next.entry.expression] : []),
+                    ...(next.entry.conditions.length === 0
+                        ? []
+                        : next.entry.conditions.length === 1
+                            ? next.entry.conditions[0].map((cond) => typescript_1.default.factory.createLogicalOr(cond.expression, create_guard_call({
+                                context: props.context,
+                                functor: props.functor,
+                                exceptionable: next.explore.from === "top"
+                                    ? typescript_1.default.factory.createTrue()
+                                    : typescript_1.default.factory.createIdentifier("_exceptionable"),
+                                path: typescript_1.default.factory.createIdentifier(next.explore.postfix
+                                    ? `_path + ${next.explore.postfix}`
+                                    : "_path"),
+                                expected: cond.expected,
+                                input: next.input,
+                            })))
+                            : [
+                                typescript_1.default.factory.createLogicalOr(next.entry.conditions
+                                    .map((set) => set
+                                    .map((s) => s.expression)
+                                    .reduce((a, b) => typescript_1.default.factory.createLogicalAnd(a, b)))
+                                    .reduce((a, b) => typescript_1.default.factory.createLogicalOr(a, b)), create_guard_call({
+                                    context: props.context,
+                                    functor: props.functor,
+                                    exceptionable: next.explore.from === "top"
+                                        ? typescript_1.default.factory.createTrue()
+                                        : typescript_1.default.factory.createIdentifier("_exceptionable"),
+                                    path: typescript_1.default.factory.createIdentifier(next.explore.postfix
+                                        ? `_path + ${next.explore.postfix}`
+                                        : "_path"),
+                                    expected: next.entry.expected,
+                                    input: next.input,
+                                })),
+                            ]),
+                ].reduce((x, y) => typescript_1.default.factory.createLogicalAnd(x, y)),
+                combiner: combiner(props),
+                joiner: joiner(props),
+                success: typescript_1.default.factory.createTrue(),
+            } }));
+        const arrow = typescript_1.default.factory.createArrowFunction(undefined, undefined, [
+            IdentifierFactory_1.IdentifierFactory.parameter("input", TypeFactory_1.TypeFactory.keyword("any")),
+            Guardian.parameter({
+                context: props.context,
+                init: props.init,
+            }),
+        ], props.config.guard
+            ? typescript_1.default.factory.createTypePredicateNode(typescript_1.default.factory.createToken(typescript_1.default.SyntaxKind.AssertsKeyword), typescript_1.default.factory.createIdentifier("input"), typescript_1.default.factory.createTypeReferenceNode((_a = props.name) !== null && _a !== void 0 ? _a : TypeFactory_1.TypeFactory.getFullName({
+                checker: props.context.checker,
+                type: props.type,
+            })))
+            : typescript_1.default.factory.createTypeReferenceNode((_b = props.name) !== null && _b !== void 0 ? _b : TypeFactory_1.TypeFactory.getFullName({
+                checker: props.context.checker,
+                type: props.type,
+            })), undefined, typescript_1.default.factory.createBlock([
+            typescript_1.default.factory.createIfStatement(typescript_1.default.factory.createStrictEquality(typescript_1.default.factory.createFalse(), typescript_1.default.factory.createCallExpression(typescript_1.default.factory.createIdentifier("__is"), undefined, [typescript_1.default.factory.createIdentifier("input")])), typescript_1.default.factory.createBlock([
+                typescript_1.default.factory.createExpressionStatement(typescript_1.default.factory.createBinaryExpression(typescript_1.default.factory.createIdentifier("_errorFactory"), typescript_1.default.factory.createToken(typescript_1.default.SyntaxKind.EqualsToken), typescript_1.default.factory.createIdentifier("errorFactory"))),
+                typescript_1.default.factory.createExpressionStatement(typescript_1.default.factory.createCallExpression(typescript_1.default.factory.createArrowFunction(undefined, undefined, composed.parameters, undefined, undefined, composed.body), undefined, [
+                    typescript_1.default.factory.createIdentifier("input"),
+                    typescript_1.default.factory.createStringLiteral("$input"),
+                    typescript_1.default.factory.createTrue(),
+                ])),
+            ], true), undefined),
+            ...(props.config.guard === false
+                ? [
+                    typescript_1.default.factory.createReturnStatement(typescript_1.default.factory.createIdentifier(`input`)),
+                ]
+                : []),
+        ], true));
+        return {
+            functions: Object.assign(Object.assign({}, is.functions), composed.functions),
+            statements: [
+                ...is.statements,
+                ...composed.statements,
+                StatementFactory_1.StatementFactory.constant({
+                    name: "__is",
+                    value: is.arrow,
+                }),
+                StatementFactory_1.StatementFactory.mut({
+                    name: "_errorFactory",
+                }),
+            ],
+            arrow,
+        };
+    };
+    AssertProgrammer.write = (props) => {
+        const functor = new FunctionProgrammer_1.FunctionProgrammer(props.modulo.getText());
+        const result = AssertProgrammer.decompose(Object.assign(Object.assign({}, props), { functor }));
+        return FeatureProgrammer_1.FeatureProgrammer.writeDecomposed({
+            modulo: props.modulo,
+            functor,
+            result,
+        });
+    };
+    const combiner = (props) => (next) => {
+        if (next.explore.tracable === false)
+            return IsProgrammer_1.IsProgrammer.configure({
+                options: {
+                    object: (v) => assert_object({
+                        config: props.config,
+                        context: props.context,
+                        functor: props.functor,
+                        entries: v.entries,
+                        input: v.input,
+                    }),
+                    numeric: true,
+                },
+                context: props.context,
+                functor: props.functor,
+            }).combiner(next);
+        const path = next.explore.postfix
+            ? `_path + ${next.explore.postfix}`
+            : "_path";
+        return next.logic === "and"
+            ? next.binaries
+                .map((binary) => binary.combined
+                ? binary.expression
+                : typescript_1.default.factory.createLogicalOr(binary.expression, create_guard_call({
+                    context: props.context,
+                    functor: props.functor,
+                    exceptionable: next.explore.source === "top"
+                        ? typescript_1.default.factory.createTrue()
+                        : typescript_1.default.factory.createIdentifier("_exceptionable"),
+                    path: typescript_1.default.factory.createIdentifier(path),
+                    expected: next.expected,
+                    input: next.input,
+                })))
+                .reduce(typescript_1.default.factory.createLogicalAnd)
+            : typescript_1.default.factory.createLogicalOr(next.binaries
+                .map((binary) => binary.expression)
+                .reduce(typescript_1.default.factory.createLogicalOr), create_guard_call({
+                context: props.context,
+                functor: props.functor,
+                exceptionable: next.explore.source === "top"
+                    ? typescript_1.default.factory.createTrue()
+                    : typescript_1.default.factory.createIdentifier("_exceptionable"),
+                path: typescript_1.default.factory.createIdentifier(path),
+                expected: next.expected,
+                input: next.input,
+            }));
+    };
+    const assert_object = (props) => (0, check_object_1.check_object)({
+        config: {
+            equals: props.config.equals,
+            assert: true,
+            undefined: true,
+            reduce: typescript_1.default.factory.createLogicalAnd,
+            positive: typescript_1.default.factory.createTrue(),
+            superfluous: (input) => create_guard_call({
+                context: props.context,
+                functor: props.functor,
+                path: typescript_1.default.factory.createAdd(typescript_1.default.factory.createIdentifier("_path"), typescript_1.default.factory.createCallExpression(props.context.importer.internal("accessExpressionAsString"), undefined, [typescript_1.default.factory.createIdentifier("key")])),
+                expected: "undefined",
+                input,
+            }),
+            halt: (expr) => typescript_1.default.factory.createLogicalOr(typescript_1.default.factory.createStrictEquality(typescript_1.default.factory.createFalse(), typescript_1.default.factory.createIdentifier("_exceptionable")), expr),
+        },
+        context: props.context,
+        entries: props.entries,
+        input: props.input,
+    });
+    const joiner = (props) => ({
+        object: (next) => assert_object({
+            config: props.config,
+            context: props.context,
+            functor: props.functor,
+            entries: next.entries,
+            input: next.input,
+        }),
+        array: (props) => typescript_1.default.factory.createCallExpression(IdentifierFactory_1.IdentifierFactory.access(props.input, "every"), undefined, [props.arrow]),
+        failure: (next) => {
+            var _a, _b;
+            return create_guard_call({
+                context: props.context,
+                functor: props.functor,
+                exceptionable: ((_a = next.explore) === null || _a === void 0 ? void 0 : _a.from) === "top"
+                    ? typescript_1.default.factory.createTrue()
+                    : typescript_1.default.factory.createIdentifier("_exceptionable"),
+                path: typescript_1.default.factory.createIdentifier(((_b = next.explore) === null || _b === void 0 ? void 0 : _b.postfix) ? `_path + ${next.explore.postfix}` : "_path"),
+                expected: next.expected,
+                input: next.input,
+            });
+        },
+        full: props.config.equals
+            ? undefined
+            : (next) => typescript_1.default.factory.createLogicalOr(next.condition, create_guard_call({
+                context: props.context,
+                functor: props.functor,
+                exceptionable: next.explore.from === "top"
+                    ? typescript_1.default.factory.createTrue()
+                    : typescript_1.default.factory.createIdentifier("_exceptionable"),
+                path: typescript_1.default.factory.createIdentifier("_path"),
+                expected: next.expected,
+                input: next.input,
+            })),
+    });
+    const create_guard_call = (props) => {
+        var _a;
+        return typescript_1.default.factory.createCallExpression(props.context.importer.internal("assertGuard"), undefined, [
+            (_a = props.exceptionable) !== null && _a !== void 0 ? _a : typescript_1.default.factory.createIdentifier("_exceptionable"),
+            typescript_1.default.factory.createObjectLiteralExpression([
+                typescript_1.default.factory.createPropertyAssignment("method", typescript_1.default.factory.createStringLiteral(props.functor.method)),
+                typescript_1.default.factory.createPropertyAssignment("path", props.path),
+                typescript_1.default.factory.createPropertyAssignment("expected", typescript_1.default.factory.createStringLiteral(props.expected)),
+                typescript_1.default.factory.createPropertyAssignment("value", props.input),
+            ], true),
+            typescript_1.default.factory.createIdentifier("_errorFactory"),
+        ]);
+    };
+    let Guardian;
+    (function (Guardian) {
+        Guardian.identifier = () => typescript_1.default.factory.createIdentifier("errorFactory");
+        Guardian.parameter = (props) => {
+            var _a;
+            return IdentifierFactory_1.IdentifierFactory.parameter("errorFactory", Guardian.type(props.context), (_a = props.init) !== null && _a !== void 0 ? _a : typescript_1.default.factory.createToken(typescript_1.default.SyntaxKind.QuestionToken));
+        };
+        Guardian.type = (context) => typescript_1.default.factory.createFunctionTypeNode(undefined, [
+            typescript_1.default.factory.createParameterDeclaration(undefined, undefined, typescript_1.default.factory.createIdentifier("p"), undefined, context.importer.type({
+                file: "typia",
+                name: "TypeGuardError.IProps",
+            }), undefined),
+        ], typescript_1.default.factory.createTypeReferenceNode(typescript_1.default.factory.createIdentifier("Error"), undefined));
+    })(Guardian = AssertProgrammer.Guardian || (AssertProgrammer.Guardian = {}));
+})(AssertProgrammer || (exports.AssertProgrammer = AssertProgrammer = {}));
+//# sourceMappingURL=AssertProgrammer.js.map

package/lib/programmers/AssertProgrammer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"AssertProgrammer.js","sourceRoot":"","sources":["../../src/programmers/AssertProgrammer.ts"],"names":[],"mappings":";;;;;;AAAA,4DAA4B;AAI5B,sEAAmE;AACnE,oEAAiE;AACjE,0DAAuD;AACvD,iDAA8C;AAC9C,qEAAkE;AAElE,iEAA8D;AAC9D,oEAAiE;AACjE,oEAAiE;AACjE,yDAAsD;AAEtD;;;;;;;GAOG;AACH,IAAiB,gBAAgB,CA0bhC;AA1bD,WAAiB,gBAAgB;IAelB,0BAAS,GAAG,CAAC,KAOzB,EAAiC,EAAE;;QAClC,MAAM,EAAE,GAAkC,2BAAY,CAAC,SAAS,iCAC3D,KAAK,KACR,MAAM,EAAE;gBACN,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM;aAC5B,IACD,CAAC;QACH,MAAM,QAAQ,GAAgC,qCAAiB,CAAC,OAAO,iCAClE,KAAK,KACR,MAAM,EAAE;gBACN,MAAM,EAAE,IAAI;gBACZ,IAAI,EAAE,IAAI;gBACV,KAAK,EAAE,IAAI;gBACX,OAAO,EAAE,mCAAgB,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;gBACxD,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM;gBAC3B,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE,CAChB;oBACE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBACzD,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;wBACpC,CAAC,CAAC,EAAE;wBACJ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;4BAClC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CACrC,oBAAE,CAAC,OAAO,CAAC,eAAe,CACxB,IAAI,CAAC,UAAU,EACf,iBAAiB,CAAC;gCAChB,OAAO,EAAE,KAAK,CAAC,OAAO;gCACtB,OAAO,EAAE,KAAK,CAAC,OAAO;gCACtB,aAAa,EACX,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,KAAK;oCACzB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE;oCACzB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC;gCACnD,IAAI,EAAE,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAC/B,IAAI,CAAC,OAAO,CAAC,OAAO;oCAClB,CAAC,CAAC,WAAW,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE;oCACnC,CAAC,CAAC,OAAO,CACZ;gCACD,QAAQ,EAAE,IAAI,CAAC,QAAQ;gCACvB,KAAK,EAAE,IAAI,CAAC,KAAK;6BAClB,CAAC,CACH,CACF;4BACH,CAAC,CAAC;gCACE,oBAAE,CAAC,OAAO,CAAC,eAAe,CACxB,IAAI,CAAC,KAAK,CAAC,UAAU;qCAClB,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CACX,GAAG;qCACA,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC;qCACxB,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACf,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,CAClC,CACJ;qCACA,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,oBAAE,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EACrD,iBAAiB,CAAC;oCAChB,OAAO,EAAE,KAAK,CAAC,OAAO;oCACtB,OAAO,EAAE,KAAK,CAAC,OAAO;oCACtB,aAAa,EACX,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,KAAK;wCACzB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE;wCACzB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC;oCACnD,IAAI,EAAE,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAC/B,IAAI,CAAC,OAAO,CAAC,OAAO;wCAClB,CAAC,CAAC,WAAW,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE;wCACnC,CAAC,CAAC,OAAO,CACZ;oCACD,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ;oCAC7B,KAAK,EAAE,IAAI,CAAC,KAAK;iCAClB,CAAC,CACH;6BACF,CAAC;iBACT,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBACvD,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC;gBACzB,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC;gBACrB,OAAO,EAAE,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE;aACjC,IACD,CAAC;QACH,MAAM,KAAK,GAAqB,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAC5D,SAAS,EACT,SAAS,EACT;YACE,qCAAiB,CAAC,SAAS,CAAC,OAAO,EAAE,yBAAW,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAChE,QAAQ,CAAC,SAAS,CAAC;gBACjB,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,IAAI,EAAE,KAAK,CAAC,IAAI;aACjB,CAAC;SACH,EACD,KAAK,CAAC,MAAM,CAAC,KAAK;YAChB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,uBAAuB,CAChC,oBAAE,CAAC,OAAO,CAAC,WAAW,CAAC,oBAAE,CAAC,UAAU,CAAC,cAAc,CAAC,EACpD,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,EACpC,oBAAE,CAAC,OAAO,CAAC,uBAAuB,CAChC,MAAA,KAAK,CAAC,IAAI,mCACR,yBAAW,CAAC,WAAW,CAAC;gBACtB,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,OAAO;gBAC9B,IAAI,EAAE,KAAK,CAAC,IAAI;aACjB,CAAC,CACL,CACF;YACH,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,uBAAuB,CAChC,MAAA,KAAK,CAAC,IAAI,mCACR,yBAAW,CAAC,WAAW,CAAC;gBACtB,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,OAAO;gBAC9B,IAAI,EAAE,KAAK,CAAC,IAAI;aACjB,CAAC,CACL,EACL,SAAS,EACT,oBAAE,CAAC,OAAO,CAAC,WAAW,CACpB;YACE,oBAAE,CAAC,OAAO,CAAC,iBAAiB,CAC1B,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC7B,oBAAE,CAAC,OAAO,CAAC,WAAW,EAAE,EACxB,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC7B,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,EACnC,SAAS,EACT,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CACvC,CACF,EACD,oBAAE,CAAC,OAAO,CAAC,WAAW,CACpB;gBACE,oBAAE,CAAC,OAAO,CAAC,yBAAyB,CAClC,oBAAE,CAAC,OAAO,CAAC,sBAAsB,CAC/B,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,eAAe,CAAC,EAC5C,oBAAE,CAAC,OAAO,CAAC,WAAW,CAAC,oBAAE,CAAC,UAAU,CAAC,WAAW,CAAC,EACjD,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,cAAc,CAAC,CAC5C,CACF;gBACD,oBAAE,CAAC,OAAO,CAAC,yBAAyB,CAClC,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC7B,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAC5B,SAAS,EACT,SAAS,EACT,QAAQ,CAAC,UAAU,EACnB,SAAS,EACT,SAAS,EACT,QAAQ,CAAC,IAAI,CACd,EACD,SAAS,EACT;oBACE,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC;oBACpC,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC;oBACxC,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE;iBACxB,CACF,CACF;aACF,EACD,IAAI,CACL,EACD,SAAS,CACV;YACD,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,KAAK,KAAK;gBAC9B,CAAC,CAAC;oBACE,oBAAE,CAAC,OAAO,CAAC,qBAAqB,CAC9B,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,CACrC;iBACF;gBACH,CAAC,CAAC,EAAE,CAAC;SACR,EACD,IAAI,CACL,CACF,CAAC;QACF,OAAO;YACL,SAAS,kCACJ,EAAE,CAAC,SAAS,GACZ,QAAQ,CAAC,SAAS,CACtB;YACD,UAAU,EAAE;gBACV,GAAG,EAAE,CAAC,UAAU;gBAChB,GAAG,QAAQ,CAAC,UAAU;gBACtB,mCAAgB,CAAC,QAAQ,CAAC;oBACxB,IAAI,EAAE,MAAM;oBACZ,KAAK,EAAE,EAAE,CAAC,KAAK;iBAChB,CAAC;gBACF,mCAAgB,CAAC,GAAG,CAAC;oBACnB,IAAI,EAAE,eAAe;iBACtB,CAAC;aACH;YACD,KAAK;SACN,CAAC;IACJ,CAAC,CAAC;IAEW,sBAAK,GAAG,CAAC,KAAa,EAAqB,EAAE;QACxD,MAAM,OAAO,GAAuB,IAAI,uCAAkB,CACxD,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,CACvB,CAAC;QACF,MAAM,MAAM,GAAkC,iBAAA,SAAS,iCAClD,KAAK,KACR,OAAO,IACP,CAAC;QACH,OAAO,qCAAiB,CAAC,eAAe,CAAC;YACvC,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,OAAO;YACP,MAAM;SACP,CAAC,CAAC;IACL,CAAC,CAAC;IAEF,MAAM,QAAQ,GACZ,CAAC,KAIA,EAAsC,EAAE,CACzC,CAAC,IAAI,EAAE,EAAE;QACP,IAAI,IAAI,CAAC,OAAO,CAAC,QAAQ,KAAK,KAAK;YACjC,OAAO,2BAAY,CAAC,SAAS,CAAC;gBAC5B,OAAO,EAAE;oBACP,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CACZ,aAAa,CAAC;wBACZ,MAAM,EAAE,KAAK,CAAC,MAAM;wBACpB,OAAO,EAAE,KAAK,CAAC,OAAO;wBACtB,OAAO,EAAE,KAAK,CAAC,OAAO;wBACtB,OAAO,EAAE,CAAC,CAAC,OAAO;wBAClB,KAAK,EAAE,CAAC,CAAC,KAAK;qBACf,CAAC;oBACJ,OAAO,EAAE,IAAI;iBACd;gBACD,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,OAAO,EAAE,KAAK,CAAC,OAAO;aACvB,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAEpB,MAAM,IAAI,GAAW,IAAI,CAAC,OAAO,CAAC,OAAO;YACvC,CAAC,CAAC,WAAW,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE;YACnC,CAAC,CAAC,OAAO,CAAC;QACZ,OAAO,IAAI,CAAC,KAAK,KAAK,KAAK;YACzB,CAAC,CAAC,IAAI,CAAC,QAAQ;iBACV,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACd,MAAM,CAAC,QAAQ;gBACb,CAAC,CAAC,MAAM,CAAC,UAAU;gBACnB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,eAAe,CACxB,MAAM,CAAC,UAAU,EACjB,iBAAiB,CAAC;oBAChB,OAAO,EAAE,KAAK,CAAC,OAAO;oBACtB,OAAO,EAAE,KAAK,CAAC,OAAO;oBACtB,aAAa,EACX,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,KAAK;wBAC3B,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE;wBACzB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC;oBACnD,IAAI,EAAE,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC;oBACvC,QAAQ,EAAE,IAAI,CAAC,QAAQ;oBACvB,KAAK,EAAE,IAAI,CAAC,KAAK;iBAClB,CAAC,CACH,CACN;iBACA,MAAM,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC;YACxC,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,eAAe,CACxB,IAAI,CAAC,QAAQ;iBACV,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC;iBAClC,MAAM,CAAC,oBAAE,CAAC,OAAO,CAAC,eAAe,CAAC,EACrC,iBAAiB,CAAC;gBAChB,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,aAAa,EACX,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,KAAK;oBAC3B,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE;oBACzB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC;gBACnD,IAAI,EAAE,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC;gBACvC,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,KAAK,EAAE,IAAI,CAAC,KAAK;aAClB,CAAC,CACH,CAAC;IACR,CAAC,CAAC;IAEJ,MAAM,aAAa,GAAG,CAAC,KAMtB,EAAE,EAAE,CACH,IAAA,2BAAY,EAAC;QACX,MAAM,EAAE;YACN,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM;YAC3B,MAAM,EAAE,IAAI;YACZ,SAAS,EAAE,IAAI;YACf,MAAM,EAAE,oBAAE,CAAC,OAAO,CAAC,gBAAgB;YACnC,QAAQ,EAAE,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE;YACjC,WAAW,EAAE,CAAC,KAAK,EAAE,EAAE,CACrB,iBAAiB,CAAC;gBAChB,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,IAAI,EAAE,oBAAE,CAAC,OAAO,CAAC,SAAS,CACxB,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,EACpC,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC7B,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,0BAA0B,CAAC,EAC3D,SAAS,EACT,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CACrC,CACF;gBACD,QAAQ,EAAE,WAAW;gBACrB,KAAK;aACN,CAAC;YACJ,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CACb,oBAAE,CAAC,OAAO,CAAC,eAAe,CACxB,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC7B,oBAAE,CAAC,OAAO,CAAC,WAAW,EAAE,EACxB,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC,CAC9C,EACD,IAAI,CACL;SACJ;QACD,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,KAAK,EAAE,KAAK,CAAC,KAAK;KACnB,CAAC,CAAC;IAEL,MAAM,MAAM,GAAG,CAAC,KAIf,EAAqC,EAAE,CAAC,CAAC;QACxC,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,CACf,aAAa,CAAC;YACZ,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,KAAK,EAAE,IAAI,CAAC,KAAK;SAClB,CAAC;QACJ,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CACf,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC7B,qCAAiB,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,EAC9C,SAAS,EACT,CAAC,KAAK,CAAC,KAAK,CAAC,CACd;QACH,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE;;YAChB,OAAA,iBAAiB,CAAC;gBAChB,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,aAAa,EACX,CAAA,MAAA,IAAI,CAAC,OAAO,0CAAE,IAAI,MAAK,KAAK;oBAC1B,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE;oBACzB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC;gBACnD,IAAI,EAAE,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAC/B,CAAA,MAAA,IAAI,CAAC,OAAO,0CAAE,OAAO,EAAC,CAAC,CAAC,WAAW,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,OAAO,CACpE;gBACD,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,KAAK,EAAE,IAAI,CAAC,KAAK;aAClB,CAAC,CAAA;SAAA;QACJ,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM;YACvB,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CACP,oBAAE,CAAC,OAAO,CAAC,eAAe,CACxB,IAAI,CAAC,SAAS,EACd,iBAAiB,CAAC;gBAChB,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,aAAa,EACX,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,KAAK;oBACzB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE;oBACzB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC;gBACnD,IAAI,EAAE,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC;gBAC1C,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,KAAK,EAAE,IAAI,CAAC,KAAK;aAClB,CAAC,CACH;KACR,CAAC,CAAC;IAEH,MAAM,iBAAiB,GAAG,CAAC,KAO1B,EAAiB,EAAE;;QAClB,OAAA,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC7B,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,EAC9C,SAAS,EACT;YACE,MAAA,KAAK,CAAC,aAAa,mCAAI,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC;YACpE,oBAAE,CAAC,OAAO,CAAC,6BAA6B,CACtC;gBACE,oBAAE,CAAC,OAAO,CAAC,wBAAwB,CACjC,QAAQ,EACR,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CACrD;gBACD,oBAAE,CAAC,OAAO,CAAC,wBAAwB,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC;gBACvD,oBAAE,CAAC,OAAO,CAAC,wBAAwB,CACjC,UAAU,EACV,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAC/C;gBACD,oBAAE,CAAC,OAAO,CAAC,wBAAwB,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC;aAC1D,EACD,IAAI,CACL;YACD,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,eAAe,CAAC;SAC7C,CACF,CAAA;KAAA,CAAC;IAEJ,IAAiB,QAAQ,CAgCxB;IAhCD,WAAiB,QAAQ;QACV,mBAAU,GAAG,GAAG,EAAE,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,cAAc,CAAC,CAAC;QAC/D,kBAAS,GAAG,CAAC,KAGzB,EAAE,EAAE;;YACH,OAAA,qCAAiB,CAAC,SAAS,CACzB,cAAc,EACd,SAAA,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EACnB,MAAA,KAAK,CAAC,IAAI,mCAAI,oBAAE,CAAC,OAAO,CAAC,WAAW,CAAC,oBAAE,CAAC,UAAU,CAAC,aAAa,CAAC,CAClE,CAAA;SAAA,CAAC;QACS,aAAI,GAAG,CAAC,OAAsB,EAAE,EAAE,CAC7C,oBAAE,CAAC,OAAO,CAAC,sBAAsB,CAC/B,SAAS,EACT;YACE,oBAAE,CAAC,OAAO,CAAC,0BAA0B,CACnC,SAAS,EACT,SAAS,EACT,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAChC,SAAS,EACT,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC;gBACpB,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,uBAAuB;aAC9B,CAAC,EACF,SAAS,CACV;SACF,EACD,oBAAE,CAAC,OAAO,CAAC,uBAAuB,CAChC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,EACpC,SAAS,CACV,CACF,CAAC;IACN,CAAC,EAhCgB,QAAQ,GAAR,yBAAQ,KAAR,yBAAQ,QAgCxB;AACH,CAAC,EA1bgB,gBAAgB,gCAAhB,gBAAgB,QA0bhC"}

package/lib/programmers/AssertProgrammer.mjs

@@ -0,0 +1,263 @@
+import ts from 'typescript';
+import { IdentifierFactory } from '../factories/IdentifierFactory.mjs';
+import { StatementFactory } from '../factories/StatementFactory.mjs';
+import { TypeFactory } from '../factories/TypeFactory.mjs';
+import { IsProgrammer } from './IsProgrammer.mjs';
+import { FunctionProgrammer } from './helpers/FunctionProgrammer.mjs';
+import { OptionPredicator } from './helpers/OptionPredicator.mjs';
+import { CheckerProgrammer } from './internal/CheckerProgrammer.mjs';
+import { FeatureProgrammer } from './internal/FeatureProgrammer.mjs';
+import { check_object } from './iterate/check_object.mjs';
+
+/**
+ * Assertion code generator.
+ *
+ * Generates runtime assertion code that throws `TypeGuardError` on failure.
+ * Used by `typia.assert<T>()` and `typia.assertEquals<T>()`.
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+var AssertProgrammer;
+(function (AssertProgrammer) {
+    AssertProgrammer.decompose = (props) => {
+        const is = IsProgrammer.decompose({
+            ...props,
+            config: {
+                equals: props.config.equals,
+            },
+        });
+        const composed = CheckerProgrammer.compose({
+            ...props,
+            config: {
+                prefix: "_a",
+                path: true,
+                trace: true,
+                numeric: OptionPredicator.numeric(props.context.options),
+                equals: props.config.equals,
+                atomist: (next) => [
+                    ...(next.entry.expression ? [next.entry.expression] : []),
+                    ...(next.entry.conditions.length === 0
+                        ? []
+                        : next.entry.conditions.length === 1
+                            ? next.entry.conditions[0].map((cond) => ts.factory.createLogicalOr(cond.expression, create_guard_call({
+                                context: props.context,
+                                functor: props.functor,
+                                exceptionable: next.explore.from === "top"
+                                    ? ts.factory.createTrue()
+                                    : ts.factory.createIdentifier("_exceptionable"),
+                                path: ts.factory.createIdentifier(next.explore.postfix
+                                    ? `_path + ${next.explore.postfix}`
+                                    : "_path"),
+                                expected: cond.expected,
+                                input: next.input,
+                            })))
+                            : [
+                                ts.factory.createLogicalOr(next.entry.conditions
+                                    .map((set) => set
+                                    .map((s) => s.expression)
+                                    .reduce((a, b) => ts.factory.createLogicalAnd(a, b)))
+                                    .reduce((a, b) => ts.factory.createLogicalOr(a, b)), create_guard_call({
+                                    context: props.context,
+                                    functor: props.functor,
+                                    exceptionable: next.explore.from === "top"
+                                        ? ts.factory.createTrue()
+                                        : ts.factory.createIdentifier("_exceptionable"),
+                                    path: ts.factory.createIdentifier(next.explore.postfix
+                                        ? `_path + ${next.explore.postfix}`
+                                        : "_path"),
+                                    expected: next.entry.expected,
+                                    input: next.input,
+                                })),
+                            ]),
+                ].reduce((x, y) => ts.factory.createLogicalAnd(x, y)),
+                combiner: combiner(props),
+                joiner: joiner(props),
+                success: ts.factory.createTrue(),
+            },
+        });
+        const arrow = ts.factory.createArrowFunction(undefined, undefined, [
+            IdentifierFactory.parameter("input", TypeFactory.keyword("any")),
+            Guardian.parameter({
+                context: props.context,
+                init: props.init,
+            }),
+        ], props.config.guard
+            ? ts.factory.createTypePredicateNode(ts.factory.createToken(ts.SyntaxKind.AssertsKeyword), ts.factory.createIdentifier("input"), ts.factory.createTypeReferenceNode(props.name ??
+                TypeFactory.getFullName({
+                    checker: props.context.checker,
+                    type: props.type,
+                })))
+            : ts.factory.createTypeReferenceNode(props.name ??
+                TypeFactory.getFullName({
+                    checker: props.context.checker,
+                    type: props.type,
+                })), undefined, ts.factory.createBlock([
+            ts.factory.createIfStatement(ts.factory.createStrictEquality(ts.factory.createFalse(), ts.factory.createCallExpression(ts.factory.createIdentifier("__is"), undefined, [ts.factory.createIdentifier("input")])), ts.factory.createBlock([
+                ts.factory.createExpressionStatement(ts.factory.createBinaryExpression(ts.factory.createIdentifier("_errorFactory"), ts.factory.createToken(ts.SyntaxKind.EqualsToken), ts.factory.createIdentifier("errorFactory"))),
+                ts.factory.createExpressionStatement(ts.factory.createCallExpression(ts.factory.createArrowFunction(undefined, undefined, composed.parameters, undefined, undefined, composed.body), undefined, [
+                    ts.factory.createIdentifier("input"),
+                    ts.factory.createStringLiteral("$input"),
+                    ts.factory.createTrue(),
+                ])),
+            ], true), undefined),
+            ...(props.config.guard === false
+                ? [
+                    ts.factory.createReturnStatement(ts.factory.createIdentifier(`input`)),
+                ]
+                : []),
+        ], true));
+        return {
+            functions: {
+                ...is.functions,
+                ...composed.functions,
+            },
+            statements: [
+                ...is.statements,
+                ...composed.statements,
+                StatementFactory.constant({
+                    name: "__is",
+                    value: is.arrow,
+                }),
+                StatementFactory.mut({
+                    name: "_errorFactory",
+                }),
+            ],
+            arrow,
+        };
+    };
+    AssertProgrammer.write = (props) => {
+        const functor = new FunctionProgrammer(props.modulo.getText());
+        const result = AssertProgrammer.decompose({
+            ...props,
+            functor,
+        });
+        return FeatureProgrammer.writeDecomposed({
+            modulo: props.modulo,
+            functor,
+            result,
+        });
+    };
+    const combiner = (props) => (next) => {
+        if (next.explore.tracable === false)
+            return IsProgrammer.configure({
+                options: {
+                    object: (v) => assert_object({
+                        config: props.config,
+                        context: props.context,
+                        functor: props.functor,
+                        entries: v.entries,
+                        input: v.input,
+                    }),
+                    numeric: true,
+                },
+                context: props.context,
+                functor: props.functor,
+            }).combiner(next);
+        const path = next.explore.postfix
+            ? `_path + ${next.explore.postfix}`
+            : "_path";
+        return next.logic === "and"
+            ? next.binaries
+                .map((binary) => binary.combined
+                ? binary.expression
+                : ts.factory.createLogicalOr(binary.expression, create_guard_call({
+                    context: props.context,
+                    functor: props.functor,
+                    exceptionable: next.explore.source === "top"
+                        ? ts.factory.createTrue()
+                        : ts.factory.createIdentifier("_exceptionable"),
+                    path: ts.factory.createIdentifier(path),
+                    expected: next.expected,
+                    input: next.input,
+                })))
+                .reduce(ts.factory.createLogicalAnd)
+            : ts.factory.createLogicalOr(next.binaries
+                .map((binary) => binary.expression)
+                .reduce(ts.factory.createLogicalOr), create_guard_call({
+                context: props.context,
+                functor: props.functor,
+                exceptionable: next.explore.source === "top"
+                    ? ts.factory.createTrue()
+                    : ts.factory.createIdentifier("_exceptionable"),
+                path: ts.factory.createIdentifier(path),
+                expected: next.expected,
+                input: next.input,
+            }));
+    };
+    const assert_object = (props) => check_object({
+        config: {
+            equals: props.config.equals,
+            assert: true,
+            undefined: true,
+            reduce: ts.factory.createLogicalAnd,
+            positive: ts.factory.createTrue(),
+            superfluous: (input) => create_guard_call({
+                context: props.context,
+                functor: props.functor,
+                path: ts.factory.createAdd(ts.factory.createIdentifier("_path"), ts.factory.createCallExpression(props.context.importer.internal("accessExpressionAsString"), undefined, [ts.factory.createIdentifier("key")])),
+                expected: "undefined",
+                input,
+            }),
+            halt: (expr) => ts.factory.createLogicalOr(ts.factory.createStrictEquality(ts.factory.createFalse(), ts.factory.createIdentifier("_exceptionable")), expr),
+        },
+        context: props.context,
+        entries: props.entries,
+        input: props.input,
+    });
+    const joiner = (props) => ({
+        object: (next) => assert_object({
+            config: props.config,
+            context: props.context,
+            functor: props.functor,
+            entries: next.entries,
+            input: next.input,
+        }),
+        array: (props) => ts.factory.createCallExpression(IdentifierFactory.access(props.input, "every"), undefined, [props.arrow]),
+        failure: (next) => create_guard_call({
+            context: props.context,
+            functor: props.functor,
+            exceptionable: next.explore?.from === "top"
+                ? ts.factory.createTrue()
+                : ts.factory.createIdentifier("_exceptionable"),
+            path: ts.factory.createIdentifier(next.explore?.postfix ? `_path + ${next.explore.postfix}` : "_path"),
+            expected: next.expected,
+            input: next.input,
+        }),
+        full: props.config.equals
+            ? undefined
+            : (next) => ts.factory.createLogicalOr(next.condition, create_guard_call({
+                context: props.context,
+                functor: props.functor,
+                exceptionable: next.explore.from === "top"
+                    ? ts.factory.createTrue()
+                    : ts.factory.createIdentifier("_exceptionable"),
+                path: ts.factory.createIdentifier("_path"),
+                expected: next.expected,
+                input: next.input,
+            })),
+    });
+    const create_guard_call = (props) => ts.factory.createCallExpression(props.context.importer.internal("assertGuard"), undefined, [
+        props.exceptionable ?? ts.factory.createIdentifier("_exceptionable"),
+        ts.factory.createObjectLiteralExpression([
+            ts.factory.createPropertyAssignment("method", ts.factory.createStringLiteral(props.functor.method)),
+            ts.factory.createPropertyAssignment("path", props.path),
+            ts.factory.createPropertyAssignment("expected", ts.factory.createStringLiteral(props.expected)),
+            ts.factory.createPropertyAssignment("value", props.input),
+        ], true),
+        ts.factory.createIdentifier("_errorFactory"),
+    ]);
+    let Guardian;
+    (function (Guardian) {
+        Guardian.identifier = () => ts.factory.createIdentifier("errorFactory");
+        Guardian.parameter = (props) => IdentifierFactory.parameter("errorFactory", Guardian.type(props.context), props.init ?? ts.factory.createToken(ts.SyntaxKind.QuestionToken));
+        Guardian.type = (context) => ts.factory.createFunctionTypeNode(undefined, [
+            ts.factory.createParameterDeclaration(undefined, undefined, ts.factory.createIdentifier("p"), undefined, context.importer.type({
+                file: "typia",
+                name: "TypeGuardError.IProps",
+            }), undefined),
+        ], ts.factory.createTypeReferenceNode(ts.factory.createIdentifier("Error"), undefined));
+    })(Guardian = AssertProgrammer.Guardian || (AssertProgrammer.Guardian = {}));
+})(AssertProgrammer || (AssertProgrammer = {}));
+
+export { AssertProgrammer };
+//# sourceMappingURL=AssertProgrammer.mjs.map

package/lib/programmers/AssertProgrammer.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"AssertProgrammer.mjs","sources":["../../src/programmers/AssertProgrammer.ts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;;;;;;AAeA;;;;;;;AAOG;AACG,IAAW;AAAjB,CAAA,UAAiB,gBAAgB,EAAA;AAelB,IAAA,gBAAA,CAAA,SAAS,GAAG,CAAC,KAOzB,KAAmC;AAClC,QAAA,MAAM,EAAE,GAAkC,YAAY,CAAC,SAAS,CAAC;AAC/D,YAAA,GAAG,KAAK;AACR,YAAA,MAAM,EAAE;AACN,gBAAA,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM;AAC5B,aAAA;AACF,SAAA,CAAC;AACF,QAAA,MAAM,QAAQ,GAAgC,iBAAiB,CAAC,OAAO,CAAC;AACtE,YAAA,GAAG,KAAK;AACR,YAAA,MAAM,EAAE;AACN,gBAAA,MAAM,EAAE,IAAI;AACZ,gBAAA,IAAI,EAAE,IAAI;AACV,gBAAA,KAAK,EAAE,IAAI;gBACX,OAAO,EAAE,gBAAgB,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;AACxD,gBAAA,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM;AAC3B,gBAAA,OAAO,EAAE,CAAC,IAAI,KACZ;oBACE,IAAI,IAAI,CAAC,KAAK,CAAC,UAAU,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC;oBACzD,IAAI,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK;AACnC,0BAAE;0BACA,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK;AACjC,8BAAE,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KACjC,EAAE,CAAC,OAAO,CAAC,eAAe,CACxB,IAAI,CAAC,UAAU,EACf,iBAAiB,CAAC;gCAChB,OAAO,EAAE,KAAK,CAAC,OAAO;gCACtB,OAAO,EAAE,KAAK,CAAC,OAAO;AACtB,gCAAA,aAAa,EACX,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK;AACpB,sCAAE,EAAE,CAAC,OAAO,CAAC,UAAU;sCACrB,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC;gCACnD,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAC/B,IAAI,CAAC,OAAO,CAAC;AACX,sCAAE,CAAA,QAAA,EAAW,IAAI,CAAC,OAAO,CAAC,OAAO,CAAA;sCAC/B,OAAO,CACZ;gCACD,QAAQ,EAAE,IAAI,CAAC,QAAQ;gCACvB,KAAK,EAAE,IAAI,CAAC,KAAK;AAClB,6BAAA,CAAC,CACH;AAEL,8BAAE;gCACE,EAAE,CAAC,OAAO,CAAC,eAAe,CACxB,IAAI,CAAC,KAAK,CAAC;AACR,qCAAA,GAAG,CAAC,CAAC,GAAG,KACP;qCACG,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,UAAU;AACvB,qCAAA,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,KACX,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,CAClC;qCAEJ,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EACrD,iBAAiB,CAAC;oCAChB,OAAO,EAAE,KAAK,CAAC,OAAO;oCACtB,OAAO,EAAE,KAAK,CAAC,OAAO;AACtB,oCAAA,aAAa,EACX,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK;AACpB,0CAAE,EAAE,CAAC,OAAO,CAAC,UAAU;0CACrB,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC;oCACnD,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAC/B,IAAI,CAAC,OAAO,CAAC;AACX,0CAAE,CAAA,QAAA,EAAW,IAAI,CAAC,OAAO,CAAC,OAAO,CAAA;0CAC/B,OAAO,CACZ;AACD,oCAAA,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ;oCAC7B,KAAK,EAAE,IAAI,CAAC,KAAK;AAClB,iCAAA,CAAC,CACH;6BACF,CAAC;AACT,iBAAA,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACvD,gBAAA,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC;AACzB,gBAAA,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC;AACrB,gBAAA,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,UAAU,EAAE;AACjC,aAAA;AACF,SAAA,CAAC;QACF,MAAM,KAAK,GAAqB,EAAE,CAAC,OAAO,CAAC,mBAAmB,CAC5D,SAAS,EACT,SAAS,EACT;YACE,iBAAiB,CAAC,SAAS,CAAC,OAAO,EAAE,WAAW,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAChE,QAAQ,CAAC,SAAS,CAAC;gBACjB,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,IAAI,EAAE,KAAK,CAAC,IAAI;aACjB,CAAC;AACH,SAAA,EACD,KAAK,CAAC,MAAM,CAAC;AACX,cAAE,EAAE,CAAC,OAAO,CAAC,uBAAuB,CAChC,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC,EACpD,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,EACpC,EAAE,CAAC,OAAO,CAAC,uBAAuB,CAChC,KAAK,CAAC,IAAI;gBACR,WAAW,CAAC,WAAW,CAAC;AACtB,oBAAA,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,OAAO;oBAC9B,IAAI,EAAE,KAAK,CAAC,IAAI;AACjB,iBAAA,CAAC,CACL;cAEH,EAAE,CAAC,OAAO,CAAC,uBAAuB,CAChC,KAAK,CAAC,IAAI;gBACR,WAAW,CAAC,WAAW,CAAC;AACtB,oBAAA,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,OAAO;oBAC9B,IAAI,EAAE,KAAK,CAAC,IAAI;iBACjB,CAAC,CACL,EACL,SAAS,EACT,EAAE,CAAC,OAAO,CAAC,WAAW,CACpB;YACE,EAAE,CAAC,OAAO,CAAC,iBAAiB,CAC1B,EAAE,CAAC,OAAO,CAAC,oBAAoB,CAC7B,EAAE,CAAC,OAAO,CAAC,WAAW,EAAE,EACxB,EAAE,CAAC,OAAO,CAAC,oBAAoB,CAC7B,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,EACnC,SAAS,EACT,CAAC,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CACvC,CACF,EACD,EAAE,CAAC,OAAO,CAAC,WAAW,CACpB;AACE,gBAAA,EAAE,CAAC,OAAO,CAAC,yBAAyB,CAClC,EAAE,CAAC,OAAO,CAAC,sBAAsB,CAC/B,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,eAAe,CAAC,EAC5C,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,EACjD,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,cAAc,CAAC,CAC5C,CACF;AACD,gBAAA,EAAE,CAAC,OAAO,CAAC,yBAAyB,CAClC,EAAE,CAAC,OAAO,CAAC,oBAAoB,CAC7B,EAAE,CAAC,OAAO,CAAC,mBAAmB,CAC5B,SAAS,EACT,SAAS,EACT,QAAQ,CAAC,UAAU,EACnB,SAAS,EACT,SAAS,EACT,QAAQ,CAAC,IAAI,CACd,EACD,SAAS,EACT;AACE,oBAAA,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC;AACpC,oBAAA,EAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC;AACxC,oBAAA,EAAE,CAAC,OAAO,CAAC,UAAU,EAAE;AACxB,iBAAA,CACF,CACF;AACF,aAAA,EACD,IAAI,CACL,EACD,SAAS,CACV;AACD,YAAA,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,KAAK;AACzB,kBAAE;AACE,oBAAA,EAAE,CAAC,OAAO,CAAC,qBAAqB,CAC9B,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAA,KAAA,CAAO,CAAC,CACrC;AACF;kBACD,EAAE,CAAC;SACR,EACD,IAAI,CACL,CACF;QACD,OAAO;AACL,YAAA,SAAS,EAAE;gBACT,GAAG,EAAE,CAAC,SAAS;gBACf,GAAG,QAAQ,CAAC,SAAS;AACtB,aAAA;AACD,YAAA,UAAU,EAAE;gBACV,GAAG,EAAE,CAAC,UAAU;gBAChB,GAAG,QAAQ,CAAC,UAAU;gBACtB,gBAAgB,CAAC,QAAQ,CAAC;AACxB,oBAAA,IAAI,EAAE,MAAM;oBACZ,KAAK,EAAE,EAAE,CAAC,KAAK;iBAChB,CAAC;gBACF,gBAAgB,CAAC,GAAG,CAAC;AACnB,oBAAA,IAAI,EAAE,eAAe;iBACtB,CAAC;AACH,aAAA;YACD,KAAK;SACN;AACH,IAAA,CAAC;AAEY,IAAA,gBAAA,CAAA,KAAK,GAAG,CAAC,KAAa,KAAuB;AACxD,QAAA,MAAM,OAAO,GAAuB,IAAI,kBAAkB,CACxD,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,CACvB;AACD,QAAA,MAAM,MAAM,GAAkC,gBAAA,CAAA,SAAS,CAAC;AACtD,YAAA,GAAG,KAAK;YACR,OAAO;AACR,SAAA,CAAC;QACF,OAAO,iBAAiB,CAAC,eAAe,CAAC;YACvC,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,OAAO;YACP,MAAM;AACP,SAAA,CAAC;AACJ,IAAA,CAAC;IAED,MAAM,QAAQ,GACZ,CAAC,KAIA,KACD,CAAC,IAAI,KAAI;AACP,QAAA,IAAI,IAAI,CAAC,OAAO,CAAC,QAAQ,KAAK,KAAK;YACjC,OAAO,YAAY,CAAC,SAAS,CAAC;AAC5B,gBAAA,OAAO,EAAE;AACP,oBAAA,MAAM,EAAE,CAAC,CAAC,KACR,aAAa,CAAC;wBACZ,MAAM,EAAE,KAAK,CAAC,MAAM;wBACpB,OAAO,EAAE,KAAK,CAAC,OAAO;wBACtB,OAAO,EAAE,KAAK,CAAC,OAAO;wBACtB,OAAO,EAAE,CAAC,CAAC,OAAO;wBAClB,KAAK,EAAE,CAAC,CAAC,KAAK;qBACf,CAAC;AACJ,oBAAA,OAAO,EAAE,IAAI;AACd,iBAAA;gBACD,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,OAAO,EAAE,KAAK,CAAC,OAAO;AACvB,aAAA,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;AAEnB,QAAA,MAAM,IAAI,GAAW,IAAI,CAAC,OAAO,CAAC;AAChC,cAAE,CAAA,QAAA,EAAW,IAAI,CAAC,OAAO,CAAC,OAAO,CAAA;cAC/B,OAAO;AACX,QAAA,OAAO,IAAI,CAAC,KAAK,KAAK;cAClB,IAAI,CAAC;iBACF,GAAG,CAAC,CAAC,MAAM,KACV,MAAM,CAAC;kBACH,MAAM,CAAC;AACT,kBAAE,EAAE,CAAC,OAAO,CAAC,eAAe,CACxB,MAAM,CAAC,UAAU,EACjB,iBAAiB,CAAC;oBAChB,OAAO,EAAE,KAAK,CAAC,OAAO;oBACtB,OAAO,EAAE,KAAK,CAAC,OAAO;AACtB,oBAAA,aAAa,EACX,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK;AACtB,0BAAE,EAAE,CAAC,OAAO,CAAC,UAAU;0BACrB,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC;oBACnD,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC;oBACvC,QAAQ,EAAE,IAAI,CAAC,QAAQ;oBACvB,KAAK,EAAE,IAAI,CAAC,KAAK;AAClB,iBAAA,CAAC,CACH;AAEN,iBAAA,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,gBAAgB;cACrC,EAAE,CAAC,OAAO,CAAC,eAAe,CACxB,IAAI,CAAC;iBACF,GAAG,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,UAAU;iBACjC,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,eAAe,CAAC,EACrC,iBAAiB,CAAC;gBAChB,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,OAAO,EAAE,KAAK,CAAC,OAAO;AACtB,gBAAA,aAAa,EACX,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK;AACtB,sBAAE,EAAE,CAAC,OAAO,CAAC,UAAU;sBACrB,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC;gBACnD,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC;gBACvC,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,KAAK,EAAE,IAAI,CAAC,KAAK;AAClB,aAAA,CAAC,CACH;AACP,IAAA,CAAC;IAEH,MAAM,aAAa,GAAG,CAAC,KAMtB,KACC,YAAY,CAAC;AACX,QAAA,MAAM,EAAE;AACN,YAAA,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM;AAC3B,YAAA,MAAM,EAAE,IAAI;AACZ,YAAA,SAAS,EAAE,IAAI;AACf,YAAA,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,gBAAgB;AACnC,YAAA,QAAQ,EAAE,EAAE,CAAC,OAAO,CAAC,UAAU,EAAE;AACjC,YAAA,WAAW,EAAE,CAAC,KAAK,KACjB,iBAAiB,CAAC;gBAChB,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,SAAS,CACxB,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,EACpC,EAAE,CAAC,OAAO,CAAC,oBAAoB,CAC7B,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,0BAA0B,CAAC,EAC3D,SAAS,EACT,CAAC,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CACrC,CACF;AACD,gBAAA,QAAQ,EAAE,WAAW;gBACrB,KAAK;aACN,CAAC;AACJ,YAAA,IAAI,EAAE,CAAC,IAAI,KACT,EAAE,CAAC,OAAO,CAAC,eAAe,CACxB,EAAE,CAAC,OAAO,CAAC,oBAAoB,CAC7B,EAAE,CAAC,OAAO,CAAC,WAAW,EAAE,EACxB,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC,CAC9C,EACD,IAAI,CACL;AACJ,SAAA;QACD,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,KAAK,EAAE,KAAK,CAAC,KAAK;AACnB,KAAA,CAAC;AAEJ,IAAA,MAAM,MAAM,GAAG,CAAC,KAIf,MAAyC;AACxC,QAAA,MAAM,EAAE,CAAC,IAAI,KACX,aAAa,CAAC;YACZ,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,KAAK,EAAE,IAAI,CAAC,KAAK;SAClB,CAAC;AACJ,QAAA,KAAK,EAAE,CAAC,KAAK,KACX,EAAE,CAAC,OAAO,CAAC,oBAAoB,CAC7B,iBAAiB,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,EAC9C,SAAS,EACT,CAAC,KAAK,CAAC,KAAK,CAAC,CACd;AACH,QAAA,OAAO,EAAE,CAAC,IAAI,KACZ,iBAAiB,CAAC;YAChB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,OAAO,EAAE,KAAK,CAAC,OAAO;AACtB,YAAA,aAAa,EACX,IAAI,CAAC,OAAO,EAAE,IAAI,KAAK;AACrB,kBAAE,EAAE,CAAC,OAAO,CAAC,UAAU;kBACrB,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC;YACnD,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAC/B,IAAI,CAAC,OAAO,EAAE,OAAO,GAAG,CAAA,QAAA,EAAW,IAAI,CAAC,OAAO,CAAC,OAAO,CAAA,CAAE,GAAG,OAAO,CACpE;YACD,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,KAAK,EAAE,IAAI,CAAC,KAAK;SAClB,CAAC;AACJ,QAAA,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC;AACjB,cAAE;AACF,cAAE,CAAC,IAAI,KACH,EAAE,CAAC,OAAO,CAAC,eAAe,CACxB,IAAI,CAAC,SAAS,EACd,iBAAiB,CAAC;gBAChB,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,OAAO,EAAE,KAAK,CAAC,OAAO;AACtB,gBAAA,aAAa,EACX,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK;AACpB,sBAAE,EAAE,CAAC,OAAO,CAAC,UAAU;sBACrB,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC;gBACnD,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC;gBAC1C,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,KAAK,EAAE,IAAI,CAAC,KAAK;AAClB,aAAA,CAAC,CACH;AACR,KAAA,CAAC;IAEF,MAAM,iBAAiB,GAAG,CAAC,KAO1B,KACC,EAAE,CAAC,OAAO,CAAC,oBAAoB,CAC7B,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,EAC9C,SAAS,EACT;QACE,KAAK,CAAC,aAAa,IAAI,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC;AACpE,QAAA,EAAE,CAAC,OAAO,CAAC,6BAA6B,CACtC;AACE,YAAA,EAAE,CAAC,OAAO,CAAC,wBAAwB,CACjC,QAAQ,EACR,EAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CACrD;YACD,EAAE,CAAC,OAAO,CAAC,wBAAwB,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC;AACvD,YAAA,EAAE,CAAC,OAAO,CAAC,wBAAwB,CACjC,UAAU,EACV,EAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAC/C;YACD,EAAE,CAAC,OAAO,CAAC,wBAAwB,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC;AAC1D,SAAA,EACD,IAAI,CACL;AACD,QAAA,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,eAAe,CAAC;AAC7C,KAAA,CACF;AAEH,IAAA,IAAiB,QAAQ;AAAzB,IAAA,CAAA,UAAiB,QAAQ,EAAA;AACV,QAAA,QAAA,CAAA,UAAU,GAAG,MAAM,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,cAAc,CAAC;AAC9D,QAAA,QAAA,CAAA,SAAS,GAAG,CAAC,KAGzB,KACC,iBAAiB,CAAC,SAAS,CACzB,cAAc,EACd,QAAA,CAAA,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EACnB,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,CAClE;AACU,QAAA,QAAA,CAAA,IAAI,GAAG,CAAC,OAAsB,KACzC,EAAE,CAAC,OAAO,CAAC,sBAAsB,CAC/B,SAAS,EACT;YACE,EAAE,CAAC,OAAO,CAAC,0BAA0B,CACnC,SAAS,EACT,SAAS,EACT,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAChC,SAAS,EACT,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC;AACpB,gBAAA,IAAI,EAAE,OAAO;AACb,gBAAA,IAAI,EAAE,uBAAuB;aAC9B,CAAC,EACF,SAAS,CACV;AACF,SAAA,EACD,EAAE,CAAC,OAAO,CAAC,uBAAuB,CAChC,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,EACpC,SAAS,CACV,CACF;AACL,IAAA,CAAC,EAhCgB,QAAQ,GAAR,gBAAA,CAAA,QAAQ,KAAR,yBAAQ,GAAA,EAAA,CAAA,CAAA;AAiC3B,CAAC,EA1bgB,gBAAgB,KAAhB,gBAAgB,GAAA,EAAA,CAAA,CAAA;;;;"}

package/lib/programmers/ImportProgrammer.d.ts

@@ -0,0 +1,46 @@
+import ts from "typescript";
+/**
+ * Import statement manager for code generation.
+ *
+ * Collects and deduplicates import declarations needed by generated code.
+ * Tracks default imports ({@link default}), named imports ({@link instance}), and
+ * namespace imports ({@link namespace}). Call {@link toStatements} to emit the
+ * final import declaration AST nodes.
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+export declare class ImportProgrammer {
+    private readonly assets_;
+    private readonly options_;
+    constructor(options?: Partial<ImportProgrammer.IOptions>);
+    default(props: ImportProgrammer.IDefault): ts.Identifier;
+    instance(props: ImportProgrammer.IInstance): ts.Identifier;
+    namespace(props: ImportProgrammer.INamespace): ts.Identifier;
+    type(props: {
+        file: string;
+        name: string | ts.EntityName;
+        arguments?: ts.TypeNode[];
+    }): ts.ImportTypeNode;
+    private alias;
+    toStatements(): ts.ImportDeclaration[];
+}
+export declare namespace ImportProgrammer {
+    interface IOptions {
+        internalPrefix: string;
+        runtime?: "ts" | "js";
+    }
+    interface IDefault {
+        file: string;
+        name: string;
+        type: boolean;
+    }
+    interface IInstance {
+        file: string;
+        name: string;
+        alias: string | null;
+    }
+    interface INamespace {
+        file: string;
+        name: string;
+    }
+}