regorus 0.2.6

A fast, lightweight Rego (OPA policy language) interpreter
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
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129

#include <iostream>
#include "regorus.hpp"

void example()
{
    // Create engine
    regorus::Engine engine;

    engine.set_enable_coverage(true);
    
    // Add policies.
    engine.add_policy("objects.rego",R"(package objects

rect := {`width`: 2, "height": 4}
cube := {"width": 3, `height`: 4, "depth": 5}
a := 42
b := false
c := null
d := {"a": a, "x": [b, c]}
index := 1
shapes := [rect, cube]
names := ["prod", `smoke1`, "dev"]
sites := [{"name": "prod"}, {"name": names[index]}, {"name": "dev"}]
e := {
    a: "foo",
    "three": c,
    names[2]: b,
    "four": d,
}
f := e["dev"])");

    // Add data.
    engine.add_data_json(R"({
    "one": {
        "bar": "Foo",
        "baz": 5,
        "be": true,
        "bop": 23.4
    },
    "two": {
        "bar": "Bar",
        "baz": 12.3,
        "be": false,
        "bop": 42
    }
})");

    engine.add_data_json(R"({
    "three": {
        "bar": "Baz",
        "baz": 15,
        "be": true,
        "bop": 4.23
    }
})");

    // Set input.
    engine.set_input_json(R"({
    "a": 10,
    "b": "20",
    "c": 30.0,
    "d": true
})");

    // Eval query.
    auto result = engine.eval_query("[data.one, input.b, data.objects.sites[1]] = x");
    if (result) {
	std::cout<<result.output()<<std::endl;
    } else {
	std::cerr<<result.error()<<std::endl;
    }

    // Print coverage report
    auto result1 = engine.get_coverage_report_pretty();
    if (result1) {
	std::cout<<result1.output()<<std::endl;
    } else {
	std::cerr<<result1.error()<<std::endl;
    }
}

int main() {

    // Create engine.
    regorus::Engine engine;


    // Load policies.
    const char* policies[] = {
	"../../../tests/aci/framework.rego",
	"../../../tests/aci/policy.rego",
	"../../../tests/aci/api.rego",
    };

    // Add policies and data.
    for (auto policy : policies) {
	auto result = engine.add_policy_from_file(policy);
	if (!result) {
	    std::cerr<<result.error()<<std::endl;
	    return -1;
	}
	std::cout<<"Loaded package "<<result.output()<< std::endl;
    }
    {
	auto result = engine.add_data_from_json_file("../../../tests/aci/data.json");
	if (!result) {
	    std::cerr<<result.error()<<std::endl;
	    return -1;
	}
    }

    // Set input and eval rule.
    {
	auto result = engine.set_input_from_json_file("../../../tests/aci/input.json");
	if (!result) {
	    std::cerr<<result.error()<<std::endl;
	    return -1;
	}
    }
    auto result = engine.eval_rule("data.framework.mount_overlay");
    if (!result) {
	std::cerr<<result.error()<<std::endl;
	return -1;
    }

    std::cout<<result.output()<<std::endl;

    example();
}