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 slotmap::DefaultKey);
#[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<slotmap::DefaultKey>,
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
}
}
}