goextract

type ExtractedNode struct {
	Node *schema.Node
}

type FileResult struct {
	ImportPath string
	RelPath    string
	Language   string

	// ModuleKeyDeclared reports that ImportPath is the module the file's
	// source declares (a Java or Kotlin package, a C# or PHP namespace),
	// not the key discovery computed from its path.
	ModuleKeyDeclared bool

	Nodes      []ExtractedNode
	IntraEdges []IntraEdge
	Unresolved []UnresolvedRef

	// Imports maps each import_spec's effective local alias (explicit
	// alias, "." for dot imports, "_" for blank imports, or the default
	// last-path-segment name) to its import path.
	Imports map[string]string

	// InterfaceMethods records, per interface node this file declares, the
	// method specs declared directly in that interface's own body (Phase 5
	// RES-02/Pattern 3). Embedded interfaces (`type A interface { B }`)
	// are NOT flattened here — dispatch.SynthesizeImplements composes an
	// interface's transitive method set itself, via the "embeds" edges
	// Pass 2 already resolves between two interface nodes.
	InterfaceMethods map[string][]MethodSpec

	// MethodArity maps a method node's id to its declared parameter count
	// (Phase 5 RES-02/Pattern 3). Keyed by the method's OWN node id (not
	// scoped by struct or file) because Pass 2 resolves a struct's full,
	// possibly cross-file, method set via "contains" edges — exactly like
	// TestResolve_CrossFileMethodContainment — so dispatch synthesis looks
	// arity up post-resolution, by method id, not at extraction time.
	MethodArity map[string]int32

	// ContentHash is hex(sha256(source bytes)) — SHA-256 per D-02a, never
	// MD5 — computed regardless of whether extraction below it succeeds.
	ContentHash string

	// MtimeUnixNs and SizeBytes carry the on-disk file's stat info at
	// extraction time (Phase 4 D-01a), copied verbatim from the
	// DiscoveredFile that produced this result. Pass 2 stamps these onto
	// the committed schema.File record so Sync's stat pre-filter has
	// something cheap to compare against on a later invocation.
	MtimeUnixNs int64
	SizeBytes   int64

	// Err is set instead of returning a non-nil error from Extract when
	// this specific file could not be parsed/extracted.
	Err error
}

type IntraEdge struct {
	Edge *schema.Edge
}

type MethodSpec struct {
	Name  string
	Arity int32
}

type UnresolvedRef struct {
	// FromID is the node id of the enclosing symbol (the calling
	// function/method, the embedding struct/interface, the containing
	// file for an import, or the method itself for a cross-file
	// "contains" ref) that this reference originates from.
	FromID string
	// Name is the referenced identifier (a callee name, an embedded
	// type's name, an import path for "imports" refs, or a receiver
	// type's name for "contains" refs).
	Name string
	// PkgAlias is the local package alias for a qualified reference
	// (pkg.Fn(), pkg.Type embedding) — empty for an unqualified
	// reference.
	PkgAlias string
	// Kind is one of RefKindCalls, RefKindImports, RefKindEmbeds,
	// RefKindContains, RefKindReferences, RefKindInstantiates,
	// RefKindReturns, or RefKindTypeOf. (EdgeKindExtends/EdgeKindOverrides
	// are Pass-2 synthesis only and are never a Kind here.)
	Kind string
	// Line and Col are the 1-based line / 0-based column of the
	// reference's call/use site (D-04).
	Line, Col int32
}