[][src]Module solana_libra_ir_to_bytecode_syntax::ast

Structs

Block

{ s }

Function

A Move function/procedure

FunctionName

Newtype for the name of a function

FunctionSignature

The signature of a function

IfElse

Struct defining an if statement

ImportDefinition

A dependency/import declaration

Loop

Struct defining a loop statement

ModuleDefinition

A Move module

ModuleName

Newtype for a name of a module

Program

A set of move modules and a Move transaction script

QualifiedModuleIdent

Newtype of the address + the module name addr.m

Script

The move transaction script to be executed

Spanned

Generic wrapper that keeps file locations for any ast-node

StructDefinition

A Move struct

StructName

Newtype for the name of a struct

StructType

Identifier for a struct definition. Tells us where to look in the storage layer to find the code associated with the interface

Var

Newtype for a variable/local

While

Struct defining a while statement

Enums

BinOp

Enum for binary operators

Builtin

Builtin "function"-like operators that often have a signature not expressable in the type system and/or have access to some runtime/storage context

Cmd

Enum for Move commands

CopyableVal

Bottom of the value hierarchy. These values can be trivially copyable and stored in statedb as a single entry.

Exp

Enum for all expressions

FunctionAnnotation
FunctionBody

The body of a Move function

FunctionCall

Enum for different function calls

FunctionVisibility

Public or internal modifier for a procedure

Kind

Used to annotate struct types as a resource or value

ModuleIdent

Either a qualified module name like addr.m or Transaction.m, which refers to a module in the same transaction.

Statement
Tag

Type "name" of the type

Type

The type of a single value

UnaryOp

Enum for unary operators

Type Definitions

Cmd_

The type of a command with its location

CopyableVal_

The type of a value and its location

ExpFields

The type for fields and their bound expressions

Exp_

The type for a Exp and its location

Field

The file newtype

Fields

A field map

FunctionCall_

The type for a function call and its location

Loc

The file location type

Var_

The type of a variable with a location