pub struct AstPass<'a, 'b, DB>where
    DB: Backend,
    DB::QueryBuilder: 'a,
    <DB as HasBindCollector<'a>>::BindCollector: 'a,
    DB::MetadataLookup: 'a,
    'b: 'a,{ /* private fields */ }
Expand description

The primary type used when walking a Diesel AST during query execution.

Executing a query is generally done in multiple passes. This list includes, but is not limited to:

  • Generating the SQL
  • Collecting and serializing bound values (sent separately from the SQL)
  • Determining if a query is safe to store in the prepared statement cache

When adding a new type that is used in a Diesel AST, you don’t need to care about which specific passes are being performed, nor is there any way for you to find out what the current pass is. You should simply call the relevant methods and trust that they will be a no-op if they’re not relevant to the current pass.

Implementations§

source§

impl<'a, 'b, DB> AstPass<'a, 'b, DB>where DB: Backend, 'b: 'a,

source

pub fn reborrow(&mut self) -> AstPass<'_, 'b, DB>

Call this method whenever you pass an instance of AstPass by value.

Effectively copies self, with a narrower lifetime. When passing a reference or a mutable reference, this is normally done by rust implicitly. This is why you can pass &mut Foo to multiple functions, even though mutable references are not Copy. However, this is only done implicitly for references. For structs with lifetimes it must be done explicitly. This method matches the semantics of what Rust would do implicitly if you were passing a mutable reference

source

pub fn unsafe_to_cache_prepared(&mut self)

Mark the current query being constructed as unsafe to store in the prepared statement cache.

Diesel caches prepared statements as much as possible. However, it is important to ensure that this doesn’t result in unbounded memory usage on the database server. To ensure this is the case, any logical query which could generate a potentially unbounded number of prepared statements must call this method. Examples of AST nodes which do this are:

  • SqlLiteral. We have no way of knowing if the SQL string was constructed dynamically or not, so we must assume it was dynamic.
  • EqAny when passed a Rust Vec. The IN operator requires one bind parameter per element, meaning that the query could generate up to usize unique prepared statements.
  • InsertStatement. Unbounded due to the variable number of records being inserted generating unique SQL.
  • UpdateStatement. The number of potential queries is actually technically bounded, but the upper bound is the number of columns on the table factorial which is too large to be safe.
source

pub fn push_sql(&mut self, sql: &str)

Push the given SQL string on the end of the query being constructed.

Example
impl<Left, Right, DB> QueryFragment<DB> for And<Left, Right>
where
    DB: Backend,
    Left: QueryFragment<DB>,
    Right: QueryFragment<DB>,
{
    fn walk_ast<'b>(&'b self, mut out: AstPass<'_, 'b, DB>) -> QueryResult<()> {
        self.left.walk_ast(out.reborrow())?;
        out.push_sql(" AND ");
        self.right.walk_ast(out.reborrow())?;
        Ok(())
    }
}
source

pub fn push_identifier(&mut self, identifier: &str) -> QueryResult<()>

Push the given SQL identifier on the end of the query being constructed.

The identifier will be quoted using the rules specific to the backend the query is being constructed for.

source

pub fn push_bind_param<T, U>(&mut self, bind: &'b U) -> QueryResult<()>where DB: HasSqlType<T>, U: ToSql<T, DB>,

Push a value onto the given query to be sent separate from the SQL

This method affects multiple AST passes. It should be called at the point in the query where you’d want the parameter placeholder ($1 on PG, ? on other backends) to be inserted.

source

pub fn backend(&self) -> &DB

Available on crate feature i-implement-a-third-party-backend-and-opt-into-breaking-changes only.

Get information about the backend that will consume this query

source

pub fn should_skip_from(&self) -> bool

Available on crate feature i-implement-a-third-party-backend-and-opt-into-breaking-changes only.

Get if the query should be rendered with from clauses or not

Auto Trait Implementations§

§

impl<'a, 'b, DB> !RefUnwindSafe for AstPass<'a, 'b, DB>

§

impl<'a, 'b, DB> !Send for AstPass<'a, 'b, DB>

§

impl<'a, 'b, DB> !Sync for AstPass<'a, 'b, DB>

§

impl<'a, 'b, DB> Unpin for AstPass<'a, 'b, DB>where 'b: 'a,

§

impl<'a, 'b, DB> !UnwindSafe for AstPass<'a, 'b, DB>

Blanket Implementations§

source§

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

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

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

const: unstable · source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

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

const: unstable · source§

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

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

const: unstable · source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

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

const: unstable · 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> IntoSql for T

source§

fn into_sql<T>(self) -> AsExprOf<Self, T>where Self: AsExpression<T> + Sized, T: SqlType + TypedExpressionType,

Convert self to an expression for Diesel’s query builder. Read more
source§

fn as_sql<'a, T>(&'a self) -> AsExprOf<&'a Self, T>where &'a Self: AsExpression<T>, T: SqlType + TypedExpressionType,

Convert &self to an expression for Diesel’s query builder. Read more
source§

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

§

type Error = Infallible

The type returned in the event of a conversion error.
const: unstable · source§

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

Performs the conversion.
source§

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

§

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

The type returned in the event of a conversion error.
const: unstable · source§

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

Performs the conversion.
source§

impl<V, T> VZip<V> for Twhere V: MultiLane<T>,

source§

fn vzip(self) -> V