2015-03-09 13:09:07 -05:00
|
|
|
use std::ascii::AsciiExt;
|
2014-06-20 19:01:38 -05:00
|
|
|
use std::char;
|
2014-12-21 00:35:14 -06:00
|
|
|
use std::collections::BTreeMap;
|
2014-11-04 13:56:11 -06:00
|
|
|
use std::error::Error;
|
2015-01-23 10:19:29 -06:00
|
|
|
use std::fmt;
|
2014-06-20 19:01:38 -05:00
|
|
|
use std::str;
|
|
|
|
|
2015-02-11 13:15:48 -06:00
|
|
|
macro_rules! try {
|
|
|
|
($e:expr) => (match $e { Some(s) => s, None => return None })
|
|
|
|
}
|
|
|
|
|
2015-06-08 02:03:36 -05:00
|
|
|
// We redefine Value because we need to keep track of encountered table
|
|
|
|
// definitions, eg when parsing:
|
2015-06-08 01:16:56 -05:00
|
|
|
//
|
|
|
|
// [a]
|
|
|
|
// [a.b]
|
|
|
|
// [a]
|
|
|
|
//
|
|
|
|
// we have to error out on redefinition of [a]. This bit of data is difficult to
|
|
|
|
// track in a side table so we just have a "stripped down" AST to work with
|
|
|
|
// which has the relevant metadata fields in it.
|
2015-06-08 02:03:36 -05:00
|
|
|
struct TomlTable {
|
|
|
|
values: BTreeMap<String, Value>,
|
|
|
|
defined: bool,
|
|
|
|
}
|
2015-06-08 01:16:56 -05:00
|
|
|
|
2015-06-06 11:11:48 -05:00
|
|
|
impl TomlTable {
|
|
|
|
fn convert(self) -> super::Table {
|
2015-06-08 02:03:36 -05:00
|
|
|
self.values.into_iter().map(|(k,v)| (k, v.convert())).collect()
|
2015-06-06 11:11:48 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
enum Value {
|
|
|
|
String(String),
|
|
|
|
Integer(i64),
|
|
|
|
Float(f64),
|
|
|
|
Boolean(bool),
|
|
|
|
Datetime(String),
|
2015-06-08 01:16:56 -05:00
|
|
|
Array(Vec<Value>),
|
2015-06-06 11:11:48 -05:00
|
|
|
Table(TomlTable),
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Value {
|
|
|
|
fn type_str(&self) -> &'static str {
|
|
|
|
match *self {
|
|
|
|
Value::String(..) => "string",
|
|
|
|
Value::Integer(..) => "integer",
|
|
|
|
Value::Float(..) => "float",
|
|
|
|
Value::Boolean(..) => "boolean",
|
|
|
|
Value::Datetime(..) => "datetime",
|
|
|
|
Value::Array(..) => "array",
|
|
|
|
Value::Table(..) => "table",
|
|
|
|
}
|
|
|
|
}
|
2015-06-08 00:38:36 -05:00
|
|
|
|
2015-06-06 11:11:48 -05:00
|
|
|
fn same_type(&self, other: &Value) -> bool {
|
|
|
|
match (self, other) {
|
|
|
|
(&Value::String(..), &Value::String(..)) |
|
|
|
|
(&Value::Integer(..), &Value::Integer(..)) |
|
|
|
|
(&Value::Float(..), &Value::Float(..)) |
|
|
|
|
(&Value::Boolean(..), &Value::Boolean(..)) |
|
|
|
|
(&Value::Datetime(..), &Value::Datetime(..)) |
|
|
|
|
(&Value::Array(..), &Value::Array(..)) |
|
|
|
|
(&Value::Table(..), &Value::Table(..)) => true,
|
|
|
|
|
|
|
|
_ => false,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn convert(self) -> super::Value {
|
|
|
|
match self {
|
|
|
|
Value::String(x) => super::Value::String(x),
|
|
|
|
Value::Integer(x) => super::Value::Integer(x),
|
|
|
|
Value::Float(x) => super::Value::Float(x),
|
|
|
|
Value::Boolean(x) => super::Value::Boolean(x),
|
|
|
|
Value::Datetime(x) => super::Value::Datetime(x),
|
|
|
|
Value::Array(v) =>
|
|
|
|
super::Value::Array(
|
|
|
|
v.into_iter().map(|x| x.convert()).collect()
|
|
|
|
),
|
|
|
|
Value::Table(t) => super::Value::Table(t.convert())
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-06-20 19:30:08 -05:00
|
|
|
/// Parser for converting a string to a TOML `Value` instance.
|
|
|
|
///
|
|
|
|
/// This parser contains the string slice that is being parsed, and exports the
|
|
|
|
/// list of errors which have occurred during parsing.
|
2014-06-20 19:01:38 -05:00
|
|
|
pub struct Parser<'a> {
|
|
|
|
input: &'a str,
|
2014-12-23 10:01:35 -06:00
|
|
|
cur: str::CharIndices<'a>,
|
2014-06-20 19:30:08 -05:00
|
|
|
|
|
|
|
/// A list of all errors which have occurred during parsing.
|
|
|
|
///
|
|
|
|
/// Not all parse errors are fatal, so this list is added to as much as
|
|
|
|
/// possible without aborting parsing. If `None` is returned by `parse`, it
|
|
|
|
/// is guaranteed that this list is not empty.
|
2014-08-17 18:28:44 -05:00
|
|
|
pub errors: Vec<ParserError>,
|
2014-06-20 19:01:38 -05:00
|
|
|
}
|
|
|
|
|
2014-06-20 19:30:08 -05:00
|
|
|
/// A structure representing a parse error.
|
|
|
|
///
|
|
|
|
/// The data in this structure can be used to trace back to the original cause
|
|
|
|
/// of the error in order to provide diagnostics about parse errors.
|
2015-01-23 10:19:29 -06:00
|
|
|
#[derive(Debug)]
|
2014-08-17 18:28:44 -05:00
|
|
|
pub struct ParserError {
|
2014-06-20 19:30:08 -05:00
|
|
|
/// The low byte at which this error is pointing at.
|
2015-01-09 13:48:06 -06:00
|
|
|
pub lo: usize,
|
2014-06-20 19:30:08 -05:00
|
|
|
/// One byte beyond the last character at which this error is pointing at.
|
2015-01-09 13:48:06 -06:00
|
|
|
pub hi: usize,
|
2014-06-20 19:30:08 -05:00
|
|
|
/// A human-readable description explaining what the error is.
|
2014-06-20 19:01:38 -05:00
|
|
|
pub desc: String,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a> Parser<'a> {
|
2014-06-20 19:30:08 -05:00
|
|
|
/// Creates a new parser for a string.
|
|
|
|
///
|
|
|
|
/// The parser can be executed by invoking the `parse` method.
|
|
|
|
///
|
|
|
|
/// # Example
|
|
|
|
///
|
|
|
|
/// ```
|
|
|
|
/// let toml = r#"
|
|
|
|
/// [test]
|
|
|
|
/// foo = "bar"
|
|
|
|
/// "#;
|
|
|
|
///
|
|
|
|
/// let mut parser = toml::Parser::new(toml);
|
|
|
|
/// match parser.parse() {
|
2015-01-07 10:58:50 -06:00
|
|
|
/// Some(value) => println!("found toml: {:?}", value),
|
2014-06-20 19:30:08 -05:00
|
|
|
/// None => {
|
2015-01-07 10:58:50 -06:00
|
|
|
/// println!("parse errors: {:?}", parser.errors);
|
2014-06-20 19:30:08 -05:00
|
|
|
/// }
|
|
|
|
/// }
|
|
|
|
/// ```
|
2014-06-20 19:01:38 -05:00
|
|
|
pub fn new(s: &'a str) -> Parser<'a> {
|
|
|
|
Parser {
|
|
|
|
input: s,
|
|
|
|
cur: s.char_indices(),
|
|
|
|
errors: Vec::new(),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-06-23 10:58:44 -05:00
|
|
|
/// Converts a byte offset from an error message to a (line, column) pair
|
|
|
|
///
|
|
|
|
/// All indexes are 0-based.
|
2015-01-09 13:48:06 -06:00
|
|
|
pub fn to_linecol(&self, offset: usize) -> (usize, usize) {
|
2014-06-23 10:58:44 -05:00
|
|
|
let mut cur = 0;
|
|
|
|
for (i, line) in self.input.lines().enumerate() {
|
|
|
|
if cur + line.len() > offset {
|
|
|
|
return (i, offset - cur)
|
|
|
|
}
|
|
|
|
cur += line.len() + 1;
|
|
|
|
}
|
|
|
|
return (self.input.lines().count(), 0)
|
|
|
|
}
|
|
|
|
|
2015-01-09 13:48:06 -06:00
|
|
|
fn next_pos(&self) -> usize {
|
2014-12-14 17:14:18 -06:00
|
|
|
self.cur.clone().next().map(|p| p.0).unwrap_or(self.input.len())
|
2014-06-20 19:01:38 -05:00
|
|
|
}
|
|
|
|
|
2014-10-30 15:47:21 -05:00
|
|
|
// Returns true and consumes the next character if it matches `ch`,
|
|
|
|
// otherwise do nothing and return false
|
2014-06-20 19:01:38 -05:00
|
|
|
fn eat(&mut self, ch: char) -> bool {
|
2015-01-15 17:10:07 -06:00
|
|
|
match self.peek(0) {
|
2014-06-20 19:01:38 -05:00
|
|
|
Some((_, c)) if c == ch => { self.cur.next(); true }
|
|
|
|
Some(_) | None => false,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-01-15 17:10:07 -06:00
|
|
|
// Peeks ahead `n` characters
|
|
|
|
fn peek(&self, n: usize) -> Option<(usize, char)> {
|
|
|
|
self.cur.clone().skip(n).next()
|
|
|
|
}
|
|
|
|
|
2014-06-20 19:01:38 -05:00
|
|
|
fn expect(&mut self, ch: char) -> bool {
|
|
|
|
if self.eat(ch) { return true }
|
|
|
|
let mut it = self.cur.clone();
|
2014-12-14 17:14:18 -06:00
|
|
|
let lo = it.next().map(|p| p.0).unwrap_or(self.input.len());
|
|
|
|
let hi = it.next().map(|p| p.0).unwrap_or(self.input.len());
|
2014-08-17 18:28:44 -05:00
|
|
|
self.errors.push(ParserError {
|
2014-06-20 19:01:38 -05:00
|
|
|
lo: lo,
|
|
|
|
hi: hi,
|
|
|
|
desc: match self.cur.clone().next() {
|
|
|
|
Some((_, c)) => format!("expected `{}`, but found `{}`", ch, c),
|
|
|
|
None => format!("expected `{}`, but found eof", ch)
|
|
|
|
}
|
|
|
|
});
|
|
|
|
false
|
|
|
|
}
|
|
|
|
|
2015-01-15 17:10:07 -06:00
|
|
|
// Consumes whitespace ('\t' and ' ') until another character (or EOF) is
|
|
|
|
// reached. Returns if any whitespace was consumed
|
|
|
|
fn ws(&mut self) -> bool {
|
|
|
|
let mut ret = false;
|
2014-06-20 19:01:38 -05:00
|
|
|
loop {
|
2015-01-15 17:10:07 -06:00
|
|
|
match self.peek(0) {
|
2014-06-20 19:01:38 -05:00
|
|
|
Some((_, '\t')) |
|
2015-01-15 17:10:07 -06:00
|
|
|
Some((_, ' ')) => { self.cur.next(); ret = true; }
|
2014-06-20 19:01:38 -05:00
|
|
|
_ => break,
|
|
|
|
}
|
|
|
|
}
|
2015-01-15 17:10:07 -06:00
|
|
|
ret
|
2014-06-20 19:01:38 -05:00
|
|
|
}
|
|
|
|
|
2014-10-30 15:47:21 -05:00
|
|
|
// Consumes the rest of the line after a comment character
|
2015-01-15 17:10:07 -06:00
|
|
|
fn comment(&mut self) -> bool {
|
|
|
|
if !self.eat('#') { return false }
|
2015-02-03 10:37:05 -06:00
|
|
|
for (_, ch) in self.cur.by_ref() {
|
2014-06-20 19:01:38 -05:00
|
|
|
if ch == '\n' { break }
|
|
|
|
}
|
2015-01-15 17:10:07 -06:00
|
|
|
true
|
|
|
|
}
|
|
|
|
|
|
|
|
// Consumes a newline if one is next
|
|
|
|
fn newline(&mut self) -> bool {
|
|
|
|
match self.peek(0) {
|
|
|
|
Some((_, '\n')) => { self.cur.next(); true }
|
|
|
|
Some((_, '\r')) if self.peek(1).map(|c| c.1) == Some('\n') => {
|
|
|
|
self.cur.next(); self.cur.next(); true
|
|
|
|
}
|
|
|
|
_ => false
|
|
|
|
}
|
2014-06-20 19:01:38 -05:00
|
|
|
}
|
|
|
|
|
2014-06-20 19:30:08 -05:00
|
|
|
/// Executes the parser, parsing the string contained within.
|
|
|
|
///
|
2014-09-21 09:55:13 -05:00
|
|
|
/// This function will return the `TomlTable` instance if parsing is
|
|
|
|
/// successful, or it will return `None` if any parse error or invalid TOML
|
|
|
|
/// error occurs.
|
2014-06-20 19:30:08 -05:00
|
|
|
///
|
|
|
|
/// If an error occurs, the `errors` field of this parser can be consulted
|
|
|
|
/// to determine the cause of the parse failure.
|
2015-06-06 11:11:48 -05:00
|
|
|
pub fn parse(&mut self) -> Option<super::Table> {
|
2015-06-08 02:03:36 -05:00
|
|
|
let mut ret = TomlTable { values: BTreeMap::new(), defined: false };
|
2015-01-15 21:47:14 -06:00
|
|
|
while self.peek(0).is_some() {
|
2014-06-20 19:01:38 -05:00
|
|
|
self.ws();
|
2015-01-15 17:10:07 -06:00
|
|
|
if self.newline() { continue }
|
2015-01-15 21:47:14 -06:00
|
|
|
if self.comment() { continue }
|
|
|
|
if self.eat('[') {
|
|
|
|
let array = self.eat('[');
|
|
|
|
let start = self.next_pos();
|
|
|
|
|
|
|
|
// Parse the name of the section
|
|
|
|
let mut keys = Vec::new();
|
|
|
|
loop {
|
|
|
|
self.ws();
|
2015-06-08 00:38:36 -05:00
|
|
|
if let Some(s) = self.key_name() {
|
|
|
|
keys.push(s);
|
2014-06-20 19:01:38 -05:00
|
|
|
}
|
2015-01-15 21:47:14 -06:00
|
|
|
self.ws();
|
|
|
|
if self.eat(']') {
|
|
|
|
if array && !self.expect(']') { return None }
|
|
|
|
break
|
2014-06-20 19:01:38 -05:00
|
|
|
}
|
2015-01-15 21:47:14 -06:00
|
|
|
if !self.expect('.') { return None }
|
2014-06-20 19:01:38 -05:00
|
|
|
}
|
2015-01-15 21:47:14 -06:00
|
|
|
if keys.len() == 0 { return None }
|
|
|
|
|
|
|
|
// Build the section table
|
2015-06-08 02:03:36 -05:00
|
|
|
let mut table = TomlTable {
|
|
|
|
values: BTreeMap::new(),
|
|
|
|
defined: true,
|
|
|
|
};
|
2015-01-15 21:47:14 -06:00
|
|
|
if !self.values(&mut table) { return None }
|
|
|
|
if array {
|
2015-06-08 01:13:14 -05:00
|
|
|
self.insert_array(&mut ret, &keys, Value::Table(table),
|
|
|
|
start)
|
2015-01-15 21:47:14 -06:00
|
|
|
} else {
|
2015-06-08 01:13:14 -05:00
|
|
|
self.insert_table(&mut ret, &keys, table, start)
|
2014-06-20 19:01:38 -05:00
|
|
|
}
|
2015-01-15 21:47:14 -06:00
|
|
|
} else {
|
|
|
|
if !self.values(&mut ret) { return None }
|
2014-06-20 19:01:38 -05:00
|
|
|
}
|
|
|
|
}
|
2015-01-15 21:47:14 -06:00
|
|
|
if self.errors.len() > 0 {
|
|
|
|
None
|
|
|
|
} else {
|
2015-06-06 11:11:48 -05:00
|
|
|
Some(ret.convert())
|
2015-01-15 21:47:14 -06:00
|
|
|
}
|
2014-06-20 19:01:38 -05:00
|
|
|
}
|
|
|
|
|
2015-01-15 21:47:14 -06:00
|
|
|
// Parse a single key name starting at `start`
|
|
|
|
fn key_name(&mut self) -> Option<String> {
|
|
|
|
let start = self.next_pos();
|
|
|
|
let key = if self.eat('"') {
|
|
|
|
self.finish_string(start, false)
|
|
|
|
} else {
|
|
|
|
let mut ret = String::new();
|
2015-06-08 00:38:36 -05:00
|
|
|
while let Some((_, ch)) = self.cur.clone().next() {
|
|
|
|
match ch {
|
|
|
|
'a' ... 'z' |
|
|
|
|
'A' ... 'Z' |
|
|
|
|
'0' ... '9' |
|
|
|
|
'_' | '-' => { self.cur.next(); ret.push(ch) }
|
|
|
|
_ => break,
|
2015-01-15 19:27:53 -06:00
|
|
|
}
|
|
|
|
}
|
2015-01-15 21:47:14 -06:00
|
|
|
Some(ret)
|
|
|
|
};
|
|
|
|
match key {
|
|
|
|
Some(ref name) if name.len() == 0 => {
|
|
|
|
self.errors.push(ParserError {
|
|
|
|
lo: start,
|
|
|
|
hi: start,
|
|
|
|
desc: format!("expected a key but found an empty string"),
|
|
|
|
});
|
|
|
|
None
|
|
|
|
}
|
|
|
|
Some(name) => Some(name),
|
|
|
|
None => None,
|
2015-01-15 19:27:53 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-10-30 15:47:21 -05:00
|
|
|
// Parses the values into the given TomlTable. Returns true in case of success
|
|
|
|
// and false in case of error.
|
2014-09-21 09:55:13 -05:00
|
|
|
fn values(&mut self, into: &mut TomlTable) -> bool {
|
2014-06-20 19:01:38 -05:00
|
|
|
loop {
|
|
|
|
self.ws();
|
2015-01-15 17:10:07 -06:00
|
|
|
if self.newline() { continue }
|
2015-01-15 19:27:53 -06:00
|
|
|
if self.comment() { continue }
|
|
|
|
match self.peek(0) {
|
2014-06-20 19:01:38 -05:00
|
|
|
Some((_, '[')) => break,
|
2015-01-15 19:27:53 -06:00
|
|
|
Some(..) => {}
|
2014-06-20 19:01:38 -05:00
|
|
|
None => break,
|
|
|
|
}
|
2015-01-15 19:27:53 -06:00
|
|
|
let key_lo = self.next_pos();
|
2015-01-15 21:47:14 -06:00
|
|
|
let key = match self.key_name() {
|
2015-01-15 19:27:53 -06:00
|
|
|
Some(s) => s,
|
|
|
|
None => return false
|
|
|
|
};
|
2015-02-08 00:01:13 -06:00
|
|
|
if !self.keyval_sep() { return false }
|
2015-01-15 19:27:53 -06:00
|
|
|
let value = match self.value() {
|
|
|
|
Some(value) => value,
|
|
|
|
None => return false,
|
|
|
|
};
|
|
|
|
self.insert(into, key, value, key_lo);
|
|
|
|
self.ws();
|
|
|
|
self.comment();
|
|
|
|
self.newline();
|
2014-06-20 19:01:38 -05:00
|
|
|
}
|
|
|
|
return true
|
|
|
|
}
|
|
|
|
|
2015-02-08 00:01:13 -06:00
|
|
|
fn keyval_sep(&mut self) -> bool {
|
|
|
|
self.ws();
|
|
|
|
if !self.expect('=') { return false }
|
|
|
|
self.ws();
|
|
|
|
true
|
|
|
|
}
|
|
|
|
|
2014-10-30 15:47:21 -05:00
|
|
|
// Parses a value
|
2014-06-20 19:01:38 -05:00
|
|
|
fn value(&mut self) -> Option<Value> {
|
|
|
|
self.ws();
|
|
|
|
match self.cur.clone().next() {
|
|
|
|
Some((pos, '"')) => self.string(pos),
|
2014-07-15 21:00:50 -05:00
|
|
|
Some((pos, '\'')) => self.literal_string(pos),
|
2014-06-20 19:01:38 -05:00
|
|
|
Some((pos, 't')) |
|
|
|
|
Some((pos, 'f')) => self.boolean(pos),
|
|
|
|
Some((pos, '[')) => self.array(pos),
|
2015-02-08 00:01:13 -06:00
|
|
|
Some((pos, '{')) => self.inline_table(pos),
|
2015-01-15 16:27:55 -06:00
|
|
|
Some((pos, '-')) |
|
|
|
|
Some((pos, '+')) => self.number_or_datetime(pos),
|
2015-01-27 21:29:58 -06:00
|
|
|
Some((pos, ch)) if is_digit(ch) => self.number_or_datetime(pos),
|
2014-06-20 19:01:38 -05:00
|
|
|
_ => {
|
|
|
|
let mut it = self.cur.clone();
|
2014-12-14 17:14:18 -06:00
|
|
|
let lo = it.next().map(|p| p.0).unwrap_or(self.input.len());
|
|
|
|
let hi = it.next().map(|p| p.0).unwrap_or(self.input.len());
|
2014-08-17 18:28:44 -05:00
|
|
|
self.errors.push(ParserError {
|
2014-06-20 19:01:38 -05:00
|
|
|
lo: lo,
|
|
|
|
hi: hi,
|
|
|
|
desc: format!("expected a value"),
|
|
|
|
});
|
|
|
|
return None
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-10-30 15:47:21 -05:00
|
|
|
// Parses a single or multi-line string
|
2015-01-09 13:48:06 -06:00
|
|
|
fn string(&mut self, start: usize) -> Option<Value> {
|
2014-06-20 19:01:38 -05:00
|
|
|
if !self.expect('"') { return None }
|
2014-07-15 21:00:50 -05:00
|
|
|
let mut multiline = false;
|
2014-06-20 19:01:38 -05:00
|
|
|
|
2014-07-18 05:19:21 -05:00
|
|
|
// detect multiline literals, but be careful about empty ""
|
|
|
|
// strings
|
2014-07-15 21:00:50 -05:00
|
|
|
if self.eat('"') {
|
2014-07-18 05:19:21 -05:00
|
|
|
if self.eat('"') {
|
|
|
|
multiline = true;
|
2015-01-15 17:10:07 -06:00
|
|
|
self.newline();
|
2014-07-18 05:19:21 -05:00
|
|
|
} else {
|
|
|
|
// empty
|
2015-01-15 19:27:53 -06:00
|
|
|
return Some(Value::String(String::new()))
|
2014-07-18 05:19:21 -05:00
|
|
|
}
|
2014-07-15 21:00:50 -05:00
|
|
|
}
|
|
|
|
|
2015-01-15 19:27:53 -06:00
|
|
|
self.finish_string(start, multiline).map(Value::String)
|
|
|
|
}
|
|
|
|
|
|
|
|
// Finish parsing a basic string after the opening quote has been seen
|
|
|
|
fn finish_string(&mut self,
|
|
|
|
start: usize,
|
|
|
|
multiline: bool) -> Option<String> {
|
|
|
|
let mut ret = String::new();
|
2014-06-20 19:01:38 -05:00
|
|
|
loop {
|
2015-01-15 17:23:37 -06:00
|
|
|
while multiline && self.newline() { ret.push('\n') }
|
2014-06-20 19:01:38 -05:00
|
|
|
match self.cur.next() {
|
2014-07-15 21:00:50 -05:00
|
|
|
Some((_, '"')) => {
|
|
|
|
if multiline {
|
|
|
|
if !self.eat('"') { ret.push_str("\""); continue }
|
|
|
|
if !self.eat('"') { ret.push_str("\"\""); continue }
|
|
|
|
}
|
2015-01-15 19:27:53 -06:00
|
|
|
return Some(ret)
|
2014-07-15 21:00:50 -05:00
|
|
|
}
|
2014-06-20 19:01:38 -05:00
|
|
|
Some((pos, '\\')) => {
|
2015-06-08 00:38:36 -05:00
|
|
|
if let Some(c) = escape(self, pos, multiline) {
|
|
|
|
ret.push(c);
|
2014-06-20 19:01:38 -05:00
|
|
|
}
|
|
|
|
}
|
2014-12-12 15:19:22 -06:00
|
|
|
Some((pos, ch)) if ch < '\u{1f}' => {
|
2014-08-17 18:28:44 -05:00
|
|
|
self.errors.push(ParserError {
|
2014-06-20 19:01:38 -05:00
|
|
|
lo: pos,
|
|
|
|
hi: pos + 1,
|
|
|
|
desc: format!("control character `{}` must be escaped",
|
2015-01-15 17:23:37 -06:00
|
|
|
ch.escape_default().collect::<String>())
|
2014-06-20 19:01:38 -05:00
|
|
|
});
|
|
|
|
}
|
2014-10-11 12:04:44 -05:00
|
|
|
Some((_, ch)) => ret.push(ch),
|
2014-06-20 19:01:38 -05:00
|
|
|
None => {
|
2014-08-17 18:28:44 -05:00
|
|
|
self.errors.push(ParserError {
|
2014-06-20 19:01:38 -05:00
|
|
|
lo: start,
|
|
|
|
hi: self.input.len(),
|
|
|
|
desc: format!("unterminated string literal"),
|
|
|
|
});
|
|
|
|
return None
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-01-09 13:48:06 -06:00
|
|
|
fn escape(me: &mut Parser, pos: usize, multiline: bool) -> Option<char> {
|
2015-01-15 17:10:07 -06:00
|
|
|
if multiline && me.newline() {
|
|
|
|
while me.ws() || me.newline() { /* ... */ }
|
|
|
|
return None
|
|
|
|
}
|
2014-06-20 19:01:38 -05:00
|
|
|
match me.cur.next() {
|
2014-12-12 15:19:22 -06:00
|
|
|
Some((_, 'b')) => Some('\u{8}'),
|
|
|
|
Some((_, 't')) => Some('\u{9}'),
|
|
|
|
Some((_, 'n')) => Some('\u{a}'),
|
|
|
|
Some((_, 'f')) => Some('\u{c}'),
|
|
|
|
Some((_, 'r')) => Some('\u{d}'),
|
|
|
|
Some((_, '"')) => Some('\u{22}'),
|
|
|
|
Some((_, '\\')) => Some('\u{5c}'),
|
2014-07-15 20:36:39 -05:00
|
|
|
Some((pos, c @ 'u')) |
|
|
|
|
Some((pos, c @ 'U')) => {
|
|
|
|
let len = if c == 'u' {4} else {8};
|
2015-03-09 13:09:07 -05:00
|
|
|
let num = &me.input[pos+1..];
|
|
|
|
let num = if num.len() >= len && num.is_ascii() {
|
|
|
|
&num[..len]
|
2014-06-20 19:01:38 -05:00
|
|
|
} else {
|
|
|
|
"invalid"
|
|
|
|
};
|
2015-06-08 00:38:36 -05:00
|
|
|
if let Some(n) = u32::from_str_radix(num, 16).ok() {
|
|
|
|
if let Some(c) = char::from_u32(n) {
|
|
|
|
me.cur.by_ref().skip(len - 1).next();
|
|
|
|
return Some(c)
|
|
|
|
} else {
|
2014-08-17 18:28:44 -05:00
|
|
|
me.errors.push(ParserError {
|
2015-06-08 00:38:36 -05:00
|
|
|
lo: pos + 1,
|
|
|
|
hi: pos + 5,
|
|
|
|
desc: format!("codepoint `{:x}` is \
|
|
|
|
not a valid unicode \
|
|
|
|
codepoint", n),
|
2014-06-20 19:01:38 -05:00
|
|
|
})
|
|
|
|
}
|
2015-06-08 00:38:36 -05:00
|
|
|
} else {
|
|
|
|
me.errors.push(ParserError {
|
|
|
|
lo: pos,
|
|
|
|
hi: pos + 1,
|
|
|
|
desc: format!("expected {} hex digits \
|
|
|
|
after a `{}` escape", len, c),
|
|
|
|
})
|
2014-06-20 19:01:38 -05:00
|
|
|
}
|
|
|
|
None
|
|
|
|
}
|
|
|
|
Some((pos, ch)) => {
|
|
|
|
let next_pos = me.next_pos();
|
2014-08-17 18:28:44 -05:00
|
|
|
me.errors.push(ParserError {
|
2014-06-20 19:01:38 -05:00
|
|
|
lo: pos,
|
|
|
|
hi: next_pos,
|
|
|
|
desc: format!("unknown string escape: `{}`",
|
2015-01-15 17:23:37 -06:00
|
|
|
ch.escape_default().collect::<String>()),
|
2014-06-20 19:01:38 -05:00
|
|
|
});
|
|
|
|
None
|
|
|
|
}
|
|
|
|
None => {
|
2014-08-17 18:28:44 -05:00
|
|
|
me.errors.push(ParserError {
|
2014-06-20 19:01:38 -05:00
|
|
|
lo: pos,
|
|
|
|
hi: pos + 1,
|
|
|
|
desc: format!("unterminated escape sequence"),
|
|
|
|
});
|
|
|
|
None
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-01-09 13:48:06 -06:00
|
|
|
fn literal_string(&mut self, start: usize) -> Option<Value> {
|
2014-07-15 21:00:50 -05:00
|
|
|
if !self.expect('\'') { return None }
|
|
|
|
let mut multiline = false;
|
|
|
|
let mut ret = String::new();
|
|
|
|
|
|
|
|
// detect multiline literals
|
|
|
|
if self.eat('\'') {
|
2015-01-15 17:23:37 -06:00
|
|
|
if self.eat('\'') {
|
|
|
|
multiline = true;
|
|
|
|
self.newline();
|
|
|
|
} else {
|
|
|
|
return Some(Value::String(ret)) // empty
|
|
|
|
}
|
2014-07-15 21:00:50 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
loop {
|
2015-01-15 17:23:37 -06:00
|
|
|
if !multiline && self.newline() {
|
|
|
|
let next = self.next_pos();
|
|
|
|
self.errors.push(ParserError {
|
|
|
|
lo: start,
|
|
|
|
hi: next,
|
|
|
|
desc: format!("literal strings cannot contain newlines"),
|
|
|
|
});
|
|
|
|
return None
|
|
|
|
}
|
2014-07-15 21:00:50 -05:00
|
|
|
match self.cur.next() {
|
|
|
|
Some((_, '\'')) => {
|
|
|
|
if multiline {
|
|
|
|
if !self.eat('\'') { ret.push_str("'"); continue }
|
|
|
|
if !self.eat('\'') { ret.push_str("''"); continue }
|
|
|
|
}
|
|
|
|
break
|
|
|
|
}
|
2014-10-11 12:04:44 -05:00
|
|
|
Some((_, ch)) => ret.push(ch),
|
2014-07-15 21:00:50 -05:00
|
|
|
None => {
|
2014-08-17 18:28:44 -05:00
|
|
|
self.errors.push(ParserError {
|
2014-07-15 21:00:50 -05:00
|
|
|
lo: start,
|
|
|
|
hi: self.input.len(),
|
|
|
|
desc: format!("unterminated string literal"),
|
|
|
|
});
|
|
|
|
return None
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-11-18 02:13:21 -06:00
|
|
|
return Some(Value::String(ret));
|
2014-07-15 21:00:50 -05:00
|
|
|
}
|
|
|
|
|
2015-01-15 18:01:27 -06:00
|
|
|
fn number_or_datetime(&mut self, start: usize) -> Option<Value> {
|
2014-06-20 19:01:38 -05:00
|
|
|
let mut is_float = false;
|
2015-02-11 13:15:48 -06:00
|
|
|
let prefix = try!(self.integer(start, false, true));
|
|
|
|
let decimal = if self.eat('.') {
|
2015-01-15 18:01:27 -06:00
|
|
|
is_float = true;
|
2015-02-11 13:15:48 -06:00
|
|
|
Some(try!(self.integer(start, true, false)))
|
|
|
|
} else {
|
|
|
|
None
|
|
|
|
};
|
|
|
|
let exponent = if self.eat('e') || self.eat('E') {
|
2015-01-15 18:01:27 -06:00
|
|
|
is_float = true;
|
2015-02-11 13:15:48 -06:00
|
|
|
Some(try!(self.integer(start, false, true)))
|
|
|
|
} else {
|
|
|
|
None
|
|
|
|
};
|
2014-06-20 19:01:38 -05:00
|
|
|
let end = self.next_pos();
|
2015-01-23 10:19:29 -06:00
|
|
|
let input = &self.input[start..end];
|
2015-01-15 18:01:27 -06:00
|
|
|
let ret = if !is_float && !input.starts_with("+") &&
|
|
|
|
!input.starts_with("-") && self.eat('-') {
|
2014-06-20 19:01:38 -05:00
|
|
|
self.datetime(start, end + 1)
|
|
|
|
} else {
|
2015-02-11 13:15:48 -06:00
|
|
|
let input = match (decimal, exponent) {
|
|
|
|
(None, None) => prefix,
|
|
|
|
(Some(ref d), None) => prefix + "." + d,
|
|
|
|
(None, Some(ref e)) => prefix + "E" + e,
|
|
|
|
(Some(ref d), Some(ref e)) => prefix + "." + d + "E" + e,
|
|
|
|
};
|
2015-01-15 18:01:27 -06:00
|
|
|
let input = input.trim_left_matches('+');
|
|
|
|
if is_float {
|
2015-06-06 11:11:48 -05:00
|
|
|
input.parse().ok().map(Value::Float)
|
2015-01-15 18:01:27 -06:00
|
|
|
} else {
|
2015-06-06 11:11:48 -05:00
|
|
|
input.parse().ok().map(Value::Integer)
|
2015-01-15 18:01:27 -06:00
|
|
|
}
|
2014-06-20 19:01:38 -05:00
|
|
|
};
|
|
|
|
if ret.is_none() {
|
2014-08-17 18:28:44 -05:00
|
|
|
self.errors.push(ParserError {
|
2014-06-20 19:01:38 -05:00
|
|
|
lo: start,
|
|
|
|
hi: end,
|
|
|
|
desc: format!("invalid numeric literal"),
|
|
|
|
});
|
|
|
|
}
|
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
|
2015-01-15 18:01:27 -06:00
|
|
|
fn integer(&mut self, start: usize, allow_leading_zeros: bool,
|
2015-02-11 13:15:48 -06:00
|
|
|
allow_sign: bool) -> Option<String> {
|
|
|
|
let mut s = String::new();
|
|
|
|
if allow_sign {
|
|
|
|
if self.eat('-') { s.push('-'); }
|
|
|
|
else if self.eat('+') { s.push('+'); }
|
|
|
|
}
|
2015-01-15 18:01:27 -06:00
|
|
|
match self.cur.next() {
|
|
|
|
Some((_, '0')) if !allow_leading_zeros => {
|
2015-02-11 13:15:48 -06:00
|
|
|
s.push('0');
|
2015-01-15 18:01:27 -06:00
|
|
|
match self.peek(0) {
|
|
|
|
Some((pos, c)) if '0' <= c && c <= '9' => {
|
|
|
|
self.errors.push(ParserError {
|
|
|
|
lo: start,
|
|
|
|
hi: pos,
|
|
|
|
desc: format!("leading zeroes are not allowed"),
|
|
|
|
});
|
2015-02-11 13:15:48 -06:00
|
|
|
return None
|
2015-01-15 18:01:27 -06:00
|
|
|
}
|
|
|
|
_ => {}
|
|
|
|
}
|
|
|
|
}
|
2015-02-11 13:15:48 -06:00
|
|
|
Some((_, ch)) if '0' <= ch && ch <= '9' => {
|
|
|
|
s.push(ch);
|
|
|
|
}
|
2015-01-15 18:01:27 -06:00
|
|
|
_ => {
|
|
|
|
let pos = self.next_pos();
|
|
|
|
self.errors.push(ParserError {
|
|
|
|
lo: pos,
|
|
|
|
hi: pos,
|
|
|
|
desc: format!("expected start of a numeric literal"),
|
|
|
|
});
|
2015-02-11 13:15:48 -06:00
|
|
|
return None;
|
2015-01-15 18:01:27 -06:00
|
|
|
}
|
|
|
|
}
|
2015-02-11 13:15:48 -06:00
|
|
|
let mut underscore = false;
|
2015-01-15 18:01:27 -06:00
|
|
|
loop {
|
|
|
|
match self.cur.clone().next() {
|
2015-02-11 13:15:48 -06:00
|
|
|
Some((_, ch)) if '0' <= ch && ch <= '9' => {
|
|
|
|
s.push(ch);
|
|
|
|
self.cur.next();
|
|
|
|
underscore = false;
|
|
|
|
}
|
|
|
|
Some((_, '_')) if !underscore => {
|
|
|
|
self.cur.next();
|
|
|
|
underscore = true;
|
|
|
|
}
|
2015-01-15 18:01:27 -06:00
|
|
|
Some(_) | None => break,
|
|
|
|
}
|
|
|
|
}
|
2015-02-11 13:15:48 -06:00
|
|
|
if underscore {
|
|
|
|
let pos = self.next_pos();
|
|
|
|
self.errors.push(ParserError {
|
|
|
|
lo: pos,
|
|
|
|
hi: pos,
|
|
|
|
desc: format!("numeral cannot end with an underscore"),
|
|
|
|
});
|
|
|
|
return None
|
|
|
|
} else {
|
|
|
|
Some(s)
|
|
|
|
}
|
2015-01-15 18:01:27 -06:00
|
|
|
}
|
|
|
|
|
2015-01-09 13:48:06 -06:00
|
|
|
fn boolean(&mut self, start: usize) -> Option<Value> {
|
2015-01-23 10:19:29 -06:00
|
|
|
let rest = &self.input[start..];
|
2014-06-20 19:01:38 -05:00
|
|
|
if rest.starts_with("true") {
|
2015-01-09 13:48:06 -06:00
|
|
|
for _ in 0..4 {
|
2014-06-20 19:01:38 -05:00
|
|
|
self.cur.next();
|
|
|
|
}
|
2015-06-06 11:11:48 -05:00
|
|
|
Some(Value::Boolean(true))
|
2014-06-20 19:01:38 -05:00
|
|
|
} else if rest.starts_with("false") {
|
2015-01-09 13:48:06 -06:00
|
|
|
for _ in 0..5 {
|
2014-06-20 19:01:38 -05:00
|
|
|
self.cur.next();
|
|
|
|
}
|
2015-06-06 11:11:48 -05:00
|
|
|
Some(Value::Boolean(false))
|
2014-06-20 19:01:38 -05:00
|
|
|
} else {
|
|
|
|
let next = self.next_pos();
|
2014-08-17 18:28:44 -05:00
|
|
|
self.errors.push(ParserError {
|
2014-06-20 19:01:38 -05:00
|
|
|
lo: start,
|
|
|
|
hi: next,
|
|
|
|
desc: format!("unexpected character: `{}`",
|
2015-03-09 13:09:07 -05:00
|
|
|
rest.chars().next().unwrap()),
|
2014-06-20 19:01:38 -05:00
|
|
|
});
|
|
|
|
None
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-01-09 13:48:06 -06:00
|
|
|
fn datetime(&mut self, start: usize, end_so_far: usize) -> Option<Value> {
|
2015-01-27 21:29:58 -06:00
|
|
|
let mut date = format!("{}", &self.input[start..end_so_far]);
|
2015-01-09 13:48:06 -06:00
|
|
|
for _ in 0..15 {
|
2014-06-20 19:01:38 -05:00
|
|
|
match self.cur.next() {
|
2014-10-11 12:04:44 -05:00
|
|
|
Some((_, ch)) => date.push(ch),
|
2014-06-20 19:01:38 -05:00
|
|
|
None => {
|
2014-08-17 18:28:44 -05:00
|
|
|
self.errors.push(ParserError {
|
2014-06-20 19:01:38 -05:00
|
|
|
lo: start,
|
|
|
|
hi: end_so_far,
|
|
|
|
desc: format!("malformed date literal"),
|
|
|
|
});
|
|
|
|
return None
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2015-01-27 21:29:58 -06:00
|
|
|
let mut it = date.chars();
|
2014-06-20 19:01:38 -05:00
|
|
|
let mut valid = true;
|
2015-01-27 21:29:58 -06:00
|
|
|
valid = valid && it.next().map(is_digit).unwrap_or(false);
|
|
|
|
valid = valid && it.next().map(is_digit).unwrap_or(false);
|
|
|
|
valid = valid && it.next().map(is_digit).unwrap_or(false);
|
|
|
|
valid = valid && it.next().map(is_digit).unwrap_or(false);
|
2014-06-20 19:01:38 -05:00
|
|
|
valid = valid && it.next().map(|c| c == '-').unwrap_or(false);
|
2015-01-27 21:29:58 -06:00
|
|
|
valid = valid && it.next().map(is_digit).unwrap_or(false);
|
|
|
|
valid = valid && it.next().map(is_digit).unwrap_or(false);
|
2014-06-20 19:01:38 -05:00
|
|
|
valid = valid && it.next().map(|c| c == '-').unwrap_or(false);
|
2015-01-27 21:29:58 -06:00
|
|
|
valid = valid && it.next().map(is_digit).unwrap_or(false);
|
|
|
|
valid = valid && it.next().map(is_digit).unwrap_or(false);
|
2014-06-20 19:01:38 -05:00
|
|
|
valid = valid && it.next().map(|c| c == 'T').unwrap_or(false);
|
2015-01-27 21:29:58 -06:00
|
|
|
valid = valid && it.next().map(is_digit).unwrap_or(false);
|
|
|
|
valid = valid && it.next().map(is_digit).unwrap_or(false);
|
2014-06-20 19:01:38 -05:00
|
|
|
valid = valid && it.next().map(|c| c == ':').unwrap_or(false);
|
2015-01-27 21:29:58 -06:00
|
|
|
valid = valid && it.next().map(is_digit).unwrap_or(false);
|
|
|
|
valid = valid && it.next().map(is_digit).unwrap_or(false);
|
2014-06-20 19:01:38 -05:00
|
|
|
valid = valid && it.next().map(|c| c == ':').unwrap_or(false);
|
2015-01-27 21:29:58 -06:00
|
|
|
valid = valid && it.next().map(is_digit).unwrap_or(false);
|
|
|
|
valid = valid && it.next().map(is_digit).unwrap_or(false);
|
2014-06-20 19:01:38 -05:00
|
|
|
valid = valid && it.next().map(|c| c == 'Z').unwrap_or(false);
|
|
|
|
if valid {
|
2015-06-06 11:11:48 -05:00
|
|
|
Some(Value::Datetime(date.clone()))
|
2014-06-20 19:01:38 -05:00
|
|
|
} else {
|
2014-08-17 18:28:44 -05:00
|
|
|
self.errors.push(ParserError {
|
2014-06-20 19:01:38 -05:00
|
|
|
lo: start,
|
|
|
|
hi: start + date.len(),
|
|
|
|
desc: format!("malformed date literal"),
|
|
|
|
});
|
|
|
|
None
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-01-09 13:48:06 -06:00
|
|
|
fn array(&mut self, _start: usize) -> Option<Value> {
|
2014-06-20 19:01:38 -05:00
|
|
|
if !self.expect('[') { return None }
|
|
|
|
let mut ret = Vec::new();
|
|
|
|
fn consume(me: &mut Parser) {
|
|
|
|
loop {
|
|
|
|
me.ws();
|
2015-01-15 17:10:07 -06:00
|
|
|
if !me.newline() && !me.comment() { break }
|
2014-06-20 19:01:38 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
let mut type_str = None;
|
|
|
|
loop {
|
|
|
|
// Break out early if we see the closing bracket
|
|
|
|
consume(self);
|
2015-06-06 11:11:48 -05:00
|
|
|
if self.eat(']') { return Some(Value::Array(ret)) }
|
2014-06-20 19:01:38 -05:00
|
|
|
|
|
|
|
// Attempt to parse a value, triggering an error if it's the wrong
|
|
|
|
// type.
|
|
|
|
let start = self.next_pos();
|
2015-02-11 13:15:48 -06:00
|
|
|
let value = try!(self.value());
|
2014-06-20 19:01:38 -05:00
|
|
|
let end = self.next_pos();
|
|
|
|
let expected = type_str.unwrap_or(value.type_str());
|
|
|
|
if value.type_str() != expected {
|
2014-08-17 18:28:44 -05:00
|
|
|
self.errors.push(ParserError {
|
2014-06-20 19:01:38 -05:00
|
|
|
lo: start,
|
|
|
|
hi: end,
|
|
|
|
desc: format!("expected type `{}`, found type `{}`",
|
|
|
|
expected, value.type_str()),
|
|
|
|
});
|
|
|
|
} else {
|
|
|
|
type_str = Some(expected);
|
|
|
|
ret.push(value);
|
|
|
|
}
|
|
|
|
|
|
|
|
// Look for a comma. If we don't find one we're done
|
|
|
|
consume(self);
|
|
|
|
if !self.eat(',') { break }
|
|
|
|
}
|
|
|
|
consume(self);
|
|
|
|
if !self.expect(']') { return None }
|
2015-06-06 11:11:48 -05:00
|
|
|
return Some(Value::Array(ret))
|
2014-06-20 19:01:38 -05:00
|
|
|
}
|
|
|
|
|
2015-02-08 00:01:13 -06:00
|
|
|
fn inline_table(&mut self, _start: usize) -> Option<Value> {
|
|
|
|
if !self.expect('{') { return None }
|
|
|
|
self.ws();
|
2015-06-08 02:03:36 -05:00
|
|
|
let mut ret = TomlTable { values: BTreeMap::new(), defined: true };
|
2015-06-06 11:11:48 -05:00
|
|
|
if self.eat('}') { return Some(Value::Table(ret)) }
|
2015-02-08 00:01:13 -06:00
|
|
|
loop {
|
|
|
|
let lo = self.next_pos();
|
2015-02-11 13:15:48 -06:00
|
|
|
let key = try!(self.key_name());
|
2015-02-08 00:01:13 -06:00
|
|
|
if !self.keyval_sep() { return None }
|
2015-02-11 13:15:48 -06:00
|
|
|
let value = try!(self.value());
|
2015-02-08 00:01:13 -06:00
|
|
|
self.insert(&mut ret, key, value, lo);
|
|
|
|
|
|
|
|
self.ws();
|
|
|
|
if self.eat('}') { break }
|
|
|
|
if !self.expect(',') { return None }
|
|
|
|
self.ws();
|
|
|
|
}
|
2015-06-06 11:11:48 -05:00
|
|
|
return Some(Value::Table(ret))
|
2015-02-08 00:01:13 -06:00
|
|
|
}
|
|
|
|
|
2014-09-21 09:55:13 -05:00
|
|
|
fn insert(&mut self, into: &mut TomlTable, key: String, value: Value,
|
2015-01-09 13:48:06 -06:00
|
|
|
key_lo: usize) {
|
2015-06-08 02:03:36 -05:00
|
|
|
if into.values.contains_key(&key) {
|
2014-08-17 18:28:44 -05:00
|
|
|
self.errors.push(ParserError {
|
2014-06-20 19:01:38 -05:00
|
|
|
lo: key_lo,
|
|
|
|
hi: key_lo + key.len(),
|
|
|
|
desc: format!("duplicate key: `{}`", key),
|
|
|
|
})
|
|
|
|
} else {
|
2015-06-08 02:03:36 -05:00
|
|
|
into.values.insert(key, value);
|
2014-06-20 19:01:38 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-01-15 21:47:14 -06:00
|
|
|
fn recurse<'b>(&mut self, mut cur: &'b mut TomlTable, keys: &'b [String],
|
2015-01-09 13:48:06 -06:00
|
|
|
key_lo: usize) -> Option<(&'b mut TomlTable, &'b str)> {
|
2015-01-15 21:47:14 -06:00
|
|
|
let key_hi = keys.iter().fold(0, |a, b| a + b.len());
|
|
|
|
for part in keys[..keys.len() - 1].iter() {
|
2014-06-20 19:01:38 -05:00
|
|
|
let tmp = cur;
|
|
|
|
|
2015-06-08 02:03:36 -05:00
|
|
|
if tmp.values.contains_key(part) {
|
|
|
|
match *tmp.values.get_mut(part).unwrap() {
|
2015-06-08 00:38:36 -05:00
|
|
|
Value::Table(ref mut table) => cur = table,
|
2015-06-06 11:11:48 -05:00
|
|
|
Value::Array(ref mut array) => {
|
2015-01-15 21:47:14 -06:00
|
|
|
match array.last_mut() {
|
2015-06-06 11:11:48 -05:00
|
|
|
Some(&mut Value::Table(ref mut table)) => cur = table,
|
2014-06-20 19:01:38 -05:00
|
|
|
_ => {
|
2014-08-17 18:28:44 -05:00
|
|
|
self.errors.push(ParserError {
|
2014-06-20 19:01:38 -05:00
|
|
|
lo: key_lo,
|
2015-01-15 21:47:14 -06:00
|
|
|
hi: key_hi,
|
2014-06-20 19:01:38 -05:00
|
|
|
desc: format!("array `{}` does not contain \
|
|
|
|
tables", part)
|
|
|
|
});
|
|
|
|
return None
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
_ => {
|
2014-08-17 18:28:44 -05:00
|
|
|
self.errors.push(ParserError {
|
2014-06-20 19:01:38 -05:00
|
|
|
lo: key_lo,
|
2015-01-15 21:47:14 -06:00
|
|
|
hi: key_hi,
|
2014-06-20 19:01:38 -05:00
|
|
|
desc: format!("key `{}` was not previously a table",
|
|
|
|
part)
|
|
|
|
});
|
|
|
|
return None
|
|
|
|
}
|
|
|
|
}
|
2015-06-08 00:38:36 -05:00
|
|
|
continue
|
2014-06-20 19:01:38 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
// Initialize an empty table as part of this sub-key
|
2015-06-08 02:03:36 -05:00
|
|
|
tmp.values.insert(part.clone(), Value::Table(TomlTable {
|
|
|
|
values: BTreeMap::new(),
|
|
|
|
defined: false,
|
|
|
|
}));
|
|
|
|
match *tmp.values.get_mut(part).unwrap() {
|
2015-06-06 11:11:48 -05:00
|
|
|
Value::Table(ref mut inner) => cur = inner,
|
2014-06-20 19:01:38 -05:00
|
|
|
_ => unreachable!(),
|
|
|
|
}
|
|
|
|
}
|
2015-01-27 21:29:58 -06:00
|
|
|
Some((cur, &**keys.last().unwrap()))
|
2014-06-20 19:01:38 -05:00
|
|
|
}
|
|
|
|
|
2015-01-15 21:47:14 -06:00
|
|
|
fn insert_table(&mut self, into: &mut TomlTable, keys: &[String],
|
2015-06-08 02:03:36 -05:00
|
|
|
table: TomlTable, key_lo: usize) {
|
2015-01-15 21:47:14 -06:00
|
|
|
let (into, key) = match self.recurse(into, keys, key_lo) {
|
2014-06-20 19:01:38 -05:00
|
|
|
Some(pair) => pair,
|
|
|
|
None => return,
|
|
|
|
};
|
2015-06-08 02:03:36 -05:00
|
|
|
if !into.values.contains_key(key) {
|
|
|
|
into.values.insert(key.to_owned(), Value::Table(table));
|
2015-06-08 01:16:56 -05:00
|
|
|
return
|
|
|
|
}
|
2015-06-08 02:03:36 -05:00
|
|
|
if let Value::Table(ref mut into) = *into.values.get_mut(key).unwrap() {
|
|
|
|
if into.defined {
|
2015-06-08 01:16:56 -05:00
|
|
|
self.errors.push(ParserError {
|
|
|
|
lo: key_lo,
|
|
|
|
hi: key_lo + key.len(),
|
|
|
|
desc: format!("redefinition of table `{}`", key),
|
|
|
|
});
|
|
|
|
}
|
2015-06-08 02:03:36 -05:00
|
|
|
for (k, v) in table.values {
|
|
|
|
if into.values.insert(k.clone(), v).is_some() {
|
2014-12-12 00:29:27 -06:00
|
|
|
self.errors.push(ParserError {
|
|
|
|
lo: key_lo,
|
|
|
|
hi: key_lo + key.len(),
|
2015-06-08 01:16:56 -05:00
|
|
|
desc: format!("duplicate key `{}` in table", k),
|
2014-12-12 00:29:27 -06:00
|
|
|
});
|
|
|
|
}
|
2014-06-20 19:01:38 -05:00
|
|
|
}
|
2015-06-08 01:16:56 -05:00
|
|
|
} else {
|
|
|
|
self.errors.push(ParserError {
|
|
|
|
lo: key_lo,
|
|
|
|
hi: key_lo + key.len(),
|
|
|
|
desc: format!("duplicate key `{}` in table", key),
|
|
|
|
});
|
2014-06-20 19:01:38 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-01-15 21:47:14 -06:00
|
|
|
fn insert_array(&mut self, into: &mut TomlTable,
|
|
|
|
keys: &[String], value: Value, key_lo: usize) {
|
|
|
|
let (into, key) = match self.recurse(into, keys, key_lo) {
|
2014-06-20 19:01:38 -05:00
|
|
|
Some(pair) => pair,
|
|
|
|
None => return,
|
|
|
|
};
|
2015-06-08 02:03:36 -05:00
|
|
|
if !into.values.contains_key(key) {
|
|
|
|
into.values.insert(key.to_owned(), Value::Array(Vec::new()));
|
2014-06-20 19:01:38 -05:00
|
|
|
}
|
2015-06-08 02:03:36 -05:00
|
|
|
match *into.values.get_mut(key).unwrap() {
|
2015-06-06 11:11:48 -05:00
|
|
|
Value::Array(ref mut vec) => {
|
2015-01-27 21:29:58 -06:00
|
|
|
match vec.first() {
|
2014-06-20 19:01:38 -05:00
|
|
|
Some(ref v) if !v.same_type(&value) => {
|
2014-08-17 18:28:44 -05:00
|
|
|
self.errors.push(ParserError {
|
2014-06-20 19:01:38 -05:00
|
|
|
lo: key_lo,
|
|
|
|
hi: key_lo + key.len(),
|
|
|
|
desc: format!("expected type `{}`, found type `{}`",
|
|
|
|
v.type_str(), value.type_str()),
|
|
|
|
})
|
|
|
|
}
|
|
|
|
Some(..) | None => {}
|
|
|
|
}
|
|
|
|
vec.push(value);
|
|
|
|
}
|
|
|
|
_ => {
|
2014-08-17 18:28:44 -05:00
|
|
|
self.errors.push(ParserError {
|
2014-06-20 19:01:38 -05:00
|
|
|
lo: key_lo,
|
|
|
|
hi: key_lo + key.len(),
|
|
|
|
desc: format!("key `{}` was previously not an array", key),
|
|
|
|
});
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2014-06-23 10:58:44 -05:00
|
|
|
|
2014-11-04 13:56:11 -06:00
|
|
|
impl Error for ParserError {
|
|
|
|
fn description(&self) -> &str { "TOML parse error" }
|
2015-01-23 10:19:29 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
impl fmt::Display for ParserError {
|
|
|
|
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
|
|
|
|
self.desc.fmt(f)
|
|
|
|
}
|
2014-11-04 13:56:11 -06:00
|
|
|
}
|
|
|
|
|
2015-01-27 21:29:58 -06:00
|
|
|
fn is_digit(c: char) -> bool {
|
|
|
|
match c { '0' ... '9' => true, _ => false }
|
|
|
|
}
|
|
|
|
|
2014-06-23 10:58:44 -05:00
|
|
|
#[cfg(test)]
|
|
|
|
mod tests {
|
2014-11-18 02:13:21 -06:00
|
|
|
use Value::Table;
|
|
|
|
use Parser;
|
2014-06-23 10:58:44 -05:00
|
|
|
|
2015-03-15 13:26:32 -05:00
|
|
|
macro_rules! bad {
|
|
|
|
($s:expr, $msg:expr) => ({
|
|
|
|
let mut p = Parser::new($s);
|
|
|
|
assert!(p.parse().is_none());
|
|
|
|
assert!(p.errors.iter().any(|e| e.desc.contains($msg)),
|
|
|
|
"errors: {:?}", p.errors);
|
|
|
|
})
|
|
|
|
}
|
|
|
|
|
2014-06-25 09:00:10 -05:00
|
|
|
#[test]
|
|
|
|
fn crlf() {
|
|
|
|
let mut p = Parser::new("\
|
|
|
|
[project]\r\n\
|
|
|
|
\r\n\
|
|
|
|
name = \"splay\"\r\n\
|
|
|
|
version = \"0.1.0\"\r\n\
|
|
|
|
authors = [\"alex@crichton.co\"]\r\n\
|
|
|
|
\r\n\
|
|
|
|
[[lib]]\r\n\
|
|
|
|
\r\n\
|
|
|
|
path = \"lib.rs\"\r\n\
|
|
|
|
name = \"splay\"\r\n\
|
2014-10-30 15:47:21 -05:00
|
|
|
description = \"\"\"\
|
|
|
|
A Rust implementation of a TAR file reader and writer. This library does not\r\n\
|
|
|
|
currently handle compression, but it is abstract over all I/O readers and\r\n\
|
|
|
|
writers. Additionally, great lengths are taken to ensure that the entire\r\n\
|
|
|
|
contents are never required to be entirely resident in memory all at once.\r\n\
|
|
|
|
\"\"\"\
|
2014-06-25 09:00:10 -05:00
|
|
|
");
|
|
|
|
assert!(p.parse().is_some());
|
|
|
|
}
|
|
|
|
|
2014-06-23 10:58:44 -05:00
|
|
|
#[test]
|
|
|
|
fn linecol() {
|
|
|
|
let p = Parser::new("ab\ncde\nf");
|
|
|
|
assert_eq!(p.to_linecol(0), (0, 0));
|
|
|
|
assert_eq!(p.to_linecol(1), (0, 1));
|
|
|
|
assert_eq!(p.to_linecol(3), (1, 0));
|
|
|
|
assert_eq!(p.to_linecol(4), (1, 1));
|
|
|
|
assert_eq!(p.to_linecol(7), (2, 0));
|
|
|
|
}
|
|
|
|
|
2014-07-15 20:36:39 -05:00
|
|
|
#[test]
|
|
|
|
fn fun_with_strings() {
|
|
|
|
let mut p = Parser::new(r#"
|
|
|
|
bar = "\U00000000"
|
2014-07-15 21:00:50 -05:00
|
|
|
key1 = "One\nTwo"
|
|
|
|
key2 = """One\nTwo"""
|
|
|
|
key3 = """
|
|
|
|
One
|
|
|
|
Two"""
|
|
|
|
|
|
|
|
key4 = "The quick brown fox jumps over the lazy dog."
|
|
|
|
key5 = """
|
|
|
|
The quick brown \
|
|
|
|
|
|
|
|
|
|
|
|
fox jumps over \
|
|
|
|
the lazy dog."""
|
|
|
|
key6 = """\
|
|
|
|
The quick brown \
|
|
|
|
fox jumps over \
|
|
|
|
the lazy dog.\
|
|
|
|
"""
|
|
|
|
# What you see is what you get.
|
|
|
|
winpath = 'C:\Users\nodejs\templates'
|
|
|
|
winpath2 = '\\ServerX\admin$\system32\'
|
|
|
|
quoted = 'Tom "Dubs" Preston-Werner'
|
|
|
|
regex = '<\i\c*\s*>'
|
|
|
|
|
|
|
|
regex2 = '''I [dw]on't need \d{2} apples'''
|
|
|
|
lines = '''
|
|
|
|
The first newline is
|
|
|
|
trimmed in raw strings.
|
|
|
|
All other whitespace
|
|
|
|
is preserved.
|
|
|
|
'''
|
2014-07-15 20:36:39 -05:00
|
|
|
"#);
|
|
|
|
let table = Table(p.parse().unwrap());
|
2014-07-15 21:00:50 -05:00
|
|
|
assert_eq!(table.lookup("bar").and_then(|k| k.as_str()), Some("\0"));
|
|
|
|
assert_eq!(table.lookup("key1").and_then(|k| k.as_str()),
|
|
|
|
Some("One\nTwo"));
|
|
|
|
assert_eq!(table.lookup("key2").and_then(|k| k.as_str()),
|
|
|
|
Some("One\nTwo"));
|
|
|
|
assert_eq!(table.lookup("key3").and_then(|k| k.as_str()),
|
|
|
|
Some("One\nTwo"));
|
|
|
|
|
|
|
|
let msg = "The quick brown fox jumps over the lazy dog.";
|
|
|
|
assert_eq!(table.lookup("key4").and_then(|k| k.as_str()), Some(msg));
|
|
|
|
assert_eq!(table.lookup("key5").and_then(|k| k.as_str()), Some(msg));
|
|
|
|
assert_eq!(table.lookup("key6").and_then(|k| k.as_str()), Some(msg));
|
|
|
|
|
|
|
|
assert_eq!(table.lookup("winpath").and_then(|k| k.as_str()),
|
|
|
|
Some(r"C:\Users\nodejs\templates"));
|
|
|
|
assert_eq!(table.lookup("winpath2").and_then(|k| k.as_str()),
|
|
|
|
Some(r"\\ServerX\admin$\system32\"));
|
|
|
|
assert_eq!(table.lookup("quoted").and_then(|k| k.as_str()),
|
|
|
|
Some(r#"Tom "Dubs" Preston-Werner"#));
|
|
|
|
assert_eq!(table.lookup("regex").and_then(|k| k.as_str()),
|
|
|
|
Some(r"<\i\c*\s*>"));
|
|
|
|
assert_eq!(table.lookup("regex2").and_then(|k| k.as_str()),
|
|
|
|
Some(r"I [dw]on't need \d{2} apples"));
|
|
|
|
assert_eq!(table.lookup("lines").and_then(|k| k.as_str()),
|
|
|
|
Some("The first newline is\n\
|
|
|
|
trimmed in raw strings.\n \
|
|
|
|
All other whitespace\n \
|
|
|
|
is preserved.\n"));
|
2014-07-15 20:36:39 -05:00
|
|
|
}
|
2014-12-12 00:29:27 -06:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn tables_in_arrays() {
|
|
|
|
let mut p = Parser::new(r#"
|
|
|
|
[[foo]]
|
|
|
|
#…
|
|
|
|
[foo.bar]
|
|
|
|
#…
|
|
|
|
|
|
|
|
[[foo]]
|
|
|
|
#…
|
|
|
|
[foo.bar]
|
|
|
|
#...
|
|
|
|
"#);
|
|
|
|
let table = Table(p.parse().unwrap());
|
|
|
|
table.lookup("foo.0.bar").unwrap().as_table().unwrap();
|
|
|
|
table.lookup("foo.1.bar").unwrap().as_table().unwrap();
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn fruit() {
|
|
|
|
let mut p = Parser::new(r#"
|
|
|
|
[[fruit]]
|
|
|
|
name = "apple"
|
|
|
|
|
|
|
|
[fruit.physical]
|
|
|
|
color = "red"
|
|
|
|
shape = "round"
|
|
|
|
|
|
|
|
[[fruit.variety]]
|
|
|
|
name = "red delicious"
|
|
|
|
|
|
|
|
[[fruit.variety]]
|
|
|
|
name = "granny smith"
|
|
|
|
|
|
|
|
[[fruit]]
|
|
|
|
name = "banana"
|
|
|
|
|
|
|
|
[[fruit.variety]]
|
|
|
|
name = "plantain"
|
|
|
|
"#);
|
|
|
|
let table = Table(p.parse().unwrap());
|
|
|
|
assert_eq!(table.lookup("fruit.0.name").and_then(|k| k.as_str()),
|
|
|
|
Some("apple"));
|
|
|
|
assert_eq!(table.lookup("fruit.0.physical.color").and_then(|k| k.as_str()),
|
|
|
|
Some("red"));
|
|
|
|
assert_eq!(table.lookup("fruit.0.physical.shape").and_then(|k| k.as_str()),
|
|
|
|
Some("round"));
|
|
|
|
assert_eq!(table.lookup("fruit.0.variety.0.name").and_then(|k| k.as_str()),
|
|
|
|
Some("red delicious"));
|
|
|
|
assert_eq!(table.lookup("fruit.0.variety.1.name").and_then(|k| k.as_str()),
|
|
|
|
Some("granny smith"));
|
|
|
|
assert_eq!(table.lookup("fruit.1.name").and_then(|k| k.as_str()),
|
|
|
|
Some("banana"));
|
|
|
|
assert_eq!(table.lookup("fruit.1.variety.0.name").and_then(|k| k.as_str()),
|
|
|
|
Some("plantain"));
|
|
|
|
}
|
2015-01-15 17:10:07 -06:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn stray_cr() {
|
|
|
|
assert!(Parser::new("\r").parse().is_none());
|
|
|
|
assert!(Parser::new("a = [ \r ]").parse().is_none());
|
|
|
|
assert!(Parser::new("a = \"\"\"\r\"\"\"").parse().is_none());
|
|
|
|
assert!(Parser::new("a = \"\"\"\\ \r \"\"\"").parse().is_none());
|
|
|
|
|
|
|
|
let mut p = Parser::new("foo = '''\r'''");
|
|
|
|
let table = Table(p.parse().unwrap());
|
|
|
|
assert_eq!(table.lookup("foo").and_then(|k| k.as_str()), Some("\r"));
|
2015-01-15 17:23:37 -06:00
|
|
|
|
|
|
|
let mut p = Parser::new("foo = '\r'");
|
|
|
|
let table = Table(p.parse().unwrap());
|
|
|
|
assert_eq!(table.lookup("foo").and_then(|k| k.as_str()), Some("\r"));
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn blank_literal_string() {
|
|
|
|
let mut p = Parser::new("foo = ''");
|
|
|
|
let table = Table(p.parse().unwrap());
|
|
|
|
assert_eq!(table.lookup("foo").and_then(|k| k.as_str()), Some(""));
|
2015-01-15 17:10:07 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn many_blank() {
|
|
|
|
let mut p = Parser::new("foo = \"\"\"\n\n\n\"\"\"");
|
|
|
|
let table = Table(p.parse().unwrap());
|
|
|
|
assert_eq!(table.lookup("foo").and_then(|k| k.as_str()), Some("\n\n"));
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn literal_eats_crlf() {
|
|
|
|
let mut p = Parser::new("
|
|
|
|
foo = \"\"\"\\\r\n\"\"\"
|
|
|
|
bar = \"\"\"\\\r\n \r\n \r\n a\"\"\"
|
|
|
|
");
|
|
|
|
let table = Table(p.parse().unwrap());
|
|
|
|
assert_eq!(table.lookup("foo").and_then(|k| k.as_str()), Some(""));
|
|
|
|
assert_eq!(table.lookup("bar").and_then(|k| k.as_str()), Some("a"));
|
|
|
|
}
|
2015-01-15 17:23:37 -06:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn string_no_newline() {
|
|
|
|
assert!(Parser::new("a = \"\n\"").parse().is_none());
|
|
|
|
assert!(Parser::new("a = '\n'").parse().is_none());
|
|
|
|
}
|
2015-01-15 17:36:54 -06:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn bad_leading_zeros() {
|
|
|
|
assert!(Parser::new("a = 00").parse().is_none());
|
|
|
|
assert!(Parser::new("a = -00").parse().is_none());
|
|
|
|
assert!(Parser::new("a = +00").parse().is_none());
|
|
|
|
assert!(Parser::new("a = 00.0").parse().is_none());
|
|
|
|
assert!(Parser::new("a = -00.0").parse().is_none());
|
|
|
|
assert!(Parser::new("a = +00.0").parse().is_none());
|
|
|
|
assert!(Parser::new("a = 9223372036854775808").parse().is_none());
|
|
|
|
assert!(Parser::new("a = -9223372036854775809").parse().is_none());
|
|
|
|
}
|
2015-01-15 18:01:27 -06:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn bad_floats() {
|
|
|
|
assert!(Parser::new("a = 0.").parse().is_none());
|
|
|
|
assert!(Parser::new("a = 0.e").parse().is_none());
|
|
|
|
assert!(Parser::new("a = 0.E").parse().is_none());
|
|
|
|
assert!(Parser::new("a = 0.0E").parse().is_none());
|
|
|
|
assert!(Parser::new("a = 0.0e").parse().is_none());
|
|
|
|
assert!(Parser::new("a = 0.0e-").parse().is_none());
|
|
|
|
assert!(Parser::new("a = 0.0e+").parse().is_none());
|
|
|
|
assert!(Parser::new("a = 0.0e+00").parse().is_none());
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn floats() {
|
|
|
|
macro_rules! t {
|
|
|
|
($actual:expr, $expected:expr) => ({
|
|
|
|
let f = format!("foo = {}", $actual);
|
2015-02-23 16:45:02 -06:00
|
|
|
let mut p = Parser::new(&f);
|
2015-01-15 18:01:27 -06:00
|
|
|
let table = Table(p.parse().unwrap());
|
|
|
|
assert_eq!(table.lookup("foo").and_then(|k| k.as_float()),
|
|
|
|
Some($expected));
|
|
|
|
})
|
|
|
|
}
|
|
|
|
|
|
|
|
t!("1.0", 1.0);
|
|
|
|
t!("1.0e0", 1.0);
|
|
|
|
t!("1.0e+0", 1.0);
|
|
|
|
t!("1.0e-0", 1.0);
|
|
|
|
t!("1.001e-0", 1.001);
|
|
|
|
t!("2e10", 2e10);
|
|
|
|
t!("2e+10", 2e10);
|
|
|
|
t!("2e-10", 2e-10);
|
2015-02-11 13:15:48 -06:00
|
|
|
t!("2_0.0", 20.0);
|
|
|
|
t!("2_0.0_0e0_0", 20.0);
|
|
|
|
t!("2_0.1_0e1_0", 20.1e10);
|
2015-01-15 18:01:27 -06:00
|
|
|
}
|
2015-01-15 19:27:53 -06:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn bare_key_names() {
|
|
|
|
let mut p = Parser::new("
|
|
|
|
foo = 3
|
|
|
|
foo_3 = 3
|
|
|
|
foo_-2--3--r23f--4-f2-4 = 3
|
|
|
|
_ = 3
|
|
|
|
- = 3
|
|
|
|
8 = 8
|
|
|
|
\"a\" = 3
|
|
|
|
\"!\" = 3
|
|
|
|
\"a^b\" = 3
|
|
|
|
\"\\\"\" = 3
|
2015-01-15 19:37:13 -06:00
|
|
|
\"character encoding\" = \"value\"
|
|
|
|
\"ʎǝʞ\" = \"value\"
|
2015-01-15 19:27:53 -06:00
|
|
|
");
|
|
|
|
let table = Table(p.parse().unwrap());
|
|
|
|
assert!(table.lookup("foo").is_some());
|
|
|
|
assert!(table.lookup("-").is_some());
|
|
|
|
assert!(table.lookup("_").is_some());
|
|
|
|
assert!(table.lookup("8").is_some());
|
|
|
|
assert!(table.lookup("foo_3").is_some());
|
|
|
|
assert!(table.lookup("foo_-2--3--r23f--4-f2-4").is_some());
|
|
|
|
assert!(table.lookup("a").is_some());
|
|
|
|
assert!(table.lookup("!").is_some());
|
|
|
|
assert!(table.lookup("\"").is_some());
|
2015-01-15 19:37:13 -06:00
|
|
|
assert!(table.lookup("character encoding").is_some());
|
|
|
|
assert!(table.lookup("ʎǝʞ").is_some());
|
2015-01-15 19:27:53 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn bad_keys() {
|
|
|
|
assert!(Parser::new("key\n=3").parse().is_none());
|
|
|
|
assert!(Parser::new("key=\n3").parse().is_none());
|
|
|
|
assert!(Parser::new("key|=3").parse().is_none());
|
2015-01-15 21:47:14 -06:00
|
|
|
assert!(Parser::new("\"\"=3").parse().is_none());
|
|
|
|
assert!(Parser::new("=3").parse().is_none());
|
2015-01-15 19:27:53 -06:00
|
|
|
assert!(Parser::new("\"\"|=3").parse().is_none());
|
|
|
|
assert!(Parser::new("\"\n\"|=3").parse().is_none());
|
|
|
|
assert!(Parser::new("\"\r\"|=3").parse().is_none());
|
|
|
|
}
|
2015-01-15 21:47:14 -06:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn bad_table_names() {
|
|
|
|
assert!(Parser::new("[]").parse().is_none());
|
|
|
|
assert!(Parser::new("[.]").parse().is_none());
|
|
|
|
assert!(Parser::new("[\"\".\"\"]").parse().is_none());
|
|
|
|
assert!(Parser::new("[a.]").parse().is_none());
|
|
|
|
assert!(Parser::new("[\"\"]").parse().is_none());
|
|
|
|
assert!(Parser::new("[!]").parse().is_none());
|
|
|
|
assert!(Parser::new("[\"\n\"]").parse().is_none());
|
|
|
|
assert!(Parser::new("[a.b]\n[a.\"b\"]").parse().is_none());
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn table_names() {
|
|
|
|
let mut p = Parser::new("
|
|
|
|
[a.\"b\"]
|
|
|
|
[\"f f\"]
|
|
|
|
[\"f.f\"]
|
|
|
|
[\"\\\"\"]
|
|
|
|
");
|
|
|
|
let table = Table(p.parse().unwrap());
|
|
|
|
assert!(table.lookup("a.b").is_some());
|
|
|
|
assert!(table.lookup("f f").is_some());
|
|
|
|
assert!(table.lookup("\"").is_some());
|
|
|
|
}
|
2015-01-19 15:16:42 -06:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn invalid_bare_numeral() {
|
|
|
|
assert!(Parser::new("4").parse().is_none());
|
|
|
|
}
|
2015-02-08 00:01:13 -06:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn inline_tables() {
|
|
|
|
assert!(Parser::new("a = {}").parse().is_some());
|
|
|
|
assert!(Parser::new("a = {b=1}").parse().is_some());
|
|
|
|
assert!(Parser::new("a = { b = 1 }").parse().is_some());
|
|
|
|
assert!(Parser::new("a = {a=1,b=2}").parse().is_some());
|
|
|
|
assert!(Parser::new("a = {a=1,b=2,c={}}").parse().is_some());
|
|
|
|
assert!(Parser::new("a = {a=1,}").parse().is_none());
|
|
|
|
assert!(Parser::new("a = {,}").parse().is_none());
|
|
|
|
assert!(Parser::new("a = {a=1,a=1}").parse().is_none());
|
|
|
|
assert!(Parser::new("a = {\n}").parse().is_none());
|
|
|
|
assert!(Parser::new("a = {").parse().is_none());
|
|
|
|
assert!(Parser::new("a = {a=[\n]}").parse().is_some());
|
|
|
|
assert!(Parser::new("a = {\"a\"=[\n]}").parse().is_some());
|
|
|
|
assert!(Parser::new("a = [\n{},\n{},\n]").parse().is_some());
|
|
|
|
}
|
2015-02-11 13:15:48 -06:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn number_underscores() {
|
|
|
|
macro_rules! t {
|
|
|
|
($actual:expr, $expected:expr) => ({
|
|
|
|
let f = format!("foo = {}", $actual);
|
2015-02-23 16:45:02 -06:00
|
|
|
let mut p = Parser::new(&f);
|
2015-02-11 13:15:48 -06:00
|
|
|
let table = Table(p.parse().unwrap());
|
|
|
|
assert_eq!(table.lookup("foo").and_then(|k| k.as_integer()),
|
|
|
|
Some($expected));
|
|
|
|
})
|
|
|
|
}
|
|
|
|
|
|
|
|
t!("1_0", 10);
|
|
|
|
t!("1_0_0", 100);
|
|
|
|
t!("1_000", 1000);
|
|
|
|
t!("+1_000", 1000);
|
|
|
|
t!("-1_000", -1000);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn bad_underscores() {
|
|
|
|
assert!(Parser::new("foo = 0_").parse().is_none());
|
|
|
|
assert!(Parser::new("foo = 0__0").parse().is_none());
|
|
|
|
assert!(Parser::new("foo = __0").parse().is_none());
|
|
|
|
assert!(Parser::new("foo = 1_0_").parse().is_none());
|
|
|
|
}
|
2015-03-15 13:26:32 -05:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn bad_unicode_codepoint() {
|
|
|
|
bad!("foo = \"\\uD800\"", "not a valid unicode codepoint");
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn bad_strings() {
|
|
|
|
bad!("foo = \"\\uxx\"", "expected 4 hex digits");
|
|
|
|
bad!("foo = \"\\u\"", "expected 4 hex digits");
|
|
|
|
bad!("foo = \"\\", "unterminated");
|
|
|
|
bad!("foo = '", "unterminated");
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn empty_string() {
|
|
|
|
let mut p = Parser::new("foo = \"\"");
|
|
|
|
let table = Table(p.parse().unwrap());
|
|
|
|
assert_eq!(table.lookup("foo").unwrap().as_str(), Some(""));
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn booleans() {
|
|
|
|
let mut p = Parser::new("foo = true");
|
|
|
|
let table = Table(p.parse().unwrap());
|
|
|
|
assert_eq!(table.lookup("foo").unwrap().as_bool(), Some(true));
|
|
|
|
|
|
|
|
let mut p = Parser::new("foo = false");
|
|
|
|
let table = Table(p.parse().unwrap());
|
|
|
|
assert_eq!(table.lookup("foo").unwrap().as_bool(), Some(false));
|
|
|
|
|
|
|
|
assert!(Parser::new("foo = true2").parse().is_none());
|
|
|
|
assert!(Parser::new("foo = false2").parse().is_none());
|
|
|
|
assert!(Parser::new("foo = t1").parse().is_none());
|
|
|
|
assert!(Parser::new("foo = f2").parse().is_none());
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn bad_nesting() {
|
|
|
|
bad!("
|
|
|
|
a = [2]
|
|
|
|
[[a]]
|
|
|
|
b = 5
|
|
|
|
", "expected type `integer`, found type `table`");
|
|
|
|
bad!("
|
|
|
|
a = 1
|
|
|
|
[a.b]
|
|
|
|
", "key `a` was not previously a table");
|
|
|
|
bad!("
|
|
|
|
a = []
|
|
|
|
[a.b]
|
|
|
|
", "array `a` does not contain tables");
|
|
|
|
bad!("
|
|
|
|
a = []
|
|
|
|
[[a.b]]
|
|
|
|
", "array `a` does not contain tables");
|
|
|
|
bad!("
|
|
|
|
[a]
|
|
|
|
b = { c = 2, d = {} }
|
|
|
|
[a.b]
|
|
|
|
c = 2
|
|
|
|
", "duplicate key `c` in table");
|
|
|
|
}
|
2015-06-04 13:23:46 -05:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn bad_table_redefine() {
|
2015-06-08 01:46:02 -05:00
|
|
|
bad!("
|
2015-06-04 13:23:46 -05:00
|
|
|
[a]
|
|
|
|
foo=\"bar\"
|
|
|
|
[a.b]
|
|
|
|
foo=\"bar\"
|
|
|
|
[a]
|
2015-06-08 01:46:02 -05:00
|
|
|
", "redefinition of table `a`");
|
|
|
|
bad!("
|
|
|
|
[a]
|
|
|
|
foo=\"bar\"
|
|
|
|
b = { foo = \"bar\" }
|
|
|
|
[a]
|
|
|
|
", "redefinition of table `a`");
|
|
|
|
bad!("
|
|
|
|
[a]
|
|
|
|
b = {}
|
|
|
|
[a.b]
|
|
|
|
", "redefinition of table `b`");
|
|
|
|
|
|
|
|
bad!("
|
|
|
|
[a]
|
|
|
|
b = {}
|
|
|
|
[a]
|
|
|
|
", "redefinition of table `a`");
|
2015-06-04 13:23:46 -05:00
|
|
|
}
|
2014-06-23 10:58:44 -05:00
|
|
|
}
|