{{RG_TITLE}}

{{RG_SUBTITLE}}

This page needs a server

A browser refuses to read the artifact's JSON files over file://. Serve the directory and open the address it prints:

reachgraph serve {{RG_OUT_HINT}}

Or open overview.html instead, which carries the same data inside it and needs no server. It is emitted beside this file whenever the graph is small enough.

Edge strength

Hiding an edge class changes only what is drawn. The list below is computed over every edge and does not move.

Pick an endpoint version on the left.

Legend

Edges

resolved — a semantic engine answered directly
type-inferred — type inference picked the target
lexical — scope and binding resolution only
enclosure — derived from which definition encloses a reference
unresolved — the call was not resolved, and the target is drawn as a stub

Nodes

indexed — a provider emitted a symbol for it
not indexed — no provider emitted a symbol, so the label is the opaque id itself
frontier — the walk stopped here at the depth limit. Its out-edges were not followed; it is not a leaf
trait declaration — a call through a generic resolves here rather than to the implementation that runs
implementation — the body that runs

Licences

{{RG_LICENCE_LIST}}

{{RG_LICENCE_FOOTER}}

{{RG_PARTIAL_BANNER}}

{{RG_CLAIM}}

{{RG_COVERAGE}}

{{RG_TERMINAL}}

{{RG_NOTES}} {{RG_UNBOUND}} {{RG_UNEXAMINED}}

include test code

Version reach

{{RG_DATA}} {{RG_SCRIPTS}} {{RG_LOADER}}