Module executor 

Executor

This module contains the execution logic for the SessionSource.

Re-exports

use crate::prelude::ChiselDispatcher; 🔒

use crate::prelude::ChiselResult; 🔒

use crate::prelude::ChiselRunner; 🔒

use crate::prelude::SessionSource; 🔒

use crate::prelude::SolidityHelper; 🔒

use alloy_dyn_abi::DynSolType; 🔒

use alloy_dyn_abi::DynSolValue; 🔒

use alloy_json_abi::EventParam; 🔒

use alloy_primitives::Address; 🔒

use alloy_primitives::B256; 🔒

use alloy_primitives::U256; 🔒

use alloy_primitives::hex; 🔒

use alloy_primitives::hex; 🔒

use eyre::Result; 🔒

use eyre::WrapErr; 🔒

use foundry_compilers::Artifact; 🔒

use foundry_evm::backend::Backend; 🔒

use foundry_evm::core::evm::FoundryEvmNetwork; 🔒

use foundry_evm::decode::decode_console_logs; 🔒

use foundry_evm::inspectors::CheatsConfig; 🔒

use foundry_evm::opts::ExecutionSpecContext; 🔒

use foundry_evm::opts::resolve_execution_spec; 🔒

use foundry_evm::traces::TraceRequirements; 🔒

use solar::ast::ElementaryType; 🔒

use solar::ast::LitKind; 🔒

use solar::ast::StmtKind as AstStmtKind; 🔒

use solar::ast::StrKind; 🔒

use solar::ast::UnOpKind; 🔒

use solar::ast::yul; 🔒

use solar::interface::Session; 🔒

use solar::sema::hir::Event; 🔒

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

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

use solar::sema::hir::StmtKind; 🔒

use solar::sema::ty::Gcx; 🔒

use solar::sema::ty::Ty; 🔒

use solar::sema::ty::TyKind; 🔒

use std::ops::ControlFlow; 🔒

use yansi::Paint; 🔒

Structs

InspectResult

Result of inspecting a Solidity snippet.

YulInspection 🔒

Functions

dyn_ty_contains_function 🔒

elementary_to_dyn 🔒

Maps a solar [ElementaryType] to a [DynSolType].

expr_to_dyn 🔒

Converts an [Expr] directly to a [DynSolType] for ABI inspection.

format_event_definition 🔒

Formats an [Event] into an inspection message.

format_token 🔒

Formats a value into an inspection message

should_continue 🔒

Whether execution should continue after inspecting this expression.

solar_expr_ty_to_dyn 🔒

Maps a solar [Ty] to a [DynSolType].

solar_ty_to_dyn 🔒

yul_inspection 🔒