Skip to main content

ExpressionKind

Enum ExpressionKind 

Source
pub enum ExpressionKind {
Show 14 variants Identifier(String, Range<usize>), Constant(Constant, Range<usize>), StringLiteral(String, Range<usize>), ArraySubscript { array: Box<Expression>, index: Box<Expression>, span: Range<usize>, }, FunctionCall { function: Box<Expression>, arguments: Vec<Expression>, span: Range<usize>, }, MemberAccess { object: Box<Expression>, member: String, is_pointer: bool, span: Range<usize>, }, PostfixIncDec { operand: Box<Expression>, is_increment: bool, span: Range<usize>, }, PrefixIncDec { operand: Box<Expression>, is_increment: bool, span: Range<usize>, }, Unary { operator: UnaryOperator, operand: Box<Expression>, span: Range<usize>, }, Cast { type_name: Box<TypeName>, expression: Box<Expression>, span: Range<usize>, }, Binary { left: Box<Expression>, operator: BinaryOperator, right: Box<Expression>, span: Range<usize>, }, Conditional { condition: Box<Expression>, then_expr: Box<Expression>, else_expr: Box<Expression>, span: Range<usize>, }, Assignment { left: Box<Expression>, operator: AssignmentOperator, right: Box<Expression>, span: Range<usize>, }, Comma { expressions: Vec<Expression>, span: Range<usize>, },
}
Expand description

Expression kind.

Variants§

§

Identifier(String, Range<usize>)

Identifier.

§

Constant(Constant, Range<usize>)

Constant (literal).

§

StringLiteral(String, Range<usize>)

String literal.

§

ArraySubscript

Array subscript array[index].

Fields

§array: Box<Expression>

The array expression.

§index: Box<Expression>

The index expression.

§span: Range<usize>

Source span.

§

FunctionCall

Function call function(arguments).

Fields

§function: Box<Expression>

The function expression.

§arguments: Vec<Expression>

List of arguments.

§span: Range<usize>

Source span.

§

MemberAccess

Member access object.member or object->member.

Fields

§object: Box<Expression>

The object expression.

§member: String

Member name.

§is_pointer: bool

Whether it’s a pointer access (->).

§span: Range<usize>

Source span.

§

PostfixIncDec

Postfix increment or decrement (++, --).

Fields

§operand: Box<Expression>

The operand.

§is_increment: bool

Whether it’s an increment.

§span: Range<usize>

Source span.

§

PrefixIncDec

Prefix increment or decrement (++, --).

Fields

§operand: Box<Expression>

The operand.

§is_increment: bool

Whether it’s an increment.

§span: Range<usize>

Source span.

§

Unary

Unary operation.

Fields

§operator: UnaryOperator

Unary operator.

§operand: Box<Expression>

The operand.

§span: Range<usize>

Source span.

§

Cast

Type cast (type_name) expression.

Fields

§type_name: Box<TypeName>

Target type.

§expression: Box<Expression>

The expression to cast.

§span: Range<usize>

Source span.

§

Binary

Binary operation.

Fields

§left: Box<Expression>

Left operand.

§operator: BinaryOperator

Binary operator.

§right: Box<Expression>

Right operand.

§span: Range<usize>

Source span.

§

Conditional

Conditional expression condition ? then_expr : else_expr.

Fields

§condition: Box<Expression>

Condition.

§then_expr: Box<Expression>

Then expression.

§else_expr: Box<Expression>

Else expression.

§span: Range<usize>

Source span.

§

Assignment

Assignment expression.

Fields

§left: Box<Expression>

Left side of assignment.

§operator: AssignmentOperator

Assignment operator.

§right: Box<Expression>

Right side of assignment.

§span: Range<usize>

Source span.

§

Comma

Comma expression expr1, expr2, ....

Fields

§expressions: Vec<Expression>

List of expressions.

§span: Range<usize>

Source span.

Implementations§

Source§

impl ExpressionKind

Source

pub fn span(&self) -> Range<usize>

Returns the source span of the expression kind.

Trait Implementations§

Source§

impl Clone for ExpressionKind

Source§

fn clone(&self) -> ExpressionKind

Returns a duplicate 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 ExpressionKind

Source§

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

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

impl PartialEq for ExpressionKind

Source§

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

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