Module function_init_state 

Re-exports

use super::FunctionInitState; 🔒

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::hir::ContractId; 🔒

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

use solar::sema::hir::FunctionId; 🔒

use solar::sema::hir::Hir; 🔒

use solar::sema::hir::VariableId; 🔒

use solar::sema::hir::Visit; 🔒

use std::convert::Infallible; 🔒

use std::ops::ControlFlow; 🔒

Structs

ImpureRefFinder 🔒

Looks for a reference to a non-constant state variable or to a non-pure function anywhere in an initializer expression, arguments of nested calls included.

Statics

FUNCTION_INIT_STATE