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
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
use std::collections::{BTreeMap, HashMap};
use crate::{
context::Context,
function::{Function, FunctionIterator},
value::Value,
};
#[derive(Clone, Copy, Debug, Eq, PartialEq, Hash)]
pub struct Module(pub generational_arena::Index);
#[doc(hidden)]
pub struct ModuleContent {
pub kind: Kind,
pub functions: Vec<Function>,
pub global_constants: HashMap<Vec<String>, Value>,
pub global_configurable: BTreeMap<Vec<String>, Value>,
}
#[derive(Clone, Copy, Debug, Eq, PartialEq)]
pub enum Kind {
Contract,
Library,
Predicate,
Script,
}
impl Module {
pub fn new(context: &mut Context, kind: Kind) -> Module {
let content = ModuleContent {
kind,
functions: Vec::new(),
global_constants: HashMap::new(),
global_configurable: BTreeMap::new(),
};
Module(context.modules.insert(content))
}
pub fn get_kind(&self, context: &Context) -> Kind {
context.modules[self.0].kind
}
pub fn function_iter(&self, context: &Context) -> FunctionIterator {
FunctionIterator::new(context, self)
}
pub fn add_global_constant(
&self,
context: &mut Context,
call_path: Vec<String>,
const_val: Value,
) {
context.modules[self.0]
.global_constants
.insert(call_path, const_val);
}
pub fn get_global_constant(&self, context: &Context, call_path: &Vec<String>) -> Option<Value> {
context.modules[self.0]
.global_constants
.get(call_path)
.copied()
}
pub fn add_global_configurable(
&self,
context: &mut Context,
call_path: Vec<String>,
config_val: Value,
) {
context.modules[self.0]
.global_configurable
.insert(call_path, config_val);
}
pub fn get_global_configurable(
&self,
context: &Context,
call_path: &Vec<String>,
) -> Option<Value> {
context.modules[self.0]
.global_configurable
.get(call_path)
.copied()
}
pub fn remove_function(&self, context: &mut Context, function: &Function) {
context
.modules
.get_mut(self.0)
.expect("Module must exist in context.")
.functions
.retain(|mod_fn| mod_fn != function);
}
}
pub struct ModuleIterator {
modules: Vec<generational_arena::Index>,
next: usize,
}
impl ModuleIterator {
pub fn new(context: &Context) -> ModuleIterator {
ModuleIterator {
modules: context.modules.iter().map(|pair| pair.0).collect(),
next: 0,
}
}
}
impl Iterator for ModuleIterator {
type Item = Module;
fn next(&mut self) -> Option<Module> {
if self.next < self.modules.len() {
let idx = self.next;
self.next += 1;
Some(Module(self.modules[idx]))
} else {
None
}
}
}