namespaceSqlCatalog\Core\Analysis\Derivation\Slice
Classes 7§
| Arrival @visibility root | A path walked back from a call to the start of the body it is written in. |
| AssignmentSteps @visibility root | Walks a path back over what one statement assigns. |
| BackwardSlicer @visibility root | Walks back from a call to the start of its body, keeping only what its argument depends on. |
| BranchArms @visibility root | The runs of statements a branching statement can take. |
| LoopPasses @visibility root | Walks back through a loop one pass at a time. |
| Pending @visibility root | One path being walked back from a call: what it passed through, and what it still needs. |
| SliceStep @visibility root | One thing that has to happen, on the way to the call, for its argument to have the value it has. |