@mnemonica/tactica 0.1.0

package/lib/cli.js

@@ -0,0 +1,327 @@
+#!/usr/bin/env node
+'use strict';
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.main = main;
+exports.run = run;
+exports.watch = watch;
+exports.parseArgs = parseArgs;
+const fs = __importStar(require("fs"));
+const path = __importStar(require("path"));
+const ts = __importStar(require("typescript"));
+const analyzer_1 = require("./analyzer");
+const generator_1 = require("./generator");
+const writer_1 = require("./writer");
+/**
+ * Parse command line arguments
+ */
+function parseArgs(args) {
+    const options = {};
+    for (let i = 0; i < args.length; i++) {
+        const arg = args[i];
+        switch (arg) {
+            case '-w':
+            case '--watch':
+                options.watch = true;
+                break;
+            case '-p':
+            case '--project':
+                options.project = args[++i];
+                break;
+            case '-o':
+            case '--output':
+                options.outputDir = args[++i];
+                break;
+            case '-i':
+            case '--include':
+                options.include = (options.include || []).concat(args[++i].split(','));
+                break;
+            case '-e':
+            case '--exclude':
+                options.exclude = (options.exclude || []).concat(args[++i].split(','));
+                break;
+            case '-m':
+            case '--module-augmentation':
+                options.globalAugmentation = false;
+                break;
+            case '-v':
+            case '--verbose':
+                options.verbose = true;
+                break;
+            case '-h':
+            case '--help':
+                options.help = true;
+                break;
+        }
+    }
+    return options;
+}
+/**
+ * Print help message
+ */
+function printHelp() {
+    console.log(`
+Tactica - TypeScript Language Service Plugin for Mnemonica
+
+Usage: tactica [options]
+
+Options:
+  -w, --watch               Watch for file changes and regenerate types
+  -p, --project             Path to tsconfig.json (default: ./tsconfig.json)
+  -o, --output              Output directory for generated types (default: .tactica)
+  -i, --include             Comma-separated list of file patterns to include
+  -e, --exclude             Comma-separated list of file patterns to exclude
+  -m, --module-augmentation Use module augmentation instead of global (legacy mode)
+  -v, --verbose             Enable verbose logging
+  -h, --help                Show this help message
+
+Examples:
+  tactica                              # Generate types with global augmentation (default)
+  tactica --watch                      # Watch mode
+  tactica --module-augmentation        # Use legacy module augmentation mode
+  tactica --project ./src/tsconfig.json # Custom tsconfig path
+  tactica --output ./types/mnemonica   # Custom output directory
+`);
+}
+/**
+ * Find tsconfig.json
+ */
+function findTsConfig(projectPath) {
+    if (projectPath) {
+        if (fs.existsSync(projectPath)) {
+            return projectPath;
+        }
+        throw new Error(`Project file not found: ${projectPath}`);
+    }
+    // Look for tsconfig.json in current directory and parent directories
+    let currentDir = process.cwd();
+    while (currentDir !== path.dirname(currentDir)) {
+        const tsconfigPath = path.join(currentDir, 'tsconfig.json');
+        if (fs.existsSync(tsconfigPath)) {
+            return tsconfigPath;
+        }
+        currentDir = path.dirname(currentDir);
+    }
+    return undefined;
+}
+/**
+ * Load TypeScript program from tsconfig
+ */
+function loadProgram(tsconfigPath) {
+    const configFile = ts.readConfigFile(tsconfigPath, ts.sys.readFile);
+    if (configFile.error) {
+        throw new Error(`Error reading tsconfig: ${ts.flattenDiagnosticMessageText(configFile.error.messageText, '\n')}`);
+    }
+    const parsedConfig = ts.parseJsonConfigFileContent(configFile.config, ts.sys, path.dirname(tsconfigPath));
+    if (parsedConfig.errors.length > 0) {
+        const errorMessages = parsedConfig.errors.map(e => ts.flattenDiagnosticMessageText(e.messageText, '\n'));
+        throw new Error(`Error parsing tsconfig: ${errorMessages.join('\n')}`);
+    }
+    const program = ts.createProgram({
+        rootNames: parsedConfig.fileNames,
+        options: parsedConfig.options,
+    });
+    return program;
+}
+/**
+ * Print type hierarchy as a tree
+ */
+function printTypeHierarchy(graph) {
+    console.log('\nType Hierarchy (Trie):');
+    function printNode(node, prefix = '', isLast = true) {
+        const connector = isLast ? '└── ' : '├── ';
+        const instanceName = `${node.name}Instance`;
+        console.log(`${prefix}${connector}${instanceName}`);
+        const children = Array.from(node.children.values());
+        const newPrefix = prefix + (isLast ? '    ' : '│   ');
+        for (let i = 0; i < children.length; i++) {
+            printNode(children[i], newPrefix, i === children.length - 1);
+        }
+    }
+    const roots = Array.from(graph.roots.values());
+    for (let i = 0; i < roots.length; i++) {
+        printNode(roots[i], '', i === roots.length - 1);
+    }
+    console.log(); // Empty line at end
+}
+/**
+ * Run type generation
+ */
+function run(options) {
+    const tsconfigPath = findTsConfig(options.project);
+    if (!tsconfigPath) {
+        console.error('Error: Could not find tsconfig.json');
+        process.exit(1);
+    }
+    if (options.verbose) {
+        console.log(`Using tsconfig: ${tsconfigPath}`);
+    }
+    // Load TypeScript program
+    const program = loadProgram(tsconfigPath);
+    // Create analyzer
+    const analyzer = new analyzer_1.MnemonicaAnalyzer(program);
+    // Determine output directory for exclusion
+    const outputDir = options.outputDir || '.tactica';
+    const outputDirPath = path.resolve(process.cwd(), outputDir);
+    // Analyze all source files
+    for (const sourceFile of program.getSourceFiles()) {
+        if (sourceFile.isDeclarationFile) {
+            continue;
+        }
+        // Always exclude the output directory to avoid analyzing generated files
+        if (sourceFile.fileName.startsWith(outputDirPath + path.sep)) {
+            continue;
+        }
+        // Check exclude patterns
+        if (options.exclude) {
+            const shouldExclude = options.exclude.some(pattern => sourceFile.fileName.includes(pattern.replace(/\*/g, '')));
+            if (shouldExclude) {
+                continue;
+            }
+        }
+        // Check include patterns
+        if (options.include && options.include.length > 0) {
+            const shouldInclude = options.include.some(pattern => sourceFile.fileName.includes(pattern.replace(/\*/g, '')));
+            if (!shouldInclude) {
+                continue;
+            }
+        }
+        if (options.verbose) {
+            console.log(`Analyzing: ${sourceFile.fileName}`);
+        }
+        try {
+            analyzer.analyzeFile(sourceFile);
+        }
+        catch (err) {
+            console.error(`Error analyzing ${sourceFile.fileName}:`, err);
+            throw err;
+        }
+    }
+    // Generate types
+    const graph = analyzer.getGraph();
+    const generator = new generator_1.TypesGenerator(graph);
+    // Check if module augmentation mode is requested (legacy)
+    const useModuleAugmentation = options.globalAugmentation === false;
+    // Generate types based on mode
+    let generatedTypes;
+    let outputPath;
+    const writer = new writer_1.TypesWriter(options.outputDir);
+    if (useModuleAugmentation) {
+        // Legacy mode: generate global augmentation file (index.d.ts)
+        generatedTypes = generator.generateGlobalAugmentation();
+        outputPath = writer.writeGlobalAugmentation(generatedTypes);
+    }
+    else {
+        // Default mode: generate only types.ts for manual imports
+        generatedTypes = generator.generateTypesFile();
+        outputPath = writer.writeTypesFile(generatedTypes);
+    }
+    if (options.verbose) {
+        console.log(`Generated types at: ${outputPath}`);
+        console.log(`Mode: ${useModuleAugmentation ? 'global augmentation (legacy)' : 'types file (default)'}`);
+        console.log(`Found ${generatedTypes.types.length} types:`);
+        printTypeHierarchy(graph);
+    }
+    else {
+        console.log(`Generated ${generatedTypes.types.length} types at ${options.outputDir || '.tactica'}`);
+        if (useModuleAugmentation) {
+            console.log('Using global augmentation mode (legacy, use default mode for types.ts only)');
+        }
+    }
+}
+/**
+ * Watch mode
+ */
+function watch(options) {
+    console.log('Starting watch mode...');
+    // Initial run
+    run(options);
+    // Set up file watching
+    const chokidar = require('chokidar');
+    const tsconfigPath = findTsConfig(options.project);
+    if (!tsconfigPath) {
+        console.error('Error: Could not find tsconfig.json');
+        process.exit(1);
+    }
+    const projectDir = path.dirname(tsconfigPath);
+    const watchPaths = options.include || ['**/*.ts'];
+    const ignorePaths = options.exclude || ['**/*.d.ts', 'node_modules/**', '.tactica/**'];
+    const watcher = chokidar.watch(watchPaths, {
+        cwd: projectDir,
+        ignored: ignorePaths,
+        persistent: true,
+    });
+    watcher.on('change', (filePath) => {
+        if (options.verbose) {
+            console.log(`File changed: ${filePath}`);
+        }
+        run(options);
+    });
+    watcher.on('add', (filePath) => {
+        if (options.verbose) {
+            console.log(`File added: ${filePath}`);
+        }
+        run(options);
+    });
+    console.log('Watching for changes... (Press Ctrl+C to stop)');
+}
+/**
+ * Main entry point
+ */
+function main() {
+    const args = process.argv.slice(2);
+    const options = parseArgs(args);
+    if (options.help) {
+        printHelp();
+        process.exit(0);
+    }
+    try {
+        if (options.watch) {
+            watch(options);
+        }
+        else {
+            run(options);
+        }
+    }
+    catch (error) {
+        console.error('Error:', error instanceof Error ? error.message : error);
+        process.exit(1);
+    }
+}
+// Run if executed directly
+if (require.main === module) {
+    main();
+}
+//# sourceMappingURL=cli.js.map

package/lib/cli.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli.js","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":";AACA,YAAY,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAsWJ,oBAAI;AAAE,kBAAG;AAAE,sBAAK;AAAE,8BAAS;AApWpC,uCAAyB;AACzB,2CAA6B;AAC7B,+CAAiC;AACjC,yCAA+C;AAC/C,2CAA6C;AAC7C,qCAAuC;AAgBvC;;GAEG;AACH,SAAS,SAAS,CAAC,IAAc;IAChC,MAAM,OAAO,GAAe,EAAE,CAAC;IAE/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QAEpB,QAAQ,GAAG,EAAE,CAAC;YACb,KAAK,IAAI,CAAC;YACV,KAAK,SAAS;gBACb,OAAO,CAAC,KAAK,GAAG,IAAI,CAAC;gBACrB,MAAM;YACP,KAAK,IAAI,CAAC;YACV,KAAK,WAAW;gBACf,OAAO,CAAC,OAAO,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;gBAC5B,MAAM;YACP,KAAK,IAAI,CAAC;YACV,KAAK,UAAU;gBACd,OAAO,CAAC,SAAS,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;gBAC9B,MAAM;YACP,KAAK,IAAI,CAAC;YACV,KAAK,WAAW;gBACf,OAAO,CAAC,OAAO,GAAG,CAAC,OAAO,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;gBACvE,MAAM;YACP,KAAK,IAAI,CAAC;YACV,KAAK,WAAW;gBACf,OAAO,CAAC,OAAO,GAAG,CAAC,OAAO,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;gBACvE,MAAM;YACP,KAAK,IAAI,CAAC;YACV,KAAK,uBAAuB;gBAC3B,OAAO,CAAC,kBAAkB,GAAG,KAAK,CAAC;gBACnC,MAAM;YACP,KAAK,IAAI,CAAC;YACV,KAAK,WAAW;gBACf,OAAO,CAAC,OAAO,GAAG,IAAI,CAAC;gBACvB,MAAM;YACP,KAAK,IAAI,CAAC;YACV,KAAK,QAAQ;gBACZ,OAAO,CAAC,IAAI,GAAG,IAAI,CAAC;gBACpB,MAAM;QACR,CAAC;IACF,CAAC;IAED,OAAO,OAAO,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,SAAS,SAAS;IACjB,OAAO,CAAC,GAAG,CAAC;;;;;;;;;;;;;;;;;;;;;CAqBZ,CAAC,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,YAAY,CAAC,WAAoB;IACzC,IAAI,WAAW,EAAE,CAAC;QACjB,IAAI,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;YAChC,OAAO,WAAW,CAAC;QACpB,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,2BAA2B,WAAW,EAAE,CAAC,CAAC;IAC3D,CAAC;IAED,qEAAqE;IACrE,IAAI,UAAU,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;IAC/B,OAAO,UAAU,KAAK,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;QAChD,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,eAAe,CAAC,CAAC;QAC5D,IAAI,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;YACjC,OAAO,YAAY,CAAC;QACrB,CAAC;QACD,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IACvC,CAAC;IAED,OAAO,SAAS,CAAC;AAClB,CAAC;AAED;;GAEG;AACH,SAAS,WAAW,CAAC,YAAoB;IACxC,MAAM,UAAU,GAAG,EAAE,CAAC,cAAc,CAAC,YAAY,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAEpE,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;QACtB,MAAM,IAAI,KAAK,CAAC,2BAA2B,EAAE,CAAC,4BAA4B,CAAC,UAAU,CAAC,KAAK,CAAC,WAAW,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;IACnH,CAAC;IAED,MAAM,YAAY,GAAG,EAAE,CAAC,0BAA0B,CACjD,UAAU,CAAC,MAAM,EACjB,EAAE,CAAC,GAAG,EACN,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAC1B,CAAC;IAEF,IAAI,YAAY,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpC,MAAM,aAAa,GAAG,YAAY,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CACjD,EAAE,CAAC,4BAA4B,CAAC,CAAC,CAAC,WAAW,EAAE,IAAI,CAAC,CACpD,CAAC;QACF,MAAM,IAAI,KAAK,CAAC,2BAA2B,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACxE,CAAC;IAED,MAAM,OAAO,GAAG,EAAE,CAAC,aAAa,CAAC;QAChC,SAAS,EAAE,YAAY,CAAC,SAAS;QACjC,OAAO,EAAE,YAAY,CAAC,OAAO;KAC7B,CAAC,CAAC;IAEH,OAAO,OAAO,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,SAAS,kBAAkB,CAAC,KAAoB;IAC/C,OAAO,CAAC,GAAG,CAAC,0BAA0B,CAAC,CAAC;IAExC,SAAS,SAAS,CAAC,IAAc,EAAE,MAAM,GAAG,EAAE,EAAE,MAAM,GAAG,IAAI;QAC5D,MAAM,SAAS,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;QAC3C,MAAM,YAAY,GAAG,GAAG,IAAI,CAAC,IAAI,UAAU,CAAC;QAC5C,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,GAAG,SAAS,GAAG,YAAY,EAAE,CAAC,CAAC;QAEpD,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;QACpD,MAAM,SAAS,GAAG,MAAM,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAEtD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC1C,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,KAAK,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAC9D,CAAC;IACF,CAAC;IAED,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IAC/C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,oBAAoB;AACpC,CAAC;AAED;;GAEG;AACH,SAAS,GAAG,CAAC,OAAmB;IAC/B,MAAM,YAAY,GAAG,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAEnD,IAAI,CAAC,YAAY,EAAE,CAAC;QACnB,OAAO,CAAC,KAAK,CAAC,qCAAqC,CAAC,CAAC;QACrD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjB,CAAC;IAED,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACrB,OAAO,CAAC,GAAG,CAAC,mBAAmB,YAAY,EAAE,CAAC,CAAC;IAChD,CAAC;IAED,0BAA0B;IAC1B,MAAM,OAAO,GAAG,WAAW,CAAC,YAAY,CAAC,CAAC;IAE1C,kBAAkB;IAClB,MAAM,QAAQ,GAAG,IAAI,4BAAiB,CAAC,OAAO,CAAC,CAAC;IAEhD,2CAA2C;IAC3C,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,UAAU,CAAC;IAClD,MAAM,aAAa,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,SAAS,CAAC,CAAC;IAE7D,2BAA2B;IAC3B,KAAK,MAAM,UAAU,IAAI,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC;QACnD,IAAI,UAAU,CAAC,iBAAiB,EAAE,CAAC;YAClC,SAAS;QACV,CAAC;QAED,yEAAyE;QACzE,IAAI,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,aAAa,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAC9D,SAAS;QACV,CAAC;QAED,yBAAyB;QACzB,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;YACrB,MAAM,aAAa,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CACpD,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CACxD,CAAC;YACF,IAAI,aAAa,EAAE,CAAC;gBACnB,SAAS;YACV,CAAC;QACF,CAAC;QAED,yBAAyB;QACzB,IAAI,OAAO,CAAC,OAAO,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACnD,MAAM,aAAa,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CACpD,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CACxD,CAAC;YACF,IAAI,CAAC,aAAa,EAAE,CAAC;gBACpB,SAAS;YACV,CAAC;QACF,CAAC;QAED,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;YACrB,OAAO,CAAC,GAAG,CAAC,cAAc,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;QAClD,CAAC;QAED,IAAI,CAAC;YACJ,QAAQ,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;QAClC,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACd,OAAO,CAAC,KAAK,CAAC,mBAAmB,UAAU,CAAC,QAAQ,GAAG,EAAE,GAAG,CAAC,CAAC;YAC9D,MAAM,GAAG,CAAC;QACX,CAAC;IACF,CAAC;IAED,iBAAiB;IACjB,MAAM,KAAK,GAAG,QAAQ,CAAC,QAAQ,EAAE,CAAC;IAClC,MAAM,SAAS,GAAG,IAAI,0BAAc,CAAC,KAAK,CAAC,CAAC;IAE5C,0DAA0D;IAC1D,MAAM,qBAAqB,GAAG,OAAO,CAAC,kBAAkB,KAAK,KAAK,CAAC;IAEnE,+BAA+B;IAC/B,IAAI,cAAoD,CAAC;IACzD,IAAI,UAAkB,CAAC;IAEvB,MAAM,MAAM,GAAG,IAAI,oBAAW,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IAElD,IAAI,qBAAqB,EAAE,CAAC;QAC3B,8DAA8D;QAC9D,cAAc,GAAG,SAAS,CAAC,0BAA0B,EAAE,CAAC;QACxD,UAAU,GAAG,MAAM,CAAC,uBAAuB,CAAC,cAAc,CAAC,CAAC;IAC7D,CAAC;SAAM,CAAC;QACP,0DAA0D;QAC1D,cAAc,GAAG,SAAS,CAAC,iBAAiB,EAAE,CAAC;QAC/C,UAAU,GAAG,MAAM,CAAC,cAAc,CAAC,cAAc,CAAC,CAAC;IACpD,CAAC;IAED,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACrB,OAAO,CAAC,GAAG,CAAC,uBAAuB,UAAU,EAAE,CAAC,CAAC;QACjD,OAAO,CAAC,GAAG,CAAC,SAAS,qBAAqB,CAAC,CAAC,CAAC,8BAA8B,CAAC,CAAC,CAAC,sBAAsB,EAAE,CAAC,CAAC;QACxG,OAAO,CAAC,GAAG,CAAC,SAAS,cAAc,CAAC,KAAK,CAAC,MAAM,SAAS,CAAC,CAAC;QAC3D,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAC3B,CAAC;SAAM,CAAC;QACP,OAAO,CAAC,GAAG,CAAC,aAAa,cAAc,CAAC,KAAK,CAAC,MAAM,aAAa,OAAO,CAAC,SAAS,IAAI,UAAU,EAAE,CAAC,CAAC;QACpG,IAAI,qBAAqB,EAAE,CAAC;YAC3B,OAAO,CAAC,GAAG,CAAC,6EAA6E,CAAC,CAAC;QAC5F,CAAC;IACF,CAAC;AACF,CAAC;AAED;;GAEG;AACH,SAAS,KAAK,CAAC,OAAmB;IACjC,OAAO,CAAC,GAAG,CAAC,wBAAwB,CAAC,CAAC;IAEtC,cAAc;IACd,GAAG,CAAC,OAAO,CAAC,CAAC;IAEb,uBAAuB;IACvB,MAAM,QAAQ,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;IACrC,MAAM,YAAY,GAAG,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAEnD,IAAI,CAAC,YAAY,EAAE,CAAC;QACnB,OAAO,CAAC,KAAK,CAAC,qCAAqC,CAAC,CAAC;QACrD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjB,CAAC;IAED,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IAC9C,MAAM,UAAU,GAAG,OAAO,CAAC,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC;IAClD,MAAM,WAAW,GAAG,OAAO,CAAC,OAAO,IAAI,CAAC,WAAW,EAAE,iBAAiB,EAAE,aAAa,CAAC,CAAC;IAEvF,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,UAAU,EAAE;QAC1C,GAAG,EAAE,UAAU;QACf,OAAO,EAAE,WAAW;QACpB,UAAU,EAAE,IAAI;KAChB,CAAC,CAAC;IAEH,OAAO,CAAC,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAgB,EAAE,EAAE;QACzC,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;YACrB,OAAO,CAAC,GAAG,CAAC,iBAAiB,QAAQ,EAAE,CAAC,CAAC;QAC1C,CAAC;QACD,GAAG,CAAC,OAAO,CAAC,CAAC;IACd,CAAC,CAAC,CAAC;IAEH,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,QAAgB,EAAE,EAAE;QACtC,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;YACrB,OAAO,CAAC,GAAG,CAAC,eAAe,QAAQ,EAAE,CAAC,CAAC;QACxC,CAAC;QACD,GAAG,CAAC,OAAO,CAAC,CAAC;IACd,CAAC,CAAC,CAAC;IAEH,OAAO,CAAC,GAAG,CAAC,gDAAgD,CAAC,CAAC;AAC/D,CAAC;AAED;;GAEG;AACH,SAAS,IAAI;IACZ,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACnC,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAEhC,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;QAClB,SAAS,EAAE,CAAC;QACZ,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjB,CAAC;IAED,IAAI,CAAC;QACJ,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;YACnB,KAAK,CAAC,OAAO,CAAC,CAAC;QAChB,CAAC;aAAM,CAAC;YACP,GAAG,CAAC,OAAO,CAAC,CAAC;QACd,CAAC;IACF,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAChB,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACxE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjB,CAAC;AACF,CAAC;AAED,2BAA2B;AAC3B,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;IAC7B,IAAI,EAAE,CAAC;AACR,CAAC"}

package/lib/generator.d.ts

@@ -0,0 +1,42 @@
+import { TypeNode, GeneratedTypes } from './types';
+import { TypeGraphImpl } from './graph';
+/**
+ * TypeScript declaration file generator
+ */
+export declare class TypesGenerator {
+    private graph;
+    constructor(graph: TypeGraphImpl);
+    /**
+        * Generate global augmentation file that augments user classes directly
+        * This allows using decorated classes without manual type casting
+        *
+        * All types are placed in the global scope via declare global, which allows
+        * them to be accessed from any module without imports. Interfaces declared
+        * in the global scope will merge with classes of the same name in user modules.
+        */
+    generateGlobalAugmentation(): GeneratedTypes;
+    /**
+         * Generate instance type alias (describes what the instance IS)
+         * Uses intersection types for inheritance (types can't extend)
+         */
+    private generateInstanceType;
+    /**
+     * Generate class interface for TypeScript declaration merging
+     * This merges with the actual class to provide proper typing
+     */
+    private generateClassInterface;
+    /**
+* Generate a types.ts file with complete instance interfaces
+* This includes all properties extracted from the constructors
+*/
+    generateTypesFile(): GeneratedTypes;
+    /**
+     * Generate a complete instance type alias with all properties
+     * This is for the types.ts file that users import from
+     */
+    private generateCompleteInstanceInterface;
+    /**
+     * Generate a simple type declaration for a single type
+     */
+    generateSingleType(node: TypeNode): string;
+}

package/lib/generator.js

@@ -0,0 +1,187 @@
+'use strict';
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.TypesGenerator = void 0;
+/**
+ * TypeScript declaration file generator
+ */
+class TypesGenerator {
+    constructor(graph) {
+        this.graph = graph;
+    }
+    /**
+        * Generate global augmentation file that augments user classes directly
+        * This allows using decorated classes without manual type casting
+        *
+        * All types are placed in the global scope via declare global, which allows
+        * them to be accessed from any module without imports. Interfaces declared
+        * in the global scope will merge with classes of the same name in user modules.
+        */
+    generateGlobalAugmentation() {
+        const lines = [];
+        const generatedTypes = [];
+        // Header - make this a module so we can use declare global
+        lines.push('// Generated by @mnemonica/tactica - DO NOT EDIT');
+        lines.push('// This file provides automatic type augmentation for decorated classes');
+        lines.push('');
+        lines.push('/* eslint-disable @typescript-eslint/no-empty-object-type */');
+        lines.push('/* eslint-disable @typescript-eslint/no-empty-interface */');
+        lines.push('');
+        // Make this a module so we can use declare global
+        lines.push('export {};');
+        lines.push('');
+        // All types go inside declare global so they are globally accessible
+        lines.push('declare global {');
+        lines.push('');
+        // Helper type - in global scope
+        lines.push('	// Helper type for nested type constructors');
+        lines.push('	type TypeConstructor<T> = {');
+        lines.push('		new (...args: unknown[]): T;');
+        lines.push('		(...args: unknown[]): T;');
+        lines.push('	};');
+        lines.push('');
+        // Generate instance types for all types - in global scope
+        for (const root of this.graph.roots.values()) {
+            for (const node of this.graph.dfs(root)) {
+                const instanceName = `${node.name}Instance`;
+                generatedTypes.push(instanceName);
+                this.generateInstanceType(node, lines, 1);
+            }
+        }
+        // Generate class interfaces - in global scope for declaration merging
+        // These interfaces will merge with classes of the same name in user modules
+        lines.push('	// Class interfaces for declaration merging');
+        lines.push('	// These merge with @decorate() classes to provide proper typing');
+        lines.push('');
+        for (const root of this.graph.roots.values()) {
+            for (const node of this.graph.dfs(root)) {
+                this.generateClassInterface(node, lines, 1);
+            }
+        }
+        lines.push('}');
+        return {
+            content: lines.join('\n'),
+            types: generatedTypes,
+        };
+    }
+    /**
+         * Generate instance type alias (describes what the instance IS)
+         * Uses intersection types for inheritance (types can't extend)
+         */
+    generateInstanceType(node, lines, indent) {
+        const indentStr = '\t'.repeat(indent);
+        const instanceName = `${node.name}Instance`;
+        // Build intersection with parent instance
+        const parentType = node.parent ? `${node.parent.name}Instance & ` : '';
+        // Instance is a type describing the data structure
+        lines.push(`${indentStr}type ${instanceName} = ${parentType}{`);
+        // Add instance properties
+        for (const [propName, propInfo] of node.properties.entries()) {
+            const optional = propInfo.optional ? '?' : '';
+            lines.push(`${indentStr}\t${propName}${optional}: ${propInfo.type};`);
+        }
+        // Add nested constructor properties (mnemonica subtypes)
+        for (const child of node.children.values()) {
+            const childInstanceType = `${child.name}Instance`;
+            lines.push(`${indentStr}\t${child.name}: TypeConstructor<${childInstanceType}>;`);
+        }
+        lines.push(`${indentStr}}`);
+        // Add empty line after each type
+        lines.push('');
+    }
+    /**
+     * Generate class interface for TypeScript declaration merging
+     * This merges with the actual class to provide proper typing
+     */
+    generateClassInterface(node, lines, indent) {
+        const indentStr = '\t'.repeat(indent);
+        // Build extends clause
+        const extendsTypes = [];
+        if (node.parent) {
+            extendsTypes.push(node.parent.name);
+        }
+        const extendsClause = extendsTypes.length > 0
+            ? ` extends ${extendsTypes.join(', ')}`
+            : '';
+        // Interface with same name as class - TypeScript merges these
+        lines.push(`${indentStr}interface ${node.name}${extendsClause} {`);
+        // Add all instance properties (for type merging)
+        for (const [propName, propInfo] of node.properties.entries()) {
+            const optional = propInfo.optional ? '?' : '';
+            lines.push(`${indentStr}\t${propName}${optional}: ${propInfo.type};`);
+        }
+        // Add subtype constructors (non-optional so they're accessible)
+        for (const child of node.children.values()) {
+            const childInstanceType = `${child.name}Instance`;
+            lines.push(`${indentStr}\t${child.name}: TypeConstructor<${childInstanceType}>;`);
+        }
+        lines.push(`${indentStr}}`);
+        lines.push('');
+    }
+    /**
+* Generate a types.ts file with complete instance interfaces
+* This includes all properties extracted from the constructors
+*/
+    generateTypesFile() {
+        const lines = [];
+        const generatedTypes = [];
+        // Header
+        lines.push('// Generated by @mnemonica/tactica - DO NOT EDIT');
+        lines.push('// This file provides complete TypeScript interfaces for Mnemonica types');
+        lines.push('');
+        lines.push('/* eslint-disable @typescript-eslint/no-empty-object-type */');
+        lines.push('/* eslint-disable @typescript-eslint/no-empty-interface */');
+        lines.push('');
+        // Define a helper type for nested constructors (since IDefinitorInstance is internal)
+        lines.push('// Helper type for nested type constructors');
+        lines.push('type TypeConstructor<T> = {');
+        lines.push('\tnew (...args: unknown[]): T;');
+        lines.push('\t(...args: unknown[]): T;');
+        lines.push('};');
+        lines.push('');
+        // Generate complete instance interfaces
+        for (const root of this.graph.roots.values()) {
+            for (const node of this.graph.dfs(root)) {
+                const interfaceName = `${node.name}Instance`;
+                generatedTypes.push(interfaceName);
+                this.generateCompleteInstanceInterface(node, lines);
+            }
+        }
+        return {
+            content: lines.join('\n'),
+            types: generatedTypes,
+        };
+    }
+    /**
+     * Generate a complete instance type alias with all properties
+     * This is for the types.ts file that users import from
+     */
+    generateCompleteInstanceInterface(node, lines) {
+        const typeName = `${node.name}Instance`;
+        // Build intersection with parent type
+        const parentType = node.parent ? `${node.parent.name}Instance & ` : '';
+        // Export the type alias
+        lines.push(`export type ${typeName} = ${parentType}{`);
+        // Add instance properties extracted from the constructor
+        for (const [propName, propInfo] of node.properties.entries()) {
+            const optional = propInfo.optional ? '?' : '';
+            lines.push(`\t${propName}${optional}: ${propInfo.type};`);
+        }
+        // Add nested constructor properties
+        for (const child of node.children.values()) {
+            const childInstanceType = `${child.name}Instance`;
+            lines.push(`\t${child.name}: TypeConstructor<${childInstanceType}>;`);
+        }
+        lines.push('}');
+        lines.push('');
+    }
+    /**
+     * Generate a simple type declaration for a single type
+     */
+    generateSingleType(node) {
+        const lines = [];
+        this.generateCompleteInstanceInterface(node, lines);
+        return lines.join('\n');
+    }
+}
+exports.TypesGenerator = TypesGenerator;
+//# sourceMappingURL=generator.js.map

package/lib/generator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"generator.js","sourceRoot":"","sources":["../src/generator.ts"],"names":[],"mappings":"AAAA,YAAY,CAAC;;;AAKb;;GAEG;AACH,MAAa,cAAc;IAC1B,YAAoB,KAAoB;QAApB,UAAK,GAAL,KAAK,CAAe;IAAG,CAAC;IAE5C;;;;;;;UAOG;IACH,0BAA0B;QACzB,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,MAAM,cAAc,GAAa,EAAE,CAAC;QAEpC,2DAA2D;QAC3D,KAAK,CAAC,IAAI,CAAC,kDAAkD,CAAC,CAAC;QAC/D,KAAK,CAAC,IAAI,CAAC,yEAAyE,CAAC,CAAC;QACtF,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,8DAA8D,CAAC,CAAC;QAC3E,KAAK,CAAC,IAAI,CAAC,4DAA4D,CAAC,CAAC;QACzE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEf,kDAAkD;QAClD,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACzB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEf,qEAAqE;QACrE,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QAC/B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEf,gCAAgC;QAChC,KAAK,CAAC,IAAI,CAAC,8CAA8C,CAAC,CAAC;QAC3D,KAAK,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;QAC3C,KAAK,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;QAC7C,KAAK,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;QACzC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEf,0DAA0D;QAC1D,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;YAC9C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzC,MAAM,YAAY,GAAG,GAAG,IAAI,CAAC,IAAI,UAAU,CAAC;gBAC5C,cAAc,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;gBAClC,IAAI,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;YAC3C,CAAC;QACF,CAAC;QAED,sEAAsE;QACtE,4EAA4E;QAC5E,KAAK,CAAC,IAAI,CAAC,8CAA8C,CAAC,CAAC;QAC3D,KAAK,CAAC,IAAI,CAAC,mEAAmE,CAAC,CAAC;QAChF,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;YAC9C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzC,IAAI,CAAC,sBAAsB,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;YAC7C,CAAC;QACF,CAAC;QAED,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAEhB,OAAO;YACN,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;YACzB,KAAK,EAAE,cAAc;SACrB,CAAC;IACH,CAAC;IAED;;;WAGI;IACK,oBAAoB,CAAC,IAAc,EAAE,KAAe,EAAE,MAAc;QAC3E,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACtC,MAAM,YAAY,GAAG,GAAG,IAAI,CAAC,IAAI,UAAU,CAAC;QAE5C,0CAA0C;QAC1C,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;QAEvE,mDAAmD;QACnD,KAAK,CAAC,IAAI,CAAC,GAAG,SAAS,QAAQ,YAAY,MAAM,UAAU,GAAG,CAAC,CAAC;QAEhE,0BAA0B;QAC1B,KAAK,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC;YAC9D,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9C,KAAK,CAAC,IAAI,CAAC,GAAG,SAAS,KAAK,QAAQ,GAAG,QAAQ,KAAK,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAC;QACvE,CAAC;QAED,yDAAyD;QACzD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;YAC5C,MAAM,iBAAiB,GAAG,GAAG,KAAK,CAAC,IAAI,UAAU,CAAC;YAClD,KAAK,CAAC,IAAI,CAAC,GAAG,SAAS,KAAK,KAAK,CAAC,IAAI,qBAAqB,iBAAiB,IAAI,CAAC,CAAC;QACnF,CAAC;QAED,KAAK,CAAC,IAAI,CAAC,GAAG,SAAS,GAAG,CAAC,CAAC;QAE5B,iCAAiC;QACjC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAChB,CAAC;IAED;;;OAGG;IACK,sBAAsB,CAAC,IAAc,EAAE,KAAe,EAAE,MAAc;QAC9E,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAEtC,uBAAuB;QACtB,MAAM,YAAY,GAAa,EAAE,CAAC;QAClC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YACjB,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACrC,CAAC;QAED,MAAM,aAAa,GAAG,YAAY,CAAC,MAAM,GAAG,CAAC;YAC5C,CAAC,CAAC,YAAY,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YACvC,CAAC,CAAC,EAAE,CAAC;QAEN,8DAA8D;QAC9D,KAAK,CAAC,IAAI,CAAC,GAAG,SAAS,aAAa,IAAI,CAAC,IAAI,GAAG,aAAa,IAAI,CAAC,CAAC;QAEnE,iDAAiD;QACjD,KAAK,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC;YAC9D,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9C,KAAK,CAAC,IAAI,CAAC,GAAG,SAAS,KAAK,QAAQ,GAAG,QAAQ,KAAK,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAC;QACvE,CAAC;QAED,gEAAgE;QAChE,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;YAC5C,MAAM,iBAAiB,GAAG,GAAG,KAAK,CAAC,IAAI,UAAU,CAAC;YAClD,KAAK,CAAC,IAAI,CAAC,GAAG,SAAS,KAAK,KAAK,CAAC,IAAI,qBAAqB,iBAAiB,IAAI,CAAC,CAAC;QACnF,CAAC;QAED,KAAK,CAAC,IAAI,CAAC,GAAG,SAAS,GAAG,CAAC,CAAC;QAC5B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAChB,CAAC;IAEA;;;EAGC;IACH,iBAAiB;QAChB,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,MAAM,cAAc,GAAa,EAAE,CAAC;QAEpC,SAAS;QACT,KAAK,CAAC,IAAI,CAAC,kDAAkD,CAAC,CAAC;QAC/D,KAAK,CAAC,IAAI,CAAC,0EAA0E,CAAC,CAAC;QACvF,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,8DAA8D,CAAC,CAAC;QAC3E,KAAK,CAAC,IAAI,CAAC,4DAA4D,CAAC,CAAC;QACzE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEf,sFAAsF;QACtF,KAAK,CAAC,IAAI,CAAC,6CAA6C,CAAC,CAAC;QAC1D,KAAK,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;QAC1C,KAAK,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;QAC7C,KAAK,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;QACzC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEf,wCAAwC;QACxC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;YAC9C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzC,MAAM,aAAa,GAAG,GAAG,IAAI,CAAC,IAAI,UAAU,CAAC;gBAC7C,cAAc,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;gBACnC,IAAI,CAAC,iCAAiC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACrD,CAAC;QACF,CAAC;QAED,OAAO;YACN,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;YACzB,KAAK,EAAE,cAAc;SACrB,CAAC;IACH,CAAC;IAED;;;OAGG;IACK,iCAAiC,CAAC,IAAc,EAAE,KAAe;QACxE,MAAM,QAAQ,GAAG,GAAG,IAAI,CAAC,IAAI,UAAU,CAAC;QAExC,sCAAsC;QACtC,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;QAEvE,wBAAwB;QACxB,KAAK,CAAC,IAAI,CAAC,eAAe,QAAQ,MAAM,UAAU,GAAG,CAAC,CAAC;QAEvD,yDAAyD;QACzD,KAAK,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC;YAC9D,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9C,KAAK,CAAC,IAAI,CAAC,KAAK,QAAQ,GAAG,QAAQ,KAAK,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAC;QAC3D,CAAC;QAED,oCAAoC;QACpC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;YAC5C,MAAM,iBAAiB,GAAG,GAAG,KAAK,CAAC,IAAI,UAAU,CAAC;YAClD,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI,qBAAqB,iBAAiB,IAAI,CAAC,CAAC;QACvE,CAAC;QAED,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAChB,CAAC;IAED;;OAEG;IACH,kBAAkB,CAAC,IAAc;QAChC,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,IAAI,CAAC,iCAAiC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACpD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzB,CAAC;CACD;AAnND,wCAmNC"}

package/lib/graph.d.ts

@@ -0,0 +1,25 @@
+import { TypeNode, TypeGraph } from './types';
+/**
+ * Trie-based type graph for storing Mnemonica type hierarchy
+ */
+export declare class TypeGraphImpl implements TypeGraph {
+    roots: Map<string, TypeNode>;
+    allTypes: Map<string, TypeNode>;
+    addRoot(node: TypeNode): void;
+    addChild(parent: TypeNode, child: TypeNode): void;
+    findType(fullPath: string): TypeNode | undefined;
+    getAllTypes(): TypeNode[];
+    clear(): void;
+    /**
+     * Create a new TypeNode
+     */
+    static createNode(name: string, parent: TypeNode | undefined, sourceFile: string, line: number, column: number): TypeNode;
+    /**
+     * Traverse the graph in breadth-first order
+     */
+    bfs(): Generator<TypeNode>;
+    /**
+     * Traverse the graph in depth-first order
+     */
+    dfs(node?: TypeNode, visited?: Set<string>): Generator<TypeNode>;
+}