Enum scilla_parser::ast::nodes::NodeRemoteFetchStatement

pub enum NodeRemoteFetchStatement {
    ReadStateMutable(WithMetaData<String>, WithMetaData<String>, WithMetaData<NodeVariableIdentifier>),
    ReadStateMutableSpecialId(WithMetaData<String>, WithMetaData<String>, WithMetaData<String>),
    ReadStateMutableMapAccess(WithMetaData<String>, WithMetaData<String>, WithMetaData<String>, Vec<WithMetaData<NodeMapAccess>>),
    ReadStateMutableMapAccessExists(WithMetaData<String>, WithMetaData<String>, WithMetaData<String>, Vec<WithMetaData<NodeMapAccess>>),
    ReadStateMutableCastAddress(WithMetaData<String>, WithMetaData<NodeVariableIdentifier>, WithMetaData<NodeAddressType>),
}

NodeRemoteFetchStatement represents a remote fetch statement node in the AST It can be one of many different types of remote fetch statements

Variants

ReadStateMutable(WithMetaData<String>, WithMetaData<String>, WithMetaData<NodeVariableIdentifier>)

Represents a read state mutable statement Example: read x from state;

ReadStateMutableSpecialId(WithMetaData<String>, WithMetaData<String>, WithMetaData<String>)

Represents a read state mutable special id statement Example: read x from state with id;

ReadStateMutableMapAccess(WithMetaData<String>, WithMetaData<String>, WithMetaData<String>, Vec<WithMetaData<NodeMapAccess>>)

Represents a read state mutable map access statement Example: read x from state with map access;

ReadStateMutableMapAccessExists(WithMetaData<String>, WithMetaData<String>, WithMetaData<String>, Vec<WithMetaData<NodeMapAccess>>)

Represents a read state mutable map access exists statement Example: read x from state with map access if exists;

ReadStateMutableCastAddress(WithMetaData<String>, WithMetaData<NodeVariableIdentifier>, WithMetaData<NodeAddressType>)

Represents a read state mutable cast address statement Example: read x from state with cast address;

Trait Implementations

impl AstVisitor for NodeRemoteFetchStatement

fn visit( &self, emitter: &mut dyn AstConverting ) -> Result<TraversalResult, String>

impl Clone for NodeRemoteFetchStatement

fn clone(&self) -> NodeRemoteFetchStatement

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for NodeRemoteFetchStatement

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

Formats the value using the given formatter.

impl PartialEq for NodeRemoteFetchStatement

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialOrd for NodeRemoteFetchStatement

fn partial_cmp(&self, other: &NodeRemoteFetchStatement) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

This method tests less than (for self and other) and is used by the < operator.

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

This method tests less than or equal to (for self and other) and is used by the <= operator.

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

This method tests greater than (for self and other) and is used by the > operator.

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

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl Eq for NodeRemoteFetchStatement

impl StructuralEq for NodeRemoteFetchStatement

impl StructuralPartialEq for NodeRemoteFetchStatement