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
use crate::{Assign, BlockId};
use std::fmt;
pub enum Term {
Panic,
JumpIf {
condition: Assign,
then_block: BlockId,
else_block: BlockId,
},
Jump {
block: BlockId,
},
Return {
var: Assign,
},
}
impl Term {
pub(crate) fn dump(&self) -> TermDump<'_> {
TermDump { term: self }
}
}
pub(crate) struct TermDump<'a> {
term: &'a Term,
}
impl fmt::Display for TermDump<'_> {
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
match self.term {
Term::Panic => {
write!(f, "panic")?;
}
Term::JumpIf {
condition,
then_block,
else_block,
} => {
write!(f, "jump-if {}, {}, {}", condition, then_block, else_block)?;
}
Term::Jump { block } => {
write!(f, "jump {}", block)?;
}
Term::Return { var } => {
write!(f, "return {}", var)?;
}
}
Ok(())
}
}