#requirements #trace #framework #req #collect #mantra #set

mantra-rust-trace

Collects requirement traces from rust code for the mantra framework

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

MIT license

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