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 super::*;
impl<N: Network> Parser for ProgramID<N> {
#[inline]
fn parse(string: &str) -> ParserResult<Self> {
let (string, name) = Identifier::parse(string)?;
let (string, (_, network)) = pair(tag("."), Identifier::parse)(string)?;
Ok((string, Self { name, network }))
}
}
impl<N: Network> FromStr for ProgramID<N> {
type Err = Error;
#[inline]
fn from_str(string: &str) -> Result<Self> {
match Self::parse(string) {
Ok((remainder, object)) => {
ensure!(remainder.is_empty(), "Failed to parse string. Found invalid character in: \"{remainder}\"");
Ok(object)
}
Err(error) => bail!("Failed to parse string. {error}"),
}
}
}
impl<N: Network> Debug for ProgramID<N> {
fn fmt(&self, f: &mut Formatter) -> fmt::Result {
Display::fmt(self, f)
}
}
impl<N: Network> Display for ProgramID<N> {
fn fmt(&self, f: &mut Formatter) -> fmt::Result {
write!(f, "{name}.{network}", name = self.name, network = self.network)
}
}
#[cfg(test)]
mod tests {
use super::*;
use snarkvm_console_network::Testnet3;
type CurrentNetwork = Testnet3;
#[test]
fn test_parse() -> Result<()> {
let id = ProgramID::<CurrentNetwork>::parse("bar.aleo").unwrap().1;
assert_eq!(id.name(), &Identifier::<CurrentNetwork>::from_str("bar")?);
assert_eq!(id.network(), &Identifier::<CurrentNetwork>::from_str("aleo")?);
assert!(ProgramID::<CurrentNetwork>::parse("foo").is_err());
Ok(())
}
#[test]
fn test_display() -> Result<()> {
let id = ProgramID::<CurrentNetwork>::from_str("bar.aleo")?;
assert_eq!("bar.aleo", id.to_string());
assert!(ProgramID::<CurrentNetwork>::from_str("foo").is_err());
Ok(())
}
}