namespaceDeriver\Deriver\Evaluator\Execution\Control
Classes 12§
| CollectionCalls @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Connects finite collection callbacks to the ordinary call and exception evaluator. |
| ExceptionChain @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Appends exceptions displaced by finally using PHP's previous-chain identity rules. |
| ExceptionMatch @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Partitions throwable bounds in catch order without inventing a runtime class. |
| Handler @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Dynamic phase of one exception region and its saved completion. |
| IterationStep @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Evaluates finite foreach cursors, known heads of symbolic merges, and referenced element addresses. |
| IteratorCursor @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | A foreach snapshot or a live reference to its iterable. |
| LoopConvergence @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Bounds precise loop expansion and retains an explicit residual state. |
| ObservationLimit @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Bounds exported observations with inclusive value and state joins. |
| PathJoin @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Joins excess paths into one path that keeps executing, instead of sealing them. |
| ResidualPaths @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Seals unexplored execution with inclusive normal and exceptional completions. |
| StateJoin @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Safely merges excess partitions rather than retaining only the first candidates. |
| Unwinding @visibility Deriver\Deriver\Evaluator @visibility Deriver\Deriver\Evaluator\Execution | Routes pending normal, return, throw, and jump completions through finally. |
Enums 1§
| HandlerPhase @visibility root | The active body of an exception handler. |