Enum FunctionBody 

pub enum FunctionBody<X: Extension = NoExt> {
    Definition {
        definition: Literal,
        meta: Meta,
    },
    Return {
        expr: Box<Expr<X>>,
        meta: Meta,
    },
    Block {
        body: Box<Statement<X>>,
        meta: Meta,
    },
}

The executable body of a CreateFunction routine — the body-representation axis.

Two body kinds are modelled today. Definition is an opaque source string introduced by the order-independent AS option (AS 'SELECT 1', AS $$ … $$, AS $body$ … $body$). Return is the SQL-standard live body RETURN <expr> (PostgreSQL 14+ / standard opt_routine_body), a real SQL Expr that rides the trailing CreateFunction::body slot — a distinct parse position from AS (the RETURN body strictly follows the whole option list, oracle-proven). This is a distinct enum — not a bare Literal field on FunctionOption::As — precisely so the live body reuses one body vocabulary across both slots rather than reshaping the option.

The axis is body kind (opaque string vs. live SQL), not quote style: a plain '…' and a dollar-quoted $tag$…$tag$ body are both LiteralKind::String and differ only in source spelling. That spelling — the delimiter tag and the verbatim body text — round-trips from the Literal’s span; it is recovered from source, never normalized, so a dollar body re-renders byte-for-byte.

The enum is generic over X because Return carries an Expr<X>; the Definition string variant is generic-free. A statement-list BEGIN ATOMIC … END body (PostgreSQL, oracle-accepted) shares the trailing slot and slots in here as a further variant carrying a routine-body statement list — deliberately deferred: modelling it honestly needs a routine-body statement grammar (its inner RETURN is not a top-level Statement), which is a separate surface from this single-Expr body.

Variants

Definition

AS <string> — an opaque routine body in the target language, kept as the source Literal (plain-quoted or dollar-quoted) rather than re-parsed, because the body’s grammar is the target language, not SQL.

Fields

definition: Literal

Definition text supplied by this syntax.

meta: Meta

Source location and node identity.

Return

RETURN <expr> — the SQL-standard live expression body (opt_routine_body’s ReturnStmt). The Expr is boxed (the MacroBody precedent) so the common AS string body pays no Expr footprint on the shared FunctionOption::As path.

Fields

expr: Box<Expr<X>>

Expression evaluated by this syntax.

meta: Meta

Source location and node identity.

Block

A MySQL SQL/PSM routine body — one routine_body statement, usually the BEGIN … END compound block (Statement::Compound) but any single body statement (a bare SET, a flow-control construct, a RETURN). This is the live statement-list body the FunctionBody axis doc anticipated; it rides the trailing CreateFunction::body slot exactly as Return does — a distinct grammatical position after the whole characteristic list. Boxed (Statement is large) so the common AS-string path pays no footprint.

Fields

body: Box<Statement<X>>

The routine body statement (typically a compound block); parsed through the parse_body_statement seam so its inner grammar is the MySQL body sub-language.

meta: Meta

Source location and node identity.

Trait Implementations

impl<X: Clone + Extension> Clone for FunctionBody<X>

fn clone(&self) -> FunctionBody<X>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<X: Debug + Extension> Debug for FunctionBody<X>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de, X> Deserialize<'de> for FunctionBody<X>

where X: Deserialize<'de> + Extension,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<X: Eq + Extension> Eq for FunctionBody<X>

impl<X: Hash + Extension> Hash for FunctionBody<X>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<X: PartialEq + Extension> PartialEq for FunctionBody<X>

fn eq(&self, other: &FunctionBody<X>) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl<X: Extension + Render> Render for FunctionBody<X>

fn render(&self, ctx: &RenderCtx<'_>, f: &mut Formatter<'_>) -> Result

Return the render for this value.

fn operand_binding_power(&self) -> Option<BindingPower>

The binding power this node contributes when it appears as an operand, or None (the default) for a self-delimiting node — an atom, call, or constructor — that never needs parentheses.

impl<X> Serialize for FunctionBody<X>

where X: Serialize + Extension,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<X: Extension> Spanned for FunctionBody<X>

fn span(&self) -> Span

Return the span for this value.

impl<X: PartialEq + Extension> StructuralPartialEq for FunctionBody<X>