Trait aterm::ATerm
[−]
[src]
pub trait ATerm<'s> { type Rec: Borrow<Self>; type Blob; fn get_annotations(&self) -> &[Self::Rec]; fn get_int(&self) -> Option<i32>; fn get_long(&self) -> Option<i64>; fn get_real(&self) -> Option<f32>; fn get_application(&self) -> Option<(&'s str, &[Self::Rec])>; fn get_list(&self) -> Option<Vec<Self::Rec>>; fn get_placeholder(&self) -> Option<&TermPlaceholder<Self::Rec>>; fn get_blob(&self) -> Option<&Self::Blob>; }
Associated Types
type Rec: Borrow<Self>
Basically the current type, but you may want to add something extra, so this is more flexible.
type Blob
The extension point to add more variants to terms.
Required Methods
fn get_annotations(&self) -> &[Self::Rec]
fn get_int(&self) -> Option<i32>
fn get_long(&self) -> Option<i64>
fn get_real(&self) -> Option<f32>
fn get_application(&self) -> Option<(&'s str, &[Self::Rec])>
fn get_list(&self) -> Option<Vec<Self::Rec>>
fn get_placeholder(&self) -> Option<&TermPlaceholder<Self::Rec>>
fn get_blob(&self) -> Option<&Self::Blob>
Implementors
impl<'s, B> ATermT<'s> for ATerm<'s, B>