ripex 0.3.0

Multi-language structural parsing and fact extraction.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44

use super::{EvidenceCase, ExpectedFacts};

/// The oracle lists the exact names/sources/callees/variables emitted for this
/// compact C++20 namespace, class, method call, and declaration sample.
pub fn cases() -> &'static [EvidenceCase] {
    &[EvidenceCase {
        id: "cpp20_namespace_class_call",
        language: "cpp",
        extension: "cpp",
        source: r#"#include <vector>
namespace telemetry {
class Counter {
public:
    int value;
    int add(int amount) { return amount; }
};
constexpr int default_seed = 2;
int run(int seed) {
    Counter counter;
    int total = counter.add(seed);
    return total;
}
}
"#,
        expected: ExpectedFacts {
            symbols: &["telemetry", "Counter", "add", "run"],
            imports: &["vector"],
            calls: &["add"],
            variables: &[
                "value",
                "amount",
                "default_seed",
                "seed",
                "counter",
                "total",
            ],
        },
        malformed: &[
            "#include <vector\nint main() { return 0;",
            "class Broken { int value;\nint run() { return 1; }",
            "int compute( { return 1; }",
        ],
    }]
}