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
use crate::types::{FileDescriptor, Frequency, MessageIndex};
use std::cmp::min;
use std::collections::HashMap;
fn scc(
vertices: &[MessageIndex],
desc: &FileDescriptor,
u: usize,
count: &mut isize,
low: &mut [isize],
disc: &mut [isize],
stack: &mut Vec<usize>,
sccs: &mut Vec<Vec<usize>>,
ids: &HashMap<MessageIndex, usize>,
) {
disc[u] = *count;
low[u] = *count;
*count += 1;
stack.push(u);
for &v in vertices[u]
.get_message(desc)
.all_fields()
.filter(|f| !f.boxed && f.frequency != Frequency::Repeated)
.filter_map(|f| f.typ.message())
.filter_map(|m| ids.get(m))
{
if disc[v] == -1 {
scc(vertices, desc, v, count, low, disc, stack, sccs, ids);
low[u] = min(low[u], low[v]);
} else if stack.contains(&v) {
low[u] = min(low[u], disc[v]);
}
}
if low[u] == disc[u] {
let mut scc = Vec::new();
while let Some(w) = stack.pop() {
scc.push(w);
if w == u {
break;
}
}
sccs.push(scc);
}
}
impl FileDescriptor {
fn flatten_messages(&self) -> Vec<MessageIndex> {
let mut all_msgs = self
.messages
.iter()
.map(|m| m.index.clone())
.collect::<Vec<_>>();
let mut vertices = Vec::with_capacity(all_msgs.len());
while let Some(m) = all_msgs.pop() {
all_msgs.extend(m.get_message(self).messages.iter().map(|m| m.index.clone()));
vertices.push(m);
}
vertices
}
pub fn sccs(&self) -> Vec<Vec<MessageIndex>> {
let vertices = self.flatten_messages();
let ids = vertices
.iter()
.enumerate()
.map(|(i, m)| (m.get_message(self).index.clone(), i))
.collect::<HashMap<_, _>>();
let mut low = vec![-1; vertices.len()];
let mut disc = vec![-1; vertices.len()];
let mut stack: Vec<usize> = Vec::new();
let mut count = 0isize;
let mut sccs: Vec<Vec<usize>> = Vec::new();
for u in 0..vertices.len() {
if disc[u] == -1 {
scc(
&vertices, self, u, &mut count, &mut low, &mut disc, &mut stack, &mut sccs,
&ids,
);
}
}
sccs.into_iter()
.map(|scc| scc.into_iter().map(|i| vertices[i].clone()).collect())
.collect()
}
}