Structs§
Statics§
Functions§
- access_
control_ 🔒state_ vars - called_
function_ 🔒ids - collect_
access_ 🔒check_ state_ vars - collect_
access_ 🔒control_ state_ vars_ in_ expr - collect_
access_ 🔒control_ state_ vars_ in_ function - collect_
access_ 🔒control_ state_ vars_ in_ stmt - collect_
called_ 🔒function_ ids - collect_
lhs_ 🔒index_ sources - collect_
lhs_ 🔒index_ sources_ into - collect_
state_ 🔒lhs_ vars - collect_
state_ 🔒vars_ read_ in_ expr - collect_
state_ 🔒vars_ read_ in_ function - collect_
state_ 🔒vars_ read_ in_ stmt - collect_
value_ 🔒sources - collect_
value_ 🔒sources_ into - emitted_
event_ 🔒id - entry_
point_ 🔒access_ guard_ vars - event_
mentions_ 🔒state_ var - expr_
has_ 🔒access_ guard - expr_
is_ 🔒zero_ value - expr_
looks_ 🔒like_ access_ check - expr_
reads_ 🔒sender - expr_
reads_ 🔒state_ variable_ transitively - function_
has_ 🔒access_ guard - function_
reads_ 🔒sender - is_
external_ 🔒function - is_
protected 🔒 - is_
protected_ 🔒entry_ point - is_
sender_ 🔒member - is_
state_ 🔒mutating_ entry_ point - lhs_
local_ 🔒var - merge_
alias_ 🔒maps - merge_
source_ 🔒maps - modifier_
has_ 🔒access_ control - name_
contains_ 🔒event_ keyword - name_
looks_ 🔒like_ access_ control - normalize_
event_ 🔒name_ part - resolved_
event_ 🔒id - resolved_
function_ 🔒ids - state_
lhs_ 🔒vars - state_
var_ 🔒event_ keywords - stmt_
exits_ 🔒or_ reverts - stmt_
has_ 🔒access_ guard - stmt_
reads_ 🔒sender - update_
sender_ 🔒alias_ from_ decl - update_
sender_ 🔒aliases_ from_ assignment