Module analysis 

Structs

ResolvedEmptySpecialFunction 🔒

SourceAnalysis

Coverage source analysis.

SourceFiles

A list of sources from one compiler build.

SourceVisitor 🔒

A visitor that walks the AST of a single contract and finds coverage items.

SourceVisitorCheckpoint 🔒

TernaryVisitor 🔒

Walks all expression shapes, adding only ternary decisions. Statement coverage remains owned by the enclosing statement or the ordinary expression visitor.

Enums

EmptySpecialFunctionKind 🔒

Functions

has_statements 🔒

is_regular_call 🔒

resolve_empty_special_functions 🔒

stmt_has_statements 🔒