GraphsΒΆ
Graph modules build and expose the structural representations Topos measures: AST, CFG, CPG, MDG, PDG, and UAST. Use this section when adding language support, debugging parser output, or tracing how source code becomes measurable program structure.
|
Representation Protocol Defines the contract that all program representations must satisfy. |
|
|
|
AST Representation Adapts the existing ProgramObject to the Representation protocol. |
|
|
|
|
|
|
|
|
|
CFG Builder |
|
CFG Models |
|
ControlFlowGraph Representation |
|
CPG Builder |
|
CPG Models β Code Property Graph node & edge types per Yamaguchi et al. |
|
CodePropertyGraph Representation. |
|
Module Dependency Graph (MDG) Representation Consumes the knowledge graph produced by GitNexus and lifts it into a Representation. This is the inter-module view of the program β it captures the import/call/inheritance structure across files, packages, and classes. Compare this with the academic intra-procedural Program Dependence Graph at topos.graphs.pdg.object, which records control- and data-dependence edges within a single procedure. |
|
Academic Program Dependence Graph (Ferrante/Ottenstein style). |
|
UAST Mapper Common |
|
|
|
|
|
|
|
|
|
|
|
UAST Models |