Documentation
¶
Overview ¶
Package effectplan performs whole-project call-graph analysis for backend effects that remain intentionally absent from TypeRB source signatures.
Index ¶
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
Types ¶
type Options ¶
type Options struct {
Intrinsic func(string, types.Type) bool
WebNext bool
CaptureLambdas bool
PassToFunctions bool
}
Options chooses effect roots while retaining one call-graph model.
type Plan ¶
type Plan struct {
Methods map[*ir.Method]bool
Lambdas map[*ir.Lambda]bool
Calls map[*ir.Call]bool
EnumCalls map[*ir.EnumCall]bool
Expressions map[ir.Expression]bool
Iterations map[*ir.Iterate]bool
StructuredBlocks map[*ir.StructuredBlock]bool
// contains filtered or unexported fields
}
Plan records the declarations and expressions that transitively reach one of the backend effects selected by Options.
func ExecutionScope ¶
ExecutionScope computes the functions that must receive the compiler-owned cancellation/deadline scope. The list contains operations whose native implementations can observe cancellation, plus web runtime boundaries that forward a child scope.
Click to show internal directories.
Click to hide internal directories.