syntax::ast

Struct BlockExpr

source
pub struct BlockExpr { /* private fields */ }

Implementations§

source§

impl BlockExpr

source

pub fn modifier(&self) -> Option<BlockModifier>

source

pub fn is_standalone(&self) -> bool

false if the block is an intrinsic part of the syntax and can’t be replaced with arbitrary expression.

fn foo() { not_stand_alone }
const FOO: () = { stand_alone };
source§

impl BlockExpr

source§

impl BlockExpr

source

pub fn statements(&self) -> impl Iterator<Item = Stmt>

source

pub fn tail_expr(&self) -> Option<Expr>

source

pub fn may_carry_attributes(&self) -> bool

Block expressions accept outer and inner attributes, but only when they are the outer expression of an expression statement or the final expression of another block expression.

Trait Implementations§

source§

impl AstNode for BlockExpr

source§

fn can_cast(kind: SyntaxKind) -> bool

source§

fn cast(syntax: SyntaxNode) -> Option<Self>

source§

fn syntax(&self) -> &SyntaxNode

source§

fn clone_for_update(&self) -> Self
where Self: Sized,

source§

fn clone_subtree(&self) -> Self
where Self: Sized,

source§

impl Clone for BlockExpr

source§

fn clone(&self) -> BlockExpr

Returns a copy of the value. Read more
1.0.0 · source§

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

Performs copy-assignment from source. Read more
source§

impl Debug for BlockExpr

source§

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

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

impl Display for BlockExpr

source§

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

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

impl From<BlockExpr> for AnyHasAttrs

source§

fn from(node: BlockExpr) -> AnyHasAttrs

Converts to this type from the input type.
source§

impl From<BlockExpr> for ElseBranch

source§

fn from(block_expr: BlockExpr) -> Self

Converts to this type from the input type.
source§

impl From<BlockExpr> for Expr

source§

fn from(node: BlockExpr) -> Expr

Converts to this type from the input type.
source§

impl HasAttrs for BlockExpr

source§

fn attrs(&self) -> AstChildren<Attr>

source§

fn has_atom_attr(&self, atom: &str) -> bool

source§

fn attrs_including_inner(self) -> impl Iterator<Item = Attr>
where Self: Sized,

Returns all attributes of this node, including inner attributes that may not be directly under this node but under a child.
source§

impl Hash for BlockExpr

source§

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

Feeds this value into the given Hasher. Read more
1.3.0 · source§

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

Feeds a slice of this type into the given Hasher. Read more
source§

impl PartialEq for BlockExpr

source§

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

Tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

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

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

impl Eq for BlockExpr

source§

impl StructuralPartialEq for BlockExpr

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<N> AstNodeEdit for N
where N: AstNode + Clone,

source§

fn indent_level(&self) -> IndentLevel

source§

fn indent(&self, level: IndentLevel) -> Self

source§

fn dedent(&self, level: IndentLevel) -> Self

source§

fn reset_indent(&self) -> Self

source§

impl<T> AttrsOwnerEdit for T
where T: HasAttrs,

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, dst: *mut T)

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

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<N> Indent for N
where N: AstNode + Clone,

§

impl<T> Instrument for T

§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided [Span], returning an Instrumented wrapper. Read more
§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
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> IntoBox<dyn Any> for T
where T: Any,

source§

fn into_box(self) -> Box<dyn Any>

Convert self into the appropriate boxed form.
source§

impl<T> IntoEither for T

source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
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
§

impl<T> ToSmolStr for T
where T: Display + ?Sized,

§

fn to_smolstr(&self) -> SmolStr

source§

impl<T> ToString for T
where T: Display + ?Sized,

source§

default fn to_string(&self) -> String

Converts the given value to a String. Read more
source§

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

source§

type Error = Infallible

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

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

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.
§

impl<T> WithSubscriber for T

§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a [WithDispatch] wrapper. Read more
§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a [WithDispatch] wrapper. Read more