Struct aterm::ATermInner

pub struct ATermInner<Rec, B> {
    pub term: Term<Rec, B>,
    pub annotations: Box<[Rec]>,
}

The annotated term. This only combines the term with the annotations, nothing special.

Fields

term: Term<Rec, B>

The actual term.

annotations: Box<[Rec]>

The annotations on the term. The spec says this is an ATerm list of pairs of ATerms. We extend this to a general list of aterms so we can support more systems (e.g. Stratego/XT).

Methods

impl<Rec, B> ATermInner<Rec, B>

fn no_annos(term: Term<Rec, B>) -> Self

fn with_annos<A>(term: Term<Rec, B>, annos: A) -> Self where
    A: IntoIterator<Item = Rec>, 

Trait Implementations

impl<Rec: Debug, B: Debug> Debug for ATermInner<Rec, B>

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl<Rec: PartialEq, B: PartialEq> PartialEq for ATermInner<Rec, B>

fn eq(&self, __arg_0: &ATermInner<Rec, B>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, __arg_0: &ATermInner<Rec, B>) -> bool

This method tests for !=.

impl<Rec: Eq, B: Eq> Eq for ATermInner<Rec, B>

impl<Rec: Clone, B: Clone> Clone for ATermInner<Rec, B>

fn clone(&self) -> ATermInner<Rec, B>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<Rec: Hash, B: Hash> Hash for ATermInner<Rec, B>

fn hash<__HRecB: Hasher>(&self, __arg_0: &mut __HRecB)

Feeds this value into the state given, updating the hasher as necessary.

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the state provided.

impl<Rec, B> ATerm for ATermInner<Rec, B> where
    Rec: Borrow<ATermInner<Rec, B>>, 

type Rec = Rec

type Blob = B

fn into_inner(self) -> ATermInner<Rec, B>

fn as_inner(&self) -> &ATermInner<Self::Rec, Self::Blob>

fn get_int(&self) -> Option<i32>

fn get_long(&self) -> Option<i64>

fn get_real(&self) -> Option<f32>

fn get_application(&self) -> Option<(&str, &[Self::Rec])>

fn get_list(&self) -> Option<&[Self::Rec]>

fn get_placeholder(&self) -> Option<&TermPlaceholder<Self::Rec>>

fn get_blob(&self) -> Option<&Self::Blob>

fn get_string(&self) -> Option<String>

fn get_tuple(&self) -> Option<&[Self::Rec]>

impl<Rec, B> Display for ATermInner<Rec, B> where
    Rec: ATermWrite,
    B: ATermWrite, 

fn fmt(&self, f: &mut Formatter) -> Result

Formats the value using the given formatter.

impl<Rec, B> ATermWrite for ATermInner<Rec, B> where
    Rec: ATermWrite,
    B: ATermWrite, 

fn to_ascii<W: Write>(&self, writer: &mut W) -> Result

fn to_taf<W: Write>(&self, writer: &mut W) -> Result

fn to_baf<W: Write>(&self, writer: &mut W) -> Result

fn to_saf<W: Write>(&self, writer: &mut W) -> Result

fn to_ascii_string(&self) -> Result<String, Error>

fn to_taf_string(&self) -> Result<String, Error>

fn to_baf_string(&self) -> Result<String, Error>

fn to_saf_string(&self) -> Result<String, Error>