Enum AstStatement 

pub enum AstStatement {
    Null {
        span: Span,
    },
    Assignment {
        target: String,
        rhs_text: String,
        span: Span,
    },
    If {
        cond_text: String,
        span: Span,
    },
    Loop {
        header_text: String,
        span: Span,
    },
    Raise {
        exception: Option<String>,
        span: Span,
    },
    Return {
        value_text: Option<String>,
        span: Span,
    },
    ExecuteImmediate {
        sql_text: String,
        has_using: bool,
        span: Span,
    },
    Sql {
        verb: String,
        raw_text: String,
        span: Span,
    },
    Call {
        callee: String,
        span: Span,
    },
    Unknown {
        span: Span,
    },
}

A statement inside a routine / anonymous block body.

This is the syntactic projection of a statement body — one step before plsql_ir::Statement (the semantic IR). The parser frontend only recognises the shape; name resolution + flow happen in Layer 2. Unknown satisfies R13.

Every variant carries a span (Spanned invariant).

Variants

Null

NULL;

Fields

span: Span

Assignment

target := <rhs>; — RHS kept as raw text for the IR lowering layer to re-parse.

Fields

target: String

rhs_text: String

span: Span

If

IF … THEN … [ELSIF …] [ELSE …] END IF; — the body slices are raw text the IR layer recurses into.

Fields

cond_text: String

span: Span

Loop

Any loop form (LOOP / FOR … LOOP / WHILE … LOOP).

Fields

header_text: String

span: Span

Raise

RAISE [exception];

Fields

exception: Option<String>

span: Span

Return

RETURN [expr];

Fields

value_text: Option<String>

span: Span

ExecuteImmediate

EXECUTE IMMEDIATE '<sql>' [USING …];

Fields

sql_text: String

has_using: bool

span: Span

Sql

An embedded SQL DML statement (SELECT/INSERT/UPDATE/ DELETE/MERGE). raw_text is the verbatim statement source slice so the IR layer can recover table/column read/write dependencies. Empty when the backend could only classify the verb.

Fields

verb: String

raw_text: String

span: Span

Call

A procedure / function call statement.

Fields

callee: String

span: Span

Unknown

A statement the backend could not classify (R13).

Fields

span: Span

Trait Implementations

impl Clone for AstStatement

fn clone(&self) -> AstStatement

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AstStatement

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for AstStatement

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for AstStatement

impl PartialEq for AstStatement

fn eq(&self, other: &AstStatement) -> 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 AstStatement

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Spanned for AstStatement

fn span(&self) -> Span

The source span of this AST node.

impl StructuralPartialEq for AstStatement