Skip to main content

Module require_revert_in_loop

Module require_revert_in_loop 

Source

Re-exportsยง

use super::RequireRevertInLoop; ๐Ÿ”’
use super::payable_loop::LoopItem; ๐Ÿ”’
use super::payable_loop::for_each_loop_item; ๐Ÿ”’
use crate::linter::LateLintPass; ๐Ÿ”’
use crate::linter::LintContext; ๐Ÿ”’
use crate::sol::Severity; ๐Ÿ”’
use crate::sol::SolLint; ๐Ÿ”’
use solar::sema::Gcx; ๐Ÿ”’
use solar::sema::builtins::Builtin; ๐Ÿ”’
use solar::sema::hir::Expr; ๐Ÿ”’
use solar::sema::hir::ExprKind; ๐Ÿ”’
use solar::sema::hir::Function; ๐Ÿ”’
use solar::sema::hir::StmtKind; ๐Ÿ”’

Staticsยง

REQUIRE_REVERT_IN_LOOP

Functionsยง

is_require_or_revert_call ๐Ÿ”’
require(..), revert(..) or the Yul revert(..) builtin.