Module calls_loop 

Re-exports

use super::CallsLoop; 🔒

use super::payable_loop::LoopItem; 🔒

use super::payable_loop::for_each_loop_item; 🔒

use crate::linter::LateLintPass; 🔒

use crate::linter::LintContext; 🔒

use crate::sol::Severity; 🔒

use crate::sol::SolLint; 🔒

use solar::ast::StateMutability; 🔒

use solar::sema::Gcx; 🔒

use solar::sema::builtins::Builtin; 🔒

use solar::sema::hir::Expr; 🔒

use solar::sema::hir::ExprKind; 🔒

use solar::sema::hir::Function; 🔒

use solar::sema::ty::TyFnKind; 🔒

use solar::sema::ty::TyKind; 🔒

Enums

ExternalCall 🔒

An interaction with another contract.

Statics

CALLS_LOOP

Functions

classify 🔒

Classifies calls by their checked function kind, including function pointers and library delegate calls. Internal using for bindings and super dispatch stay internal.

is_external_call 🔒

True if calling callee interacts with another contract (or deploys one).

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.*).