pub struct Parser;
Expand description
Empty parser structure, we will not maintain any context.
Trait Implementations
sourceimpl<'a> IdentParser<String, String, &'a str> for Parser
impl<'a> IdentParser<String, String, &'a str> for Parser
sourcefn parse_ident(self, input: &'a str) -> SmtRes<String>
fn parse_ident(self, input: &'a str) -> SmtRes<String>
Parses an identifier.
sourcefn parse_type(self, input: &'a str) -> SmtRes<String>
fn parse_type(self, input: &'a str) -> SmtRes<String>
Parses a type.
impl Copy for Parser
Auto Trait Implementations
impl RefUnwindSafe for Parser
impl Send for Parser
impl Sync for Parser
impl Unpin for Parser
impl UnwindSafe for Parser
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
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<'a, Ident, Type, T, Br> IdentParser<Ident, Type, &'a mut SmtParser<Br>> for Twhere
T: IdentParser<Ident, Type, &'a str>,
Br: BufRead,
impl<'a, Ident, Type, T, Br> IdentParser<Ident, Type, &'a mut SmtParser<Br>> for Twhere
T: IdentParser<Ident, Type, &'a str>,
Br: BufRead,
sourcefn parse_ident(self, input: &'a mut SmtParser<Br>) -> Result<Ident, Error>
fn parse_ident(self, input: &'a mut SmtParser<Br>) -> Result<Ident, Error>
Parses an identifier.
sourcefn parse_type(self, input: &'a mut SmtParser<Br>) -> Result<Type, Error>
fn parse_type(self, input: &'a mut SmtParser<Br>) -> Result<Type, Error>
Parses a type.
sourceimpl<'a, Ident, Type, Value, T, Br> ModelParser<Ident, Type, Value, &'a mut SmtParser<Br>> for Twhere
T: ModelParser<Ident, Type, Value, &'a str>,
Br: BufRead,
impl<'a, Ident, Type, Value, T, Br> ModelParser<Ident, Type, Value, &'a mut SmtParser<Br>> for Twhere
T: ModelParser<Ident, Type, Value, &'a str>,
Br: BufRead,
sourcefn parse_value(
self,
input: &'a mut SmtParser<Br>,
name: &Ident,
inputs: &[(Ident, Type)],
output: &Type
) -> Result<Value, Error>
fn parse_value(
self,
input: &'a mut SmtParser<Br>,
name: &Ident,
inputs: &[(Ident, Type)],
output: &Type
) -> Result<Value, Error>
Parses a value in the context of a get-model
command. Read more