pub enum Rule {
Show 159 variants
EOI,
var_decl_keyword,
fn_decl_keyword,
trait_decl_keyword,
return_keyword,
storage_keyword,
use_keyword,
as_keyword,
enum_keyword,
struct_keyword,
impl_keyword,
asm_keyword,
while_keyword,
match_keyword,
mut_keyword,
assign,
line_comment_open,
block_comment_open,
block_comment_close,
fn_returns,
path_separator,
include_keyword,
abi_keyword,
ref_keyword,
deref_keyword,
true_keyword,
false_keyword,
const_decl_keyword,
impurity_keyword,
program,
library,
library_name,
contract,
script,
predicate,
file_path,
include_statement,
alias,
expr_inner,
parenthesized_expression,
unary_op_expr,
expr,
func_app,
type_args,
fn_args,
var_exp,
var_name_ident,
struct_field_access,
method_exp,
subfield_exp,
subfield_path,
sub_subfield_path,
fully_qualified_method,
call_item,
delineated_path,
path_component,
path_ident,
array_index,
abi_cast,
abi_decl,
abi_name,
if_exp,
op,
unary_op,
literal_value,
boolean,
string,
integer,
basic_integer,
u8_integer,
u16_integer,
u32_integer,
u64_integer,
byte,
binary_byte,
hex_byte,
hex_digit,
match_expression,
match_branch,
match_scrutinee,
catch_all,
scrutinee,
struct_scrutinee,
struct_scrutinee_fields,
struct_scrutinee_field,
field_scrutinee,
enum_scrutinee,
enum_scrutinee_component,
fn_args_scrutinee,
tuple_scrutinee,
code_block,
struct_expression,
struct_expr_fields,
array_exp,
array_elems,
declaration,
non_var_decl,
var_decl,
type_ascription,
fn_decl,
fn_signature,
var_name,
reassignment,
variable_reassignment,
struct_field_reassignment,
const_decl,
visibility,
struct_decl,
storage_decl,
storage_fields,
storage_field,
struct_name,
struct_fields,
struct_field_name,
enum_decl,
enum_fields,
enum_name,
enum_field_name,
impl_self,
fn_decl_params,
type_params,
fn_decl_param,
fn_decl_param_name,
fn_decl_name,
type_name,
str_type,
trait_bounds,
generic_type_param,
array_type,
return_statement,
expr_statement,
trait_decl,
trait_methods,
trait_name,
impl_trait,
use_statement,
relative_use_statement,
absolute_use_statement,
import_path,
import_items,
star,
while_loop,
asm_expression,
asm_registers,
asm_register_declaration,
asm_op,
asm_register,
asm_immediate,
opcode,
control_flow,
WHITESPACE,
COMMENT,
block_comment,
line_comment,
char,
tuple_type,
tuple_expr,
ident,
reserved_words,
}
Variants
EOI
var_decl_keyword
fn_decl_keyword
trait_decl_keyword
return_keyword
storage_keyword
use_keyword
as_keyword
enum_keyword
struct_keyword
impl_keyword
asm_keyword
while_keyword
match_keyword
mut_keyword
assign
line_comment_open
block_comment_open
block_comment_close
fn_returns
path_separator
include_keyword
abi_keyword
ref_keyword
deref_keyword
true_keyword
false_keyword
const_decl_keyword
impurity_keyword
program
library
library_name
contract
script
predicate
file_path
include_statement
alias
expr_inner
parenthesized_expression
unary_op_expr
expr
func_app
type_args
fn_args
var_exp
var_name_ident
struct_field_access
method_exp
subfield_exp
subfield_path
sub_subfield_path
fully_qualified_method
call_item
delineated_path
path_component
path_ident
array_index
abi_cast
abi_decl
abi_name
if_exp
op
unary_op
literal_value
boolean
string
integer
basic_integer
u8_integer
u16_integer
u32_integer
u64_integer
byte
binary_byte
hex_byte
hex_digit
match_expression
match_branch
match_scrutinee
catch_all
scrutinee
struct_scrutinee
struct_scrutinee_fields
struct_scrutinee_field
field_scrutinee
enum_scrutinee
enum_scrutinee_component
fn_args_scrutinee
tuple_scrutinee
code_block
struct_expression
struct_expr_fields
array_exp
array_elems
declaration
non_var_decl
var_decl
type_ascription
fn_decl
fn_signature
var_name
reassignment
variable_reassignment
struct_field_reassignment
const_decl
visibility
struct_decl
storage_decl
storage_fields
storage_field
struct_name
struct_fields
struct_field_name
enum_decl
enum_fields
enum_name
enum_field_name
impl_self
fn_decl_params
type_params
fn_decl_param
fn_decl_param_name
fn_decl_name
type_name
str_type
trait_bounds
generic_type_param
array_type
return_statement
expr_statement
trait_decl
trait_methods
trait_name
impl_trait
use_statement
relative_use_statement
absolute_use_statement
import_path
import_items
star
while_loop
asm_expression
asm_registers
asm_register_declaration
asm_op
asm_register
asm_immediate
opcode
control_flow
WHITESPACE
COMMENT
block_comment
line_comment
char
tuple_type
tuple_expr
ident
reserved_words
Trait Implementations
This method returns an ordering between self
and other
values if one exists. Read more
This method tests less than (for self
and other
) and is used by the <
operator. Read more
This method tests less than or equal to (for self
and other
) and is used by the <=
operator. Read more
This method tests greater than (for self
and other
) and is used by the >
operator. Read more
Auto Trait Implementations
impl RefUnwindSafe for Rule
impl UnwindSafe for Rule
Blanket Implementations
Mutably borrows from an owned value. Read more
Compare self to key
and return true
if they are equal.