Skip to main content

Stmt

Enum Stmt 

Source
pub enum Stmt {
Show 17 variants Decl { names: Vec<String>, rest: Option<String>, expr: Expr, span: Span, }, ConstDecl { name: String, expr: Expr, span: Span, }, Import { module: String, path: Option<String>, span: Span, }, Assign { targets: Vec<Expr>, rest: Option<Expr>, expr: Expr, op: Option<BinOp>, flavored: bool, span: Span, }, Bark { expr: Expr, span: Span, }, If { branches: Vec<(Expr, Vec<Stmt>)>, else_body: Option<Vec<Stmt>>, span: Span, }, For { vars: Vec<String>, rest: Option<String>, iter: Expr, body: Vec<Stmt>, span: Span, }, While { cond: Expr, body: Vec<Stmt>, span: Span, }, FuncDef { name: String, params: Params, body: Vec<Stmt>, span: Span, }, ObjDef { name: String, parent: Option<String>, methods: Vec<Stmt>, span: Span, }, Try { body: Vec<Stmt>, err_name: String, handler: Vec<Stmt>, span: Span, }, Return { expr: Option<Expr>, span: Span, }, Bonk { expr: Expr, span: Span, }, Amaze { cond: Expr, message: Option<Expr>, span: Span, }, Bork { span: Span, }, Continue { span: Span, }, ExprStmt { expr: Expr, },
}
Expand description

One statement. Variants mirror the docs/GRAMMAR.md grammar.

Variants§

§

Decl

such x = e, or a destructuring such a, b = e / such a, many rest = e. names are the leading targets in order; rest, when present, is a trailing many collector that gathers the surplus into a List. A plain single declaration has one name and no rest.

Fields

§names: Vec<String>
§expr: Expr
§span: Span
§

ConstDecl

so X = e

Fields

§name: String
§expr: Expr
§span: Span
§

Import

so math, or the string-path form so "lib/utils.doge". module is the binding name (the stem for a path import); path is the raw string of a path import, None for a bare-name import.

Fields

§module: String
§span: Span
§

Assign

[very] target = e, or a destructuring [very] a, b = e / [very] a, many rest = eflavored is true when written with very. targets are the leading assignable targets in order; rest, when present, is a trailing many collector target that gathers the surplus into a List. op is Some for an augmented assignment (target op= e), which reads the target, applies the binary operator, and stores the result back — augmented assignment is single-target only (one targets entry, no rest).

Fields

§targets: Vec<Expr>
§rest: Option<Expr>
§expr: Expr
§flavored: bool
§span: Span
§

Bark

bark e

Fields

§expr: Expr
§span: Span
§

If

if / elif / else. Each branch is (condition, body); else_body is the optional trailing else block.

Fields

§branches: Vec<(Expr, Vec<Stmt>)>
§else_body: Option<Vec<Stmt>>
§span: Span
§

For

for v in iter:, or a destructuring for k, v in iter: / for first, many rest in iter:. vars are the leading loop variables in order; rest, when present, is a trailing many collector that gathers each element’s surplus into a List. A plain loop has one var and no rest.

Fields

§vars: Vec<String>
§iter: Expr
§body: Vec<Stmt>
§span: Span
§

While

while cond:

Fields

§cond: Expr
§body: Vec<Stmt>
§span: Span
§

FuncDef

such name much params: … wow

Fields

§name: String
§params: Params
§body: Vec<Stmt>
§span: Span
§

ObjDef

many Name [much Parent]: … wow — a body of function definitions (methods). parent names the class it inherits from, when one is given.

Fields

§name: String
§parent: Option<String>
§methods: Vec<Stmt>
§span: Span
§

Try

pls … oh no err! …

Fields

§body: Vec<Stmt>
§err_name: String
§handler: Vec<Stmt>
§span: Span
§

Return

return [e]

Fields

§expr: Option<Expr>
§span: Span
§

Bonk

bonk e — raise a catchable error whose message is e’s display form.

Fields

§expr: Expr
§span: Span
§

Amaze

amaze cond [, message] — assert: a no-op when cond is truthy, else a catchable AssertError whose message is message’s display form (or a default when omitted). The message is evaluated only on failure.

Fields

§cond: Expr
§message: Option<Expr>
§span: Span
§

Bork

bork

Fields

§span: Span
§

Continue

continue

Fields

§span: Span
§

ExprStmt

A bare expression used as a statement, e.g. a call greet(x).

Fields

§expr: Expr

Implementations§

Source§

impl Stmt

Source

pub fn span(&self) -> Span

The source span this statement starts at.

Trait Implementations§

Source§

impl Clone for Stmt

Source§

fn clone(&self) -> Stmt

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 Debug for Stmt

Source§

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

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

impl PartialEq for Stmt

Source§

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

Auto Trait Implementations§

§

impl Freeze for Stmt

§

impl RefUnwindSafe for Stmt

§

impl Send for Stmt

§

impl Sync for Stmt

§

impl Unpin for Stmt

§

impl UnsafeUnpin for Stmt

§

impl UnwindSafe for Stmt

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