Lines
70 %
Functions
50 %
Branches
100 %
#![forbid(unsafe_code)]
use std::fmt;
use delegate::delegate;
use merc_macros::merc_derive_terms;
use merc_macros::merc_ignore;
use merc_macros::merc_term;
use merc_utilities::MercError;
use crate::ATerm;
use crate::ATermArgs;
use crate::ATermIndex;
use crate::ATermRead;
use crate::ATermRef;
use crate::ATermStreamable;
use crate::ATermWrite;
use crate::Markable;
use crate::Symb;
use crate::Symbol;
use crate::SymbolRef;
use crate::Term;
use crate::TermIterator;
use crate::Transmutable;
use crate::storage::Marker;
use crate::storage::THREAD_TERM_POOL;
/// Returns true if the term is a string term
fn is_string_term<'a, 'b, T: Term<'a, 'b>>(t: &'b T) -> bool {
t.get_head_symbol().arity() == 0
}
#[merc_derive_terms]
mod inner {
use super::*;
#[merc_term(is_string_term)]
pub struct ATermString {
term: ATerm,
impl ATermString {
#[merc_ignore]
pub fn new<S>(string: S) -> Self
where
S: Into<String> + AsRef<str>,
{
THREAD_TERM_POOL.with_borrow(|tp| ATermString {
term: tp.create_constant(&Symbol::new(string, 0)),
})
/// Get the value of the string
pub fn value(&self) -> &str {
self.term.get_head_symbol().name()
impl From<&str> for ATermString {
fn from(s: &str) -> Self {
ATermString::new(s)
impl fmt::Display for ATermString {
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
write!(f, "{}", self.value())
pub use inner::*;
impl PartialEq<str> for ATermString {
fn eq(&self, other: &str) -> bool {
self.value() == other
impl PartialEq<&str> for ATermStringRef<'_> {
fn eq(&self, other: &&str) -> bool {
self.value() == *other
// Helper to write a string immediately.
impl ATermStreamable for String {
fn write<W: ATermWrite>(&self, writer: &mut W) -> Result<(), MercError> {
writer.write_aterm(&ATermString::new(self.clone()))
fn read<R: ATermRead>(reader: &mut R) -> Result<Self, MercError>
Self: Sized,
let term: ATermString = reader.read_aterm()?.ok_or("Expected a string ATerm")?.into();
Ok(term.value().to_string())
#[cfg(test)]
mod tests {
#[test]
fn test_string() {
let _ = merc_utilities::test_logger();
let s = ATermString::new("test");
assert_eq!(s.value(), "test");
assert_eq!(s.to_string(), "test");