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

use super::{EvidenceCase, ExpectedFacts};

// Oracle intent: declarations, the import source, calls, and bindings are all explicit in the source.
pub fn cases() -> &'static [EvidenceCase] {
    &[EvidenceCase {
        id: "typescript_interface_function_constants",
        language: "typescript",
        extension: "ts",
        source: r#"import { normalize } from "./text";

export interface User {
  name: string;
}

export function greet(input: User): string {
  const text: string = normalize(input.name);
  return text;
}

export const defaultUser: User = { name: "Ada" };
const greeting: string = greet(defaultUser);
"#,
        expected: ExpectedFacts {
            symbols: &["User", "greet", "text", "defaultUser", "greeting"],
            imports: &["./text"],
            calls: &["normalize", "greet"],
            variables: &["input", "text", "defaultUser", "greeting"],
        },
        malformed: &[
            "export const = 1;",
            "export function broken(input: User): string { const value: string = ; return value; }",
        ],
    }]
}