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
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74

use std::fmt;
use source_span::Span;

use super::Located;

/**
 * Litteral constants.
 */
#[derive(Clone, PartialEq, Eq, Debug)]
pub enum Litteral {
	// /**
	//  * Signed numeric value.
	//  */
	// Int(i64),

	String(String)
}

#[derive(Clone, PartialEq, Eq, Debug)]
pub enum Token {
	/**
	 * End of file token.
	 */
	 EndOfFile,

	/**
	 * Opening parenthesis.
	 */
	Begin,

	/**
	 * Closing parenthesis.
	 */
	End,

	/**
	 * Identifier.
	 */
	Ident(String),

	/**
	 * Litteral constant.
	 */
	Litteral(Litteral),
}

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

impl fmt::Display for Token {
	fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
		use self::Token::*;
		match self {
			EndOfFile => write!(f, "<end of file>"),
			Begin => write!(f, "("),
			End => write!(f, ")"),
			Ident(id) => write!(f, "{}", id),
			Litteral(lit) => write!(f, "{}", lit)
		}
	}
}

impl fmt::Display for Litteral {
	fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
		use self::Litteral::*;
		match self {
			// Int(i) => write!(f, "{}", i),
			String(string) => write!(f, "\"{}\"", string)
		}
	}
}