Module assert_state_change 

Re-exports

use super::AssertStateChange; 🔒

use crate::linter::LateLintPass; 🔒

use crate::linter::LintContext; 🔒

use crate::sol::Severity; 🔒

use crate::sol::SolLint; 🔒

use crate::sol::analysis::for_each_lhs_var; 🔒

use solar::ast::DataLocation; 🔒

use solar::ast::StateMutability; 🔒

use solar::sema::Gcx; 🔒

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

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

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

use std::ops::ControlFlow; 🔒

Statics

ASSERT_STATE_CHANGE

Functions

is_mutating_call 🔒

is_state_change 🔒

is_storage_lvalue 🔒

True if the lvalue is rooted in contract storage: a state variable or a local declared storage, which aliases contract storage.