namespaceSqlCatalog\Core\Analysis\Derivation
Namespaces 2§
| Objects | SqlCatalog\Core\Analysis\Derivation\Objects |
| Slice | SqlCatalog\Core\Analysis\Derivation\Slice |
Classes 13§
| Binding @visibility root | What the names a path still needs are bound to at the start of its body, for one way in. |
| CalleeReturns @visibility root | What a call into the analyzed source returns, read back from its return statements. |
| CallerIndex @visibility root | Every call in the source, by the name it is written with. |
| CallerSet @visibility root | The calls found to reach a body, and whether some other call might reach it too. |
| Callers @visibility root | The calls in the source that reach a given function or method. |
| Deriver @visibility root | Works out what expressions can be at a point, starting from the point. |
| EntryBinder @visibility root | Binds what a path still needs when it reaches the start of its body. |
| FreeNames @visibility root | The names an expression reads, which are what its value depends on. |
| ModifiedNames @visibility root | The names a statement may assign, wherever inside it the assignment is written. |
| PropertyWrites @visibility root | What a property of an object can hold when a method starts, read from everywhere the class writes it. |
| SliceExecutor @visibility root | Runs the steps a path kept, in order, and reports the values they leave behind. |
| Solution @visibility root | What a set of expressions can be at a point, along one way of getting there. |
| SourceTree @visibility root | Where a node sits in the source: which statement list holds it, and which file. |