swamp_script_semantic

Enum ResolvedExpression

pub enum ResolvedExpression {
Show 44 variants
    FieldAccess(ResolvedStructTypeFieldRef),
    VariableAccess(ResolvedVariableRef),
    InternalFunctionAccess(ResolvedInternalFunctionDefinitionRef),
    ExternalFunctionAccess(ResolvedExternalFunctionDefinitionRef),
    MutRef(Rc<ResolvedMutVariable>),
    Option(Option<Box<ResolvedExpression>>),
    ArrayAccess(ResolvedArrayItemRef),
    MapIndexAccess(ResolvedMapIndexLookup),
    InitializeVariable(ResolvedVariableAssignment),
    ReassignVariable(ResolvedVariableAssignment),
    VariableCompoundAssignment(ResolvedVariableCompoundAssignment),
    FieldCompoundAssignment(ResolvedFieldCompoundAssignment),
    ArrayExtend(ResolvedVariableRef, Box<ResolvedExpression>),
    ArrayPush(ResolvedVariableRef, Box<ResolvedExpression>),
    ArrayAssignment(ResolvedMutArray, ResolvedIndexType, Box<ResolvedExpression>),
    MapAssignment(ResolvedMutMap, ResolvedIndexType, Box<ResolvedExpression>),
    StructFieldAssignment(ResolvedMutStructTypeFieldRef, Box<ResolvedExpression>),
    BinaryOp(ResolvedBinaryOperator),
    UnaryOp(ResolvedUnaryOperator),
    PostfixOp(ResolvedPostfixOperator),
    CoerceOptionToBool(Box<ResolvedExpression>),
    FunctionInternalCall(ResolvedInternalFunctionCall),
    FunctionExternalCall(ResolvedExternalFunctionCall),
    StaticCall(ResolvedStaticCall),
    StaticCallGeneric(ResolvedStaticCallGeneric),
    MutMemberCall(MutMemberRef, Vec<ResolvedExpression>),
    MemberCall(ResolvedMemberCall),
    Block(Vec<ResolvedStatement>),
    InterpolatedString(ResolvedStringTypeRef, Vec<ResolvedStringPart>),
    StructInstantiation(ResolvedStructInstantiation),
    Array(ResolvedArrayInstantiation),
    Tuple(Vec<ResolvedExpression>),
    Literal(ResolvedLiteral),
    ExclusiveRange(ResolvedExclusiveRangeTypeRef, Box<ResolvedExpression>, Box<ResolvedExpression>),
    IfElse(Box<ResolvedBooleanExpression>, Box<ResolvedExpression>, Box<ResolvedExpression>),
    IfElseOnlyVariable {
        variable: ResolvedVariableRef,
        optional_expr: Box<ResolvedExpression>,
        true_block: Box<ResolvedExpression>,
        false_block: Box<ResolvedExpression>,
    },
    IfElseAssignExpression {
        variable: ResolvedVariableRef,
        optional_expr: Box<ResolvedExpression>,
        true_block: Box<ResolvedExpression>,
        false_block: Box<ResolvedExpression>,
    },
    Match(ResolvedMatch),
    LetVar(ResolvedVariableRef, Box<ResolvedExpression>),
    ArrayRemoveIndex(ResolvedVariableRef, Box<ResolvedExpression>),
    ArrayClear(ResolvedVariableRef),
    SparseAdd(Box<ResolvedExpression>, Box<ResolvedExpression>),
    SparseRemove(Box<ResolvedExpression>, Box<ResolvedExpression>),
    SparseNew(ResolvedRustTypeRef, ResolvedType),
}

Variants§

FieldAccess(ResolvedStructTypeFieldRef)

VariableAccess(ResolvedVariableRef)

InternalFunctionAccess(ResolvedInternalFunctionDefinitionRef)

ExternalFunctionAccess(ResolvedExternalFunctionDefinitionRef)

MutRef(Rc<ResolvedMutVariable>)

Option(Option<Box<ResolvedExpression>>)

ArrayAccess(ResolvedArrayItemRef)

MapIndexAccess(ResolvedMapIndexLookup)

InitializeVariable(ResolvedVariableAssignment)

ReassignVariable(ResolvedVariableAssignment)

VariableCompoundAssignment(ResolvedVariableCompoundAssignment)

FieldCompoundAssignment(ResolvedFieldCompoundAssignment)

ArrayExtend(ResolvedVariableRef, Box<ResolvedExpression>)

ArrayPush(ResolvedVariableRef, Box<ResolvedExpression>)

ArrayAssignment(ResolvedMutArray, ResolvedIndexType, Box<ResolvedExpression>)

MapAssignment(ResolvedMutMap, ResolvedIndexType, Box<ResolvedExpression>)

StructFieldAssignment(ResolvedMutStructTypeFieldRef, Box<ResolvedExpression>)

BinaryOp(ResolvedBinaryOperator)

UnaryOp(ResolvedUnaryOperator)

PostfixOp(ResolvedPostfixOperator)

CoerceOptionToBool(Box<ResolvedExpression>)

FunctionInternalCall(ResolvedInternalFunctionCall)

FunctionExternalCall(ResolvedExternalFunctionCall)

StaticCall(ResolvedStaticCall)

StaticCallGeneric(ResolvedStaticCallGeneric)

MutMemberCall(MutMemberRef, Vec<ResolvedExpression>)

MemberCall(ResolvedMemberCall)

Block(Vec<ResolvedStatement>)

InterpolatedString(ResolvedStringTypeRef, Vec<ResolvedStringPart>)

StructInstantiation(ResolvedStructInstantiation)

Array(ResolvedArrayInstantiation)

Tuple(Vec<ResolvedExpression>)

Literal(ResolvedLiteral)

ExclusiveRange(ResolvedExclusiveRangeTypeRef, Box<ResolvedExpression>, Box<ResolvedExpression>)

IfElse(Box<ResolvedBooleanExpression>, Box<ResolvedExpression>, Box<ResolvedExpression>)

IfElseOnlyVariable

Fields

§variable: ResolvedVariableRef

§optional_expr: Box<ResolvedExpression>

§true_block: Box<ResolvedExpression>

§false_block: Box<ResolvedExpression>

IfElseAssignExpression

Fields

§variable: ResolvedVariableRef

§optional_expr: Box<ResolvedExpression>

§true_block: Box<ResolvedExpression>

§false_block: Box<ResolvedExpression>

Match(ResolvedMatch)

LetVar(ResolvedVariableRef, Box<ResolvedExpression>)

ArrayRemoveIndex(ResolvedVariableRef, Box<ResolvedExpression>)

ArrayClear(ResolvedVariableRef)

SparseAdd(Box<ResolvedExpression>, Box<ResolvedExpression>)

SparseRemove(Box<ResolvedExpression>, Box<ResolvedExpression>)

SparseNew(ResolvedRustTypeRef, ResolvedType)

Trait Implementations§

impl Debug for ResolvedExpression

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

Formats the value using the given formatter. Read more

impl Display for ResolvedExpression

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

impl Freeze for ResolvedExpression

impl !RefUnwindSafe for ResolvedExpression

impl !Send for ResolvedExpression

impl !Sync for ResolvedExpression

impl Unpin for ResolvedExpression

impl !UnwindSafe for ResolvedExpression

Blanket Implementations§

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

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

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

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

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

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

Mutably borrows from an owned value. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

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

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

fn into(self) -> U

Calls U::from(self).

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

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

default fn to_string(&self) -> String

Converts the given value to a String. Read more

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

type Error = Infallible

The type returned in the event of a conversion error.

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

Performs the conversion.

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

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

The type returned in the event of a conversion error.

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