Enum sway_core::Expression

source · [−]
pub enum Expression {

Show 21 variants    Literal {
        value: Literal,
        span: Span,
    },
    FunctionApplication {
        name: CallPath,
        arguments: Vec<Expression>,
        type_arguments: Vec<TypeArgument>,
        span: Span,
    },
    LazyOperator {
        op: LazyOp,
        lhs: Box<Expression>,
        rhs: Box<Expression>,
        span: Span,
    },
    VariableExpression {
        name: Ident,
        span: Span,
    },
    Tuple {
        fields: Vec<Expression>,
        span: Span,
    },
    TupleIndex {
        prefix: Box<Expression>,
        index: usize,
        index_span: Span,
        span: Span,
    },
    Array {
        contents: Vec<Expression>,
        span: Span,
    },
    StructExpression {
        struct_name: CallPath,
        type_arguments: Vec<TypeArgument>,
        fields: Vec<StructExpressionField>,
        span: Span,
    },
    CodeBlock {
        contents: CodeBlock,
        span: Span,
    },
    IfExp {
        condition: Box<Expression>,
        then: Box<Expression>,
        else: Option<Box<Expression>>,
        span: Span,
    },
    MatchExp {
        value: Box<Expression>,
        branches: Vec<MatchBranch>,
        span: Span,
    },
    AsmExpression {
        span: Span,
        asm: AsmExpression,
    },
    MethodApplication {
        method_name: MethodName,
        contract_call_params: Vec<StructExpressionField>,
        arguments: Vec<Expression>,
        type_arguments: Vec<TypeArgument>,
        span: Span,
    },
    SubfieldExpression {
        prefix: Box<Expression>,
        span: Span,
        field_to_access: Ident,
    },
    DelineatedPath {
        call_path: CallPath,
        args: Vec<Expression>,
        span: Span,
        type_arguments: Vec<TypeArgument>,
    },
    AbiCast {
        abi_name: CallPath,
        address: Box<Expression>,
        span: Span,
    },
    ArrayIndex {
        prefix: Box<Expression>,
        index: Box<Expression>,
        span: Span,
    },
    StorageAccess {
        field_names: Vec<Ident>,
        span: Span,
    },
    SizeOfVal {
        exp: Box<Expression>,
        span: Span,
    },
    BuiltinGetTypeProperty {
        builtin: BuiltinProperty,
        type_name: TypeInfo,
        type_span: Span,
        span: Span,
    },
    BuiltinGenerateUid {
        span: Span,
    },

}
Expand description

Represents a parsed, but not yet type checked, Expression.

Variants

Literal

Fields

value: Literal
span: Span

FunctionApplication

Fields

name: CallPath
arguments: Vec<Expression>
type_arguments: Vec<TypeArgument>
span: Span

LazyOperator

Fields

op: LazyOp
lhs: Box<Expression>
rhs: Box<Expression>
span: Span

VariableExpression

Fields

name: Ident
span: Span

Tuple

Fields

fields: Vec<Expression>
span: Span

TupleIndex

Fields

prefix: Box<Expression>
index: usize
index_span: Span
span: Span

Array

Fields

contents: Vec<Expression>
span: Span

StructExpression

Fields

struct_name: CallPath
type_arguments: Vec<TypeArgument>
fields: Vec<StructExpressionField>
span: Span

CodeBlock

Fields

contents: CodeBlock
span: Span

IfExp

Fields

condition: Box<Expression>
then: Box<Expression>
else: Option<Box<Expression>>
span: Span

MatchExp

Fields

value: Box<Expression>
branches: Vec<MatchBranch>
span: Span

AsmExpression

Fields

span: Span
asm: AsmExpression

MethodApplication

Fields

method_name: MethodName
contract_call_params: Vec<StructExpressionField>
arguments: Vec<Expression>
type_arguments: Vec<TypeArgument>
span: Span

SubfieldExpression

Fields

prefix: Box<Expression>
span: Span
field_to_access: Ident

A subfield expression is anything of the form:

ⓘ
<ident>.<ident>

DelineatedPath

Fields

call_path: CallPath
args: Vec<Expression>
span: Span
type_arguments: Vec<TypeArgument>

A delineated path is anything of the form:

ⓘ
<ident>::<ident>

Where there are n >= 2 idents. These could be either enum variant constructions, or they could be references to some sort of module in the module tree. For example, a reference to a module:

ⓘ
std::ops::add

And, an enum declaration:

ⓘ
enum MyEnum {
  Variant1,
  Variant2
}

MyEnum::Variant1

AbiCast

Fields

abi_name: CallPath
address: Box<Expression>
span: Span

A cast of a hash to an ABI for calling a contract.

ArrayIndex

Fields

prefix: Box<Expression>
index: Box<Expression>
span: Span

StorageAccess

Fields

field_names: Vec<Ident>
span: Span

SizeOfVal

Fields

exp: Box<Expression>
span: Span

BuiltinGetTypeProperty

Fields

builtin: BuiltinProperty
type_name: TypeInfo
type_span: Span
span: Span

BuiltinGenerateUid

Fields

span: Span

Trait Implementations

Returns a copy of the value. Read more

Performs copy-assignment from source. Read more

Formats the value using the given formatter. Read more

Auto Trait Implementations

Blanket Implementations

Gets the TypeId of self. Read more

Immutably borrows from an owned value. Read more

Mutably borrows from an owned value. Read more

Returns the argument unchanged.

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

Instruments this type with the current Span, returning an Instrumented wrapper. Read more

Calls U::from(self).

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

Should always be Self

The resulting type after obtaining ownership.

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

🔬 This is a nightly-only experimental API. (toowned_clone_into)

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

The type returned in the event of a conversion error.

Performs the conversion.

The type returned in the event of a conversion error.

Performs the conversion.

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

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