Skip to main content

ProcedureForm

Enum ProcedureForm 

Source
#[non_exhaustive]
pub enum ProcedureForm { PlPgSql, MySql, TSql, SnowflakeScripting, Databricks, ClickHouse, GoogleSql, Agnostic, Custom(&'static str), Unsupported(&'static str), }
Expand description

Which stored-procedure grammar this engine speaks.

The default is ProcedureForm::Agnostic, Razeri’s own annotated form. It parses nowhere: it is the honest answer for a dialect that has not said, and the conformance kit reports it as an unanswered obligation.

Variants (Non-exhaustive)§

This enum is marked as non-exhaustive
Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.
§

PlPgSql

PL/pgSQL — a dollar-quoted body with DECLARE, SELECT … INTO, RAISE, IF and an EXCEPTION block. PostgreSQL, Citus and Redshift, all three measured deploying and running.

§

MySql

MySQL/MariaDB’s compound statement — the same block structure with DELIMITER-free BEGIN … END and no dollar quoting.

§

TSql

T-SQL — CREATE PROCEDURE … AS BEGIN … END, @-prefixed parameters.

§

SnowflakeScripting

Snowflake Scripting.

§

Databricks

Databricks SQL scripting.

§

ClickHouse

ClickHouse.

§

GoogleSql

GoogleSQL scripting — BigQuery’s, whose body is not quoted at all.

§

Agnostic

Razeri’s agnostic annotated form: ANSI SQL carrying @razeri: headers. It is a design artifact, not something an engine parses.

§

Custom(&'static str)

This engine has stored procedures and spells them in a grammar Razeri does not carry. The string is the grammar’s own name — "PL/SQL", "Teradata SPL" — and it is what a reader of a report or a rendered comment sees.

Answering this moves the rendering to your dialect and moves nothing else: Razeri neither substitutes a near neighbour nor refuses, and every question it would have answered from a named grammar it asks your dialect instead. The method it asks is SqlRenderer::render_procedure, and a dialect that answers Custom without overriding it has promised a rendering it does not provide — the conformance kit reports that as blocking, and the rendered SQL says the same thing in a comment where the procedure would have been.

§

Unsupported(&'static str)

This engine has no stored procedures. The string is the orientation an author reads instead of a syntax error — say what this engine offers in their place (DuckDB’s macros, SQLite’s application-level logic), because the sentence that helps is the one about this engine.

Not the answer for a grammar Razeri cannot spell — that is Custom, and the difference is the difference between a fact about the engine and a fact about Razeri.

Implementations§

Source§

impl ProcedureForm

Source

pub const fn refusal(self) -> Option<&'static str>

The dialect’s own refusal wording, or None where this engine has stored procedures.

Source

pub const fn custom_grammar(self) -> Option<&'static str>

The name of the grammar this dialect renders itself, or None where Razeri renders the procedure.

The one accessor every surface reads — the renderer that delegates, the conformance kit that checks the dialect kept its promise, and any report that names the grammar — so none of them carries a second reading of the variant.

Trait Implementations§

Source§

impl Clone for ProcedureForm

Source§

fn clone(&self) -> ProcedureForm

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Copy for ProcedureForm

Source§

impl Debug for ProcedureForm

Source§

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

Formats the value using the given formatter. Read more
Source§

impl Default for ProcedureForm

Source§

fn default() -> ProcedureForm

Returns the “default value” for a type. Read more
Source§

impl Eq for ProcedureForm

Source§

impl PartialEq for ProcedureForm

Source§

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

Equality operator ==. Read more
1.0.0 (const: unstable) · Source§

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

Inequality operator !=. Read more
Source§

impl StructuralPartialEq for ProcedureForm

Auto Trait Implementations§

Blanket Implementations§

Source§

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

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

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

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

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

Source§

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

Mutably borrows from an owned value. Read more
Source§

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

Source§

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

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

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

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

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

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

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

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

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

Source§

type Error = !

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, !>

Performs the conversion.
Source§

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

Source§

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

The type returned in the event of a conversion error.
Source§

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

Performs the conversion.