wehub-resource-sync
a06f331eb8
CI / benchmark (push) Has been skipped
install-script / posix-syntax (push) Successful in 6m1s
CI / build-onnx (push) Failing after 6m43s
init-smoke / dry-run (push) Failing after 15m57s
security / govulncheck (push) Has been cancelled
security / trivy-fs (push) Has been cancelled
CI / test (1.26, ubuntu-latest) (push) Has been cancelled
Scorecard supply-chain security / Scorecard analysis (push) Has been cancelled
CI / test (1.26, macos-latest) (push) Has been cancelled
CI / build-windows (push) Has been cancelled
CI / lint (push) Has been cancelled
install-script / powershell-syntax (push) Has been cancelled
install-script / install (macos-14) (push) Has been cancelled
install-script / install (ubuntu-latest) (push) Has been cancelled
33 lines
1.7 KiB
Go
33 lines
1.7 KiB
Go
package lsp
|
|
|
|
import (
|
|
"testing"
|
|
|
|
"github.com/stretchr/testify/assert"
|
|
"github.com/zzet/gortex/internal/graph"
|
|
)
|
|
|
|
// The add-phase prioritises declarations that still carry unresolved same-name
|
|
// call candidates, so a deadline-bound pass spends its budget where an LSP
|
|
// references sweep can actually bind dropped call sites.
|
|
func TestEnrichNodeHasUnresolvedDemand(t *testing.T) {
|
|
g := graph.New()
|
|
demanded := &graph.Node{ID: "Repo.java::OwnerRepository.findByLastNameStartingWith", Kind: graph.KindMethod, Name: "findByLastNameStartingWith", FilePath: "Repo.java", Language: "java"}
|
|
covered := &graph.Node{ID: "Repo.java::OwnerRepository.findById", Kind: graph.KindMethod, Name: "findById", FilePath: "Repo.java", Language: "java"}
|
|
g.AddNode(demanded)
|
|
g.AddNode(covered)
|
|
g.AddNode(&graph.Node{ID: "T.java::T.run", Kind: graph.KindMethod, Name: "run", FilePath: "T.java", Language: "java"})
|
|
|
|
// An unresolved same-name candidate names findByLastNameStartingWith.
|
|
g.AddEdge(&graph.Edge{From: "T.java::T.run", To: "unresolved::*.findByLastNameStartingWith", Kind: graph.EdgeCalls, FilePath: "T.java", Line: 94})
|
|
// findById is already covered — a resolved incoming call, no unresolved stub.
|
|
g.AddEdge(&graph.Edge{From: "T.java::T.run", To: covered.ID, Kind: graph.EdgeCalls, FilePath: "T.java", Line: 97})
|
|
|
|
assert.True(t, enrichNodeHasUnresolvedDemand(g, demanded),
|
|
"a declaration with unresolved same-name candidates has enrichment demand")
|
|
assert.False(t, enrichNodeHasUnresolvedDemand(g, covered),
|
|
"a fully-resolved declaration has no enrichment demand")
|
|
// A non-callable node never has demand.
|
|
assert.False(t, enrichNodeHasUnresolvedDemand(g, &graph.Node{ID: "x", Kind: graph.KindType, Name: "findByLastNameStartingWith"}))
|
|
}
|