daml-lint 0.9.4

Static analysis scanner for Daml smart contracts
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
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62

/// JavaScript custom-rule runtime and loader APIs.
#[cfg(feature = "js-runtime")]
pub mod script;

#[cfg(feature = "js-runtime")]
use crate::detector::Detector;

/// Built-in detectors shipped with `daml-lint`.
#[cfg(feature = "js-runtime")]
#[must_use]
pub fn create_builtin_detectors() -> Vec<Box<dyn Detector>> {
    vec![
        built_in_rule(
            "rules/missing-ensure-decimal.js",
            include_str!(concat!(
                env!("CARGO_MANIFEST_DIR"),
                "/rules/missing-ensure-decimal.js"
            )),
        ),
        built_in_rule(
            "rules/unguarded-division.js",
            include_str!(concat!(
                env!("CARGO_MANIFEST_DIR"),
                "/rules/unguarded-division.js"
            )),
        ),
        built_in_rule(
            "rules/head-of-list-query.js",
            include_str!(concat!(
                env!("CARGO_MANIFEST_DIR"),
                "/rules/head-of-list-query.js"
            )),
        ),
        built_in_rule(
            "rules/unbounded-fields.js",
            include_str!(concat!(
                env!("CARGO_MANIFEST_DIR"),
                "/rules/unbounded-fields.js"
            )),
        ),
        built_in_rule(
            "rules/missing-positive-amount.js",
            include_str!(concat!(
                env!("CARGO_MANIFEST_DIR"),
                "/rules/missing-positive-amount.js"
            )),
        ),
        built_in_rule(
            "rules/archive-before-execute.js",
            include_str!(concat!(
                env!("CARGO_MANIFEST_DIR"),
                "/rules/archive-before-execute.js"
            )),
        ),
    ]
}

#[cfg(feature = "js-runtime")]
fn built_in_rule(label: &str, source: &str) -> Box<dyn Detector> {
    script::load_script_source(label, source)
        .unwrap_or_else(|e| panic!("invalid embedded built-in rule {label}: {e}"))
}