Skip to main content

Module block_timestamp

Module block_timestamp 

Source

Re-exportsยง

use super::BlockTimestamp; ๐Ÿ”’
use crate::linter::LateLintPass; ๐Ÿ”’
use crate::linter::LintContext; ๐Ÿ”’
use crate::sol::Severity; ๐Ÿ”’
use crate::sol::SolLint; ๐Ÿ”’
use crate::sol::analysis::any_subexpr; ๐Ÿ”’
use crate::sol::analysis::branch_always_exits; ๐Ÿ”’
use crate::sol::analysis::loop_stmts; ๐Ÿ”’
use crate::sol::analysis::tuple_elems; ๐Ÿ”’
use solar::ast::Visibility; ๐Ÿ”’
use solar::sema::Gcx; ๐Ÿ”’
use solar::sema::Hir; ๐Ÿ”’
use solar::sema::builtins::Builtin; ๐Ÿ”’
use solar::sema::hir::BinOpKind; ๐Ÿ”’
use solar::sema::hir::Expr; ๐Ÿ”’
use solar::sema::hir::ExprKind; ๐Ÿ”’
use solar::sema::hir::Function; ๐Ÿ”’
use solar::sema::hir::FunctionId; ๐Ÿ”’
use solar::sema::hir::Stmt; ๐Ÿ”’
use solar::sema::hir::StmtKind; ๐Ÿ”’
use solar::sema::hir::VariableId; ๐Ÿ”’
use solar::sema::hir::Visit; ๐Ÿ”’
use std::collections::HashSet; ๐Ÿ”’
use std::convert::Infallible; ๐Ÿ”’
use std::ops::ControlFlow; ๐Ÿ”’

Structsยง

Checker ๐Ÿ”’
Flow-sensitive walk reporting comparisons involving block.timestamp, a helper returning it, or a local holding a value derived from either.

Staticsยง

BLOCK_TIMESTAMP

Functionsยง

is_block_timestamp ๐Ÿ”’
block.timestamp, or the Yul timestamp() builtin.
is_cmp ๐Ÿ”’
returns_timestamp ๐Ÿ”’
True if a return reachable through plain blocks and if arms mentions block.timestamp.