Module payable_loop 

Loop-context walker shared by the *-loop lints.

Visits every statement and expression that executes inside a loop of a function, following its modifier chain through _ and inlining the internal helpers it calls (including super dispatch, resolved against the contract the entry point belongs to).

Structs

LoopWalker 🔒

Enums

LoopItem 🔒

A statement or expression reached inside a loop.

Functions

for_each_loop_item 🔒

Calls f for every statement and expression executing inside a loop of func. Internal helpers called from a loop are inlined; with follow_calls_outside_loop, so are helpers called outside one, so that their own loops are reported too.

for_each_payable_loop_expr 🔒

Calls f for every expression executing inside a loop of a payable entry point, including loops in the internal helpers it calls (whether the call itself sits in a loop or not).

Type Aliases

Continuation 🔒

The rest of a modifier chain and the function body it wraps, executed at _.