Trait smt2parser::visitors::Smt2Visitor [−][src]
pub trait Smt2Visitor: ConstantVisitor<T = Self::Constant, E = Self::Error> + SymbolVisitor<T = Self::Symbol, E = Self::Error> + KeywordVisitor<T = Self::Keyword, E = Self::Error> + SExprVisitor<Self::Constant, Self::Symbol, Self::Keyword, T = Self::SExpr, E = Self::Error> + QualIdentifierVisitor<Identifier<Self::Symbol>, Self::Sort, T = Self::QualIdentifier, E = Self::Error> + SortVisitor<Self::Symbol, T = Self::Sort, E = Self::Error> + TermVisitor<Self::Constant, Self::QualIdentifier, Self::Keyword, Self::SExpr, Self::Symbol, Self::Sort, T = Self::Term, E = Self::Error> + CommandVisitor<Self::Term, Self::Symbol, Self::Sort, Self::Keyword, Self::Constant, Self::SExpr, T = Self::Command, E = Self::Error> {
type Error;
type Constant;
type QualIdentifier;
type Keyword;
type Sort;
type SExpr;
type Symbol;
type Term;
type Command;
fn syntax_error(&mut self, position: Position, s: String) -> Self::Error;
fn parsing_error(&mut self, position: Position, s: String) -> Self::Error;
}
Expand description
A visitor for the entire SMT2 syntax.