pub enum ModusTerm {
Constant(String),
FormatString {
position: SpannedPosition,
format_string_literal: String,
},
UserVariable(String),
AnonymousVariable,
}
Variants
Constant(String)
FormatString
Fields
position: SpannedPosition
The position of this term, beginning from the ‘f’ in the source
format_string_literal: String
The input string literal, as in the source code, i.e. the escape characters have not been converted.
A format string with ‘$’ left unhandled. This should be dealt with when converting to the IR.
UserVariable(String)
AnonymousVariable
Implementations
sourceimpl ModusTerm
impl ModusTerm
pub fn is_variable(&self) -> bool
Trait Implementations
impl Eq for ModusTerm
impl StructuralEq for ModusTerm
impl StructuralPartialEq for ModusTerm
Auto Trait Implementations
impl RefUnwindSafe for ModusTerm
impl Send for ModusTerm
impl Sync for ModusTerm
impl Unpin for ModusTerm
impl UnwindSafe for ModusTerm
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<Q, K> Equivalent<K> for Q where
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
impl<Q, K> Equivalent<K> for Q where
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
sourcefn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to key
and return true
if they are equal.
sourceimpl<I, T> ExtractContext<I, ()> for T
impl<I, T> ExtractContext<I, ()> for T
sourcefn extract_context(self, _original_input: I)
fn extract_context(self, _original_input: I)
Given the context attached to a nom error, and given the original input to the nom parser, extract more the useful context information. Read more
impl<T> Indentable for T where
T: Display,
impl<T> Indentable for T where
T: Display,
fn indented_skip_initial(self, indent: &str) -> IndentedSkipIntial<'_, Self>
fn indented_skip_initial(self, indent: &str) -> IndentedSkipIntial<'_, Self>
sourceimpl<I> RecreateContext<I> for I
impl<I> RecreateContext<I> for I
sourcefn recreate_context(_original_input: I, tail: I) -> I
fn recreate_context(_original_input: I, tail: I) -> I
Given the original input, as well as the context reported by nom, recreate a context in the original string where the error occurred. Read more
sourceimpl<T> ToOwned for T where
T: Clone,
impl<T> ToOwned for T where
T: Clone,
type Owned = T
type Owned = T
The resulting type after obtaining ownership.
sourcefn clone_into(&self, target: &mut T)
fn clone_into(&self, target: &mut T)
toowned_clone_into
)Uses borrowed data to replace owned data, usually by cloning. Read more