mantra-rust-trace

Crate 提供一个收集函数，用于从 Rust 代码中收集要求跟踪，使用来自 mantra-lang-tracing 的 AstCollector。它收集使用 req 或 reqcov 从 mantra-rust-macros 设置的跟踪，以及使用以下形式的文档注释中设置的跟踪：[req(<requirement id()>)].

示例

use mantra_rust_macros::{req, reqcov};

#[req(fn_trace)]
fn some_fn() {
    reqcov!(function_like_trace);
}

#[req(struct_trace)]
struct SomeStruct {
    /// Attribute macros cannot be set for fields.
    /// But setting a trace in doc-comments works: [req(doc_comment_trace)]
    some_field: bool,
}