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
use std::collections::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 name: String,
pub kind: Kind,
pub functions: Vec<Function>,
pub globals: HashMap<String, Value>,
}
#[derive(Clone, Copy, Debug)]
pub enum Kind {
Contract,
Library,
Predicate,
Script,
}
impl Module {
pub fn new(context: &mut Context, kind: Kind, name: &str) -> Module {
let content = ModuleContent {
name: name.to_owned(),
kind,
functions: Vec::new(),
globals: HashMap::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, name: String, const_val: Value) {
context.modules[self.0].globals.insert(name, const_val);
}
pub fn get_global_constant(&self, context: &Context, name: &str) -> Option<Value> {
context.modules[self.0].globals.get(name).copied()
}
}
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
}
}
}