smt2 0.2.0

A SMT-LIB 2.6 parsing/formatting library for Rust
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42

use std::result;
use std::fmt;
use source_span::Span;
use crate::Located;
use super::Token;

// #[derive(Clone)]
pub enum Error {
	IO(std::io::Error),
	MissingClosingParenthesis,
	UnexpectedToken(Token, Option<Token>),
	UnknownCommand(String),
	Server(String)
}

impl Error {
	pub fn at(self, span: Span) -> Located<Error> {
		Located::new(self, span)
	}
}

pub type Result<T> = result::Result<T, Located<Error>>;

impl fmt::Display for Error {
	fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
		use self::Error::*;
		match self {
			IO(e) => write!(f, "io: {}", e),
			MissingClosingParenthesis => write!(f, "missing parenthesis `)'"),
			UnexpectedToken(t, None) => write!(f, "unexpected token `{}'", t),
			UnexpectedToken(t, Some(e)) => write!(f, "unexpected token: excepted `{}', got `{}'", e, t),
			UnknownCommand(name) => write!(f, "unknown command `{}'", name),
			Server(name) => write!(f, "server error: {}", name)
		}
	}
}

impl crate::error::Informative for Error {
	fn informations(&self, _i: &mut crate::error::Infos) {
		//
	}
}