Struct DoStatement

Source

pub struct DoStatement {
    pub args: ThinVec<DoArg>,
    pub meta: Meta,
}

Expand description

A PostgreSQL DO [LANGUAGE <lang>] '<body>' anonymous code block (gated by UtilitySyntax::do_statement).

Runs an inline procedural-language block without defining a routine. The body is an opaque source string in the target language (LiteralKind::String — dollar-quoted in practice), never re-parsed here: like FunctionOption::As the body’s grammar is the target language, not SQL, so the PL text is not smuggled into the AST.

The shape mirrors CreateFunction’s option cluster rather than a fixed { language, body } pair, because PostgreSQL’s raw grammar is the same free option list: DO dostmt_opt_list, where dostmt_opt_list is a non-empty sequence of items each either an Sconst body or LANGUAGE <word>, in any order and with no arity limit. The parser (makeDefElem("as"/"language", …)) accepts a repeated or missing body and a repeated language — DO LANGUAGE plpgsql (language, no body), DO $$a$$ $$b$$ (two bodies), and DO 'x' LANGUAGE a LANGUAGE b (two languages) all parse — and defers the “exactly one body, at most one language” check to execution (ExecuteDoStmt), exactly as the PrepareStatement “grammar accepts any statement, bind restricts the kind” contract defers its own semantic check. Modelling the list faithfully is what keeps raw-parse accept/reject parity with libpg_query; collapsing it to a single body/language pair would over-reject those three forms. The list is non-empty (a bare DO is a syntax error), which the parser enforces.

Fields§

§args: ThinVec<DoArg>

The dostmt_opt_list items in source order; always non-empty.

§meta: Meta

Source location and node identity.

DoStatement

Struct DoStatement Copy item path

Fields§

Trait Implementations§

impl Clone for DoStatement

fn clone(&self) -> DoStatement

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

impl Debug for DoStatement

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

impl<'de> Deserialize<'de> for DoStatement

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where __D: Deserializer<'de>,

impl Eq for DoStatement

impl Hash for DoStatement

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

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

impl PartialEq for DoStatement

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

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

impl Render for DoStatement

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

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

impl Serialize for DoStatement

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

impl Spanned for DoStatement

fn span(&self) -> Span

impl StructuralPartialEq for DoStatement

Auto Trait Implementations§

impl Freeze for DoStatement

impl RefUnwindSafe for DoStatement

impl Send for DoStatement

impl Sync for DoStatement

impl Unpin for DoStatement

impl UnsafeUnpin for DoStatement

impl UnwindSafe for DoStatement

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

impl<T> DeserializeOwned for Twhere T: for<'de> Deserialize<'de>,

impl<T> DynAstExt for Twhere T: Extension + Render + 'static,

fn as_any(&self) -> &(dyn Any + 'static)

fn dyn_clone(&self) -> Box<dyn DynAstExt>

fn dyn_eq(&self, other: &dyn DynAstExt) -> bool

fn dyn_hash(&self, state: &mut dyn Hasher)

impl<T> Extension for Twhere T: Clone + Debug + Eq + Hash + Spanned,

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> RenderExt for Twhere T: Render,

fn displayed<'a>(&'a self, ctx: &'a RenderCtx<'a>) -> Displayed<'a, T>

fn debug_sql<'a>(&'a self, resolver: &'a dyn Resolver) -> DebugSql<'a, Self>where Self: Sized,

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Struct DoStatement

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>
where __D: Deserializer<'de>,

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

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

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>
where S: Serializer,

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T> CloneToUninit for T
where T: Clone,

impl<T> DeserializeOwned for T
where T: for<'de> Deserialize<'de>,

impl<T> DynAstExt for T
where T: Extension + Render + 'static,

impl<T> Extension for T
where T: Clone + Debug + Eq + Hash + Spanned,

impl<T, U> Into<U> for T
where U: From<T>,

impl<T> RenderExt for T
where T: Render,

fn debug_sql<'a>(&'a self, resolver: &'a dyn Resolver) -> DebugSql<'a, Self>
where Self: Sized,

impl<T> ToOwned for T
where T: Clone,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,