Module executor 

Executor

This module contains the execution logic for the SessionSource.

Functions

builtin_member 🔒

Returns the type of builtin_ns.member for built-in global namespaces.

dyn_member 🔒

Returns the type of ty.member for a known [DynSolType].

elementary_to_dyn 🔒

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

expr_name_chain 🔒

Extracts a name chain from a member-access expression tree for HIR lookup.

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

func_members 🔒

Returns Some if the custom type is a function member access.

get_function_return_type 🔒

Get the return type of a contract method call receiver.method().

hir_ty_to_dyn 🔒

Converts a [HirType] to a [DynSolType].

infer_custom_type 🔒

Infers a custom type’s true type by recursing through the HIR.

infer_var_ty 🔒

Infers the type from a variable’s HIR type, optionally accessing a named member.

lookup_named_variable_type 🔒

Looks up name as a named variable in the REPL contract (state variables or run() locals) and returns its type as a [DynSolType].

parse_number_literal 🔒

Parses an [Expr] number/hex literal into a U256. Returns None if the expression is not a numeric literal.

resolve_call 🔒

Resolves a call expression to its return [DynSolType].

resolve_member 🔒

Resolves a member-access expression (lhs.member) to its [DynSolType].

should_continue 🔒

Whether execution should continue after inspecting this expression.

solar_ty_to_dyn 🔒

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