Enum scilla_parser::ast::nodes::NodeFullExpression

pub enum NodeFullExpression {
    LocalVariableDeclaration {
        identifier_name: WithMetaData<String>,
        expression: Box<WithMetaData<NodeFullExpression>>,
        type_annotation: Option<WithMetaData<NodeTypeAnnotation>>,
        containing_expression: Box<WithMetaData<NodeFullExpression>>,
    },
    FunctionDeclaration {
        identier_value: WithMetaData<String>,
        type_annotation: WithMetaData<NodeTypeAnnotation>,
        expression: Box<WithMetaData<NodeFullExpression>>,
    },
    FunctionCall {
        function_name: WithMetaData<NodeVariableIdentifier>,
        argument_list: Vec<WithMetaData<NodeVariableIdentifier>>,
    },
    ExpressionAtomic(Box<WithMetaData<NodeAtomicExpression>>),
    ExpressionBuiltin {
        b: WithMetaData<String>,
        targs: Option<WithMetaData<NodeContractTypeArguments>>,
        xs: WithMetaData<NodeBuiltinArguments>,
    },
    Message(Vec<WithMetaData<NodeMessageEntry>>),
    Match {
        match_expression: WithMetaData<NodeVariableIdentifier>,
        clauses: Vec<WithMetaData<NodePatternMatchExpressionClause>>,
    },
    ConstructorCall {
        identifier_name: WithMetaData<NodeMetaIdentifier>,
        contract_type_arguments: Option<WithMetaData<NodeContractTypeArguments>>,
        argument_list: Vec<WithMetaData<NodeVariableIdentifier>>,
    },
    TemplateFunction {
        identifier_name: WithMetaData<String>,
        expression: Box<WithMetaData<NodeFullExpression>>,
    },
    TApp {
        identifier_name: WithMetaData<NodeVariableIdentifier>,
        type_arguments: Vec<WithMetaData<NodeTypeArgument>>,
    },
}

NodeFullExpression represents a full expression node in the AST

Variants

LocalVariableDeclaration

Fields

identifier_name: WithMetaData<String>

expression: Box<WithMetaData<NodeFullExpression>>

type_annotation: Option<WithMetaData<NodeTypeAnnotation>>

containing_expression: Box<WithMetaData<NodeFullExpression>>

Represents a local variable declaration Example: let x = "variable";

FunctionDeclaration

Fields

identier_value: WithMetaData<String>

type_annotation: WithMetaData<NodeTypeAnnotation>

expression: Box<WithMetaData<NodeFullExpression>>

Represents a function declaration Example: let f = fun (arg : ArgType) => arg;

FunctionCall

Fields

function_name: WithMetaData<NodeVariableIdentifier>

argument_list: Vec<WithMetaData<NodeVariableIdentifier>>

Represents a function call Example: f(arg);

ExpressionAtomic(Box<WithMetaData<NodeAtomicExpression>>)

Represents an atomic expression Example: let x = "atomic";

ExpressionBuiltin

Fields

b: WithMetaData<String>

targs: Option<WithMetaData<NodeContractTypeArguments>>

xs: WithMetaData<NodeBuiltinArguments>

Represents a built-in expression Example: let x = builtin f arg;

Message(Vec<WithMetaData<NodeMessageEntry>>)

Represents a message Example: msg = { _tag : "tag", _recipient : "0x123", _amount : "0", param : "value" };

Match

Fields

match_expression: WithMetaData<NodeVariableIdentifier>

clauses: Vec<WithMetaData<NodePatternMatchExpressionClause>>

Represents a match expression Example: match x with | Nil => "nil" | Cons a b => "cons" end

ConstructorCall

Fields

identifier_name: WithMetaData<NodeMetaIdentifier>

contract_type_arguments: Option<WithMetaData<NodeContractTypeArguments>>

argument_list: Vec<WithMetaData<NodeVariableIdentifier>>

Represents a constructor call Example: let x = CustomType arg;

TemplateFunction

Fields

identifier_name: WithMetaData<String>

expression: Box<WithMetaData<NodeFullExpression>>

Represents a template function Example: let x = tfun 'A => fun (arg : 'A) => arg;

TApp

Fields

identifier_name: WithMetaData<NodeVariableIdentifier>

type_arguments: Vec<WithMetaData<NodeTypeArgument>>

Represents a type application Example: let x = @CustomType arg;

Trait Implementations

impl AstVisitor for NodeFullExpression

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

impl Clone for NodeFullExpression

fn clone(&self) -> NodeFullExpression

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for NodeFullExpression

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

Formats the value using the given formatter.

impl PartialEq for NodeFullExpression

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

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

impl StructuralEq for NodeFullExpression

impl StructuralPartialEq for NodeFullExpression