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
use crate::prelude::*;
type Map = BTreeMap<String, Box<dyn PieceSpec>>;
#[derive(Debug,Default,Serialize,Deserialize)]
#[serde(transparent)]
pub struct PieceAliases {
map: Map,
}
impl PieceAliases {
pub fn remove(&mut self, alias: &str) {
self.map.remove(alias);
}
pub fn insert(&mut self, alias: String, target: Box<dyn PieceSpec>) {
self.map.insert(alias, target);
}
pub fn keys(&self) -> impl Iterator<Item=&String> {
self.map.keys()
}
pub fn is_empty(&self) -> bool {
let PieceAliases { map } = self;
map.is_empty()
}
}
#[derive(Debug,Clone,Serialize,Deserialize)]
struct Alias {
target: String,
}
impl Alias {
#[throws(SpecError)]
fn resolve<'a>(&self, pcaliases: &'a PieceAliases) -> &'a dyn PieceSpec {
Box::as_ref(
pcaliases
.map
.get(&self.target)
.ok_or(SpecError::AliasNotFound)?
)
}
#[throws(SpecError)]
fn new_depth(&self, depth: SpecDepth) -> SpecDepth {
depth.increment().ok_or_else(|| SpE::ImageOrAliasLoop)?
}
}
#[typetag::serde]
impl PieceSpec for Alias {
#[throws(SpecError)]
fn count(&self, pcaliases: &PieceAliases) -> usize {
self.resolve(pcaliases)?.count(&default())?
}
#[throws(SpecError)]
fn load(&self, pla: PLA) -> SpecLoaded {
let r = self.resolve(&pla.ig.pcaliases)?
.load(pla.recursing()?)?;
r
}
#[throws(SpecError)]
fn load_inert(&self, ig: &Instance, depth: SpecDepth) -> SpecLoadedInert {
self.resolve(&ig.pcaliases)?.load_inert(ig, self.new_depth(depth)?)?
}
}