Reading the graph
The graph fills the window below the top bar. Each source file of the project is a file box labelled with its file name; the boxes it declares sit inside. Things declared outside the project are grouped in a dashed box labelled Outside.
Boxes
| Shape | Is |
|---|---|
| Slightly rounded rectangle | a concept |
| Pill | a property |
| Square | a union |
A concept lists its fields as rows name: Type, followed by the cardinality in brackets when there is one.
Arrows
| Line | Means |
|---|---|
| Thick, solid | subclass of |
| Thin, solid | has (a field pointing to its type) |
| Dashed | domain or range of a property |
| Dotted, no head | member of a union |
Several arrows between the same two boxes fan out so you can tell them apart. An arrow from a box to itself is a loop above it.
Descriptions
Hover a box, a field row or an arrow that has a description to read it in a tooltip.
Languages
When the project labels its terms in two languages or more, a selector (Display language) appears at the far left of the top-right controls. Default shows what the Dolfin compiler picked; the other options are the project’s language tags. The choice is remembered in this browser and shared with Agrafe and Pangloss.
The top-right controls
From left to right: the language selector, < and > (Previous and Next), 🔍 (the lens), and the View menu (the round magnifier) with Reset layout, Zoom in, Zoom out and Snap to grid (see Layout and Moving around).
When there is nothing to show
- Loading graph… while Agrafe compiles the project.
- This project has no concepts yet.
- Project not found. The project was deleted, or is no longer shared with you.
- The project’s sources don’t compile: … Fix the errors in Agrafe; the graph appears once they are gone (see Working alongside Agrafe).