[−][src]Module solana_libra_ir_to_bytecode_syntax::ast
Structs
Block |
|
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
|
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 |
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 |
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 |