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
use super::Node;
use gc::{Finalize, Trace};
use std::fmt;
#[cfg(feature = "serde")]
use serde::{Deserialize, Serialize};
#[cfg_attr(feature = "serde", derive(Serialize, Deserialize))]
#[derive(Clone, Debug, Trace, Finalize, PartialEq)]
pub struct Break {
label: Option<Box<str>>,
}
impl Break {
pub fn new<OL, L>(label: OL) -> Self
where
L: Into<Box<str>>,
OL: Into<Option<L>>,
{
Self {
label: label.into().map(L::into),
}
}
pub fn label(&self) -> Option<&str> {
self.label.as_ref().map(Box::as_ref)
}
}
impl fmt::Display for Break {
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
write!(
f,
"break{}",
if self.label().is_some() {
format!(" {}", self.label().as_ref().unwrap())
} else {
String::new()
}
)
}
}
impl From<Break> for Node {
fn from(break_smt: Break) -> Node {
Self::Break(break_smt)
}
}