Struct smt2::location::Located

pub struct Located<T> { /* fields omitted */ }

Wrap a value to give it a location.

Implementations

impl<T> Located<T>

pub fn new(t: T, span: Span) -> Located<T>

pub fn into_inner(self) -> T

pub fn span(&self) -> Span

Trait Implementations

impl<T> AsMut<T> for Located<T>

fn as_mut(&mut self) -> &mut T

Performs the conversion.

impl<T> AsRef<T> for Located<T>

fn as_ref(&self) -> &T

Performs the conversion.

impl<T: Clone> Clone for Located<T>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for Located<T>

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

Formats the value using the given formatter.

impl<T> Deref for Located<T>

type Target = T

The resulting type after dereferencing.

fn deref(&self) -> &T

Dereferences the value.

impl<T: Display> Display for Located<T>

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

impl<T: Display> Display for Located<T>

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

Formats the value using the given formatter.

impl<T: Eq> Eq for Located<T>

impl<E: Environment> From<Binding<E>> for Located<Binding> where
    E::Constant: Display,
    E::Ident: Display,
    E::Function: Display,
    E::Sort: Display, 

fn from(binding: Binding<E>) -> Self

Performs the conversion.

impl<E: Environment> From<Declaration<E>> for Located<Declaration> where
    E::Constant: Display,
    E::Ident: Display,
    E::Function: Display,
    E::Sort: Display, 

fn from(decl: Declaration<E>) -> Self

Performs the conversion.

impl<E: Environment> From<Definition<E>> for Located<Definition> where
    E::Constant: Display,
    E::Ident: Display,
    E::Function: Display,
    E::Sort: Display, 

fn from(def: Definition<E>) -> Self

Performs the conversion.

impl<T> From<GroundSort<T>> for Located<Sort> where
    T: Display, 

fn from(sort: GroundSort<T>) -> Self

Performs the conversion.

impl<E: Environment> From<Located<Error<<E as Environment>::Sort>>> for Located<Error<E>>

fn from(e: Located<Error<E::Sort>>) -> Located<Error<E>>

Performs the conversion.

impl<L, C: Clone + PartialEq, F: Function> From<Located<Error<Internal<L, C, F>>>> for InternalError<L, C, F>

fn from(e: Located<Error<Internal<L, C, F>>>) -> InternalError<L, C, F>

Performs the conversion.

impl<L, C: Clone + PartialEq, S: Sort, F: Function> From<Located<Error>> for Error<L, C, S, F>

fn from(e: Located<Error>) -> Error<L, C, S, F>

Performs the conversion.

impl<L, C: Clone + PartialEq, F: Function> From<Located<Error>> for InternalError<L, C, F>

fn from(e: Located<Error>) -> InternalError<L, C, F>

Performs the conversion.

impl From<Located<Symbol>> for Located<Ident>

fn from(sym: Located<Symbol>) -> Self

Performs the conversion.

impl<E: Environment> From<MatchCase<E>> for Located<MatchCase> where
    E::Constant: Display,
    E::Ident: Display,
    E::Function: Display,
    E::Sort: Display, 

fn from(case: MatchCase<E>) -> Self

Performs the conversion.

impl<E: Environment> From<Model<E>> for Located<Model> where
    E::Constant: Display,
    E::Ident: Display,
    E::Function: Display,
    E::Sort: Display, 

fn from(model: Model<E>) -> Self

Performs the conversion.

impl<E: Environment> From<Pattern<E>> for Located<Pattern> where
    E::Function: Display,
    E::Ident: Display, 

fn from(pattern: Pattern<E>) -> Self

Performs the conversion.

impl<E: Environment> From<SortedVar<E>> for Located<SortedVar> where
    E::Ident: Display,
    E::Sort: Display, 

fn from(var: SortedVar<E>) -> Self

Performs the conversion.

impl<E: Environment> From<Term<E>> for Located<Term> where
    E::Constant: Display,
    E::Ident: Display,
    E::Function: Display,
    E::Sort: Display, 

fn from(term: Term<E>) -> Self

Performs the conversion.

impl<T: PartialEq> PartialEq<Located<T>> for Located<T>

fn eq(&self, other: &Located<T>) -> bool

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

#[must_use]fn ne(&self, other: &Rhs) -> bool

This method tests for !=.