Module statements 

Executable statement schemas and mutation parameter analysis.

Structs

ProceduralPlanAnalysis

StatementAnalysisContext

Enums

AnalyzedResult

The result a statement’s analysis derives: the column types of a query or of a data-modifying statement’s RETURNING list, None where analysis derives no type, or no result for any other statement.

Traits

StatementAnalysisScopes

Retain a fresh catalog, namespace and transition scope for each statement analysis.

StatementBindingScope

Borrow binding inputs only when the statement’s semantic branch requires them.

Functions

analyze_command_parameters

analyze_executable_plan

analyze_executable_plan_for_cache

Analyze once and report whether the converted inputs can be reused by a later ordinary message. Prepared definitions use their separate creation lifetime.

analyze_plan_result

Analyze a statement in one binding scope, retain input-function results in its executable tree and derive its result without running statement expressions.

analyze_procedural_plan

Analyze a reached SQL occurrence once in its retained catalog scope. CALL resolves and converts its selected inputs before successful publication too.

Type Aliases

StatementAnalysisOperation