@nahisaho/musubix-dfg 1.8.5

package/dist/types/index.d.ts

@@ -0,0 +1,312 @@
+/**
+ * Type definitions for DFG/CFG analysis
+ *
+ * @packageDocumentation
+ * @module @nahisaho/musubix-dfg/types
+ */
+/**
+ * Unique identifier for graph nodes
+ */
+export type NodeId = string;
+/**
+ * Unique identifier for graph edges
+ */
+export type EdgeId = string;
+/**
+ * Source location in code
+ */
+export interface SourceLocation {
+    /** File path */
+    filePath: string;
+    /** Start line (1-based) */
+    startLine: number;
+    /** Start column (0-based) */
+    startColumn: number;
+    /** End line (1-based) */
+    endLine: number;
+    /** End column (0-based) */
+    endColumn: number;
+}
+/**
+ * Node types in Data Flow Graph
+ */
+export type DFGNodeType = 'variable' | 'parameter' | 'literal' | 'expression' | 'call' | 'return' | 'assignment' | 'property-access' | 'array-access' | 'binary-operation' | 'unary-operation' | 'conditional' | 'function' | 'class' | 'import' | 'export';
+/**
+ * Edge types in Data Flow Graph
+ */
+export type DFGEdgeType = 'def-use' | 'use-def' | 'data-dep' | 'call-arg' | 'call-return' | 'property' | 'alias' | 'phi' | 'control-dep';
+/**
+ * Data type information for nodes
+ */
+export interface TypeInfo {
+    /** Type name */
+    name: string;
+    /** Full qualified type */
+    fullType: string;
+    /** Is nullable */
+    nullable: boolean;
+    /** Generic type arguments */
+    typeArguments?: TypeInfo[];
+    /** Is array type */
+    isArray: boolean;
+    /** Is promise type */
+    isPromise: boolean;
+}
+/**
+ * Node in Data Flow Graph
+ */
+export interface DFGNode {
+    /** Unique node identifier */
+    id: NodeId;
+    /** Node type */
+    type: DFGNodeType;
+    /** Node name/label */
+    name: string;
+    /** Source code location */
+    location: SourceLocation;
+    /** Type information */
+    typeInfo?: TypeInfo;
+    /** Scope path (e.g., 'module.class.method') */
+    scope: string;
+    /** Additional metadata */
+    metadata: Record<string, unknown>;
+}
+/**
+ * Edge in Data Flow Graph
+ */
+export interface DFGEdge {
+    /** Unique edge identifier */
+    id: EdgeId;
+    /** Edge type */
+    type: DFGEdgeType;
+    /** Source node ID */
+    source: NodeId;
+    /** Target node ID */
+    target: NodeId;
+    /** Edge label/description */
+    label?: string;
+    /** Edge weight (for analysis) */
+    weight: number;
+    /** Additional metadata */
+    metadata: Record<string, unknown>;
+}
+/**
+ * Complete Data Flow Graph
+ */
+export interface DataFlowGraph {
+    /** Graph identifier */
+    id: string;
+    /** Source file path */
+    filePath: string;
+    /** All nodes */
+    nodes: Map<NodeId, DFGNode>;
+    /** All edges */
+    edges: Map<EdgeId, DFGEdge>;
+    /** Entry points (function/module entries) */
+    entryPoints: NodeId[];
+    /** Exit points */
+    exitPoints: NodeId[];
+    /** Analysis metadata */
+    metadata: {
+        /** Analysis timestamp */
+        analyzedAt: Date;
+        /** Language version */
+        languageVersion: string;
+        /** Number of nodes */
+        nodeCount: number;
+        /** Number of edges */
+        edgeCount: number;
+    };
+}
+/**
+ * Basic block types in Control Flow Graph
+ */
+export type CFGBlockType = 'entry' | 'exit' | 'basic' | 'conditional' | 'loop-header' | 'loop-body' | 'loop-exit' | 'switch' | 'case' | 'try' | 'catch' | 'finally' | 'throw';
+/**
+ * Edge types in Control Flow Graph
+ */
+export type CFGEdgeType = 'sequential' | 'conditional-true' | 'conditional-false' | 'loop-back' | 'loop-exit' | 'switch-case' | 'switch-default' | 'exception' | 'return' | 'break' | 'continue';
+/**
+ * Statement in a basic block
+ */
+export interface CFGStatement {
+    /** Statement index in block */
+    index: number;
+    /** Statement type */
+    type: string;
+    /** Source code text */
+    text: string;
+    /** Source location */
+    location: SourceLocation;
+}
+/**
+ * Basic block in Control Flow Graph
+ */
+export interface CFGBlock {
+    /** Unique block identifier */
+    id: NodeId;
+    /** Block type */
+    type: CFGBlockType;
+    /** Block label */
+    label: string;
+    /** Statements in this block */
+    statements: CFGStatement[];
+    /** Predecessor block IDs */
+    predecessors: NodeId[];
+    /** Successor block IDs */
+    successors: NodeId[];
+    /** Dominator block ID */
+    dominator?: NodeId;
+    /** Post-dominator block ID */
+    postDominator?: NodeId;
+    /** Loop depth */
+    loopDepth: number;
+    /** Source location */
+    location: SourceLocation;
+}
+/**
+ * Edge in Control Flow Graph
+ */
+export interface CFGEdge {
+    /** Unique edge identifier */
+    id: EdgeId;
+    /** Edge type */
+    type: CFGEdgeType;
+    /** Source block ID */
+    source: NodeId;
+    /** Target block ID */
+    target: NodeId;
+    /** Condition expression (for conditional edges) */
+    condition?: string;
+    /** Is back edge (loop) */
+    isBackEdge: boolean;
+}
+/**
+ * Complete Control Flow Graph
+ */
+export interface ControlFlowGraph {
+    /** Graph identifier */
+    id: string;
+    /** Function/method name */
+    functionName: string;
+    /** Source file path */
+    filePath: string;
+    /** Entry block ID */
+    entryBlock: NodeId;
+    /** Exit block IDs */
+    exitBlocks: NodeId[];
+    /** All blocks */
+    blocks: Map<NodeId, CFGBlock>;
+    /** All edges */
+    edges: Map<EdgeId, CFGEdge>;
+    /** Analysis metadata */
+    metadata: {
+        /** Analysis timestamp */
+        analyzedAt: Date;
+        /** Cyclomatic complexity */
+        cyclomaticComplexity: number;
+        /** Maximum loop depth */
+        maxLoopDepth: number;
+        /** Number of blocks */
+        blockCount: number;
+        /** Number of edges */
+        edgeCount: number;
+    };
+}
+/**
+ * Options for DFG analysis
+ */
+export interface DFGAnalysisOptions {
+    /** Include inter-procedural analysis */
+    interprocedural: boolean;
+    /** Track aliasing */
+    trackAliasing: boolean;
+    /** Include type information */
+    includeTypes: boolean;
+    /** Maximum analysis depth */
+    maxDepth: number;
+    /** Timeout in milliseconds */
+    timeout: number;
+    /** Include library/external dependencies */
+    includeExternal: boolean;
+}
+/**
+ * Options for CFG analysis
+ */
+export interface CFGAnalysisOptions {
+    /** Compute dominators */
+    computeDominators: boolean;
+    /** Compute post-dominators */
+    computePostDominators: boolean;
+    /** Identify loops */
+    identifyLoops: boolean;
+    /** Include exception flow */
+    includeExceptions: boolean;
+    /** Maximum analysis depth */
+    maxDepth: number;
+    /** Timeout in milliseconds */
+    timeout: number;
+}
+/**
+ * Default DFG analysis options
+ */
+export declare const DEFAULT_DFG_OPTIONS: DFGAnalysisOptions;
+/**
+ * Default CFG analysis options
+ */
+export declare const DEFAULT_CFG_OPTIONS: CFGAnalysisOptions;
+/**
+ * Data dependency chain
+ */
+export interface DataDependencyChain {
+    /** Starting variable/expression */
+    source: DFGNode;
+    /** Dependency chain */
+    chain: DFGEdge[];
+    /** End variable/expression */
+    target: DFGNode;
+    /** Chain length */
+    length: number;
+}
+/**
+ * Execution path through CFG
+ */
+export interface ExecutionPath {
+    /** Path identifier */
+    id: string;
+    /** Blocks in path order */
+    blocks: CFGBlock[];
+    /** Edges in path */
+    edges: CFGEdge[];
+    /** Path conditions */
+    conditions: string[];
+    /** Is feasible path */
+    isFeasible: boolean;
+}
+/**
+ * Variable definition-use information
+ */
+export interface DefUseInfo {
+    /** Variable name */
+    variable: string;
+    /** Definition node */
+    definition: DFGNode;
+    /** Use nodes */
+    uses: DFGNode[];
+    /** Is dead code (no uses) */
+    isDeadCode: boolean;
+}
+/**
+ * Taint propagation result
+ */
+export interface TaintPropagation {
+    /** Taint source */
+    source: DFGNode;
+    /** Taint sinks */
+    sinks: DFGNode[];
+    /** Propagation paths */
+    paths: DataDependencyChain[];
+    /** Sanitizers encountered */
+    sanitizers: DFGNode[];
+}
+//# sourceMappingURL=index.d.ts.map

package/dist/types/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/types/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAMH;;GAEG;AACH,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC;AAE5B;;GAEG;AACH,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC;AAE5B;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,gBAAgB;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,2BAA2B;IAC3B,SAAS,EAAE,MAAM,CAAC;IAClB,6BAA6B;IAC7B,WAAW,EAAE,MAAM,CAAC;IACpB,yBAAyB;IACzB,OAAO,EAAE,MAAM,CAAC;IAChB,2BAA2B;IAC3B,SAAS,EAAE,MAAM,CAAC;CACnB;AAMD;;GAEG;AACH,MAAM,MAAM,WAAW,GACnB,UAAU,GACV,WAAW,GACX,SAAS,GACT,YAAY,GACZ,MAAM,GACN,QAAQ,GACR,YAAY,GACZ,iBAAiB,GACjB,cAAc,GACd,kBAAkB,GAClB,iBAAiB,GACjB,aAAa,GACb,UAAU,GACV,OAAO,GACP,QAAQ,GACR,QAAQ,CAAC;AAEb;;GAEG;AACH,MAAM,MAAM,WAAW,GACnB,SAAS,GACT,SAAS,GACT,UAAU,GACV,UAAU,GACV,aAAa,GACb,UAAU,GACV,OAAO,GACP,KAAK,GACL,aAAa,CAAC;AAElB;;GAEG;AACH,MAAM,WAAW,QAAQ;IACvB,gBAAgB;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,0BAA0B;IAC1B,QAAQ,EAAE,MAAM,CAAC;IACjB,kBAAkB;IAClB,QAAQ,EAAE,OAAO,CAAC;IAClB,6BAA6B;IAC7B,aAAa,CAAC,EAAE,QAAQ,EAAE,CAAC;IAC3B,oBAAoB;IACpB,OAAO,EAAE,OAAO,CAAC;IACjB,sBAAsB;IACtB,SAAS,EAAE,OAAO,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,OAAO;IACtB,6BAA6B;IAC7B,EAAE,EAAE,MAAM,CAAC;IACX,gBAAgB;IAChB,IAAI,EAAE,WAAW,CAAC;IAClB,sBAAsB;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,2BAA2B;IAC3B,QAAQ,EAAE,cAAc,CAAC;IACzB,uBAAuB;IACvB,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,+CAA+C;IAC/C,KAAK,EAAE,MAAM,CAAC;IACd,0BAA0B;IAC1B,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACnC;AAED;;GAEG;AACH,MAAM,WAAW,OAAO;IACtB,6BAA6B;IAC7B,EAAE,EAAE,MAAM,CAAC;IACX,gBAAgB;IAChB,IAAI,EAAE,WAAW,CAAC;IAClB,qBAAqB;IACrB,MAAM,EAAE,MAAM,CAAC;IACf,qBAAqB;IACrB,MAAM,EAAE,MAAM,CAAC;IACf,6BAA6B;IAC7B,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,iCAAiC;IACjC,MAAM,EAAE,MAAM,CAAC;IACf,0BAA0B;IAC1B,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACnC;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,uBAAuB;IACvB,EAAE,EAAE,MAAM,CAAC;IACX,uBAAuB;IACvB,QAAQ,EAAE,MAAM,CAAC;IACjB,gBAAgB;IAChB,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC5B,gBAAgB;IAChB,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC5B,6CAA6C;IAC7C,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,kBAAkB;IAClB,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,wBAAwB;IACxB,QAAQ,EAAE;QACR,yBAAyB;QACzB,UAAU,EAAE,IAAI,CAAC;QACjB,uBAAuB;QACvB,eAAe,EAAE,MAAM,CAAC;QACxB,sBAAsB;QACtB,SAAS,EAAE,MAAM,CAAC;QAClB,sBAAsB;QACtB,SAAS,EAAE,MAAM,CAAC;KACnB,CAAC;CACH;AAMD;;GAEG;AACH,MAAM,MAAM,YAAY,GACpB,OAAO,GACP,MAAM,GACN,OAAO,GACP,aAAa,GACb,aAAa,GACb,WAAW,GACX,WAAW,GACX,QAAQ,GACR,MAAM,GACN,KAAK,GACL,OAAO,GACP,SAAS,GACT,OAAO,CAAC;AAEZ;;GAEG;AACH,MAAM,MAAM,WAAW,GACnB,YAAY,GACZ,kBAAkB,GAClB,mBAAmB,GACnB,WAAW,GACX,WAAW,GACX,aAAa,GACb,gBAAgB,GAChB,WAAW,GACX,QAAQ,GACR,OAAO,GACP,UAAU,CAAC;AAEf;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,+BAA+B;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,qBAAqB;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,uBAAuB;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,sBAAsB;IACtB,QAAQ,EAAE,cAAc,CAAC;CAC1B;AAED;;GAEG;AACH,MAAM,WAAW,QAAQ;IACvB,8BAA8B;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,iBAAiB;IACjB,IAAI,EAAE,YAAY,CAAC;IACnB,kBAAkB;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,+BAA+B;IAC/B,UAAU,EAAE,YAAY,EAAE,CAAC;IAC3B,4BAA4B;IAC5B,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,0BAA0B;IAC1B,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,yBAAyB;IACzB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,8BAA8B;IAC9B,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,iBAAiB;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,sBAAsB;IACtB,QAAQ,EAAE,cAAc,CAAC;CAC1B;AAED;;GAEG;AACH,MAAM,WAAW,OAAO;IACtB,6BAA6B;IAC7B,EAAE,EAAE,MAAM,CAAC;IACX,gBAAgB;IAChB,IAAI,EAAE,WAAW,CAAC;IAClB,sBAAsB;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,sBAAsB;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,mDAAmD;IACnD,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,0BAA0B;IAC1B,UAAU,EAAE,OAAO,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,uBAAuB;IACvB,EAAE,EAAE,MAAM,CAAC;IACX,2BAA2B;IAC3B,YAAY,EAAE,MAAM,CAAC;IACrB,uBAAuB;IACvB,QAAQ,EAAE,MAAM,CAAC;IACjB,qBAAqB;IACrB,UAAU,EAAE,MAAM,CAAC;IACnB,qBAAqB;IACrB,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,iBAAiB;IACjB,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC9B,gBAAgB;IAChB,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC5B,wBAAwB;IACxB,QAAQ,EAAE;QACR,yBAAyB;QACzB,UAAU,EAAE,IAAI,CAAC;QACjB,4BAA4B;QAC5B,oBAAoB,EAAE,MAAM,CAAC;QAC7B,yBAAyB;QACzB,YAAY,EAAE,MAAM,CAAC;QACrB,uBAAuB;QACvB,UAAU,EAAE,MAAM,CAAC;QACnB,sBAAsB;QACtB,SAAS,EAAE,MAAM,CAAC;KACnB,CAAC;CACH;AAMD;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,wCAAwC;IACxC,eAAe,EAAE,OAAO,CAAC;IACzB,qBAAqB;IACrB,aAAa,EAAE,OAAO,CAAC;IACvB,+BAA+B;IAC/B,YAAY,EAAE,OAAO,CAAC;IACtB,6BAA6B;IAC7B,QAAQ,EAAE,MAAM,CAAC;IACjB,8BAA8B;IAC9B,OAAO,EAAE,MAAM,CAAC;IAChB,4CAA4C;IAC5C,eAAe,EAAE,OAAO,CAAC;CAC1B;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,yBAAyB;IACzB,iBAAiB,EAAE,OAAO,CAAC;IAC3B,8BAA8B;IAC9B,qBAAqB,EAAE,OAAO,CAAC;IAC/B,qBAAqB;IACrB,aAAa,EAAE,OAAO,CAAC;IACvB,6BAA6B;IAC7B,iBAAiB,EAAE,OAAO,CAAC;IAC3B,6BAA6B;IAC7B,QAAQ,EAAE,MAAM,CAAC;IACjB,8BAA8B;IAC9B,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;GAEG;AACH,eAAO,MAAM,mBAAmB,EAAE,kBAOjC,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,mBAAmB,EAAE,kBAOjC,CAAC;AAMF;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,mCAAmC;IACnC,MAAM,EAAE,OAAO,CAAC;IAChB,uBAAuB;IACvB,KAAK,EAAE,OAAO,EAAE,CAAC;IACjB,8BAA8B;IAC9B,MAAM,EAAE,OAAO,CAAC;IAChB,mBAAmB;IACnB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,sBAAsB;IACtB,EAAE,EAAE,MAAM,CAAC;IACX,2BAA2B;IAC3B,MAAM,EAAE,QAAQ,EAAE,CAAC;IACnB,oBAAoB;IACpB,KAAK,EAAE,OAAO,EAAE,CAAC;IACjB,sBAAsB;IACtB,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,uBAAuB;IACvB,UAAU,EAAE,OAAO,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,oBAAoB;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,sBAAsB;IACtB,UAAU,EAAE,OAAO,CAAC;IACpB,gBAAgB;IAChB,IAAI,EAAE,OAAO,EAAE,CAAC;IAChB,6BAA6B;IAC7B,UAAU,EAAE,OAAO,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,mBAAmB;IACnB,MAAM,EAAE,OAAO,CAAC;IAChB,kBAAkB;IAClB,KAAK,EAAE,OAAO,EAAE,CAAC;IACjB,wBAAwB;IACxB,KAAK,EAAE,mBAAmB,EAAE,CAAC;IAC7B,6BAA6B;IAC7B,UAAU,EAAE,OAAO,EAAE,CAAC;CACvB"}

package/dist/types/index.js

@@ -0,0 +1,29 @@
+/**
+ * Type definitions for DFG/CFG analysis
+ *
+ * @packageDocumentation
+ * @module @nahisaho/musubix-dfg/types
+ */
+/**
+ * Default DFG analysis options
+ */
+export const DEFAULT_DFG_OPTIONS = {
+    interprocedural: false,
+    trackAliasing: true,
+    includeTypes: true,
+    maxDepth: 10,
+    timeout: 30000,
+    includeExternal: false,
+};
+/**
+ * Default CFG analysis options
+ */
+export const DEFAULT_CFG_OPTIONS = {
+    computeDominators: true,
+    computePostDominators: true,
+    identifyLoops: true,
+    includeExceptions: true,
+    maxDepth: 10,
+    timeout: 30000,
+};
+//# sourceMappingURL=index.js.map

package/dist/types/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/types/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAuUH;;GAEG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAuB;IACrD,eAAe,EAAE,KAAK;IACtB,aAAa,EAAE,IAAI;IACnB,YAAY,EAAE,IAAI;IAClB,QAAQ,EAAE,EAAE;IACZ,OAAO,EAAE,KAAK;IACd,eAAe,EAAE,KAAK;CACvB,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAuB;IACrD,iBAAiB,EAAE,IAAI;IACvB,qBAAqB,EAAE,IAAI;IAC3B,aAAa,EAAE,IAAI;IACnB,iBAAiB,EAAE,IAAI;IACvB,QAAQ,EAAE,EAAE;IACZ,OAAO,EAAE,KAAK;CACf,CAAC"}

package/dist/yata/index.d.ts

@@ -0,0 +1,135 @@
+/**
+ * YATA Knowledge Graph integration for DFG/CFG
+ *
+ * @packageDocumentation
+ * @module @nahisaho/musubix-dfg/yata
+ */
+import type { DataFlowGraph, ControlFlowGraph } from '../types/index.js';
+/**
+ * RDF Triple for YATA knowledge graph
+ */
+export interface Triple {
+    subject: string;
+    predicate: string;
+    object: string;
+    graph?: string;
+}
+/**
+ * Namespace prefixes for DFG/CFG triples
+ */
+export declare const DFG_NAMESPACES: {
+    readonly dfg: "https://musubix.dev/ontology/dfg#";
+    readonly cfg: "https://musubix.dev/ontology/cfg#";
+    readonly code: "https://musubix.dev/ontology/code#";
+    readonly rdf: "http://www.w3.org/1999/02/22-rdf-syntax-ns#";
+    readonly rdfs: "http://www.w3.org/2000/01/rdf-schema#";
+    readonly xsd: "http://www.w3.org/2001/XMLSchema#";
+};
+/**
+ * Options for YATA export
+ */
+export interface YATAExportOptions {
+    /** Include source location information */
+    includeLocation: boolean;
+    /** Include type information */
+    includeTypes: boolean;
+    /** Include metadata */
+    includeMetadata: boolean;
+    /** Graph namespace */
+    graphNamespace: string;
+}
+/**
+ * Default export options
+ */
+export declare const DEFAULT_EXPORT_OPTIONS: YATAExportOptions;
+/**
+ * Convert Data Flow Graph to YATA triples
+ *
+ * @example
+ * ```typescript
+ * const converter = new DFGToYATAConverter();
+ * const triples = converter.convert(dfg);
+ *
+ * // Import to YATA
+ * await yataLocal.importTriples(triples);
+ * ```
+ *
+ * @traces REQ-DFG-003
+ */
+export declare class DFGToYATAConverter {
+    private options;
+    constructor(options?: Partial<YATAExportOptions>);
+    /**
+     * Convert DFG to triples
+     */
+    convert(dfg: DataFlowGraph): Triple[];
+    private convertDFGNode;
+    private convertDFGEdge;
+    private capitalize;
+    private edgeTypeToClass;
+    private escapeString;
+}
+/**
+ * Convert Control Flow Graph to YATA triples
+ *
+ * @traces REQ-DFG-003
+ */
+export declare class CFGToYATAConverter {
+    private options;
+    constructor(options?: Partial<YATAExportOptions>);
+    /**
+     * Convert CFG to triples
+     */
+    convert(cfg: ControlFlowGraph): Triple[];
+    private convertCFGBlock;
+    private convertCFGEdge;
+    private capitalize;
+    private edgeTypeToClass;
+    private escapeString;
+}
+/**
+ * YATA integration helper for DFG/CFG
+ *
+ * @example
+ * ```typescript
+ * import { YATALocal } from '@nahisaho/yata-local';
+ *
+ * const yata = new YATALocal('myproject.db');
+ * const integrator = new YATAIntegrator(yata);
+ *
+ * // Import DFG
+ * await integrator.importDFG(dfg);
+ *
+ * // Query related code
+ * const results = await integrator.queryRelatedCode('userId');
+ * ```
+ */
+export declare class YATAIntegrator {
+    private readonly yataClient?;
+    private dfgConverter;
+    private cfgConverter;
+    constructor(yataClient?: unknown | undefined, // YATALocal type when available
+    options?: Partial<YATAExportOptions>);
+    /**
+     * Import DFG to YATA knowledge graph
+     */
+    importDFG(dfg: DataFlowGraph): Promise<void>;
+    /**
+     * Import CFG to YATA knowledge graph
+     */
+    importCFG(cfg: ControlFlowGraph): Promise<void>;
+    /**
+     * Import multiple graphs
+     */
+    importAll(dfgs: DataFlowGraph[], cfgs: ControlFlowGraph[]): Promise<void>;
+    /**
+     * Export triples without importing
+     */
+    exportToTriples(dfg: DataFlowGraph): Triple[];
+    /**
+     * Export to N-Triples format
+     */
+    exportToNTriples(dfg: DataFlowGraph): string;
+    private importTriples;
+}
+//# sourceMappingURL=index.d.ts.map

package/dist/yata/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/yata/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EACV,aAAa,EACb,gBAAgB,EAKjB,MAAM,mBAAmB,CAAC;AAM3B;;GAEG;AACH,MAAM,WAAW,MAAM;IACrB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED;;GAEG;AACH,eAAO,MAAM,cAAc;;;;;;;CAOjB,CAAC;AAMX;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,0CAA0C;IAC1C,eAAe,EAAE,OAAO,CAAC;IACzB,+BAA+B;IAC/B,YAAY,EAAE,OAAO,CAAC;IACtB,uBAAuB;IACvB,eAAe,EAAE,OAAO,CAAC;IACzB,sBAAsB;IACtB,cAAc,EAAE,MAAM,CAAC;CACxB;AAED;;GAEG;AACH,eAAO,MAAM,sBAAsB,EAAE,iBAKpC,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH,qBAAa,kBAAkB;IAC7B,OAAO,CAAC,OAAO,CAAoB;gBAEvB,OAAO,GAAE,OAAO,CAAC,iBAAiB,CAAM;IAIpD;;OAEG;IACH,OAAO,CAAC,GAAG,EAAE,aAAa,GAAG,MAAM,EAAE;IAiErC,OAAO,CAAC,cAAc;IA0EtB,OAAO,CAAC,cAAc;IA0DtB,OAAO,CAAC,UAAU;IAOlB,OAAO,CAAC,eAAe;IAevB,OAAO,CAAC,YAAY;CAGrB;AAED;;;;GAIG;AACH,qBAAa,kBAAkB;IAC7B,OAAO,CAAC,OAAO,CAAoB;gBAEvB,OAAO,GAAE,OAAO,CAAC,iBAAiB,CAAM;IAIpD;;OAEG;IACH,OAAO,CAAC,GAAG,EAAE,gBAAgB,GAAG,MAAM,EAAE;IAuExC,OAAO,CAAC,eAAe;IA2EvB,OAAO,CAAC,cAAc;IAoEtB,OAAO,CAAC,UAAU;IAOlB,OAAO,CAAC,eAAe;IAiBvB,OAAO,CAAC,YAAY;CAGrB;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,qBAAa,cAAc;IAKvB,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC;IAJ9B,OAAO,CAAC,YAAY,CAAqB;IACzC,OAAO,CAAC,YAAY,CAAqB;gBAGtB,UAAU,CAAC,EAAE,OAAO,YAAA,EAAE,gCAAgC;IACvE,OAAO,GAAE,OAAO,CAAC,iBAAiB,CAAM;IAS1C;;OAEG;IACG,SAAS,CAAC,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC;IAKlD;;OAEG;IACG,SAAS,CAAC,GAAG,EAAE,gBAAgB,GAAG,OAAO,CAAC,IAAI,CAAC;IAKrD;;OAEG;IACG,SAAS,CACb,IAAI,EAAE,aAAa,EAAE,EACrB,IAAI,EAAE,gBAAgB,EAAE,GACvB,OAAO,CAAC,IAAI,CAAC;IAchB;;OAEG;IACH,eAAe,CAAC,GAAG,EAAE,aAAa,GAAG,MAAM,EAAE;IAI7C;;OAEG;IACH,gBAAgB,CAAC,GAAG,EAAE,aAAa,GAAG,MAAM;YAkB9B,aAAa;CAQ5B"}