@grafema/core 0.1.0-alpha.5 → 0.2.0-beta
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +0 -1
- package/dist/Orchestrator.d.ts +31 -2
- package/dist/Orchestrator.d.ts.map +1 -1
- package/dist/Orchestrator.js +222 -27
- package/dist/config/ConfigLoader.d.ts +90 -0
- package/dist/config/ConfigLoader.d.ts.map +1 -0
- package/dist/config/ConfigLoader.js +249 -0
- package/dist/config/index.d.ts +6 -0
- package/dist/config/index.d.ts.map +1 -0
- package/dist/config/index.js +4 -0
- package/dist/core/ASTWorker.d.ts +11 -36
- package/dist/core/ASTWorker.d.ts.map +1 -1
- package/dist/core/ASTWorker.js +93 -99
- package/dist/core/CoverageAnalyzer.d.ts +65 -0
- package/dist/core/CoverageAnalyzer.d.ts.map +1 -0
- package/dist/core/CoverageAnalyzer.js +198 -0
- package/dist/core/FileExplainer.d.ts +101 -0
- package/dist/core/FileExplainer.d.ts.map +1 -0
- package/dist/core/FileExplainer.js +139 -0
- package/dist/core/FileNodeManager.d.ts +40 -0
- package/dist/core/FileNodeManager.d.ts.map +1 -0
- package/dist/core/FileNodeManager.js +84 -0
- package/dist/core/GraphFreshnessChecker.d.ts +33 -0
- package/dist/core/GraphFreshnessChecker.d.ts.map +1 -0
- package/dist/core/GraphFreshnessChecker.js +101 -0
- package/dist/core/HashUtils.d.ts +24 -0
- package/dist/core/HashUtils.d.ts.map +1 -0
- package/dist/core/HashUtils.js +45 -0
- package/dist/core/IncrementalReanalyzer.d.ts +36 -0
- package/dist/core/IncrementalReanalyzer.d.ts.map +1 -0
- package/dist/core/IncrementalReanalyzer.js +132 -0
- package/dist/core/NodeFactory.d.ts +266 -19
- package/dist/core/NodeFactory.d.ts.map +1 -1
- package/dist/core/NodeFactory.js +256 -21
- package/dist/core/ScopeTracker.d.ts +84 -0
- package/dist/core/ScopeTracker.d.ts.map +1 -0
- package/dist/core/ScopeTracker.js +116 -0
- package/dist/core/SemanticId.d.ts +90 -0
- package/dist/core/SemanticId.d.ts.map +1 -0
- package/dist/core/SemanticId.js +115 -0
- package/dist/core/VersionManager.d.ts.map +1 -1
- package/dist/core/VersionManager.js +3 -2
- package/dist/core/nodes/ArgumentExpressionNode.d.ts +43 -0
- package/dist/core/nodes/ArgumentExpressionNode.d.ts.map +1 -0
- package/dist/core/nodes/ArgumentExpressionNode.js +60 -0
- package/dist/core/nodes/ArrayLiteralNode.d.ts +27 -0
- package/dist/core/nodes/ArrayLiteralNode.d.ts.map +1 -0
- package/dist/core/nodes/ArrayLiteralNode.js +43 -0
- package/dist/core/nodes/BranchNode.d.ts +41 -0
- package/dist/core/nodes/BranchNode.d.ts.map +1 -0
- package/dist/core/nodes/BranchNode.js +82 -0
- package/dist/core/nodes/CallSiteNode.d.ts +30 -2
- package/dist/core/nodes/CallSiteNode.d.ts.map +1 -1
- package/dist/core/nodes/CallSiteNode.js +54 -4
- package/dist/core/nodes/CaseNode.d.ts +43 -0
- package/dist/core/nodes/CaseNode.d.ts.map +1 -0
- package/dist/core/nodes/CaseNode.js +81 -0
- package/dist/core/nodes/ClassNode.d.ts +34 -2
- package/dist/core/nodes/ClassNode.d.ts.map +1 -1
- package/dist/core/nodes/ClassNode.js +52 -4
- package/dist/core/nodes/ConstantNode.d.ts +2 -2
- package/dist/core/nodes/ConstantNode.d.ts.map +1 -1
- package/dist/core/nodes/ConstantNode.js +6 -4
- package/dist/core/nodes/ConstructorCallNode.d.ts +51 -0
- package/dist/core/nodes/ConstructorCallNode.d.ts.map +1 -0
- package/dist/core/nodes/ConstructorCallNode.js +171 -0
- package/dist/core/nodes/DatabaseQueryNode.d.ts +3 -2
- package/dist/core/nodes/DatabaseQueryNode.d.ts.map +1 -1
- package/dist/core/nodes/DatabaseQueryNode.js +5 -2
- package/dist/core/nodes/DecoratorNode.d.ts +42 -0
- package/dist/core/nodes/DecoratorNode.d.ts.map +1 -0
- package/dist/core/nodes/DecoratorNode.js +64 -0
- package/dist/core/nodes/EnumNode.d.ts +42 -0
- package/dist/core/nodes/EnumNode.d.ts.map +1 -0
- package/dist/core/nodes/EnumNode.js +56 -0
- package/dist/core/nodes/EventListenerNode.d.ts +4 -4
- package/dist/core/nodes/EventListenerNode.d.ts.map +1 -1
- package/dist/core/nodes/EventListenerNode.js +7 -4
- package/dist/core/nodes/ExportNode.d.ts +38 -2
- package/dist/core/nodes/ExportNode.d.ts.map +1 -1
- package/dist/core/nodes/ExportNode.js +54 -4
- package/dist/core/nodes/ExpressionNode.d.ts +97 -0
- package/dist/core/nodes/ExpressionNode.d.ts.map +1 -0
- package/dist/core/nodes/ExpressionNode.js +180 -0
- package/dist/core/nodes/ExternalModuleNode.d.ts +32 -0
- package/dist/core/nodes/ExternalModuleNode.d.ts.map +1 -0
- package/dist/core/nodes/ExternalModuleNode.js +49 -0
- package/dist/core/nodes/ExternalStdioNode.d.ts +13 -6
- package/dist/core/nodes/ExternalStdioNode.d.ts.map +1 -1
- package/dist/core/nodes/ExternalStdioNode.js +15 -8
- package/dist/core/nodes/FunctionNode.d.ts +36 -0
- package/dist/core/nodes/FunctionNode.d.ts.map +1 -1
- package/dist/core/nodes/FunctionNode.js +80 -1
- package/dist/core/nodes/HttpRequestNode.d.ts +4 -4
- package/dist/core/nodes/HttpRequestNode.d.ts.map +1 -1
- package/dist/core/nodes/HttpRequestNode.js +7 -4
- package/dist/core/nodes/ImportNode.d.ts +28 -6
- package/dist/core/nodes/ImportNode.d.ts.map +1 -1
- package/dist/core/nodes/ImportNode.js +43 -8
- package/dist/core/nodes/InterfaceNode.d.ts +46 -0
- package/dist/core/nodes/InterfaceNode.d.ts.map +1 -0
- package/dist/core/nodes/InterfaceNode.js +57 -0
- package/dist/core/nodes/IssueNode.d.ts +73 -0
- package/dist/core/nodes/IssueNode.d.ts.map +1 -0
- package/dist/core/nodes/IssueNode.js +129 -0
- package/dist/core/nodes/LiteralNode.d.ts +2 -2
- package/dist/core/nodes/LiteralNode.d.ts.map +1 -1
- package/dist/core/nodes/LiteralNode.js +6 -4
- package/dist/core/nodes/MethodCallNode.d.ts +32 -2
- package/dist/core/nodes/MethodCallNode.d.ts.map +1 -1
- package/dist/core/nodes/MethodCallNode.js +57 -4
- package/dist/core/nodes/MethodNode.d.ts +34 -2
- package/dist/core/nodes/MethodNode.d.ts.map +1 -1
- package/dist/core/nodes/MethodNode.js +55 -3
- package/dist/core/nodes/ModuleNode.d.ts +31 -0
- package/dist/core/nodes/ModuleNode.d.ts.map +1 -1
- package/dist/core/nodes/ModuleNode.js +37 -0
- package/dist/core/nodes/NetworkRequestNode.d.ts +54 -0
- package/dist/core/nodes/NetworkRequestNode.d.ts.map +1 -0
- package/dist/core/nodes/NetworkRequestNode.js +65 -0
- package/dist/core/nodes/ObjectLiteralNode.d.ts +27 -0
- package/dist/core/nodes/ObjectLiteralNode.d.ts.map +1 -0
- package/dist/core/nodes/ObjectLiteralNode.js +43 -0
- package/dist/core/nodes/ParameterNode.d.ts +2 -2
- package/dist/core/nodes/ParameterNode.d.ts.map +1 -1
- package/dist/core/nodes/ParameterNode.js +5 -3
- package/dist/core/nodes/ScopeNode.d.ts +31 -0
- package/dist/core/nodes/ScopeNode.d.ts.map +1 -1
- package/dist/core/nodes/ScopeNode.js +49 -0
- package/dist/core/nodes/TypeNode.d.ts +36 -0
- package/dist/core/nodes/TypeNode.d.ts.map +1 -0
- package/dist/core/nodes/TypeNode.js +55 -0
- package/dist/core/nodes/VariableDeclarationNode.d.ts +29 -2
- package/dist/core/nodes/VariableDeclarationNode.d.ts.map +1 -1
- package/dist/core/nodes/VariableDeclarationNode.js +48 -4
- package/dist/core/nodes/index.d.ts +15 -1
- package/dist/core/nodes/index.d.ts.map +1 -1
- package/dist/core/nodes/index.js +17 -0
- package/dist/data/builtins/BuiltinRegistry.d.ts +78 -0
- package/dist/data/builtins/BuiltinRegistry.d.ts.map +1 -0
- package/dist/data/builtins/BuiltinRegistry.js +110 -0
- package/dist/data/builtins/definitions.d.ts +28 -0
- package/dist/data/builtins/definitions.d.ts.map +1 -0
- package/dist/data/builtins/definitions.js +250 -0
- package/dist/data/builtins/index.d.ts +10 -0
- package/dist/data/builtins/index.d.ts.map +1 -0
- package/dist/data/builtins/index.js +8 -0
- package/dist/data/builtins/jsGlobals.d.ts +18 -0
- package/dist/data/builtins/jsGlobals.d.ts.map +1 -0
- package/dist/data/builtins/jsGlobals.js +26 -0
- package/dist/data/builtins/types.d.ts +34 -0
- package/dist/data/builtins/types.d.ts.map +1 -0
- package/dist/data/builtins/types.js +7 -0
- package/dist/data/globals/definitions.d.ts +27 -0
- package/dist/data/globals/definitions.d.ts.map +1 -0
- package/dist/data/globals/definitions.js +117 -0
- package/dist/data/globals/index.d.ts +36 -0
- package/dist/data/globals/index.d.ts.map +1 -0
- package/dist/data/globals/index.js +52 -0
- package/dist/diagnostics/DiagnosticCollector.d.ts +98 -0
- package/dist/diagnostics/DiagnosticCollector.d.ts.map +1 -0
- package/dist/diagnostics/DiagnosticCollector.js +129 -0
- package/dist/diagnostics/DiagnosticReporter.d.ts +100 -0
- package/dist/diagnostics/DiagnosticReporter.d.ts.map +1 -0
- package/dist/diagnostics/DiagnosticReporter.js +247 -0
- package/dist/diagnostics/DiagnosticWriter.d.ts +31 -0
- package/dist/diagnostics/DiagnosticWriter.d.ts.map +1 -0
- package/dist/diagnostics/DiagnosticWriter.js +43 -0
- package/dist/diagnostics/index.d.ts +14 -0
- package/dist/diagnostics/index.d.ts.map +1 -0
- package/dist/diagnostics/index.js +11 -0
- package/dist/errors/GrafemaError.d.ts +161 -0
- package/dist/errors/GrafemaError.d.ts.map +1 -0
- package/dist/errors/GrafemaError.js +181 -0
- package/dist/index.d.ts +73 -1
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +70 -1
- package/dist/logging/Logger.d.ts +48 -0
- package/dist/logging/Logger.d.ts.map +1 -0
- package/dist/logging/Logger.js +134 -0
- package/dist/plugins/Plugin.d.ts +5 -1
- package/dist/plugins/Plugin.d.ts.map +1 -1
- package/dist/plugins/Plugin.js +33 -0
- package/dist/plugins/analysis/DatabaseAnalyzer.d.ts.map +1 -1
- package/dist/plugins/analysis/DatabaseAnalyzer.js +14 -6
- package/dist/plugins/analysis/ExpressAnalyzer.d.ts.map +1 -1
- package/dist/plugins/analysis/ExpressAnalyzer.js +29 -19
- package/dist/plugins/analysis/ExpressResponseAnalyzer.d.ts +148 -0
- package/dist/plugins/analysis/ExpressResponseAnalyzer.d.ts.map +1 -0
- package/dist/plugins/analysis/ExpressResponseAnalyzer.js +495 -0
- package/dist/plugins/analysis/ExpressRouteAnalyzer.d.ts.map +1 -1
- package/dist/plugins/analysis/ExpressRouteAnalyzer.js +71 -29
- package/dist/plugins/analysis/FetchAnalyzer.d.ts +41 -0
- package/dist/plugins/analysis/FetchAnalyzer.d.ts.map +1 -1
- package/dist/plugins/analysis/FetchAnalyzer.js +187 -19
- package/dist/plugins/analysis/IncrementalAnalysisPlugin.d.ts +6 -3
- package/dist/plugins/analysis/IncrementalAnalysisPlugin.d.ts.map +1 -1
- package/dist/plugins/analysis/IncrementalAnalysisPlugin.js +76 -80
- package/dist/plugins/analysis/JSASTAnalyzer.d.ts +313 -19
- package/dist/plugins/analysis/JSASTAnalyzer.d.ts.map +1 -1
- package/dist/plugins/analysis/JSASTAnalyzer.js +3430 -503
- package/dist/plugins/analysis/ReactAnalyzer.d.ts.map +1 -1
- package/dist/plugins/analysis/ReactAnalyzer.js +56 -57
- package/dist/plugins/analysis/RustAnalyzer.d.ts.map +1 -1
- package/dist/plugins/analysis/RustAnalyzer.js +16 -11
- package/dist/plugins/analysis/SQLiteAnalyzer.d.ts.map +1 -1
- package/dist/plugins/analysis/SQLiteAnalyzer.js +11 -7
- package/dist/plugins/analysis/ServiceLayerAnalyzer.d.ts.map +1 -1
- package/dist/plugins/analysis/ServiceLayerAnalyzer.js +21 -9
- package/dist/plugins/analysis/SocketIOAnalyzer.d.ts +9 -0
- package/dist/plugins/analysis/SocketIOAnalyzer.d.ts.map +1 -1
- package/dist/plugins/analysis/SocketIOAnalyzer.js +117 -21
- package/dist/plugins/analysis/SystemDbAnalyzer.d.ts.map +1 -1
- package/dist/plugins/analysis/SystemDbAnalyzer.js +15 -5
- package/dist/plugins/analysis/ast/GraphBuilder.d.ts +207 -4
- package/dist/plugins/analysis/ast/GraphBuilder.d.ts.map +1 -1
- package/dist/plugins/analysis/ast/GraphBuilder.js +1527 -316
- package/dist/plugins/analysis/ast/IdGenerator.d.ts +105 -0
- package/dist/plugins/analysis/ast/IdGenerator.d.ts.map +1 -0
- package/dist/plugins/analysis/ast/IdGenerator.js +116 -0
- package/dist/plugins/analysis/ast/types.d.ts +470 -5
- package/dist/plugins/analysis/ast/types.d.ts.map +1 -1
- package/dist/plugins/analysis/ast/utils/createParameterNodes.d.ts +33 -0
- package/dist/plugins/analysis/ast/utils/createParameterNodes.d.ts.map +1 -0
- package/dist/plugins/analysis/ast/utils/createParameterNodes.js +89 -0
- package/dist/plugins/analysis/ast/utils/index.d.ts +6 -0
- package/dist/plugins/analysis/ast/utils/index.d.ts.map +1 -0
- package/dist/plugins/analysis/ast/utils/index.js +5 -0
- package/dist/plugins/analysis/ast/utils/location.d.ts +87 -0
- package/dist/plugins/analysis/ast/utils/location.d.ts.map +1 -0
- package/dist/plugins/analysis/ast/utils/location.js +78 -0
- package/dist/plugins/analysis/ast/visitors/ASTVisitor.d.ts +14 -5
- package/dist/plugins/analysis/ast/visitors/ASTVisitor.d.ts.map +1 -1
- package/dist/plugins/analysis/ast/visitors/ASTVisitor.js +6 -5
- package/dist/plugins/analysis/ast/visitors/CallExpressionVisitor.d.ts +100 -9
- package/dist/plugins/analysis/ast/visitors/CallExpressionVisitor.d.ts.map +1 -1
- package/dist/plugins/analysis/ast/visitors/CallExpressionVisitor.js +674 -125
- package/dist/plugins/analysis/ast/visitors/ClassVisitor.d.ts +4 -1
- package/dist/plugins/analysis/ast/visitors/ClassVisitor.d.ts.map +1 -1
- package/dist/plugins/analysis/ast/visitors/ClassVisitor.js +72 -32
- package/dist/plugins/analysis/ast/visitors/FunctionVisitor.d.ts +14 -1
- package/dist/plugins/analysis/ast/visitors/FunctionVisitor.d.ts.map +1 -1
- package/dist/plugins/analysis/ast/visitors/FunctionVisitor.js +190 -63
- package/dist/plugins/analysis/ast/visitors/ImportExportVisitor.d.ts +4 -0
- package/dist/plugins/analysis/ast/visitors/ImportExportVisitor.d.ts.map +1 -1
- package/dist/plugins/analysis/ast/visitors/ImportExportVisitor.js +112 -8
- package/dist/plugins/analysis/ast/visitors/TypeScriptVisitor.d.ts +12 -1
- package/dist/plugins/analysis/ast/visitors/TypeScriptVisitor.d.ts.map +1 -1
- package/dist/plugins/analysis/ast/visitors/TypeScriptVisitor.js +36 -14
- package/dist/plugins/analysis/ast/visitors/VariableVisitor.d.ts +20 -2
- package/dist/plugins/analysis/ast/visitors/VariableVisitor.d.ts.map +1 -1
- package/dist/plugins/analysis/ast/visitors/VariableVisitor.js +243 -45
- package/dist/plugins/discovery/MonorepoServiceDiscovery.d.ts.map +1 -1
- package/dist/plugins/discovery/MonorepoServiceDiscovery.js +3 -2
- package/dist/plugins/discovery/SimpleProjectDiscovery.d.ts.map +1 -1
- package/dist/plugins/discovery/SimpleProjectDiscovery.js +5 -1
- package/dist/plugins/discovery/WorkspaceDiscovery.d.ts +22 -0
- package/dist/plugins/discovery/WorkspaceDiscovery.d.ts.map +1 -0
- package/dist/plugins/discovery/WorkspaceDiscovery.js +141 -0
- package/dist/plugins/discovery/resolveSourceEntrypoint.d.ts +46 -0
- package/dist/plugins/discovery/resolveSourceEntrypoint.d.ts.map +1 -0
- package/dist/plugins/discovery/resolveSourceEntrypoint.js +86 -0
- package/dist/plugins/discovery/workspaces/detector.d.ts +21 -0
- package/dist/plugins/discovery/workspaces/detector.d.ts.map +1 -0
- package/dist/plugins/discovery/workspaces/detector.js +49 -0
- package/dist/plugins/discovery/workspaces/globResolver.d.ts +35 -0
- package/dist/plugins/discovery/workspaces/globResolver.d.ts.map +1 -0
- package/dist/plugins/discovery/workspaces/globResolver.js +184 -0
- package/dist/plugins/discovery/workspaces/index.d.ts +9 -0
- package/dist/plugins/discovery/workspaces/index.d.ts.map +1 -0
- package/dist/plugins/discovery/workspaces/index.js +8 -0
- package/dist/plugins/discovery/workspaces/parsers.d.ts +38 -0
- package/dist/plugins/discovery/workspaces/parsers.d.ts.map +1 -0
- package/dist/plugins/discovery/workspaces/parsers.js +80 -0
- package/dist/plugins/enrichment/AliasTracker.d.ts.map +1 -1
- package/dist/plugins/enrichment/AliasTracker.js +29 -8
- package/dist/plugins/enrichment/ArgumentParameterLinker.d.ts +32 -0
- package/dist/plugins/enrichment/ArgumentParameterLinker.d.ts.map +1 -0
- package/dist/plugins/enrichment/ArgumentParameterLinker.js +175 -0
- package/dist/plugins/enrichment/ClosureCaptureEnricher.d.ts +51 -0
- package/dist/plugins/enrichment/ClosureCaptureEnricher.d.ts.map +1 -0
- package/dist/plugins/enrichment/ClosureCaptureEnricher.js +205 -0
- package/dist/plugins/enrichment/ExternalCallResolver.d.ts +42 -0
- package/dist/plugins/enrichment/ExternalCallResolver.d.ts.map +1 -0
- package/dist/plugins/enrichment/ExternalCallResolver.js +213 -0
- package/dist/plugins/enrichment/FunctionCallResolver.d.ts +58 -0
- package/dist/plugins/enrichment/FunctionCallResolver.d.ts.map +1 -0
- package/dist/plugins/enrichment/FunctionCallResolver.js +340 -0
- package/dist/plugins/enrichment/HTTPConnectionEnricher.d.ts +16 -3
- package/dist/plugins/enrichment/HTTPConnectionEnricher.d.ts.map +1 -1
- package/dist/plugins/enrichment/HTTPConnectionEnricher.js +78 -27
- package/dist/plugins/enrichment/ImportExportLinker.d.ts.map +1 -1
- package/dist/plugins/enrichment/ImportExportLinker.js +23 -6
- package/dist/plugins/enrichment/MethodCallResolver.d.ts.map +1 -1
- package/dist/plugins/enrichment/MethodCallResolver.js +33 -13
- package/dist/plugins/enrichment/MountPointResolver.d.ts +14 -12
- package/dist/plugins/enrichment/MountPointResolver.d.ts.map +1 -1
- package/dist/plugins/enrichment/MountPointResolver.js +173 -147
- package/dist/plugins/enrichment/NodejsBuiltinsResolver.d.ts +44 -0
- package/dist/plugins/enrichment/NodejsBuiltinsResolver.d.ts.map +1 -0
- package/dist/plugins/enrichment/NodejsBuiltinsResolver.js +271 -0
- package/dist/plugins/enrichment/PrefixEvaluator.d.ts.map +1 -1
- package/dist/plugins/enrichment/PrefixEvaluator.js +16 -7
- package/dist/plugins/enrichment/RustFFIEnricher.d.ts.map +1 -1
- package/dist/plugins/enrichment/RustFFIEnricher.js +6 -5
- package/dist/plugins/enrichment/ValueDomainAnalyzer.d.ts +22 -27
- package/dist/plugins/enrichment/ValueDomainAnalyzer.d.ts.map +1 -1
- package/dist/plugins/enrichment/ValueDomainAnalyzer.js +185 -143
- package/dist/plugins/indexing/IncrementalModuleIndexer.d.ts.map +1 -1
- package/dist/plugins/indexing/IncrementalModuleIndexer.js +23 -14
- package/dist/plugins/indexing/JSModuleIndexer.d.ts +15 -0
- package/dist/plugins/indexing/JSModuleIndexer.d.ts.map +1 -1
- package/dist/plugins/indexing/JSModuleIndexer.js +121 -31
- package/dist/plugins/indexing/RustModuleIndexer.d.ts +1 -1
- package/dist/plugins/indexing/RustModuleIndexer.d.ts.map +1 -1
- package/dist/plugins/indexing/RustModuleIndexer.js +8 -7
- package/dist/plugins/indexing/ServiceDetector.d.ts +10 -0
- package/dist/plugins/indexing/ServiceDetector.d.ts.map +1 -1
- package/dist/plugins/indexing/ServiceDetector.js +28 -15
- package/dist/plugins/validation/BrokenImportValidator.d.ts +31 -0
- package/dist/plugins/validation/BrokenImportValidator.d.ts.map +1 -0
- package/dist/plugins/validation/BrokenImportValidator.js +249 -0
- package/dist/plugins/validation/CallResolverValidator.d.ts +21 -10
- package/dist/plugins/validation/CallResolverValidator.d.ts.map +1 -1
- package/dist/plugins/validation/CallResolverValidator.js +103 -77
- package/dist/plugins/validation/DataFlowValidator.d.ts.map +1 -1
- package/dist/plugins/validation/DataFlowValidator.js +62 -49
- package/dist/plugins/validation/EvalBanValidator.d.ts.map +1 -1
- package/dist/plugins/validation/EvalBanValidator.js +17 -16
- package/dist/plugins/validation/GraphConnectivityValidator.d.ts.map +1 -1
- package/dist/plugins/validation/GraphConnectivityValidator.js +44 -24
- package/dist/plugins/validation/NodeCreationValidator.d.ts +85 -0
- package/dist/plugins/validation/NodeCreationValidator.d.ts.map +1 -0
- package/dist/plugins/validation/NodeCreationValidator.js +415 -0
- package/dist/plugins/validation/SQLInjectionValidator.d.ts.map +1 -1
- package/dist/plugins/validation/SQLInjectionValidator.js +61 -19
- package/dist/plugins/validation/ShadowingDetector.d.ts.map +1 -1
- package/dist/plugins/validation/ShadowingDetector.js +6 -5
- package/dist/plugins/validation/TypeScriptDeadCodeValidator.d.ts.map +1 -1
- package/dist/plugins/validation/TypeScriptDeadCodeValidator.js +12 -11
- package/dist/plugins/vcs/GitPlugin.d.ts.map +1 -1
- package/dist/plugins/vcs/GitPlugin.js +10 -12
- package/dist/plugins/vcs/VCSPlugin.d.ts +3 -2
- package/dist/plugins/vcs/VCSPlugin.d.ts.map +1 -1
- package/dist/plugins/vcs/VCSPlugin.js +5 -5
- package/dist/queries/findCallsInFunction.d.ts +52 -0
- package/dist/queries/findCallsInFunction.d.ts.map +1 -0
- package/dist/queries/findCallsInFunction.js +135 -0
- package/dist/queries/findContainingFunction.d.ts +45 -0
- package/dist/queries/findContainingFunction.d.ts.map +1 -0
- package/dist/queries/findContainingFunction.js +54 -0
- package/dist/queries/index.d.ts +14 -0
- package/dist/queries/index.d.ts.map +1 -0
- package/dist/queries/index.js +11 -0
- package/dist/queries/traceValues.d.ts +70 -0
- package/dist/queries/traceValues.d.ts.map +1 -0
- package/dist/queries/traceValues.js +299 -0
- package/dist/queries/types.d.ts +163 -0
- package/dist/queries/types.d.ts.map +1 -0
- package/dist/queries/types.js +9 -0
- package/dist/schema/GraphSchemaExtractor.d.ts +53 -0
- package/dist/schema/GraphSchemaExtractor.d.ts.map +1 -0
- package/dist/schema/GraphSchemaExtractor.js +124 -0
- package/dist/schema/InterfaceSchemaExtractor.d.ts +73 -0
- package/dist/schema/InterfaceSchemaExtractor.d.ts.map +1 -0
- package/dist/schema/InterfaceSchemaExtractor.js +112 -0
- package/dist/schema/index.d.ts +5 -0
- package/dist/schema/index.d.ts.map +1 -0
- package/dist/schema/index.js +2 -0
- package/dist/storage/backends/RFDBServerBackend.d.ts +21 -34
- package/dist/storage/backends/RFDBServerBackend.d.ts.map +1 -1
- package/dist/storage/backends/RFDBServerBackend.js +72 -62
- package/dist/storage/backends/typeValidation.d.ts.map +1 -1
- package/dist/storage/backends/typeValidation.js +1 -0
- package/dist/validation/PathValidator.d.ts +1 -2
- package/dist/validation/PathValidator.d.ts.map +1 -1
- package/package.json +3 -3
- package/src/Orchestrator.ts +272 -27
- package/src/config/ConfigLoader.ts +354 -0
- package/src/config/index.ts +5 -0
- package/src/core/ASTWorker.ts +143 -139
- package/src/core/CoverageAnalyzer.ts +243 -0
- package/src/core/FileExplainer.ts +179 -0
- package/src/core/FileNodeManager.ts +100 -0
- package/src/core/GraphFreshnessChecker.ts +143 -0
- package/src/core/HashUtils.ts +48 -0
- package/src/core/IncrementalReanalyzer.ts +192 -0
- package/src/core/NodeFactory.ts +470 -23
- package/src/core/ScopeTracker.ts +154 -0
- package/src/core/SemanticId.ts +192 -0
- package/src/core/VersionManager.ts +3 -2
- package/src/core/nodes/ArgumentExpressionNode.ts +89 -0
- package/src/core/nodes/ArrayLiteralNode.ts +66 -0
- package/src/core/nodes/BranchNode.ts +113 -0
- package/src/core/nodes/CallSiteNode.ts +64 -4
- package/src/core/nodes/CaseNode.ts +123 -0
- package/src/core/nodes/ClassNode.ts +67 -4
- package/src/core/nodes/ConstantNode.ts +5 -4
- package/src/core/nodes/ConstructorCallNode.ts +217 -0
- package/src/core/nodes/DatabaseQueryNode.ts +5 -1
- package/src/core/nodes/DecoratorNode.ts +92 -0
- package/src/core/nodes/EnumNode.ts +87 -0
- package/src/core/nodes/EventListenerNode.ts +7 -4
- package/src/core/nodes/ExportNode.ts +74 -4
- package/src/core/nodes/ExpressionNode.ts +232 -0
- package/src/core/nodes/ExternalModuleNode.ts +65 -0
- package/src/core/nodes/ExternalStdioNode.ts +17 -9
- package/src/core/nodes/FunctionNode.ts +101 -1
- package/src/core/nodes/HttpRequestNode.ts +7 -4
- package/src/core/nodes/ImportNode.ts +62 -13
- package/src/core/nodes/InterfaceNode.ts +92 -0
- package/src/core/nodes/IssueNode.ts +177 -0
- package/src/core/nodes/LiteralNode.ts +5 -4
- package/src/core/nodes/MethodCallNode.ts +70 -4
- package/src/core/nodes/MethodNode.ts +68 -3
- package/src/core/nodes/ModuleNode.ts +50 -0
- package/src/core/nodes/NetworkRequestNode.ts +77 -0
- package/src/core/nodes/ObjectLiteralNode.ts +66 -0
- package/src/core/nodes/ParameterNode.ts +4 -3
- package/src/core/nodes/ScopeNode.ts +65 -0
- package/src/core/nodes/TypeNode.ts +79 -0
- package/src/core/nodes/VariableDeclarationNode.ts +58 -4
- package/src/core/nodes/index.ts +21 -1
- package/src/data/builtins/BuiltinRegistry.ts +124 -0
- package/src/data/builtins/definitions.ts +267 -0
- package/src/data/builtins/index.ts +10 -0
- package/src/data/builtins/jsGlobals.ts +28 -0
- package/src/data/builtins/types.ts +36 -0
- package/src/data/globals/definitions.ts +156 -0
- package/src/data/globals/index.ts +66 -0
- package/src/diagnostics/DiagnosticCollector.ts +163 -0
- package/src/diagnostics/DiagnosticReporter.ts +324 -0
- package/src/diagnostics/DiagnosticWriter.ts +50 -0
- package/src/diagnostics/index.ts +16 -0
- package/src/errors/GrafemaError.ts +239 -0
- package/src/index.ts +193 -1
- package/src/logging/Logger.ts +152 -0
- package/src/plugins/Plugin.ts +42 -0
- package/src/plugins/analysis/DatabaseAnalyzer.ts +16 -8
- package/src/plugins/analysis/ExpressAnalyzer.ts +33 -19
- package/src/plugins/analysis/ExpressResponseAnalyzer.ts +636 -0
- package/src/plugins/analysis/ExpressRouteAnalyzer.ts +76 -36
- package/src/plugins/analysis/FetchAnalyzer.ts +232 -21
- package/src/plugins/analysis/IncrementalAnalysisPlugin.ts +84 -101
- package/src/plugins/analysis/JSASTAnalyzer.ts +4265 -587
- package/src/plugins/analysis/ReactAnalyzer.ts +57 -57
- package/src/plugins/analysis/RustAnalyzer.ts +16 -11
- package/src/plugins/analysis/SQLiteAnalyzer.ts +13 -7
- package/src/plugins/analysis/ServiceLayerAnalyzer.ts +22 -16
- package/src/plugins/analysis/SocketIOAnalyzer.ts +151 -28
- package/src/plugins/analysis/SystemDbAnalyzer.ts +16 -11
- package/src/plugins/analysis/ast/GraphBuilder.ts +1947 -327
- package/src/plugins/analysis/ast/IdGenerator.ts +177 -0
- package/src/plugins/analysis/ast/types.ts +596 -6
- package/src/plugins/analysis/ast/utils/createParameterNodes.ts +104 -0
- package/src/plugins/analysis/ast/utils/index.ts +12 -0
- package/src/plugins/analysis/ast/utils/location.ts +103 -0
- package/src/plugins/analysis/ast/visitors/ASTVisitor.ts +19 -8
- package/src/plugins/analysis/ast/visitors/CallExpressionVisitor.ts +924 -83
- package/src/plugins/analysis/ast/visitors/ClassVisitor.ts +97 -44
- package/src/plugins/analysis/ast/visitors/FunctionVisitor.ts +234 -93
- package/src/plugins/analysis/ast/visitors/ImportExportVisitor.ts +124 -9
- package/src/plugins/analysis/ast/visitors/TypeScriptVisitor.ts +41 -14
- package/src/plugins/analysis/ast/visitors/VariableVisitor.ts +294 -49
- package/src/plugins/discovery/MonorepoServiceDiscovery.ts +3 -2
- package/src/plugins/discovery/SimpleProjectDiscovery.ts +6 -1
- package/src/plugins/discovery/WorkspaceDiscovery.ts +184 -0
- package/src/plugins/discovery/resolveSourceEntrypoint.ts +103 -0
- package/src/plugins/discovery/workspaces/detector.ts +63 -0
- package/src/plugins/discovery/workspaces/globResolver.ts +229 -0
- package/src/plugins/discovery/workspaces/index.ts +23 -0
- package/src/plugins/discovery/workspaces/parsers.ts +99 -0
- package/src/plugins/enrichment/AliasTracker.ts +35 -8
- package/src/plugins/enrichment/ArgumentParameterLinker.ts +240 -0
- package/src/plugins/enrichment/ClosureCaptureEnricher.ts +267 -0
- package/src/plugins/enrichment/ExternalCallResolver.ts +262 -0
- package/src/plugins/enrichment/FunctionCallResolver.ts +456 -0
- package/src/plugins/enrichment/HTTPConnectionEnricher.ts +84 -27
- package/src/plugins/enrichment/ImportExportLinker.ts +24 -6
- package/src/plugins/enrichment/MethodCallResolver.ts +39 -13
- package/src/plugins/enrichment/MountPointResolver.ts +208 -195
- package/src/plugins/enrichment/NodejsBuiltinsResolver.ts +365 -0
- package/src/plugins/enrichment/PrefixEvaluator.ts +16 -7
- package/src/plugins/enrichment/RustFFIEnricher.ts +6 -5
- package/src/plugins/enrichment/ValueDomainAnalyzer.ts +209 -189
- package/src/plugins/indexing/IncrementalModuleIndexer.ts +23 -14
- package/src/plugins/indexing/JSModuleIndexer.ts +140 -34
- package/src/plugins/indexing/RustModuleIndexer.ts +8 -7
- package/src/plugins/validation/BrokenImportValidator.ts +325 -0
- package/src/plugins/validation/CallResolverValidator.ts +131 -110
- package/src/plugins/validation/DataFlowValidator.ts +88 -67
- package/src/plugins/validation/EvalBanValidator.ts +17 -16
- package/src/plugins/validation/GraphConnectivityValidator.ts +58 -24
- package/src/plugins/validation/NodeCreationValidator.ts +554 -0
- package/src/plugins/validation/SQLInjectionValidator.ts +63 -20
- package/src/plugins/validation/ShadowingDetector.ts +6 -5
- package/src/plugins/validation/TypeScriptDeadCodeValidator.ts +12 -11
- package/src/plugins/vcs/GitPlugin.ts +40 -12
- package/src/plugins/vcs/VCSPlugin.ts +7 -5
- package/src/queries/README.md +46 -0
- package/src/queries/findCallsInFunction.ts +206 -0
- package/src/queries/findContainingFunction.ts +83 -0
- package/src/queries/index.ts +23 -0
- package/src/queries/traceValues.ts +398 -0
- package/src/queries/types.ts +187 -0
- package/src/schema/GraphSchemaExtractor.ts +177 -0
- package/src/schema/InterfaceSchemaExtractor.ts +173 -0
- package/src/schema/index.ts +5 -0
- package/src/storage/backends/RFDBServerBackend.ts +100 -98
- package/src/storage/backends/typeValidation.ts +1 -0
- package/src/validation/PathValidator.ts +1 -1
- package/dist/core/AnalysisWorker.d.ts +0 -14
- package/dist/core/AnalysisWorker.d.ts.map +0 -1
- package/dist/core/AnalysisWorker.js +0 -307
- package/dist/core/ParallelAnalyzer.d.ts +0 -120
- package/dist/core/ParallelAnalyzer.d.ts.map +0 -1
- package/dist/core/ParallelAnalyzer.js +0 -331
- package/dist/core/QueueWorker.d.ts +0 -12
- package/dist/core/QueueWorker.d.ts.map +0 -1
- package/dist/core/QueueWorker.js +0 -567
- package/dist/core/RFDBClient.d.ts +0 -179
- package/dist/core/RFDBClient.d.ts.map +0 -1
- package/dist/core/RFDBClient.js +0 -429
- package/dist/plugins/discovery/ZonServiceDiscovery.d.ts +0 -19
- package/dist/plugins/discovery/ZonServiceDiscovery.d.ts.map +0 -1
- package/dist/plugins/discovery/ZonServiceDiscovery.js +0 -204
- package/src/core/AnalysisWorker.ts +0 -410
- package/src/core/ParallelAnalyzer.ts +0 -476
- package/src/core/QueueWorker.ts +0 -780
- package/src/plugins/indexing/ServiceDetector.ts +0 -230
|
@@ -0,0 +1,54 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* NetworkRequestNode - contract for net:request singleton node
|
|
3
|
+
*
|
|
4
|
+
* Represents the external network as a system resource.
|
|
5
|
+
* All HTTP_REQUEST nodes connect to this singleton via CALLS edges.
|
|
6
|
+
*
|
|
7
|
+
* This is NOT the same as HttpRequestNode (type: HTTP_REQUEST), which represents
|
|
8
|
+
* individual HTTP request call sites in source code.
|
|
9
|
+
*
|
|
10
|
+
* Architectural role:
|
|
11
|
+
* - net:request is a singleton representing external network (like net:stdio for console I/O)
|
|
12
|
+
* - HTTP_REQUEST nodes are call sites that connect to this singleton via CALLS edges
|
|
13
|
+
*
|
|
14
|
+
* Example graph structure:
|
|
15
|
+
* ```
|
|
16
|
+
* /app/api.ts:HTTP_REQUEST:GET:15:0 --CALLS--> net:request#__network__
|
|
17
|
+
* /app/service.ts:HTTP_REQUEST:POST:42:0 --CALLS--> net:request#__network__
|
|
18
|
+
* ```
|
|
19
|
+
*/
|
|
20
|
+
import type { BaseNodeRecord } from '@grafema/types';
|
|
21
|
+
interface NetworkRequestNodeRecord extends BaseNodeRecord {
|
|
22
|
+
type: 'net:request';
|
|
23
|
+
}
|
|
24
|
+
export declare class NetworkRequestNode {
|
|
25
|
+
static readonly TYPE: "net:request";
|
|
26
|
+
static readonly SINGLETON_ID = "net:request#__network__";
|
|
27
|
+
static readonly REQUIRED: readonly ["name", "file"];
|
|
28
|
+
static readonly OPTIONAL: readonly [];
|
|
29
|
+
/**
|
|
30
|
+
* Create net:request singleton node
|
|
31
|
+
*
|
|
32
|
+
* This node represents the external network as a system resource.
|
|
33
|
+
* All HTTP_REQUEST nodes connect to this singleton via CALLS edges.
|
|
34
|
+
*
|
|
35
|
+
* Should be created once per graph. GraphBuilder and ExpressAnalyzer
|
|
36
|
+
* use singleton deduplication to ensure only one instance exists.
|
|
37
|
+
*
|
|
38
|
+
* @returns NetworkRequestNodeRecord - singleton node
|
|
39
|
+
*/
|
|
40
|
+
static create(): NetworkRequestNodeRecord;
|
|
41
|
+
/**
|
|
42
|
+
* Validate net:request node structure
|
|
43
|
+
*
|
|
44
|
+
* Ensures:
|
|
45
|
+
* - type is net:request (NOT NET_REQUEST)
|
|
46
|
+
* - id matches SINGLETON_ID
|
|
47
|
+
*
|
|
48
|
+
* @param node - Node to validate
|
|
49
|
+
* @returns Array of error messages (empty if valid)
|
|
50
|
+
*/
|
|
51
|
+
static validate(node: NetworkRequestNodeRecord): string[];
|
|
52
|
+
}
|
|
53
|
+
export type { NetworkRequestNodeRecord };
|
|
54
|
+
//# sourceMappingURL=NetworkRequestNode.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"NetworkRequestNode.d.ts","sourceRoot":"","sources":["../../../src/core/nodes/NetworkRequestNode.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAErD,UAAU,wBAAyB,SAAQ,cAAc;IACvD,IAAI,EAAE,aAAa,CAAC;CACrB;AAED,qBAAa,kBAAkB;IAC7B,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAG,aAAa,CAAU;IAC9C,MAAM,CAAC,QAAQ,CAAC,YAAY,6BAA6B;IAEzD,MAAM,CAAC,QAAQ,CAAC,QAAQ,4BAA6B;IACrD,MAAM,CAAC,QAAQ,CAAC,QAAQ,cAAe;IAEvC;;;;;;;;;;OAUG;IACH,MAAM,CAAC,MAAM,IAAI,wBAAwB;IAUzC;;;;;;;;;OASG;IACH,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,wBAAwB,GAAG,MAAM,EAAE;CAU1D;AAED,YAAY,EAAE,wBAAwB,EAAE,CAAC"}
|
|
@@ -0,0 +1,65 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* NetworkRequestNode - contract for net:request singleton node
|
|
3
|
+
*
|
|
4
|
+
* Represents the external network as a system resource.
|
|
5
|
+
* All HTTP_REQUEST nodes connect to this singleton via CALLS edges.
|
|
6
|
+
*
|
|
7
|
+
* This is NOT the same as HttpRequestNode (type: HTTP_REQUEST), which represents
|
|
8
|
+
* individual HTTP request call sites in source code.
|
|
9
|
+
*
|
|
10
|
+
* Architectural role:
|
|
11
|
+
* - net:request is a singleton representing external network (like net:stdio for console I/O)
|
|
12
|
+
* - HTTP_REQUEST nodes are call sites that connect to this singleton via CALLS edges
|
|
13
|
+
*
|
|
14
|
+
* Example graph structure:
|
|
15
|
+
* ```
|
|
16
|
+
* /app/api.ts:HTTP_REQUEST:GET:15:0 --CALLS--> net:request#__network__
|
|
17
|
+
* /app/service.ts:HTTP_REQUEST:POST:42:0 --CALLS--> net:request#__network__
|
|
18
|
+
* ```
|
|
19
|
+
*/
|
|
20
|
+
export class NetworkRequestNode {
|
|
21
|
+
static TYPE = 'net:request';
|
|
22
|
+
static SINGLETON_ID = 'net:request#__network__';
|
|
23
|
+
static REQUIRED = ['name', 'file'];
|
|
24
|
+
static OPTIONAL = [];
|
|
25
|
+
/**
|
|
26
|
+
* Create net:request singleton node
|
|
27
|
+
*
|
|
28
|
+
* This node represents the external network as a system resource.
|
|
29
|
+
* All HTTP_REQUEST nodes connect to this singleton via CALLS edges.
|
|
30
|
+
*
|
|
31
|
+
* Should be created once per graph. GraphBuilder and ExpressAnalyzer
|
|
32
|
+
* use singleton deduplication to ensure only one instance exists.
|
|
33
|
+
*
|
|
34
|
+
* @returns NetworkRequestNodeRecord - singleton node
|
|
35
|
+
*/
|
|
36
|
+
static create() {
|
|
37
|
+
return {
|
|
38
|
+
id: this.SINGLETON_ID,
|
|
39
|
+
type: this.TYPE,
|
|
40
|
+
name: '__network__',
|
|
41
|
+
file: '__builtin__',
|
|
42
|
+
line: 0
|
|
43
|
+
};
|
|
44
|
+
}
|
|
45
|
+
/**
|
|
46
|
+
* Validate net:request node structure
|
|
47
|
+
*
|
|
48
|
+
* Ensures:
|
|
49
|
+
* - type is net:request (NOT NET_REQUEST)
|
|
50
|
+
* - id matches SINGLETON_ID
|
|
51
|
+
*
|
|
52
|
+
* @param node - Node to validate
|
|
53
|
+
* @returns Array of error messages (empty if valid)
|
|
54
|
+
*/
|
|
55
|
+
static validate(node) {
|
|
56
|
+
const errors = [];
|
|
57
|
+
if (node.type !== this.TYPE) {
|
|
58
|
+
errors.push(`Expected type ${this.TYPE}, got ${node.type}`);
|
|
59
|
+
}
|
|
60
|
+
if (node.id !== this.SINGLETON_ID) {
|
|
61
|
+
errors.push(`Invalid singleton ID: expected ${this.SINGLETON_ID}, got ${node.id}`);
|
|
62
|
+
}
|
|
63
|
+
return errors;
|
|
64
|
+
}
|
|
65
|
+
}
|
|
@@ -0,0 +1,27 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* ObjectLiteralNode - contract for OBJECT_LITERAL node
|
|
3
|
+
*
|
|
4
|
+
* Represents an object literal expression: { key: value, ... }
|
|
5
|
+
* Used for tracking data flow through object construction.
|
|
6
|
+
*/
|
|
7
|
+
import type { BaseNodeRecord } from '@grafema/types';
|
|
8
|
+
interface ObjectLiteralNodeRecord extends BaseNodeRecord {
|
|
9
|
+
type: 'OBJECT_LITERAL';
|
|
10
|
+
column: number;
|
|
11
|
+
parentCallId?: string;
|
|
12
|
+
argIndex?: number;
|
|
13
|
+
}
|
|
14
|
+
interface ObjectLiteralNodeOptions {
|
|
15
|
+
parentCallId?: string;
|
|
16
|
+
argIndex?: number;
|
|
17
|
+
counter?: number;
|
|
18
|
+
}
|
|
19
|
+
export declare class ObjectLiteralNode {
|
|
20
|
+
static readonly TYPE: "OBJECT_LITERAL";
|
|
21
|
+
static readonly REQUIRED: readonly ["file", "line", "column"];
|
|
22
|
+
static readonly OPTIONAL: readonly ["parentCallId", "argIndex"];
|
|
23
|
+
static create(file: string, line: number, column: number, options?: ObjectLiteralNodeOptions): ObjectLiteralNodeRecord;
|
|
24
|
+
static validate(node: ObjectLiteralNodeRecord): string[];
|
|
25
|
+
}
|
|
26
|
+
export type { ObjectLiteralNodeRecord, ObjectLiteralNodeOptions };
|
|
27
|
+
//# sourceMappingURL=ObjectLiteralNode.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"ObjectLiteralNode.d.ts","sourceRoot":"","sources":["../../../src/core/nodes/ObjectLiteralNode.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAErD,UAAU,uBAAwB,SAAQ,cAAc;IACtD,IAAI,EAAE,gBAAgB,CAAC;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,UAAU,wBAAwB;IAChC,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,qBAAa,iBAAiB;IAC5B,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAG,gBAAgB,CAAU;IAEjD,MAAM,CAAC,QAAQ,CAAC,QAAQ,sCAAuC;IAC/D,MAAM,CAAC,QAAQ,CAAC,QAAQ,wCAAyC;IAEjE,MAAM,CAAC,MAAM,CACX,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,EACd,OAAO,GAAE,wBAA6B,GACrC,uBAAuB;IAqB1B,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,uBAAuB,GAAG,MAAM,EAAE;CASzD;AAED,YAAY,EAAE,uBAAuB,EAAE,wBAAwB,EAAE,CAAC"}
|
|
@@ -0,0 +1,43 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* ObjectLiteralNode - contract for OBJECT_LITERAL node
|
|
3
|
+
*
|
|
4
|
+
* Represents an object literal expression: { key: value, ... }
|
|
5
|
+
* Used for tracking data flow through object construction.
|
|
6
|
+
*/
|
|
7
|
+
export class ObjectLiteralNode {
|
|
8
|
+
static TYPE = 'OBJECT_LITERAL';
|
|
9
|
+
static REQUIRED = ['file', 'line', 'column'];
|
|
10
|
+
static OPTIONAL = ['parentCallId', 'argIndex'];
|
|
11
|
+
static create(file, line, column, options = {}) {
|
|
12
|
+
if (!file)
|
|
13
|
+
throw new Error('ObjectLiteralNode.create: file is required');
|
|
14
|
+
if (line === undefined)
|
|
15
|
+
throw new Error('ObjectLiteralNode.create: line is required');
|
|
16
|
+
if (column === undefined)
|
|
17
|
+
throw new Error('ObjectLiteralNode.create: column is required');
|
|
18
|
+
const counter = options.counter !== undefined ? `:${options.counter}` : '';
|
|
19
|
+
const argSuffix = options.argIndex !== undefined ? `arg${options.argIndex}` : 'obj';
|
|
20
|
+
const id = `OBJECT_LITERAL#${argSuffix}#${file}#${line}:${column}${counter}`;
|
|
21
|
+
return {
|
|
22
|
+
id,
|
|
23
|
+
type: this.TYPE,
|
|
24
|
+
name: `<object>`,
|
|
25
|
+
file,
|
|
26
|
+
line,
|
|
27
|
+
column,
|
|
28
|
+
parentCallId: options.parentCallId,
|
|
29
|
+
argIndex: options.argIndex
|
|
30
|
+
};
|
|
31
|
+
}
|
|
32
|
+
static validate(node) {
|
|
33
|
+
const errors = [];
|
|
34
|
+
if (node.type !== this.TYPE)
|
|
35
|
+
errors.push(`Expected type ${this.TYPE}`);
|
|
36
|
+
const nodeRecord = node;
|
|
37
|
+
for (const field of this.REQUIRED) {
|
|
38
|
+
if (nodeRecord[field] === undefined)
|
|
39
|
+
errors.push(`Missing: ${field}`);
|
|
40
|
+
}
|
|
41
|
+
return errors;
|
|
42
|
+
}
|
|
43
|
+
}
|
|
@@ -17,8 +17,8 @@ interface ParameterNodeOptions {
|
|
|
17
17
|
}
|
|
18
18
|
export declare class ParameterNode {
|
|
19
19
|
static readonly TYPE: "PARAMETER";
|
|
20
|
-
static readonly REQUIRED: readonly ["name", "file", "line", "functionId"];
|
|
21
|
-
static readonly OPTIONAL: readonly ["
|
|
20
|
+
static readonly REQUIRED: readonly ["name", "file", "line", "column", "functionId"];
|
|
21
|
+
static readonly OPTIONAL: readonly ["index", "defaultValue", "rest"];
|
|
22
22
|
static create(name: string, file: string, line: number, column: number, functionId: string, options?: ParameterNodeOptions): ParameterNodeRecord;
|
|
23
23
|
static validate(node: ParameterNodeRecord): string[];
|
|
24
24
|
}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"ParameterNode.d.ts","sourceRoot":"","sources":["../../../src/core/nodes/ParameterNode.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAErD,UAAU,mBAAoB,SAAQ,cAAc;IAClD,IAAI,EAAE,WAAW,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;IACd,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,IAAI,EAAE,OAAO,CAAC;CACf;AAED,UAAU,oBAAoB;IAC5B,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,IAAI,CAAC,EAAE,OAAO,CAAC;CAChB;AAED,qBAAa,aAAa;IACxB,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAG,WAAW,CAAU;IAE5C,MAAM,CAAC,QAAQ,CAAC,QAAQ,
|
|
1
|
+
{"version":3,"file":"ParameterNode.d.ts","sourceRoot":"","sources":["../../../src/core/nodes/ParameterNode.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAErD,UAAU,mBAAoB,SAAQ,cAAc;IAClD,IAAI,EAAE,WAAW,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;IACd,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,IAAI,EAAE,OAAO,CAAC;CACf;AAED,UAAU,oBAAoB;IAC5B,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,IAAI,CAAC,EAAE,OAAO,CAAC;CAChB;AAED,qBAAa,aAAa;IACxB,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAG,WAAW,CAAU;IAE5C,MAAM,CAAC,QAAQ,CAAC,QAAQ,4DAA6D;IACrF,MAAM,CAAC,QAAQ,CAAC,QAAQ,6CAA8C;IAEtE,MAAM,CAAC,MAAM,CACX,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,OAAO,GAAE,oBAAyB,GACjC,mBAAmB;IAqBtB,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,mBAAmB,GAAG,MAAM,EAAE;CAgBrD;AAED,YAAY,EAAE,mBAAmB,EAAE,CAAC"}
|
|
@@ -3,8 +3,8 @@
|
|
|
3
3
|
*/
|
|
4
4
|
export class ParameterNode {
|
|
5
5
|
static TYPE = 'PARAMETER';
|
|
6
|
-
static REQUIRED = ['name', 'file', 'line', 'functionId'];
|
|
7
|
-
static OPTIONAL = ['
|
|
6
|
+
static REQUIRED = ['name', 'file', 'line', 'column', 'functionId'];
|
|
7
|
+
static OPTIONAL = ['index', 'defaultValue', 'rest'];
|
|
8
8
|
static create(name, file, line, column, functionId, options = {}) {
|
|
9
9
|
if (!name)
|
|
10
10
|
throw new Error('ParameterNode.create: name is required');
|
|
@@ -12,6 +12,8 @@ export class ParameterNode {
|
|
|
12
12
|
throw new Error('ParameterNode.create: file is required');
|
|
13
13
|
if (!line)
|
|
14
14
|
throw new Error('ParameterNode.create: line is required');
|
|
15
|
+
if (column === undefined)
|
|
16
|
+
throw new Error('ParameterNode.create: column is required');
|
|
15
17
|
if (!functionId)
|
|
16
18
|
throw new Error('ParameterNode.create: functionId is required');
|
|
17
19
|
return {
|
|
@@ -20,7 +22,7 @@ export class ParameterNode {
|
|
|
20
22
|
name,
|
|
21
23
|
file,
|
|
22
24
|
line,
|
|
23
|
-
column
|
|
25
|
+
column,
|
|
24
26
|
functionId,
|
|
25
27
|
index: options.index || 0,
|
|
26
28
|
defaultValue: options.defaultValue,
|
|
@@ -1,7 +1,15 @@
|
|
|
1
1
|
/**
|
|
2
2
|
* ScopeNode - contract for SCOPE node
|
|
3
|
+
*
|
|
4
|
+
* Supports two creation modes:
|
|
5
|
+
* 1. createWithContext() - NEW: Uses ScopeContext + Location for semantic IDs
|
|
6
|
+
* 2. create() - LEGACY: Uses line-based IDs for backward compatibility
|
|
7
|
+
*
|
|
8
|
+
* Semantic ID format: {file}->{scope_path}->SCOPE->{scopeType}#N
|
|
9
|
+
* Example: src/app.js->handler->SCOPE->if#0
|
|
3
10
|
*/
|
|
4
11
|
import type { BaseNodeRecord } from '@grafema/types';
|
|
12
|
+
import { type ScopeContext, type Location } from '../SemanticId.js';
|
|
5
13
|
interface ScopeNodeRecord extends BaseNodeRecord {
|
|
6
14
|
type: 'SCOPE';
|
|
7
15
|
scopeType: string;
|
|
@@ -18,6 +26,16 @@ interface ScopeNodeOptions {
|
|
|
18
26
|
capturesFrom?: string[];
|
|
19
27
|
counter?: number;
|
|
20
28
|
}
|
|
29
|
+
/**
|
|
30
|
+
* Options for createWithContext
|
|
31
|
+
*/
|
|
32
|
+
interface ScopeContextOptions {
|
|
33
|
+
discriminator: number;
|
|
34
|
+
conditional?: boolean;
|
|
35
|
+
parentScopeId?: string;
|
|
36
|
+
parentFunctionId?: string;
|
|
37
|
+
capturesFrom?: string[];
|
|
38
|
+
}
|
|
21
39
|
export declare class ScopeNode {
|
|
22
40
|
static readonly TYPE: "SCOPE";
|
|
23
41
|
static readonly REQUIRED: readonly ["scopeType", "file", "line"];
|
|
@@ -26,6 +44,19 @@ export declare class ScopeNode {
|
|
|
26
44
|
* Create SCOPE node
|
|
27
45
|
*/
|
|
28
46
|
static create(scopeType: string, file: string, line: number, options?: ScopeNodeOptions): ScopeNodeRecord;
|
|
47
|
+
/**
|
|
48
|
+
* Create SCOPE node with semantic ID (NEW API)
|
|
49
|
+
*
|
|
50
|
+
* Uses ScopeContext from ScopeTracker for stable identifiers.
|
|
51
|
+
* Requires discriminator for multiple scopes of same type within parent scope.
|
|
52
|
+
*
|
|
53
|
+
* @param scopeType - Type of scope (if, else, try, catch, finally, for, while, switch)
|
|
54
|
+
* @param context - Scope context from ScopeTracker.getContext()
|
|
55
|
+
* @param location - Source location { line }
|
|
56
|
+
* @param options - Options including required discriminator
|
|
57
|
+
* @returns ScopeNodeRecord with semantic ID
|
|
58
|
+
*/
|
|
59
|
+
static createWithContext(scopeType: string, context: ScopeContext, location: Partial<Location>, options: ScopeContextOptions): ScopeNodeRecord;
|
|
29
60
|
static validate(node: ScopeNodeRecord): string[];
|
|
30
61
|
}
|
|
31
62
|
export type { ScopeNodeRecord };
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"ScopeNode.d.ts","sourceRoot":"","sources":["../../../src/core/nodes/ScopeNode.ts"],"names":[],"mappings":"AAAA
|
|
1
|
+
{"version":3,"file":"ScopeNode.d.ts","sourceRoot":"","sources":["../../../src/core/nodes/ScopeNode.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,EAAqB,KAAK,YAAY,EAAE,KAAK,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAEvF,UAAU,eAAgB,SAAQ,cAAc;IAC9C,IAAI,EAAE,OAAO,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,OAAO,CAAC;IACrB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;CACzB;AAED,UAAU,gBAAgB;IACxB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED;;GAEG;AACH,UAAU,mBAAmB;IAC3B,aAAa,EAAE,MAAM,CAAC;IACtB,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;CACzB;AAED,qBAAa,SAAS;IACpB,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAG,OAAO,CAAU;IAExC,MAAM,CAAC,QAAQ,CAAC,QAAQ,yCAA0C;IAClE,MAAM,CAAC,QAAQ,CAAC,QAAQ,wFAAyF;IAEjH;;OAEG;IACH,MAAM,CAAC,MAAM,CACX,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,OAAO,GAAE,gBAAqB,GAC7B,eAAe;IAuBlB;;;;;;;;;;;OAWG;IACH,MAAM,CAAC,iBAAiB,CACtB,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,YAAY,EACrB,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,EAC3B,OAAO,EAAE,mBAAmB,GAC3B,eAAe;IA6BlB,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,eAAe,GAAG,MAAM,EAAE;CAgBjD;AAED,YAAY,EAAE,eAAe,EAAE,CAAC"}
|
|
@@ -1,6 +1,14 @@
|
|
|
1
1
|
/**
|
|
2
2
|
* ScopeNode - contract for SCOPE node
|
|
3
|
+
*
|
|
4
|
+
* Supports two creation modes:
|
|
5
|
+
* 1. createWithContext() - NEW: Uses ScopeContext + Location for semantic IDs
|
|
6
|
+
* 2. create() - LEGACY: Uses line-based IDs for backward compatibility
|
|
7
|
+
*
|
|
8
|
+
* Semantic ID format: {file}->{scope_path}->SCOPE->{scopeType}#N
|
|
9
|
+
* Example: src/app.js->handler->SCOPE->if#0
|
|
3
10
|
*/
|
|
11
|
+
import { computeSemanticId } from '../SemanticId.js';
|
|
4
12
|
export class ScopeNode {
|
|
5
13
|
static TYPE = 'SCOPE';
|
|
6
14
|
static REQUIRED = ['scopeType', 'file', 'line'];
|
|
@@ -31,6 +39,47 @@ export class ScopeNode {
|
|
|
31
39
|
capturesFrom: options.capturesFrom
|
|
32
40
|
};
|
|
33
41
|
}
|
|
42
|
+
/**
|
|
43
|
+
* Create SCOPE node with semantic ID (NEW API)
|
|
44
|
+
*
|
|
45
|
+
* Uses ScopeContext from ScopeTracker for stable identifiers.
|
|
46
|
+
* Requires discriminator for multiple scopes of same type within parent scope.
|
|
47
|
+
*
|
|
48
|
+
* @param scopeType - Type of scope (if, else, try, catch, finally, for, while, switch)
|
|
49
|
+
* @param context - Scope context from ScopeTracker.getContext()
|
|
50
|
+
* @param location - Source location { line }
|
|
51
|
+
* @param options - Options including required discriminator
|
|
52
|
+
* @returns ScopeNodeRecord with semantic ID
|
|
53
|
+
*/
|
|
54
|
+
static createWithContext(scopeType, context, location, options) {
|
|
55
|
+
// Validate required fields
|
|
56
|
+
if (!scopeType)
|
|
57
|
+
throw new Error('ScopeNode.createWithContext: scopeType is required');
|
|
58
|
+
if (!context.file)
|
|
59
|
+
throw new Error('ScopeNode.createWithContext: file is required');
|
|
60
|
+
if (location.line === undefined)
|
|
61
|
+
throw new Error('ScopeNode.createWithContext: line is required');
|
|
62
|
+
if (options.discriminator === undefined)
|
|
63
|
+
throw new Error('ScopeNode.createWithContext: discriminator is required');
|
|
64
|
+
// Compute semantic ID with discriminator
|
|
65
|
+
const id = computeSemanticId('SCOPE', scopeType, context, {
|
|
66
|
+
discriminator: options.discriminator
|
|
67
|
+
});
|
|
68
|
+
// Name includes the discriminator for display purposes
|
|
69
|
+
const name = `${scopeType}#${options.discriminator}`;
|
|
70
|
+
return {
|
|
71
|
+
id,
|
|
72
|
+
type: this.TYPE,
|
|
73
|
+
scopeType,
|
|
74
|
+
name,
|
|
75
|
+
file: context.file,
|
|
76
|
+
line: location.line,
|
|
77
|
+
conditional: options.conditional || false,
|
|
78
|
+
parentScopeId: options.parentScopeId,
|
|
79
|
+
parentFunctionId: options.parentFunctionId,
|
|
80
|
+
capturesFrom: options.capturesFrom
|
|
81
|
+
};
|
|
82
|
+
}
|
|
34
83
|
static validate(node) {
|
|
35
84
|
const errors = [];
|
|
36
85
|
if (node.type !== this.TYPE) {
|
|
@@ -0,0 +1,36 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* TypeNode - contract for TYPE node
|
|
3
|
+
*
|
|
4
|
+
* Represents TypeScript type alias declarations.
|
|
5
|
+
*
|
|
6
|
+
* ID format: {file}:TYPE:{name}:{line}
|
|
7
|
+
* Example: /src/types.ts:TYPE:UserId:10
|
|
8
|
+
*/
|
|
9
|
+
import type { BaseNodeRecord } from '@grafema/types';
|
|
10
|
+
interface TypeNodeRecord extends BaseNodeRecord {
|
|
11
|
+
type: 'TYPE';
|
|
12
|
+
column: number;
|
|
13
|
+
aliasOf?: string;
|
|
14
|
+
}
|
|
15
|
+
interface TypeNodeOptions {
|
|
16
|
+
aliasOf?: string;
|
|
17
|
+
}
|
|
18
|
+
export declare class TypeNode {
|
|
19
|
+
static readonly TYPE: "TYPE";
|
|
20
|
+
static readonly REQUIRED: readonly ["name", "file", "line", "column"];
|
|
21
|
+
static readonly OPTIONAL: readonly ["aliasOf"];
|
|
22
|
+
/**
|
|
23
|
+
* Create TYPE node
|
|
24
|
+
*
|
|
25
|
+
* @param name - Type alias name
|
|
26
|
+
* @param file - File path
|
|
27
|
+
* @param line - Line number
|
|
28
|
+
* @param column - Column position
|
|
29
|
+
* @param options - Optional type properties
|
|
30
|
+
* @returns TypeNodeRecord
|
|
31
|
+
*/
|
|
32
|
+
static create(name: string, file: string, line: number, column: number, options?: TypeNodeOptions): TypeNodeRecord;
|
|
33
|
+
static validate(node: TypeNodeRecord): string[];
|
|
34
|
+
}
|
|
35
|
+
export type { TypeNodeRecord };
|
|
36
|
+
//# sourceMappingURL=TypeNode.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"TypeNode.d.ts","sourceRoot":"","sources":["../../../src/core/nodes/TypeNode.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAErD,UAAU,cAAe,SAAQ,cAAc;IAC7C,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,UAAU,eAAe;IACvB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,qBAAa,QAAQ;IACnB,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAG,MAAM,CAAU;IAEvC,MAAM,CAAC,QAAQ,CAAC,QAAQ,8CAA+C;IACvE,MAAM,CAAC,QAAQ,CAAC,QAAQ,uBAAwB;IAEhD;;;;;;;;;OASG;IACH,MAAM,CAAC,MAAM,CACX,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,EACd,OAAO,GAAE,eAAoB,GAC5B,cAAc;IAiBjB,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,cAAc,GAAG,MAAM,EAAE;CAgBhD;AAED,YAAY,EAAE,cAAc,EAAE,CAAC"}
|
|
@@ -0,0 +1,55 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* TypeNode - contract for TYPE node
|
|
3
|
+
*
|
|
4
|
+
* Represents TypeScript type alias declarations.
|
|
5
|
+
*
|
|
6
|
+
* ID format: {file}:TYPE:{name}:{line}
|
|
7
|
+
* Example: /src/types.ts:TYPE:UserId:10
|
|
8
|
+
*/
|
|
9
|
+
export class TypeNode {
|
|
10
|
+
static TYPE = 'TYPE';
|
|
11
|
+
static REQUIRED = ['name', 'file', 'line', 'column'];
|
|
12
|
+
static OPTIONAL = ['aliasOf'];
|
|
13
|
+
/**
|
|
14
|
+
* Create TYPE node
|
|
15
|
+
*
|
|
16
|
+
* @param name - Type alias name
|
|
17
|
+
* @param file - File path
|
|
18
|
+
* @param line - Line number
|
|
19
|
+
* @param column - Column position
|
|
20
|
+
* @param options - Optional type properties
|
|
21
|
+
* @returns TypeNodeRecord
|
|
22
|
+
*/
|
|
23
|
+
static create(name, file, line, column, options = {}) {
|
|
24
|
+
if (!name)
|
|
25
|
+
throw new Error('TypeNode.create: name is required');
|
|
26
|
+
if (!file)
|
|
27
|
+
throw new Error('TypeNode.create: file is required');
|
|
28
|
+
if (!line)
|
|
29
|
+
throw new Error('TypeNode.create: line is required');
|
|
30
|
+
if (column === undefined)
|
|
31
|
+
throw new Error('TypeNode.create: column is required');
|
|
32
|
+
return {
|
|
33
|
+
id: `${file}:TYPE:${name}:${line}`,
|
|
34
|
+
type: this.TYPE,
|
|
35
|
+
name,
|
|
36
|
+
file,
|
|
37
|
+
line,
|
|
38
|
+
column,
|
|
39
|
+
aliasOf: options.aliasOf
|
|
40
|
+
};
|
|
41
|
+
}
|
|
42
|
+
static validate(node) {
|
|
43
|
+
const errors = [];
|
|
44
|
+
if (node.type !== this.TYPE) {
|
|
45
|
+
errors.push(`Expected type ${this.TYPE}, got ${node.type}`);
|
|
46
|
+
}
|
|
47
|
+
const nodeRecord = node;
|
|
48
|
+
for (const field of this.REQUIRED) {
|
|
49
|
+
if (!nodeRecord[field]) {
|
|
50
|
+
errors.push(`Missing required field: ${field}`);
|
|
51
|
+
}
|
|
52
|
+
}
|
|
53
|
+
return errors;
|
|
54
|
+
}
|
|
55
|
+
}
|
|
@@ -1,7 +1,15 @@
|
|
|
1
1
|
/**
|
|
2
2
|
* VariableDeclarationNode - contract for VARIABLE_DECLARATION node
|
|
3
|
+
*
|
|
4
|
+
* Supports two creation modes:
|
|
5
|
+
* 1. createWithContext() - NEW: Uses ScopeContext + Location for semantic IDs
|
|
6
|
+
* 2. create() - LEGACY: Uses line-based IDs for backward compatibility
|
|
7
|
+
*
|
|
8
|
+
* Semantic ID format: {file}->{scope_path}->VARIABLE->{name}
|
|
9
|
+
* Example: src/app.js->handler->VARIABLE->result
|
|
3
10
|
*/
|
|
4
11
|
import type { BaseNodeRecord } from '@grafema/types';
|
|
12
|
+
import { type ScopeContext, type Location } from '../SemanticId.js';
|
|
5
13
|
interface VariableDeclarationNodeRecord extends BaseNodeRecord {
|
|
6
14
|
type: 'VARIABLE_DECLARATION';
|
|
7
15
|
column: number;
|
|
@@ -11,11 +19,30 @@ interface VariableDeclarationNodeOptions {
|
|
|
11
19
|
parentScopeId?: string;
|
|
12
20
|
counter?: number;
|
|
13
21
|
}
|
|
22
|
+
/**
|
|
23
|
+
* Options for createWithContext
|
|
24
|
+
*/
|
|
25
|
+
interface VariableContextOptions {
|
|
26
|
+
parentScopeId?: string;
|
|
27
|
+
}
|
|
14
28
|
export declare class VariableDeclarationNode {
|
|
15
29
|
static readonly TYPE: "VARIABLE_DECLARATION";
|
|
16
|
-
static readonly REQUIRED: readonly ["name", "file", "line"];
|
|
17
|
-
static readonly OPTIONAL: readonly ["
|
|
30
|
+
static readonly REQUIRED: readonly ["name", "file", "line", "column"];
|
|
31
|
+
static readonly OPTIONAL: readonly ["parentScopeId"];
|
|
18
32
|
static create(name: string, file: string, line: number, column: number, options?: VariableDeclarationNodeOptions): VariableDeclarationNodeRecord;
|
|
33
|
+
/**
|
|
34
|
+
* Create VARIABLE_DECLARATION node with semantic ID (NEW API)
|
|
35
|
+
*
|
|
36
|
+
* Uses ScopeContext from ScopeTracker for stable identifiers.
|
|
37
|
+
* Variable names are unique within scope (handles shadowing naturally).
|
|
38
|
+
*
|
|
39
|
+
* @param name - Variable name
|
|
40
|
+
* @param context - Scope context from ScopeTracker.getContext()
|
|
41
|
+
* @param location - Source location { line, column }
|
|
42
|
+
* @param options - Optional variable properties
|
|
43
|
+
* @returns VariableDeclarationNodeRecord with semantic ID
|
|
44
|
+
*/
|
|
45
|
+
static createWithContext(name: string, context: ScopeContext, location: Partial<Location>, options?: VariableContextOptions): VariableDeclarationNodeRecord;
|
|
19
46
|
static validate(node: VariableDeclarationNodeRecord): string[];
|
|
20
47
|
}
|
|
21
48
|
export type { VariableDeclarationNodeRecord };
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"VariableDeclarationNode.d.ts","sourceRoot":"","sources":["../../../src/core/nodes/VariableDeclarationNode.ts"],"names":[],"mappings":"AAAA
|
|
1
|
+
{"version":3,"file":"VariableDeclarationNode.d.ts","sourceRoot":"","sources":["../../../src/core/nodes/VariableDeclarationNode.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,EAAqB,KAAK,YAAY,EAAE,KAAK,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAEvF,UAAU,6BAA8B,SAAQ,cAAc;IAC5D,IAAI,EAAE,sBAAsB,CAAC;IAC7B,MAAM,EAAE,MAAM,CAAC;IACf,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,UAAU,8BAA8B;IACtC,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED;;GAEG;AACH,UAAU,sBAAsB;IAC9B,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,qBAAa,uBAAuB;IAClC,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAG,sBAAsB,CAAU;IAEvD,MAAM,CAAC,QAAQ,CAAC,QAAQ,8CAA+C;IACvE,MAAM,CAAC,QAAQ,CAAC,QAAQ,6BAA8B;IAEtD,MAAM,CAAC,MAAM,CACX,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,EACd,OAAO,GAAE,8BAAmC,GAC3C,6BAA6B;IAoBhC;;;;;;;;;;;OAWG;IACH,MAAM,CAAC,iBAAiB,CACtB,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,YAAY,EACrB,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,EAC3B,OAAO,GAAE,sBAA2B,GACnC,6BAA6B;IAqBhC,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,6BAA6B,GAAG,MAAM,EAAE;CAS/D;AAED,YAAY,EAAE,6BAA6B,EAAE,CAAC"}
|
|
@@ -1,10 +1,18 @@
|
|
|
1
1
|
/**
|
|
2
2
|
* VariableDeclarationNode - contract for VARIABLE_DECLARATION node
|
|
3
|
+
*
|
|
4
|
+
* Supports two creation modes:
|
|
5
|
+
* 1. createWithContext() - NEW: Uses ScopeContext + Location for semantic IDs
|
|
6
|
+
* 2. create() - LEGACY: Uses line-based IDs for backward compatibility
|
|
7
|
+
*
|
|
8
|
+
* Semantic ID format: {file}->{scope_path}->VARIABLE->{name}
|
|
9
|
+
* Example: src/app.js->handler->VARIABLE->result
|
|
3
10
|
*/
|
|
11
|
+
import { computeSemanticId } from '../SemanticId.js';
|
|
4
12
|
export class VariableDeclarationNode {
|
|
5
13
|
static TYPE = 'VARIABLE_DECLARATION';
|
|
6
|
-
static REQUIRED = ['name', 'file', 'line'];
|
|
7
|
-
static OPTIONAL = ['
|
|
14
|
+
static REQUIRED = ['name', 'file', 'line', 'column'];
|
|
15
|
+
static OPTIONAL = ['parentScopeId'];
|
|
8
16
|
static create(name, file, line, column, options = {}) {
|
|
9
17
|
if (!name)
|
|
10
18
|
throw new Error('VariableDeclarationNode.create: name is required');
|
|
@@ -12,15 +20,51 @@ export class VariableDeclarationNode {
|
|
|
12
20
|
throw new Error('VariableDeclarationNode.create: file is required');
|
|
13
21
|
if (line === undefined)
|
|
14
22
|
throw new Error('VariableDeclarationNode.create: line is required');
|
|
23
|
+
if (column === undefined)
|
|
24
|
+
throw new Error('VariableDeclarationNode.create: column is required');
|
|
15
25
|
const counter = options.counter !== undefined ? `:${options.counter}` : '';
|
|
16
|
-
const id = `${file}:VARIABLE_DECLARATION:${name}:${line}:${column
|
|
26
|
+
const id = `${file}:VARIABLE_DECLARATION:${name}:${line}:${column}${counter}`;
|
|
17
27
|
return {
|
|
18
28
|
id,
|
|
19
29
|
type: this.TYPE,
|
|
20
30
|
name,
|
|
21
31
|
file,
|
|
22
32
|
line,
|
|
23
|
-
column
|
|
33
|
+
column,
|
|
34
|
+
parentScopeId: options.parentScopeId
|
|
35
|
+
};
|
|
36
|
+
}
|
|
37
|
+
/**
|
|
38
|
+
* Create VARIABLE_DECLARATION node with semantic ID (NEW API)
|
|
39
|
+
*
|
|
40
|
+
* Uses ScopeContext from ScopeTracker for stable identifiers.
|
|
41
|
+
* Variable names are unique within scope (handles shadowing naturally).
|
|
42
|
+
*
|
|
43
|
+
* @param name - Variable name
|
|
44
|
+
* @param context - Scope context from ScopeTracker.getContext()
|
|
45
|
+
* @param location - Source location { line, column }
|
|
46
|
+
* @param options - Optional variable properties
|
|
47
|
+
* @returns VariableDeclarationNodeRecord with semantic ID
|
|
48
|
+
*/
|
|
49
|
+
static createWithContext(name, context, location, options = {}) {
|
|
50
|
+
// Validate required fields
|
|
51
|
+
if (!name)
|
|
52
|
+
throw new Error('VariableDeclarationNode.createWithContext: name is required');
|
|
53
|
+
if (!context.file)
|
|
54
|
+
throw new Error('VariableDeclarationNode.createWithContext: file is required');
|
|
55
|
+
if (location.line === undefined)
|
|
56
|
+
throw new Error('VariableDeclarationNode.createWithContext: line is required');
|
|
57
|
+
if (location.column === undefined)
|
|
58
|
+
throw new Error('VariableDeclarationNode.createWithContext: column is required');
|
|
59
|
+
// Compute semantic ID using 'VARIABLE' type for cleaner IDs
|
|
60
|
+
const id = computeSemanticId('VARIABLE', name, context);
|
|
61
|
+
return {
|
|
62
|
+
id,
|
|
63
|
+
type: this.TYPE,
|
|
64
|
+
name,
|
|
65
|
+
file: context.file,
|
|
66
|
+
line: location.line,
|
|
67
|
+
column: location.column,
|
|
24
68
|
parentScopeId: options.parentScopeId
|
|
25
69
|
};
|
|
26
70
|
}
|
|
@@ -9,17 +9,31 @@ export { ClassNode, type ClassNodeRecord } from './ClassNode.js';
|
|
|
9
9
|
export { MethodNode, type MethodNodeRecord, type MethodKind } from './MethodNode.js';
|
|
10
10
|
export { ParameterNode, type ParameterNodeRecord } from './ParameterNode.js';
|
|
11
11
|
export { ScopeNode, type ScopeNodeRecord } from './ScopeNode.js';
|
|
12
|
+
export { BranchNode, type BranchNodeRecord } from './BranchNode.js';
|
|
13
|
+
export { CaseNode, type CaseNodeRecord } from './CaseNode.js';
|
|
12
14
|
export { CallSiteNode, type CallSiteNodeRecord } from './CallSiteNode.js';
|
|
13
15
|
export { MethodCallNode, type MethodCallNodeRecord } from './MethodCallNode.js';
|
|
16
|
+
export { ConstructorCallNode, type ConstructorCallNodeRecord } from './ConstructorCallNode.js';
|
|
14
17
|
export { VariableDeclarationNode, type VariableDeclarationNodeRecord } from './VariableDeclarationNode.js';
|
|
15
18
|
export { ConstantNode, type ConstantNodeRecord } from './ConstantNode.js';
|
|
16
19
|
export { LiteralNode, type LiteralNodeRecord } from './LiteralNode.js';
|
|
17
|
-
export {
|
|
20
|
+
export { ObjectLiteralNode, type ObjectLiteralNodeRecord, type ObjectLiteralNodeOptions } from './ObjectLiteralNode.js';
|
|
21
|
+
export { ArrayLiteralNode, type ArrayLiteralNodeRecord, type ArrayLiteralNodeOptions } from './ArrayLiteralNode.js';
|
|
22
|
+
export { ImportNode, type ImportNodeRecord, type ImportBinding, type ImportType } from './ImportNode.js';
|
|
18
23
|
export { ExportNode, type ExportNodeRecord, type ExportKind } from './ExportNode.js';
|
|
24
|
+
export { ExternalModuleNode, type ExternalModuleNodeRecord } from './ExternalModuleNode.js';
|
|
25
|
+
export { InterfaceNode, type InterfaceNodeRecord, type InterfacePropertyRecord } from './InterfaceNode.js';
|
|
26
|
+
export { TypeNode, type TypeNodeRecord } from './TypeNode.js';
|
|
27
|
+
export { EnumNode, type EnumNodeRecord, type EnumMemberRecord } from './EnumNode.js';
|
|
28
|
+
export { DecoratorNode, type DecoratorNodeRecord, type DecoratorTargetType } from './DecoratorNode.js';
|
|
29
|
+
export { ExpressionNode, type ExpressionNodeRecord, type ExpressionNodeOptions } from './ExpressionNode.js';
|
|
30
|
+
export { ArgumentExpressionNode, type ArgumentExpressionNodeRecord, type ArgumentExpressionNodeOptions } from './ArgumentExpressionNode.js';
|
|
19
31
|
export { ExternalStdioNode, type ExternalStdioNodeRecord } from './ExternalStdioNode.js';
|
|
32
|
+
export { NetworkRequestNode, type NetworkRequestNodeRecord } from './NetworkRequestNode.js';
|
|
20
33
|
export { EventListenerNode, type EventListenerNodeRecord } from './EventListenerNode.js';
|
|
21
34
|
export { HttpRequestNode, type HttpRequestNodeRecord } from './HttpRequestNode.js';
|
|
22
35
|
export { DatabaseQueryNode, type DatabaseQueryNodeRecord } from './DatabaseQueryNode.js';
|
|
23
36
|
export { GuaranteeNode, type GuaranteeNodeRecord, type GuaranteePriority, type GuaranteeStatus, type GuaranteeType } from './GuaranteeNode.js';
|
|
37
|
+
export { IssueNode, type IssueNodeRecord, type IssueSeverity, type IssueType } from './IssueNode.js';
|
|
24
38
|
export { NODE_TYPE, NAMESPACED_TYPE, isNamespacedType, getNamespace, getBaseName, isEndpointType, isSideEffectType, matchesTypePattern, isGuaranteeType, type BaseNodeType, type NamespacedNodeType, type NodeType, } from './NodeKind.js';
|
|
25
39
|
//# sourceMappingURL=index.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/core/nodes/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EAAE,WAAW,EAAE,KAAK,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACvE,OAAO,EAAE,cAAc,EAAE,KAAK,oBAAoB,EAAE,KAAK,cAAc,EAAE,KAAK,iBAAiB,EAAE,KAAK,gBAAgB,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAC/M,OAAO,EAAE,UAAU,EAAE,KAAK,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AACpE,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EAAE,SAAS,EAAE,KAAK,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACjE,OAAO,EAAE,UAAU,EAAE,KAAK,gBAAgB,EAAE,KAAK,UAAU,EAAE,MAAM,iBAAiB,CAAC;AACrF,OAAO,EAAE,aAAa,EAAE,KAAK,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAC7E,OAAO,EAAE,SAAS,EAAE,KAAK,eAAe,EAAE,MAAM,gBAAgB,CAAC;
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/core/nodes/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EAAE,WAAW,EAAE,KAAK,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACvE,OAAO,EAAE,cAAc,EAAE,KAAK,oBAAoB,EAAE,KAAK,cAAc,EAAE,KAAK,iBAAiB,EAAE,KAAK,gBAAgB,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAC/M,OAAO,EAAE,UAAU,EAAE,KAAK,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AACpE,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EAAE,SAAS,EAAE,KAAK,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACjE,OAAO,EAAE,UAAU,EAAE,KAAK,gBAAgB,EAAE,KAAK,UAAU,EAAE,MAAM,iBAAiB,CAAC;AACrF,OAAO,EAAE,aAAa,EAAE,KAAK,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAC7E,OAAO,EAAE,SAAS,EAAE,KAAK,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACjE,OAAO,EAAE,UAAU,EAAE,KAAK,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AACpE,OAAO,EAAE,QAAQ,EAAE,KAAK,cAAc,EAAE,MAAM,eAAe,CAAC;AAG9D,OAAO,EAAE,YAAY,EAAE,KAAK,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAC1E,OAAO,EAAE,cAAc,EAAE,KAAK,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAChF,OAAO,EAAE,mBAAmB,EAAE,KAAK,yBAAyB,EAAE,MAAM,0BAA0B,CAAC;AAC/F,OAAO,EAAE,uBAAuB,EAAE,KAAK,6BAA6B,EAAE,MAAM,8BAA8B,CAAC;AAC3G,OAAO,EAAE,YAAY,EAAE,KAAK,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAC1E,OAAO,EAAE,WAAW,EAAE,KAAK,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACvE,OAAO,EAAE,iBAAiB,EAAE,KAAK,uBAAuB,EAAE,KAAK,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AACxH,OAAO,EAAE,gBAAgB,EAAE,KAAK,sBAAsB,EAAE,KAAK,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAGpH,OAAO,EAAE,UAAU,EAAE,KAAK,gBAAgB,EAAE,KAAK,aAAa,EAAE,KAAK,UAAU,EAAE,MAAM,iBAAiB,CAAC;AACzG,OAAO,EAAE,UAAU,EAAE,KAAK,gBAAgB,EAAE,KAAK,UAAU,EAAE,MAAM,iBAAiB,CAAC;AACrF,OAAO,EAAE,kBAAkB,EAAE,KAAK,wBAAwB,EAAE,MAAM,yBAAyB,CAAC;AAG5F,OAAO,EAAE,aAAa,EAAE,KAAK,mBAAmB,EAAE,KAAK,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AAC3G,OAAO,EAAE,QAAQ,EAAE,KAAK,cAAc,EAAE,MAAM,eAAe,CAAC;AAC9D,OAAO,EAAE,QAAQ,EAAE,KAAK,cAAc,EAAE,KAAK,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACrF,OAAO,EAAE,aAAa,EAAE,KAAK,mBAAmB,EAAE,KAAK,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAGvG,OAAO,EAAE,cAAc,EAAE,KAAK,oBAAoB,EAAE,KAAK,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5G,OAAO,EAAE,sBAAsB,EAAE,KAAK,4BAA4B,EAAE,KAAK,6BAA6B,EAAE,MAAM,6BAA6B,CAAC;AAG5I,OAAO,EAAE,iBAAiB,EAAE,KAAK,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AACzF,OAAO,EAAE,kBAAkB,EAAE,KAAK,wBAAwB,EAAE,MAAM,yBAAyB,CAAC;AAC5F,OAAO,EAAE,iBAAiB,EAAE,KAAK,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AACzF,OAAO,EAAE,eAAe,EAAE,KAAK,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AACnF,OAAO,EAAE,iBAAiB,EAAE,KAAK,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AAGzF,OAAO,EAAE,aAAa,EAAE,KAAK,mBAAmB,EAAE,KAAK,iBAAiB,EAAE,KAAK,eAAe,EAAE,KAAK,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAG/I,OAAO,EAAE,SAAS,EAAE,KAAK,eAAe,EAAE,KAAK,aAAa,EAAE,KAAK,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAGrG,OAAO,EACL,SAAS,EACT,eAAe,EACf,gBAAgB,EAChB,YAAY,EACZ,WAAW,EACX,cAAc,EACd,gBAAgB,EAChB,kBAAkB,EAClB,eAAe,EACf,KAAK,YAAY,EACjB,KAAK,kBAAkB,EACvB,KAAK,QAAQ,GACd,MAAM,eAAe,CAAC"}
|