semantic

type Config struct {
	// Languages to analyze (empty = auto-detect all)
	Languages []string

	// MaxDepth for inter-procedural analysis
	MaxDepth int

	// Workers for parallel analysis
	Workers int

	// FollowImports enables cross-file analysis
	FollowImports bool

	// Verbose enables detailed logging
	Verbose bool

	// IncludePatterns for file filtering (glob patterns)
	IncludePatterns []string

	// ExcludePatterns for file filtering (glob patterns)
	ExcludePatterns []string

	// MaxMemoryMB is the maximum memory usage in MB (0 = use default 100MB)
	// Applied to all modes to prevent OOM on large codebases
	MaxMemoryMB int

	// MaxFileSizeBytes is the maximum file size to parse (0 = unlimited)
	MaxFileSizeBytes int64

	// MaxFiles is the maximum number of files to parse (0 = unlimited)
	MaxFiles int

	// MaxFlowNodes is the maximum number of nodes in the flow graph (0 = default 10000)
	MaxFlowNodes int

	// MaxFlowEdges is the maximum number of edges in the flow graph (0 = default 20000)
	MaxFlowEdges int
}

type FileInfo struct {
	Path        string
	Language    string
	SymbolTable *types.SymbolTable
	Sources     []*types.FlowNode
	Assignments []*types.Assignment // Cached assignments for flow tracing (avoids re-parsing)
	Calls       []*types.CallSite   // Cached calls for flow tracing (avoids re-parsing)
	Root        *sitter.Node        // Only populated during parsing, released after
	Content     []byte              // Only populated if NeedsReparse is false
	ParseTime   time.Duration
	Error       error
	// NeedsReparse indicates the file needs re-parsing for deeper analysis
	// (AST was released to save memory)
	NeedsReparse bool
}

type LanguageStats struct {
	Files        int
	Sources      int
	Flows        int
	ParseErrors  int
	ParseTime    time.Duration
	AnalysisTime time.Duration
}

type TraceContext struct {
	// contains filtered or unexported fields
}

type TraceResult struct {
	// All discovered input sources
	Sources []*types.FlowNode

	// Complete flow map
	FlowMap *types.FlowMap

	// Per-file information
	Files map[string]*FileInfo

	// Global symbol table (merged from all files)
	GlobalSymbolTable *types.SymbolTable

	// Per-file symbol tables (for symbolic execution)
	SymbolTable map[string]*types.SymbolTable

	// Statistics
	Stats *TraceStats
}

type TraceStats struct {
	FilesScanned     int
	FilesParsed      int
	FilesSkipped     int
	ParseErrors      int
	SourcesFound     int
	FlowsTraced      int
	CrossFileFlows   int
	TotalDuration    time.Duration
	ParseDuration    time.Duration
	AnalysisDuration time.Duration
	ByLanguage       map[string]*LanguageStats
}

type Tracer struct {
	// contains filtered or unexported fields
}