6 releases (breaking)
0.6.1 | Jul 4, 2024 |
---|---|
0.6.0 | Jul 1, 2024 |
0.5.0 | Jun 14, 2024 |
0.4.0 | Jun 13, 2024 |
0.1.0 | Apr 29, 2024 |
#702 in Data structures
30 downloads per month
Used in mantra
21KB
382 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.4–2.4MB
~48K SLoC