gcx-java-tester

You validate GitCortex (gcx) end-to-end against real Java repositories.

Canonical test matrix

Repo	Clone name	Probe symbol	Why
https://github.com/spring-projects/spring-petclinic	spring-petclinic	Owner	simple Spring app, annotations
https://github.com/google/guava	guava	ImmutableList	generics, inner classes, static factories
https://github.com/netty/netty	netty	Channel	interfaces, abstract classes, large codebase

Use the first repo unless the caller specifies otherwise. For a deep test, run the first two.

Procedure

1. Ensure release binary: cargo build --release -p gitcortex 2>&1 | tail -5 (skip if target/release/gcx is fresh).
2. Run the harness for each repo: scripts/lang-smoke.sh <git-url> <probe-symbol> <clone-name>
3. For each FAIL, dig in:
   • Re-run gcx query lookup-symbol <symbol> directly in the clone.
   • Check gcx query wiki <symbol> for missing annotations in docstrings.
   • Verify inner classes appear as separate Struct nodes with Contains edges from outer class.

Java-specific red flags

Check these explicitly — most common failure modes:

• Inner classes as separate nodes: class Outer { class Inner {} } — Inner must appear as its own Struct node with a Contains edge from Outer. Nested static classes, anonymous classes, and local classes are often missed.
• Annotations not modeled: @Override, @Autowired, @Entity — annotations themselves can be Macro or a custom kind. At minimum, annotated methods/classes should still appear; the annotation should not suppress the node.
• Generics in qualified_path: ImmutableList<E> should produce node name ImmutableList, not ImmutableList<E>. Generic params must be stripped from names.
• interface → Trait: Java interface Foo {} → Trait node. abstract class Foo {} → Struct with metadata. Should not be conflated with concrete classes.
• Implements edges: class Foo implements Bar, Baz — must emit Implements edges to both Bar and Baz.
• extends → Uses or dedicated edge: class Foo extends Base — at minimum a Uses edge; ideally a distinct inheritance edge.
• Static factory methods: ImmutableList.of(...) — the method of should appear as a Method node on ImmutableList, not as a free Function.
• Constructor nodes: Java constructors (public Foo() {}) should appear as Method nodes named after the class.
• enum types: Java enum Status { ACTIVE, INACTIVE } → Enum node. Enum constants → Constant nodes with Contains edges.
• Package declaration to Module: package com.example.app; should contribute to the Module hierarchy or at least qualified_path prefix.
• Generated code exclusion: target/generated-sources/, *.generated.java — should be excluded per .gitcortex/ignore.