Enum Statement 

pub enum Statement {
    Null,
    Assignment {
        target: String,
        rhs_text: String,
    },
    If {
        arms: Vec<IfArm>,
        else_body_text: Option<String>,
    },
    BareLoop {
        body_text: String,
    },
    ForLoop {
        iterator: String,
        range_text: String,
        body_text: String,
    },
    WhileLoop {
        cond_text: String,
        body_text: String,
    },
    Raise {
        exception: Option<String>,
    },
    Return {
        value_text: Option<String>,
    },
    Exit {
        when_text: Option<String>,
    },
    ExecuteImmediate {
        sql_literal: String,
        has_bind_variables: bool,
    },
    Sql {
        verb: SqlVerb,
        raw_text: String,
    },
    NestedBlock {
        body_text: String,
    },
    TransactionControl {
        verb: String,
    },
    Unrecognized {
        raw_text: String,
        unknown_reason: UnknownStatementReason,
    },
}

One PL/SQL statement, in source order.

Variants

Null

NULL; — the PL/SQL no-op.

Assignment

target := expr; — captures the LHS target name and the raw RHS expression text. Sub-expression lowering happens in a later pass.

Fields

target: String

rhs_text: String

If

IF cond THEN … [ELSIF …] [ELSE …] END IF;. We capture the condition text per arm + the body source slice; full body lowering re-enters lower_statement_body on each slice once the parser wires it.

Fields

arms: Vec<IfArm>

else_body_text: Option<String>

BareLoop

LOOP … END LOOP; (bare loop).

Fields

body_text: String

ForLoop

FOR <ident> IN <range> LOOP … END LOOP; — captures the iterator name + the range text.

Fields

iterator: String

range_text: String

body_text: String

WhileLoop

WHILE cond LOOP … END LOOP;.

Fields

cond_text: String

body_text: String

Raise

RAISE [exception_name];.

Fields

exception: Option<String>

Return

RETURN [expr];.

Fields

value_text: Option<String>

Exit

EXIT [WHEN cond];.

Fields

when_text: Option<String>

ExecuteImmediate

EXECUTE IMMEDIATE 'sql' [USING binds] [INTO targets];. The lowering captures the SQL literal verbatim plus a boolean for whether the call had bind variables.

Fields

sql_literal: String

has_bind_variables: bool

Sql

A SQL statement embedded in PL/SQL (SELECT … INTO, INSERT, UPDATE, DELETE, MERGE). The verb is captured plus the raw text so downstream lineage can walk the tables it touches.

Fields

verb: SqlVerb

raw_text: String

NestedBlock

Anonymous nested block — [DECLARE …] BEGIN … END; inside the surrounding body.

Fields

body_text: String

TransactionControl

COMMIT; / ROLLBACK [TO …]; / SAVEPOINT …; — captured as a single kind because the engine treats them uniformly for now.

Fields

verb: String

Unrecognized

Statement the recognizer could not classify. The unknown_reason discriminant feeds R13 reporting so the engine never silently drops a line.

Fields

raw_text: String

unknown_reason: UnknownStatementReason

Trait Implementations

impl Clone for Statement

fn clone(&self) -> Statement

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Statement

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Statement

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for Statement

impl PartialEq for Statement

fn eq(&self, other: &Statement) -> bool

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for Statement

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Statement