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;
}