Module calls_loop 

Structs

Analyzer 🔒

Statics

CALLS_LOOP

Functions

base_contract 🔒

base_item_source 🔒

external_member_signatures 🔒

(visibility, state_mutability) for every callable member named member_name. When explicit_arg_count matches one or more overloads, narrows to those; otherwise returns the full set. Preserves overloads (no unique collapse).

function_signature_from_ty_fn 🔒

indexed_base_data_location 🔒

is_address_like 🔒

is_address_type_expr 🔒

is_external_call 🔒

is_internal_callable 🔒

is_state_mutating_external_call 🔒

Like is_external_call, but excludes calls that cannot affect log ordering or observable state: staticcall and high-level view/pure callees (including this.*).

is_super 🔒

super is the C3-linearized base-chain dispatch builtin; gcx.type_of_res panics on it.

is_this 🔒

is_typeless_builtin 🔒

is_typeless_builtin_expr 🔒

member_function_ids 🔒

referenced_item 🔒

resolved_internal_function_ids 🔒

resolved_super_function_ids 🔒

Resolves super.<member>(...) to the matching base-chain function(s) — for transitive analysis of external calls reached through C3 super dispatch.

resolves_to_internal_library_extension 🔒

self_call_is_state_mutating 🔒

Returns true when a this.<member>(...) call may emit logs or mutate state. Conservative on unresolved/overloaded names (avoids gcx.type_of_res for the this builtin, which panics).

semantic_expr_ty 🔒

semantic_fn_call_return_ty 🔒

semantic_index_ty 🔒

semantic_member_ty 🔒

type_is_address_like 🔒

unique 🔒

variable_data_location 🔒

Type Aliases

Placeholder 🔒