Add option to extract functions debug info to configs

commit-id:c5d50d84

Author: piotmag769

crates/cairo-lang-compiler/src/lib.rs

@@ -47,12 +47,16 @@ pub struct CompilerConfig<'a> {
     pub replace_ids: bool,
 
     /// Adds a mapping used by [cairo-profiler](https://github.com/software-mansion/cairo-profiler) to
-    /// [cairo_lang_sierra::debug_info::Annotations] in [cairo_lang_sierra::debug_info::DebugInfo].
+    /// [Annotations] in [DebugInfo].
     pub add_statements_functions: bool,
 
     /// Adds a mapping used by [cairo-coverage](https://github.com/software-mansion/cairo-coverage) to
-    /// [cairo_lang_sierra::debug_info::Annotations] in [cairo_lang_sierra::debug_info::DebugInfo].
+    /// [Annotations] in [DebugInfo].
     pub add_statements_code_locations: bool,
+
+    /// Adds a mapping used by [cairo-debugger](https://github.com/software-mansion-labs/cairo-debugger) to
+    /// [Annotations] in [DebugInfo] in the compiled tests.
+    pub add_functions_debug_info: bool,
 }
 
 /// Compiles a Cairo project at the given path.
@@ -346,6 +350,12 @@ pub fn compile_prepared_db_program_artifact_for_functions<'db>(
         ))
     };
 
+    if compiler_config.add_functions_debug_info {
+        annotations.extend(Annotations::from(
+            sierra_program_with_debug.debug_info.functions_info.extract_serializable_debug_info(db),
+        ))
+    }
+
     let debug_info = DebugInfo {
         type_names: Default::default(),
         libfunc_names: Default::default(),

crates/cairo-lang-starknet/src/compile.rs

@@ -167,6 +167,12 @@ fn compile_contract_with_prepared_and_checked_db<'db>(
         annotations.extend(Annotations::from(statements_functions))
     };
 
+    if compiler_config.add_functions_debug_info {
+        annotations.extend(Annotations::from(
+            debug_info.functions_info.extract_serializable_debug_info(db),
+        ))
+    }
+
     let abi_builder: Option<AbiBuilder<'db>> =
         AbiBuilder::from_submodule(db, contract.submodule_id, Default::default()).ok();
     let finalized_abi =

crates/cairo-lang-starknet/src/test_utils.rs

@@ -84,6 +84,7 @@ pub fn get_test_contract(example_file_name: &str) -> ContractClass {
             diagnostics_reporter,
             add_statements_functions: false,
             add_statements_code_locations: false,
+            add_functions_debug_info: false,
         },
     )
     .expect("compile_path failed")

crates/cairo-lang-test-plugin/src/lib.rs

@@ -72,6 +72,10 @@ pub struct TestsCompilationConfig<'db> {
     /// Adds a mapping used by [cairo-coverage](https://github.com/software-mansion/cairo-coverage) to
     /// [Annotations] in [DebugInfo] in the compiled tests.
     pub add_statements_code_locations: bool,
+
+    /// Adds a mapping used by [cairo-debugger](https://github.com/software-mansion-labs/cairo-debugger) to
+    /// [Annotations] in [DebugInfo] in the compiled tests.
+    pub add_functions_debug_info: bool,
 }
 
 /// Runs Cairo compiler.
@@ -172,6 +176,12 @@ pub fn compile_test_prepared_db<'db>(
         ))
     }
 
+    if tests_compilation_config.add_functions_debug_info {
+        annotations.extend(Annotations::from(
+            debug_info.functions_info.extract_serializable_debug_info(db),
+        ))
+    }
+
     let executables = collect_executables(db, executable_functions, &sierra_program);
     let named_tests = all_tests
         .into_iter()

crates/cairo-lang-test-runner/src/lib.rs

@@ -75,6 +75,7 @@ impl<'db> TestRunner<'db> {
                 contract_declarations: None,
                 contract_crate_ids: None,
                 executable_crate_ids: None,
+                add_functions_debug_info: false,
             },
         )?;
         Ok(Self { compiler, config, custom_hint_processor_factory: None })

crates/cairo-lang-test-runner/src/test.rs

@@ -21,6 +21,7 @@ fn test_compiled_serialization() {
             starknet: true,
             add_statements_functions: false,
             add_statements_code_locations: false,
+            add_functions_debug_info: false,
             contract_declarations: None,
             contract_crate_ids: None,
             executable_crate_ids: None,