Module unwrapped_modifier_logic 

Structs

ParamWriteFinder 🔒

Visitor that collects modifier parameters written by an expression.

SharedLocalFinder 🔒

Visitor that breaks on the first reference to any of the tracked local variables.

Statics

UNWRAPPED_MODIFIER_LOGIC

Functions

collect_written_params 🔒

count_placeholders 🔒

Recursively counts placeholder (_) statements within a list of statements, descending into nested blocks, conditionals, loops, try/catch, and Yul switch cases.

count_placeholders_in_stmt 🔒

has_shared_locals 🔒

Returns true if a local variable declared in the before segment is referenced in the after segment.

has_written_params_used_after 🔒

Returns true if a modifier parameter is written in the before segment and referenced in the after segment.