depgraph

package

v0.4.4 Latest Latest Go to latest Published: Mar 6, 2026 License: MIT Imports: 7 Imported by: 0

Details

depgraph analyzes Rocq Makefile dependencies

Processes files generated by `rocq dep`.

This section is empty.

This section is empty.

func RocqDeps(deps *Graph, args []string) []string

Get the dependencies of files in args.

Args can be a list of .v or .vo files: this function always uses the .vo files for dependencies

func RocqTargets(deps *Graph, args []string) []string

Get the reverse dependencies of files in args (the files that depend on any of args)

Args can be a list of .v or .vo files: this function searches for reverse dependencies starting from both the .v and .vo files for each argument

type Dep struct {
	Target string
	Source string
}

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

func (c DepChain) Source() string

func (c DepChain) Sources() []string

func (c DepChain) Targets() []string

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

func Parse(r io.Reader) (*Graph, error)

Parse dependencies from a .d file

func ParseRocqdep(rocqdepFileName string) (*Graph, error)

func (g *Graph) Deps(targets []string) []DepChain

Deps gets all transitive dependencies of targets

func (g *Graph) FilterNodes(keep func(string) bool)

func (g *Graph) Len() int

func (g *Graph) Targets(sources []string) []string

Targets returns all nodes that transitively depend on any of the sources.