Enum smt2parser::concrete::QualIdentifier [−][src]
pub enum QualIdentifier<Identifier = Identifier, Sort = Sort> {
Simple {
identifier: Identifier,
},
Sorted {
identifier: Identifier,
sort: Sort,
},
}
Expand description
Concrete syntax for a qualified-identifier.
Variants
Implementations
pub fn accept<V, T, E, S1, S2>(self, visitor: &mut V) -> Result<T, E> where
V: SortVisitor<S1, T = S2, E = E> + SymbolVisitor<T = S1, E = E> + QualIdentifierVisitor<Identifier<S1>, S2, T = T, E = E>,
pub fn accept<V, T, E, S1, S2>(self, visitor: &mut V) -> Result<T, E> where
V: SortVisitor<S1, T = S2, E = E> + SymbolVisitor<T = S1, E = E> + QualIdentifierVisitor<Identifier<S1>, S2, T = T, E = E>,
Visit a concrete qualified identifier.
Trait Implementations
impl<'de, Identifier, Sort> Deserialize<'de> for QualIdentifier<Identifier, Sort> where
Identifier: Deserialize<'de>,
Sort: Deserialize<'de>,
impl<'de, Identifier, Sort> Deserialize<'de> for QualIdentifier<Identifier, Sort> where
Identifier: Deserialize<'de>,
Sort: Deserialize<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
impl<Identifier: PartialEq, Sort: PartialEq> PartialEq<QualIdentifier<Identifier, Sort>> for QualIdentifier<Identifier, Sort>
impl<Identifier: PartialEq, Sort: PartialEq> PartialEq<QualIdentifier<Identifier, Sort>> for QualIdentifier<Identifier, Sort>
This method tests for self
and other
values to be equal, and is used
by ==
. Read more
This method tests for !=
.
impl<Identifier, Sort> Serialize for QualIdentifier<Identifier, Sort> where
Identifier: Serialize,
Sort: Serialize,
impl<Identifier, Sort> Serialize for QualIdentifier<Identifier, Sort> where
Identifier: Serialize,
Sort: Serialize,
Auto Trait Implementations
impl<Identifier, Sort> RefUnwindSafe for QualIdentifier<Identifier, Sort> where
Identifier: RefUnwindSafe,
Sort: RefUnwindSafe,
impl<Identifier, Sort> Send for QualIdentifier<Identifier, Sort> where
Identifier: Send,
Sort: Send,
impl<Identifier, Sort> Sync for QualIdentifier<Identifier, Sort> where
Identifier: Sync,
Sort: Sync,
impl<Identifier, Sort> Unpin for QualIdentifier<Identifier, Sort> where
Identifier: Unpin,
Sort: Unpin,
impl<Identifier, Sort> UnwindSafe for QualIdentifier<Identifier, Sort> where
Identifier: UnwindSafe,
Sort: UnwindSafe,
Blanket Implementations
Mutably borrows from an owned value. Read more