Struct AnalysisResult 

pub struct AnalysisResult {
    pub sources: HashMap<u32, SourceAnalysis>,
    pub ucid_to_contract: HashMap<UCID, ContractRef>,
    pub ufid_to_function: HashMap<UFID, FunctionRef>,
    pub usid_to_step: HashMap<USID, StepRef>,
    pub uvid_to_variable: HashMap<UVID, VariableRef>,
    pub utid_to_user_defined_type: HashMap<UTID, UserDefinedTypeRef>,
    pub user_defined_types: HashMap<usize, UserDefinedTypeRef>,
}

Main analysis result containing debugging information from source code analysis.

This structure holds the complete analysis results for all source files processed during the analysis phase. It provides mappings from unique identifiers to their corresponding source steps and variables for efficient lookup during debugging.

Fields

• sources: Maps file paths to their individual analysis results
• usid_to_step: Maps unique step identifiers (USID) to their source step references
• uvid_to_variable: Maps unique variable identifiers (UVID) to their variable references

Example

let analysis_result = analyze(input)?;

// Access source results by file path
for (path, source_result) in &analysis_result.sources {
    println!("File: {}", path.display());
    println!("Steps found: {}", source_result.steps.len());
}

// Look up a specific step by USID
if let Some(step) = analysis_result.usid_to_step.get(&some_usid) {
    println!("Found step: {}", step.variant_name());
}

Fields

sources: HashMap<u32, SourceAnalysis>

Maps source index to their corresponding source analysis results

ucid_to_contract: HashMap<UCID, ContractRef>

Maps unique contract identifiers to their contract references

ufid_to_function: HashMap<UFID, FunctionRef>

Maps unique function identifiers to their function references

usid_to_step: HashMap<USID, StepRef>

Maps unique step identifiers to their source step references for quick lookup

uvid_to_variable: HashMap<UVID, VariableRef>

Maps unique variable identifiers to their variable references (currently unimplemented)

utid_to_user_defined_type: HashMap<UTID, UserDefinedTypeRef>

Maps AST IDs to their corresponding user defined type references

user_defined_types: HashMap<usize, UserDefinedTypeRef>

Maps AST IDs to their corresponding user defined type references

Trait Implementations

impl Clone for AnalysisResult

fn clone(&self) -> AnalysisResult

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for AnalysisResult

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for AnalysisResult

fn default() -> AnalysisResult

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for AnalysisResult

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for AnalysisResult

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.