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

use super::{EvidenceCase, ExpectedFacts};

// Oracle intent: keep this case small enough to verify package imports, exported
// declarations, selector calls, and both parameter and local-variable facts by hand.
const GO_BASICS: EvidenceCase = EvidenceCase {
    id: "go-basics",
    language: "go",
    extension: "go",
    source: r#"package main

import "fmt"

type Person struct {
    Name string
}

func Greet(name string) string {
    message := "hello " + name
    fmt.Println(message)
    return message
}
"#,
    expected: ExpectedFacts {
        symbols: &["Person", "Greet"],
        imports: &["\"fmt\""],
        calls: &["Println"],
        variables: &["name", "message"],
    },
    malformed: &[
        "package main\nfunc broken( {",
        "package main\nimport \"fmt\"\nfunc broken() { fmt.Println(",
    ],
};

pub fn cases() -> &'static [EvidenceCase] {
    &[GO_BASICS]
}