4 releases (breaking)
0.5.0 | Jun 14, 2024 |
---|---|
0.4.0 | Jun 13, 2024 |
0.3.0 | May 28, 2024 |
0.1.0 | Apr 29, 2024 |
#3 in #req
411 downloads per month
Used in mantra
20KB
339 lines
mantra-rust-trace
Crate providing a collection function to collect requirement traces from rust code,
using the AstCollector
from mantra-lang-tracing
.
It collects traces set using req
or reqcov
from mantra-rust-macros
,
and traces set in doc-comments using the form [req(<requirement id(s)>)]
.
Examples:
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,
}
Dependencies
~1.3–2.2MB
~46K SLoC