pub trait ASTVisitor<'a> {
Show 166 methods
fn traverse_expr(&mut self, expr: &'a SymbolicExpression) -> bool { ... }
fn traverse_list(
&mut self,
expr: &'a SymbolicExpression,
list: &'a [SymbolicExpression]
) -> bool { ... }
fn visit_list(
&mut self,
expr: &'a SymbolicExpression,
list: &'a [SymbolicExpression]
) -> bool { ... }
fn visit_atom_value(
&mut self,
expr: &'a SymbolicExpression,
value: &Value
) -> bool { ... }
fn visit_atom(
&mut self,
expr: &'a SymbolicExpression,
atom: &'a ClarityName
) -> bool { ... }
fn visit_literal_value(
&mut self,
expr: &'a SymbolicExpression,
value: &Value
) -> bool { ... }
fn visit_field(
&mut self,
expr: &'a SymbolicExpression,
field: &TraitIdentifier
) -> bool { ... }
fn visit_trait_reference(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
trait_def: &TraitDefinition
) -> bool { ... }
fn traverse_define_constant(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
value: &'a SymbolicExpression
) -> bool { ... }
fn visit_define_constant(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
value: &'a SymbolicExpression
) -> bool { ... }
fn traverse_define_private(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
parameters: Option<Vec<TypedVar<'a>>>,
body: &'a SymbolicExpression
) -> bool { ... }
fn visit_define_private(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
parameters: Option<Vec<TypedVar<'a>>>,
body: &'a SymbolicExpression
) -> bool { ... }
fn traverse_define_read_only(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
parameters: Option<Vec<TypedVar<'a>>>,
body: &'a SymbolicExpression
) -> bool { ... }
fn visit_define_read_only(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
parameters: Option<Vec<TypedVar<'a>>>,
body: &'a SymbolicExpression
) -> bool { ... }
fn traverse_define_public(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
parameters: Option<Vec<TypedVar<'a>>>,
body: &'a SymbolicExpression
) -> bool { ... }
fn visit_define_public(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
parameters: Option<Vec<TypedVar<'a>>>,
body: &'a SymbolicExpression
) -> bool { ... }
fn traverse_define_nft(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
nft_type: &'a SymbolicExpression
) -> bool { ... }
fn visit_define_nft(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
nft_type: &'a SymbolicExpression
) -> bool { ... }
fn traverse_define_ft(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
supply: Option<&'a SymbolicExpression>
) -> bool { ... }
fn visit_define_ft(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
supply: Option<&'a SymbolicExpression>
) -> bool { ... }
fn traverse_define_map(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
key_type: &'a SymbolicExpression,
value_type: &'a SymbolicExpression
) -> bool { ... }
fn visit_define_map(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
key_type: &'a SymbolicExpression,
value_type: &'a SymbolicExpression
) -> bool { ... }
fn traverse_define_data_var(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
data_type: &'a SymbolicExpression,
initial: &'a SymbolicExpression
) -> bool { ... }
fn visit_define_data_var(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
data_type: &'a SymbolicExpression,
initial: &'a SymbolicExpression
) -> bool { ... }
fn traverse_define_trait(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
functions: &'a [SymbolicExpression]
) -> bool { ... }
fn visit_define_trait(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
functions: &'a [SymbolicExpression]
) -> bool { ... }
fn traverse_use_trait(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
trait_identifier: &TraitIdentifier
) -> bool { ... }
fn visit_use_trait(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
trait_identifier: &TraitIdentifier
) -> bool { ... }
fn traverse_impl_trait(
&mut self,
expr: &'a SymbolicExpression,
trait_identifier: &TraitIdentifier
) -> bool { ... }
fn visit_impl_trait(
&mut self,
expr: &'a SymbolicExpression,
trait_identifier: &TraitIdentifier
) -> bool { ... }
fn traverse_arithmetic(
&mut self,
expr: &'a SymbolicExpression,
func: NativeFunctions,
operands: &'a [SymbolicExpression]
) -> bool { ... }
fn visit_arithmetic(
&mut self,
expr: &'a SymbolicExpression,
func: NativeFunctions,
operands: &'a [SymbolicExpression]
) -> bool { ... }
fn traverse_binary_bitwise(
&mut self,
expr: &'a SymbolicExpression,
func: NativeFunctions,
lhs: &'a SymbolicExpression,
rhs: &'a SymbolicExpression
) -> bool { ... }
fn visit_binary_bitwise(
&mut self,
expr: &'a SymbolicExpression,
func: NativeFunctions,
lhs: &'a SymbolicExpression,
rhs: &'a SymbolicExpression
) -> bool { ... }
fn traverse_comparison(
&mut self,
expr: &'a SymbolicExpression,
func: NativeFunctions,
operands: &'a [SymbolicExpression]
) -> bool { ... }
fn visit_comparison(
&mut self,
expr: &'a SymbolicExpression,
func: NativeFunctions,
operands: &'a [SymbolicExpression]
) -> bool { ... }
fn traverse_lazy_logical(
&mut self,
expr: &'a SymbolicExpression,
function: NativeFunctions,
operands: &'a [SymbolicExpression]
) -> bool { ... }
fn visit_lazy_logical(
&mut self,
expr: &'a SymbolicExpression,
function: NativeFunctions,
operands: &'a [SymbolicExpression]
) -> bool { ... }
fn traverse_logical(
&mut self,
expr: &'a SymbolicExpression,
function: NativeFunctions,
operands: &'a [SymbolicExpression]
) -> bool { ... }
fn visit_logical(
&mut self,
expr: &'a SymbolicExpression,
function: NativeFunctions,
operands: &'a [SymbolicExpression]
) -> bool { ... }
fn traverse_int_cast(
&mut self,
expr: &'a SymbolicExpression,
input: &'a SymbolicExpression
) -> bool { ... }
fn visit_int_cast(
&mut self,
expr: &'a SymbolicExpression,
input: &'a SymbolicExpression
) -> bool { ... }
fn traverse_if(
&mut self,
expr: &'a SymbolicExpression,
cond: &'a SymbolicExpression,
then_expr: &'a SymbolicExpression,
else_expr: &'a SymbolicExpression
) -> bool { ... }
fn visit_if(
&mut self,
expr: &'a SymbolicExpression,
cond: &'a SymbolicExpression,
then_expr: &'a SymbolicExpression,
else_expr: &'a SymbolicExpression
) -> bool { ... }
fn traverse_var_get(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName
) -> bool { ... }
fn visit_var_get(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName
) -> bool { ... }
fn traverse_var_set(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
value: &'a SymbolicExpression
) -> bool { ... }
fn visit_var_set(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
value: &'a SymbolicExpression
) -> bool { ... }
fn traverse_map_get(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
key: &HashMap<Option<&'a ClarityName>, &'a SymbolicExpression>
) -> bool { ... }
fn visit_map_get(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
key: &HashMap<Option<&'a ClarityName>, &'a SymbolicExpression>
) -> bool { ... }
fn traverse_map_set(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
key: &HashMap<Option<&'a ClarityName>, &'a SymbolicExpression>,
value: &HashMap<Option<&'a ClarityName>, &'a SymbolicExpression>
) -> bool { ... }
fn visit_map_set(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
key: &HashMap<Option<&'a ClarityName>, &'a SymbolicExpression>,
value: &HashMap<Option<&'a ClarityName>, &'a SymbolicExpression>
) -> bool { ... }
fn traverse_map_insert(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
key: &HashMap<Option<&'a ClarityName>, &'a SymbolicExpression>,
value: &HashMap<Option<&'a ClarityName>, &'a SymbolicExpression>
) -> bool { ... }
fn visit_map_insert(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
key: &HashMap<Option<&'a ClarityName>, &'a SymbolicExpression>,
value: &HashMap<Option<&'a ClarityName>, &'a SymbolicExpression>
) -> bool { ... }
fn traverse_map_delete(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
key: &HashMap<Option<&'a ClarityName>, &'a SymbolicExpression>
) -> bool { ... }
fn visit_map_delete(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
key: &HashMap<Option<&'a ClarityName>, &'a SymbolicExpression>
) -> bool { ... }
fn traverse_tuple(
&mut self,
expr: &'a SymbolicExpression,
values: &HashMap<Option<&'a ClarityName>, &'a SymbolicExpression>
) -> bool { ... }
fn visit_tuple(
&mut self,
expr: &'a SymbolicExpression,
values: &HashMap<Option<&'a ClarityName>, &'a SymbolicExpression>
) -> bool { ... }
fn traverse_get(
&mut self,
expr: &'a SymbolicExpression,
key: &'a ClarityName,
tuple: &'a SymbolicExpression
) -> bool { ... }
fn visit_get(
&mut self,
expr: &'a SymbolicExpression,
key: &'a ClarityName,
tuple: &'a SymbolicExpression
) -> bool { ... }
fn traverse_merge(
&mut self,
expr: &'a SymbolicExpression,
tuple1: &'a SymbolicExpression,
tuple2: &'a SymbolicExpression
) -> bool { ... }
fn visit_merge(
&mut self,
expr: &'a SymbolicExpression,
tuple1: &'a SymbolicExpression,
tuple2: &'a SymbolicExpression
) -> bool { ... }
fn traverse_begin(
&mut self,
expr: &'a SymbolicExpression,
statements: &'a [SymbolicExpression]
) -> bool { ... }
fn visit_begin(
&mut self,
expr: &'a SymbolicExpression,
statements: &'a [SymbolicExpression]
) -> bool { ... }
fn traverse_hash(
&mut self,
expr: &'a SymbolicExpression,
func: NativeFunctions,
value: &'a SymbolicExpression
) -> bool { ... }
fn visit_hash(
&mut self,
expr: &'a SymbolicExpression,
func: NativeFunctions,
value: &'a SymbolicExpression
) -> bool { ... }
fn traverse_secp256k1_recover(
&mut self,
expr: &'a SymbolicExpression,
hash: &'a SymbolicExpression,
signature: &'a SymbolicExpression
) -> bool { ... }
fn visit_secp256k1_recover(
&mut self,
expr: &'a SymbolicExpression,
hash: &SymbolicExpression,
signature: &SymbolicExpression
) -> bool { ... }
fn traverse_secp256k1_verify(
&mut self,
expr: &'a SymbolicExpression,
hash: &'a SymbolicExpression,
signature: &'a SymbolicExpression,
public_key: &'a SymbolicExpression
) -> bool { ... }
fn visit_secp256k1_verify(
&mut self,
expr: &'a SymbolicExpression,
hash: &SymbolicExpression,
signature: &SymbolicExpression,
public_key: &'a SymbolicExpression
) -> bool { ... }
fn traverse_print(
&mut self,
expr: &'a SymbolicExpression,
value: &'a SymbolicExpression
) -> bool { ... }
fn visit_print(
&mut self,
expr: &'a SymbolicExpression,
value: &'a SymbolicExpression
) -> bool { ... }
fn traverse_static_contract_call(
&mut self,
expr: &'a SymbolicExpression,
contract_identifier: &QualifiedContractIdentifier,
function_name: &'a ClarityName,
args: &'a [SymbolicExpression]
) -> bool { ... }
fn visit_static_contract_call(
&mut self,
expr: &'a SymbolicExpression,
contract_identifier: &QualifiedContractIdentifier,
function_name: &'a ClarityName,
args: &'a [SymbolicExpression]
) -> bool { ... }
fn traverse_dynamic_contract_call(
&mut self,
expr: &'a SymbolicExpression,
trait_ref: &'a SymbolicExpression,
function_name: &'a ClarityName,
args: &'a [SymbolicExpression]
) -> bool { ... }
fn visit_dynamic_contract_call(
&mut self,
expr: &'a SymbolicExpression,
trait_ref: &'a SymbolicExpression,
function_name: &'a ClarityName,
args: &'a [SymbolicExpression]
) -> bool { ... }
fn traverse_as_contract(
&mut self,
expr: &'a SymbolicExpression,
inner: &'a SymbolicExpression
) -> bool { ... }
fn visit_as_contract(
&mut self,
expr: &'a SymbolicExpression,
inner: &'a SymbolicExpression
) -> bool { ... }
fn traverse_contract_of(
&mut self,
expr: &'a SymbolicExpression,
name: &'a SymbolicExpression
) -> bool { ... }
fn visit_contract_of(
&mut self,
expr: &'a SymbolicExpression,
name: &'a SymbolicExpression
) -> bool { ... }
fn traverse_principal_of(
&mut self,
expr: &'a SymbolicExpression,
public_key: &'a SymbolicExpression
) -> bool { ... }
fn visit_principal_of(
&mut self,
expr: &'a SymbolicExpression,
public_key: &'a SymbolicExpression
) -> bool { ... }
fn traverse_at_block(
&mut self,
expr: &'a SymbolicExpression,
block: &'a SymbolicExpression,
inner: &'a SymbolicExpression
) -> bool { ... }
fn visit_at_block(
&mut self,
expr: &'a SymbolicExpression,
block: &'a SymbolicExpression,
inner: &'a SymbolicExpression
) -> bool { ... }
fn traverse_get_block_info(
&mut self,
expr: &'a SymbolicExpression,
prop_name: &'a ClarityName,
block: &'a SymbolicExpression
) -> bool { ... }
fn visit_get_block_info(
&mut self,
expr: &'a SymbolicExpression,
prop_name: &'a ClarityName,
block: &'a SymbolicExpression
) -> bool { ... }
fn traverse_err(
&mut self,
expr: &'a SymbolicExpression,
value: &'a SymbolicExpression
) -> bool { ... }
fn visit_err(
&mut self,
expr: &'a SymbolicExpression,
value: &'a SymbolicExpression
) -> bool { ... }
fn traverse_ok(
&mut self,
expr: &'a SymbolicExpression,
value: &'a SymbolicExpression
) -> bool { ... }
fn visit_ok(
&mut self,
expr: &'a SymbolicExpression,
value: &'a SymbolicExpression
) -> bool { ... }
fn traverse_some(
&mut self,
expr: &'a SymbolicExpression,
value: &'a SymbolicExpression
) -> bool { ... }
fn visit_some(
&mut self,
expr: &'a SymbolicExpression,
value: &'a SymbolicExpression
) -> bool { ... }
fn traverse_default_to(
&mut self,
expr: &'a SymbolicExpression,
default: &'a SymbolicExpression,
value: &'a SymbolicExpression
) -> bool { ... }
fn visit_default_to(
&mut self,
expr: &'a SymbolicExpression,
default: &'a SymbolicExpression,
value: &'a SymbolicExpression
) -> bool { ... }
fn traverse_unwrap(
&mut self,
expr: &'a SymbolicExpression,
input: &'a SymbolicExpression,
throws: &'a SymbolicExpression
) -> bool { ... }
fn visit_unwrap(
&mut self,
expr: &'a SymbolicExpression,
input: &'a SymbolicExpression,
throws: &'a SymbolicExpression
) -> bool { ... }
fn traverse_unwrap_err(
&mut self,
expr: &'a SymbolicExpression,
input: &'a SymbolicExpression,
throws: &'a SymbolicExpression
) -> bool { ... }
fn visit_unwrap_err(
&mut self,
expr: &'a SymbolicExpression,
input: &'a SymbolicExpression,
throws: &'a SymbolicExpression
) -> bool { ... }
fn traverse_is_ok(
&mut self,
expr: &'a SymbolicExpression,
value: &'a SymbolicExpression
) -> bool { ... }
fn visit_is_ok(
&mut self,
expr: &'a SymbolicExpression,
value: &'a SymbolicExpression
) -> bool { ... }
fn traverse_is_none(
&mut self,
expr: &'a SymbolicExpression,
value: &'a SymbolicExpression
) -> bool { ... }
fn visit_is_none(
&mut self,
expr: &'a SymbolicExpression,
value: &'a SymbolicExpression
) -> bool { ... }
fn traverse_is_err(
&mut self,
expr: &'a SymbolicExpression,
value: &'a SymbolicExpression
) -> bool { ... }
fn visit_is_err(
&mut self,
expr: &'a SymbolicExpression,
value: &'a SymbolicExpression
) -> bool { ... }
fn traverse_is_some(
&mut self,
expr: &'a SymbolicExpression,
value: &'a SymbolicExpression
) -> bool { ... }
fn visit_is_some(
&mut self,
expr: &'a SymbolicExpression,
value: &'a SymbolicExpression
) -> bool { ... }
fn traverse_filter(
&mut self,
expr: &'a SymbolicExpression,
func: &'a ClarityName,
sequence: &'a SymbolicExpression
) -> bool { ... }
fn visit_filter(
&mut self,
expr: &'a SymbolicExpression,
func: &'a ClarityName,
sequence: &'a SymbolicExpression
) -> bool { ... }
fn traverse_unwrap_panic(
&mut self,
expr: &'a SymbolicExpression,
input: &'a SymbolicExpression
) -> bool { ... }
fn visit_unwrap_panic(
&mut self,
expr: &'a SymbolicExpression,
input: &'a SymbolicExpression
) -> bool { ... }
fn traverse_unwrap_err_panic(
&mut self,
expr: &'a SymbolicExpression,
input: &'a SymbolicExpression
) -> bool { ... }
fn visit_unwrap_err_panic(
&mut self,
expr: &'a SymbolicExpression,
input: &'a SymbolicExpression
) -> bool { ... }
fn traverse_match_option(
&mut self,
expr: &'a SymbolicExpression,
input: &'a SymbolicExpression,
some_name: &'a ClarityName,
some_branch: &'a SymbolicExpression,
none_branch: &'a SymbolicExpression
) -> bool { ... }
fn visit_match_option(
&mut self,
expr: &'a SymbolicExpression,
input: &'a SymbolicExpression,
some_name: &'a ClarityName,
some_branch: &'a SymbolicExpression,
none_branch: &'a SymbolicExpression
) -> bool { ... }
fn traverse_match_response(
&mut self,
expr: &'a SymbolicExpression,
input: &'a SymbolicExpression,
ok_name: &'a ClarityName,
ok_branch: &'a SymbolicExpression,
err_name: &'a ClarityName,
err_branch: &'a SymbolicExpression
) -> bool { ... }
fn visit_match_response(
&mut self,
expr: &'a SymbolicExpression,
input: &'a SymbolicExpression,
ok_name: &'a ClarityName,
ok_branch: &'a SymbolicExpression,
err_name: &'a ClarityName,
err_branch: &'a SymbolicExpression
) -> bool { ... }
fn traverse_try(
&mut self,
expr: &'a SymbolicExpression,
input: &'a SymbolicExpression
) -> bool { ... }
fn visit_try(
&mut self,
expr: &'a SymbolicExpression,
input: &'a SymbolicExpression
) -> bool { ... }
fn traverse_asserts(
&mut self,
expr: &'a SymbolicExpression,
cond: &'a SymbolicExpression,
thrown: &'a SymbolicExpression
) -> bool { ... }
fn visit_asserts(
&mut self,
expr: &'a SymbolicExpression,
cond: &'a SymbolicExpression,
thrown: &'a SymbolicExpression
) -> bool { ... }
fn traverse_stx_burn(
&mut self,
expr: &'a SymbolicExpression,
amount: &'a SymbolicExpression,
sender: &'a SymbolicExpression
) -> bool { ... }
fn visit_stx_burn(
&mut self,
expr: &'a SymbolicExpression,
amount: &'a SymbolicExpression,
sender: &'a SymbolicExpression
) -> bool { ... }
fn traverse_stx_transfer(
&mut self,
expr: &'a SymbolicExpression,
amount: &'a SymbolicExpression,
sender: &'a SymbolicExpression,
recipient: &'a SymbolicExpression
) -> bool { ... }
fn visit_stx_transfer(
&mut self,
expr: &'a SymbolicExpression,
amount: &'a SymbolicExpression,
sender: &'a SymbolicExpression,
recipient: &'a SymbolicExpression
) -> bool { ... }
fn traverse_stx_get_balance(
&mut self,
expr: &'a SymbolicExpression,
owner: &'a SymbolicExpression
) -> bool { ... }
fn visit_stx_get_balance(
&mut self,
expr: &'a SymbolicExpression,
owner: &'a SymbolicExpression
) -> bool { ... }
fn traverse_ft_burn(
&mut self,
expr: &'a SymbolicExpression,
token: &'a ClarityName,
amount: &'a SymbolicExpression,
sender: &'a SymbolicExpression
) -> bool { ... }
fn visit_ft_burn(
&mut self,
expr: &'a SymbolicExpression,
token: &'a ClarityName,
amount: &'a SymbolicExpression,
sender: &'a SymbolicExpression
) -> bool { ... }
fn traverse_ft_transfer(
&mut self,
expr: &'a SymbolicExpression,
token: &'a ClarityName,
amount: &'a SymbolicExpression,
sender: &'a SymbolicExpression,
recipient: &'a SymbolicExpression
) -> bool { ... }
fn visit_ft_transfer(
&mut self,
expr: &'a SymbolicExpression,
token: &'a ClarityName,
amount: &'a SymbolicExpression,
sender: &'a SymbolicExpression,
recipient: &'a SymbolicExpression
) -> bool { ... }
fn traverse_ft_get_balance(
&mut self,
expr: &'a SymbolicExpression,
token: &'a ClarityName,
owner: &'a SymbolicExpression
) -> bool { ... }
fn visit_ft_get_balance(
&mut self,
expr: &'a SymbolicExpression,
token: &'a ClarityName,
owner: &'a SymbolicExpression
) -> bool { ... }
fn traverse_ft_get_supply(
&mut self,
expr: &'a SymbolicExpression,
token: &'a ClarityName
) -> bool { ... }
fn visit_ft_get_supply(
&mut self,
expr: &'a SymbolicExpression,
token: &'a ClarityName
) -> bool { ... }
fn traverse_ft_mint(
&mut self,
expr: &'a SymbolicExpression,
token: &'a ClarityName,
amount: &'a SymbolicExpression,
recipient: &'a SymbolicExpression
) -> bool { ... }
fn visit_ft_mint(
&mut self,
expr: &'a SymbolicExpression,
token: &'a ClarityName,
amount: &'a SymbolicExpression,
recipient: &'a SymbolicExpression
) -> bool { ... }
fn traverse_nft_burn(
&mut self,
expr: &'a SymbolicExpression,
token: &'a ClarityName,
identifier: &'a SymbolicExpression,
sender: &'a SymbolicExpression
) -> bool { ... }
fn visit_nft_burn(
&mut self,
expr: &'a SymbolicExpression,
token: &'a ClarityName,
identifier: &'a SymbolicExpression,
sender: &'a SymbolicExpression
) -> bool { ... }
fn traverse_nft_transfer(
&mut self,
expr: &'a SymbolicExpression,
token: &'a ClarityName,
identifier: &'a SymbolicExpression,
sender: &'a SymbolicExpression,
recipient: &'a SymbolicExpression
) -> bool { ... }
fn visit_nft_transfer(
&mut self,
expr: &'a SymbolicExpression,
token: &'a ClarityName,
identifier: &'a SymbolicExpression,
sender: &'a SymbolicExpression,
recipient: &'a SymbolicExpression
) -> bool { ... }
fn traverse_nft_mint(
&mut self,
expr: &'a SymbolicExpression,
token: &'a ClarityName,
identifier: &'a SymbolicExpression,
recipient: &'a SymbolicExpression
) -> bool { ... }
fn visit_nft_mint(
&mut self,
expr: &'a SymbolicExpression,
token: &'a ClarityName,
identifier: &'a SymbolicExpression,
recipient: &'a SymbolicExpression
) -> bool { ... }
fn traverse_nft_get_owner(
&mut self,
expr: &'a SymbolicExpression,
token: &'a ClarityName,
identifier: &'a SymbolicExpression
) -> bool { ... }
fn visit_nft_get_owner(
&mut self,
expr: &'a SymbolicExpression,
token: &'a ClarityName,
identifier: &'a SymbolicExpression
) -> bool { ... }
fn traverse_let(
&mut self,
expr: &'a SymbolicExpression,
bindings: &HashMap<&'a ClarityName, &'a SymbolicExpression>,
body: &'a [SymbolicExpression]
) -> bool { ... }
fn visit_let(
&mut self,
expr: &'a SymbolicExpression,
bindings: &HashMap<&'a ClarityName, &'a SymbolicExpression>,
body: &'a [SymbolicExpression]
) -> bool { ... }
fn traverse_map(
&mut self,
expr: &'a SymbolicExpression,
func: &'a ClarityName,
sequences: &'a [SymbolicExpression]
) -> bool { ... }
fn visit_map(
&mut self,
expr: &'a SymbolicExpression,
func: &'a ClarityName,
sequences: &'a [SymbolicExpression]
) -> bool { ... }
fn traverse_fold(
&mut self,
expr: &'a SymbolicExpression,
func: &'a ClarityName,
sequence: &'a SymbolicExpression,
initial: &'a SymbolicExpression
) -> bool { ... }
fn visit_fold(
&mut self,
expr: &'a SymbolicExpression,
func: &'a ClarityName,
sequence: &'a SymbolicExpression,
initial: &'a SymbolicExpression
) -> bool { ... }
fn traverse_append(
&mut self,
expr: &'a SymbolicExpression,
list: &'a SymbolicExpression,
value: &'a SymbolicExpression
) -> bool { ... }
fn visit_append(
&mut self,
expr: &'a SymbolicExpression,
list: &'a SymbolicExpression,
value: &'a SymbolicExpression
) -> bool { ... }
fn traverse_concat(
&mut self,
expr: &'a SymbolicExpression,
lhs: &'a SymbolicExpression,
rhs: &'a SymbolicExpression
) -> bool { ... }
fn visit_concat(
&mut self,
expr: &'a SymbolicExpression,
lhs: &'a SymbolicExpression,
rhs: &'a SymbolicExpression
) -> bool { ... }
fn traverse_as_max_len(
&mut self,
expr: &'a SymbolicExpression,
sequence: &'a SymbolicExpression,
length: u128
) -> bool { ... }
fn visit_as_max_len(
&mut self,
expr: &'a SymbolicExpression,
sequence: &'a SymbolicExpression,
length: u128
) -> bool { ... }
fn traverse_len(
&mut self,
expr: &'a SymbolicExpression,
sequence: &'a SymbolicExpression
) -> bool { ... }
fn visit_len(
&mut self,
expr: &'a SymbolicExpression,
sequence: &'a SymbolicExpression
) -> bool { ... }
fn traverse_element_at(
&mut self,
expr: &'a SymbolicExpression,
sequence: &'a SymbolicExpression,
index: &'a SymbolicExpression
) -> bool { ... }
fn visit_element_at(
&mut self,
expr: &'a SymbolicExpression,
sequence: &'a SymbolicExpression,
index: &'a SymbolicExpression
) -> bool { ... }
fn traverse_index_of(
&mut self,
expr: &'a SymbolicExpression,
sequence: &'a SymbolicExpression,
item: &'a SymbolicExpression
) -> bool { ... }
fn visit_index_of(
&mut self,
expr: &'a SymbolicExpression,
sequence: &'a SymbolicExpression,
item: &'a SymbolicExpression
) -> bool { ... }
fn traverse_list_cons(
&mut self,
expr: &'a SymbolicExpression,
args: &'a [SymbolicExpression]
) -> bool { ... }
fn visit_list_cons(
&mut self,
expr: &'a SymbolicExpression,
args: &'a [SymbolicExpression]
) -> bool { ... }
fn traverse_call_user_defined(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
args: &'a [SymbolicExpression]
) -> bool { ... }
fn visit_call_user_defined(
&mut self,
expr: &'a SymbolicExpression,
name: &'a ClarityName,
args: &'a [SymbolicExpression]
) -> bool { ... }
}