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 ¶
func ORMOperation ¶
ORMOperation identifies intrinsics that may execute database work. It is shared by TypeScript suspension and portable execution-scope propagation.
Types ¶
type Options ¶
type Options struct {
Intrinsic func(string) 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
// LambdaModules retains the source module that owns each first-class
// function. Backend policy can use that identity without moving target-
// specific suspension rules into shared TypeRB semantics.
LambdaModules map[*ir.Lambda]string
// 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.
Source Files