[−][src]Module adapton::reflect::trace
Gives effects and traces for cleaning and dirtying, the engine's
internal DCG traversal/processing. By contrast, the enclosing
module (reflect
) only gives reflected versions of the DCG
itself, not changes that the engine makes to it.
Structs
Cost | For analytic cost analysis |
Edge | An edge in the DCG, representing an effect of the incremental program. |
Trace |
|
TraceCount | Count of effects and effect-patterns in trace. For fields
with two numbers, the first and second projection give the
|
Enums
AllocCase | Distinguish fresh allocations from those that reuse an existing location. |
AllocKind | Distinguish ref cell allocations from thunk allocations |
ChangeFlag | |
Effect | The effects of the DCG (including cleaning and dirtying) on one of its edges. |
EffectEdge | Edge associated with an |
ForceCase | When the program |
Role |
Functions
trace_count | |
trace_count_rec | |
trace_count_zero |