2011-05-12 17:24:54 +02:00
|
|
|
import std::io;
|
2011-05-17 20:41:41 +02:00
|
|
|
import std::str;
|
|
|
|
import std::vec;
|
|
|
|
import std::int;
|
2011-05-12 17:24:54 +02:00
|
|
|
import std::map;
|
|
|
|
import std::map::hashmap;
|
|
|
|
import std::option;
|
|
|
|
import std::option::some;
|
|
|
|
import std::option::none;
|
|
|
|
import driver::session::session;
|
|
|
|
import util::common;
|
|
|
|
import util::common::new_str_hash;
|
2011-05-16 14:53:00 -07:00
|
|
|
import util::interner;
|
2010-08-24 09:59:41 -07:00
|
|
|
|
2010-09-01 13:24:14 -07:00
|
|
|
state type reader = state obj {
|
2011-04-08 16:48:17 +02:00
|
|
|
fn is_eof() -> bool;
|
|
|
|
fn curr() -> char;
|
|
|
|
fn next() -> char;
|
2011-04-19 13:35:49 -07:00
|
|
|
fn init();
|
|
|
|
fn bump();
|
2011-04-08 16:48:17 +02:00
|
|
|
fn mark();
|
2011-04-08 18:44:20 +02:00
|
|
|
fn get_mark_chpos() -> uint;
|
2011-05-16 14:53:00 -07:00
|
|
|
fn get_interner() -> @interner::interner[str];
|
2011-04-08 18:44:20 +02:00
|
|
|
fn get_chpos() -> uint;
|
2011-05-12 17:24:54 +02:00
|
|
|
fn get_filemap() -> codemap::filemap;
|
2011-05-11 23:04:16 -04:00
|
|
|
fn err(str m);
|
2010-08-24 09:59:41 -07:00
|
|
|
};
|
|
|
|
|
2011-05-12 17:24:54 +02:00
|
|
|
fn new_reader(session sess, io::reader rdr,
|
2011-05-16 14:53:00 -07:00
|
|
|
codemap::filemap filemap,
|
|
|
|
@interner::interner[str] itr) -> reader {
|
2011-05-11 23:04:16 -04:00
|
|
|
|
|
|
|
state obj reader(session sess,
|
|
|
|
str file,
|
2011-04-08 16:48:17 +02:00
|
|
|
uint len,
|
|
|
|
mutable uint pos,
|
|
|
|
mutable char ch,
|
2011-04-08 18:44:20 +02:00
|
|
|
mutable uint mark_chpos,
|
|
|
|
mutable uint chpos,
|
2011-05-09 14:17:28 -07:00
|
|
|
mutable vec[str] strs,
|
2011-05-16 14:53:00 -07:00
|
|
|
codemap::filemap fm,
|
|
|
|
@interner::interner[str] itr) {
|
2010-09-01 13:24:14 -07:00
|
|
|
|
2011-04-08 16:48:17 +02:00
|
|
|
fn is_eof() -> bool {
|
|
|
|
ret ch == -1 as char;
|
|
|
|
}
|
2010-08-24 09:59:41 -07:00
|
|
|
|
2011-04-08 18:44:20 +02:00
|
|
|
fn mark() { mark_chpos = chpos; }
|
|
|
|
fn get_mark_chpos() -> uint { ret mark_chpos; }
|
|
|
|
fn get_chpos() -> uint { ret chpos; }
|
2010-08-24 09:59:41 -07:00
|
|
|
|
2011-04-08 16:48:17 +02:00
|
|
|
fn curr() -> char {
|
|
|
|
ret ch;
|
|
|
|
}
|
2010-08-24 09:59:41 -07:00
|
|
|
|
2011-04-08 16:48:17 +02:00
|
|
|
fn next() -> char {
|
2011-05-17 20:41:41 +02:00
|
|
|
if (pos < len) {ret str::char_at(file, pos);}
|
2011-04-08 16:48:17 +02:00
|
|
|
else {ret -1 as char;}
|
|
|
|
}
|
2011-04-13 11:25:01 -07:00
|
|
|
|
2011-04-19 13:35:49 -07:00
|
|
|
fn init() {
|
2011-04-08 16:48:17 +02:00
|
|
|
if (pos < len) {
|
2011-05-17 20:41:41 +02:00
|
|
|
auto next = str::char_range_at(file, pos);
|
2011-04-08 16:48:17 +02:00
|
|
|
pos = next._1;
|
|
|
|
ch = next._0;
|
2010-08-27 12:36:57 -07:00
|
|
|
}
|
2011-04-08 16:48:17 +02:00
|
|
|
}
|
2010-08-27 12:36:57 -07:00
|
|
|
|
2011-04-19 13:35:49 -07:00
|
|
|
fn bump() {
|
2011-04-08 16:48:17 +02:00
|
|
|
if (pos < len) {
|
2011-04-08 18:44:20 +02:00
|
|
|
chpos += 1u;
|
2011-04-08 16:48:17 +02:00
|
|
|
if (ch == '\n') {
|
2011-05-12 17:24:54 +02:00
|
|
|
codemap::next_line(fm, chpos);
|
2010-08-24 09:59:41 -07:00
|
|
|
}
|
2011-05-17 20:41:41 +02:00
|
|
|
auto next = str::char_range_at(file, pos);
|
2011-04-08 16:48:17 +02:00
|
|
|
pos = next._1;
|
|
|
|
ch = next._0;
|
|
|
|
} else {
|
|
|
|
ch = -1 as char;
|
2010-08-24 09:59:41 -07:00
|
|
|
}
|
2011-04-08 16:48:17 +02:00
|
|
|
}
|
2010-08-24 09:59:41 -07:00
|
|
|
|
2011-05-16 14:53:00 -07:00
|
|
|
fn get_interner() -> @interner::interner[str] { ret itr; }
|
2011-05-09 14:17:28 -07:00
|
|
|
|
2011-05-12 17:24:54 +02:00
|
|
|
fn get_filemap() -> codemap::filemap {
|
2011-04-08 18:44:20 +02:00
|
|
|
ret fm;
|
|
|
|
}
|
2011-05-11 23:04:16 -04:00
|
|
|
|
|
|
|
fn err(str m) {
|
|
|
|
sess.span_err(rec(lo=chpos, hi=chpos), m);
|
|
|
|
}
|
2011-04-08 16:48:17 +02:00
|
|
|
}
|
2011-05-17 20:41:41 +02:00
|
|
|
auto file = str::unsafe_from_bytes(rdr.read_whole_stream());
|
2011-05-16 18:21:22 -07:00
|
|
|
let vec[str] strs = [];
|
2011-05-17 20:41:41 +02:00
|
|
|
auto rd = reader(sess, file, str::byte_len(file), 0u, -1 as char,
|
2011-04-08 18:44:20 +02:00
|
|
|
filemap.start_pos, filemap.start_pos,
|
2011-05-16 14:53:00 -07:00
|
|
|
strs, filemap, itr);
|
2011-04-08 18:44:20 +02:00
|
|
|
rd.init();
|
|
|
|
ret rd;
|
|
|
|
}
|
2010-08-24 09:59:41 -07:00
|
|
|
|
2010-08-19 18:42:17 -07:00
|
|
|
fn in_range(char c, char lo, char hi) -> bool {
|
2010-08-20 12:12:37 -07:00
|
|
|
ret lo <= c && c <= hi;
|
2010-08-19 18:42:17 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
fn is_alpha(char c) -> bool {
|
|
|
|
ret in_range(c, 'a', 'z') ||
|
|
|
|
in_range(c, 'A', 'Z');
|
|
|
|
}
|
|
|
|
|
|
|
|
fn is_dec_digit(char c) -> bool {
|
|
|
|
ret in_range(c, '0', '9');
|
|
|
|
}
|
|
|
|
|
2010-10-13 11:02:56 -07:00
|
|
|
fn is_alnum(char c) -> bool {
|
|
|
|
ret is_alpha(c) || is_dec_digit(c);
|
|
|
|
}
|
|
|
|
|
2010-08-19 18:42:17 -07:00
|
|
|
fn is_hex_digit(char c) -> bool {
|
|
|
|
ret in_range(c, '0', '9') ||
|
|
|
|
in_range(c, 'a', 'f') ||
|
|
|
|
in_range(c, 'A', 'F');
|
|
|
|
}
|
|
|
|
|
|
|
|
fn is_bin_digit(char c) -> bool {
|
|
|
|
ret c == '0' || c == '1';
|
|
|
|
}
|
|
|
|
|
2010-08-31 11:36:36 -07:00
|
|
|
fn dec_digit_val(char c) -> int {
|
|
|
|
ret (c as int) - ('0' as int);
|
|
|
|
}
|
|
|
|
|
|
|
|
fn hex_digit_val(char c) -> int {
|
|
|
|
if (in_range(c, '0', '9')) {
|
|
|
|
ret (c as int) - ('0' as int);
|
|
|
|
}
|
|
|
|
|
|
|
|
if (in_range(c, 'a', 'f')) {
|
2010-08-31 12:54:24 -07:00
|
|
|
ret ((c as int) - ('a' as int)) + 10;
|
2010-08-31 11:36:36 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
if (in_range(c, 'A', 'F')) {
|
2010-08-31 12:54:24 -07:00
|
|
|
ret ((c as int) - ('A' as int)) + 10;
|
2010-08-31 11:36:36 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
fail;
|
|
|
|
}
|
|
|
|
|
|
|
|
fn bin_digit_value(char c) -> int {
|
2010-08-31 12:54:24 -07:00
|
|
|
if (c == '0') { ret 0; }
|
2010-08-31 11:36:36 -07:00
|
|
|
ret 1;
|
|
|
|
}
|
|
|
|
|
2010-08-19 18:42:17 -07:00
|
|
|
fn is_whitespace(char c) -> bool {
|
2010-08-20 15:36:48 -07:00
|
|
|
ret c == ' ' || c == '\t' || c == '\r' || c == '\n';
|
2010-08-19 18:42:17 -07:00
|
|
|
}
|
|
|
|
|
2011-05-17 20:45:49 +02:00
|
|
|
fn consume_any_whitespace(&reader rdr) {
|
2010-08-27 12:36:57 -07:00
|
|
|
while (is_whitespace(rdr.curr())) {
|
|
|
|
rdr.bump();
|
2010-08-23 19:17:04 -07:00
|
|
|
}
|
2010-08-27 12:36:57 -07:00
|
|
|
be consume_any_line_comment(rdr);
|
2010-08-23 19:17:04 -07:00
|
|
|
}
|
|
|
|
|
2011-05-17 20:45:49 +02:00
|
|
|
fn consume_any_line_comment(&reader rdr) {
|
2010-08-27 12:36:57 -07:00
|
|
|
if (rdr.curr() == '/') {
|
2010-08-31 13:29:00 -07:00
|
|
|
alt (rdr.next()) {
|
|
|
|
case ('/') {
|
2011-03-29 14:07:41 +02:00
|
|
|
while (rdr.curr() != '\n' && !rdr.is_eof()) {
|
2010-08-31 13:29:00 -07:00
|
|
|
rdr.bump();
|
|
|
|
}
|
|
|
|
// Restart whitespace munch.
|
|
|
|
be consume_any_whitespace(rdr);
|
|
|
|
}
|
|
|
|
case ('*') {
|
2010-08-27 12:36:57 -07:00
|
|
|
rdr.bump();
|
2010-08-31 13:29:00 -07:00
|
|
|
rdr.bump();
|
|
|
|
be consume_block_comment(rdr);
|
|
|
|
}
|
|
|
|
case (_) {
|
|
|
|
ret;
|
2010-08-23 19:17:04 -07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2010-08-31 13:29:00 -07:00
|
|
|
|
2011-05-17 20:45:49 +02:00
|
|
|
fn consume_block_comment(&reader rdr) {
|
2010-08-31 13:29:00 -07:00
|
|
|
let int level = 1;
|
|
|
|
while (level > 0) {
|
2011-05-12 09:31:06 +02:00
|
|
|
if (rdr.is_eof()) {
|
|
|
|
rdr.err("unterminated block comment");
|
|
|
|
fail;
|
|
|
|
}
|
2010-08-31 13:29:00 -07:00
|
|
|
if (rdr.curr() == '/' && rdr.next() == '*') {
|
|
|
|
rdr.bump();
|
|
|
|
rdr.bump();
|
|
|
|
level += 1;
|
|
|
|
} else {
|
|
|
|
if (rdr.curr() == '*' && rdr.next() == '/') {
|
|
|
|
rdr.bump();
|
|
|
|
rdr.bump();
|
|
|
|
level -= 1;
|
|
|
|
} else {
|
|
|
|
rdr.bump();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
// restart whitespace munch.
|
|
|
|
be consume_any_whitespace(rdr);
|
|
|
|
}
|
|
|
|
|
2011-03-24 17:12:24 -07:00
|
|
|
fn digits_to_string(str s) -> int {
|
2011-03-21 17:12:05 -07:00
|
|
|
|
|
|
|
let int accum_int = 0;
|
2011-03-24 17:12:24 -07:00
|
|
|
let int i = 0;
|
2011-03-21 17:12:05 -07:00
|
|
|
|
2011-03-24 17:12:24 -07:00
|
|
|
for (u8 c in s) {
|
|
|
|
accum_int *= 10;
|
|
|
|
accum_int += dec_digit_val(c as char);
|
2011-03-21 17:12:05 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
ret accum_int;
|
|
|
|
}
|
|
|
|
|
2011-05-17 20:45:49 +02:00
|
|
|
fn scan_exponent(&reader rdr) -> option::t[str] {
|
2011-03-22 17:25:40 -07:00
|
|
|
auto c = rdr.curr();
|
2011-03-24 17:12:24 -07:00
|
|
|
auto res = "";
|
2011-03-22 17:25:40 -07:00
|
|
|
|
|
|
|
if (c == 'e' || c == 'E') {
|
2011-05-17 20:41:41 +02:00
|
|
|
res += str::from_bytes([c as u8]);
|
2011-03-22 17:25:40 -07:00
|
|
|
rdr.bump();
|
|
|
|
c = rdr.curr();
|
2011-03-24 17:12:24 -07:00
|
|
|
if (c == '-' || c == '+') {
|
2011-05-17 20:41:41 +02:00
|
|
|
res += str::from_bytes([c as u8]);
|
2011-03-22 17:25:40 -07:00
|
|
|
rdr.bump();
|
|
|
|
}
|
|
|
|
auto exponent = scan_dec_digits(rdr);
|
2011-05-17 20:41:41 +02:00
|
|
|
if (str::byte_len(exponent) > 0u) {
|
2011-03-24 17:12:24 -07:00
|
|
|
ret(some(res + exponent));
|
|
|
|
}
|
|
|
|
else {
|
2011-05-11 23:04:16 -04:00
|
|
|
rdr.err("scan_exponent: bad fp literal");
|
2011-03-24 17:12:24 -07:00
|
|
|
fail;
|
|
|
|
}
|
2011-03-22 17:25:40 -07:00
|
|
|
}
|
|
|
|
else {
|
2011-03-24 17:12:24 -07:00
|
|
|
ret none[str];
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2011-05-17 20:45:49 +02:00
|
|
|
fn scan_dec_digits(&reader rdr) -> str {
|
2011-04-13 11:25:01 -07:00
|
|
|
|
2011-03-24 17:12:24 -07:00
|
|
|
auto c = rdr.curr();
|
|
|
|
let str res = "";
|
|
|
|
|
|
|
|
while (is_dec_digit (c) || c == '_') {
|
|
|
|
if (c != '_') {
|
2011-05-17 20:41:41 +02:00
|
|
|
res += str::from_bytes([c as u8]);
|
2011-03-24 17:12:24 -07:00
|
|
|
}
|
|
|
|
rdr.bump();
|
|
|
|
c = rdr.curr();
|
2011-03-22 17:25:40 -07:00
|
|
|
}
|
2011-03-24 17:12:24 -07:00
|
|
|
|
|
|
|
ret res;
|
2011-03-22 17:25:40 -07:00
|
|
|
}
|
|
|
|
|
2011-05-17 20:45:49 +02:00
|
|
|
fn scan_number(char c, &reader rdr) -> token::token {
|
2010-11-22 17:41:26 -08:00
|
|
|
auto accum_int = 0;
|
2011-03-24 17:12:24 -07:00
|
|
|
let str dec_str = "";
|
|
|
|
let bool is_dec_integer = false;
|
2010-11-22 17:41:26 -08:00
|
|
|
auto n = rdr.next();
|
|
|
|
|
|
|
|
if (c == '0' && n == 'x') {
|
|
|
|
rdr.bump();
|
|
|
|
rdr.bump();
|
|
|
|
c = rdr.curr();
|
|
|
|
while (is_hex_digit(c) || c == '_') {
|
|
|
|
if (c != '_') {
|
|
|
|
accum_int *= 16;
|
|
|
|
accum_int += hex_digit_val(c);
|
|
|
|
}
|
|
|
|
rdr.bump();
|
|
|
|
c = rdr.curr();
|
|
|
|
}
|
2011-03-21 17:12:05 -07:00
|
|
|
} else if (c == '0' && n == 'b') {
|
2010-11-22 17:41:26 -08:00
|
|
|
rdr.bump();
|
|
|
|
rdr.bump();
|
|
|
|
c = rdr.curr();
|
|
|
|
while (is_bin_digit(c) || c == '_') {
|
|
|
|
if (c != '_') {
|
|
|
|
accum_int *= 2;
|
|
|
|
accum_int += bin_digit_value(c);
|
|
|
|
}
|
|
|
|
rdr.bump();
|
|
|
|
c = rdr.curr();
|
|
|
|
}
|
2011-03-21 17:12:05 -07:00
|
|
|
} else {
|
2011-03-24 17:12:24 -07:00
|
|
|
dec_str = scan_dec_digits(rdr);
|
|
|
|
is_dec_integer = true;
|
|
|
|
}
|
2011-04-13 11:25:01 -07:00
|
|
|
|
2011-03-24 17:12:24 -07:00
|
|
|
if (is_dec_integer) {
|
|
|
|
accum_int = digits_to_string(dec_str);
|
2010-11-22 17:41:26 -08:00
|
|
|
}
|
2011-04-13 11:25:01 -07:00
|
|
|
|
2011-03-21 17:12:05 -07:00
|
|
|
c = rdr.curr();
|
|
|
|
n = rdr.next();
|
2010-11-22 17:41:26 -08:00
|
|
|
|
|
|
|
if (c == 'u' || c == 'i') {
|
|
|
|
let bool signed = (c == 'i');
|
|
|
|
rdr.bump();
|
|
|
|
c = rdr.curr();
|
|
|
|
if (c == '8') {
|
|
|
|
rdr.bump();
|
|
|
|
if (signed) {
|
2011-05-12 17:24:54 +02:00
|
|
|
ret token::LIT_MACH_INT(common::ty_i8, accum_int);
|
2010-11-22 17:41:26 -08:00
|
|
|
} else {
|
2011-05-12 17:24:54 +02:00
|
|
|
ret token::LIT_MACH_INT(common::ty_u8, accum_int);
|
2010-11-22 17:41:26 -08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
n = rdr.next();
|
|
|
|
if (c == '1' && n == '6') {
|
|
|
|
rdr.bump();
|
|
|
|
rdr.bump();
|
|
|
|
if (signed) {
|
2011-05-12 17:24:54 +02:00
|
|
|
ret token::LIT_MACH_INT(common::ty_i16, accum_int);
|
2010-11-22 17:41:26 -08:00
|
|
|
} else {
|
2011-05-12 17:24:54 +02:00
|
|
|
ret token::LIT_MACH_INT(common::ty_u16, accum_int);
|
2010-11-22 17:41:26 -08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
if (c == '3' && n == '2') {
|
|
|
|
rdr.bump();
|
|
|
|
rdr.bump();
|
|
|
|
if (signed) {
|
2011-05-12 17:24:54 +02:00
|
|
|
ret token::LIT_MACH_INT(common::ty_i32, accum_int);
|
2010-11-22 17:41:26 -08:00
|
|
|
} else {
|
2011-05-12 17:24:54 +02:00
|
|
|
ret token::LIT_MACH_INT(common::ty_u32, accum_int);
|
2010-11-22 17:41:26 -08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
if (c == '6' && n == '4') {
|
|
|
|
rdr.bump();
|
|
|
|
rdr.bump();
|
|
|
|
if (signed) {
|
2011-05-12 17:24:54 +02:00
|
|
|
ret token::LIT_MACH_INT(common::ty_i64, accum_int);
|
2010-11-22 17:41:26 -08:00
|
|
|
} else {
|
2011-05-12 17:24:54 +02:00
|
|
|
ret token::LIT_MACH_INT(common::ty_u64, accum_int);
|
2010-11-22 17:41:26 -08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
if (signed) {
|
2011-05-12 17:24:54 +02:00
|
|
|
ret token::LIT_INT(accum_int);
|
2010-11-22 17:41:26 -08:00
|
|
|
} else {
|
|
|
|
// FIXME: should cast in the target bit-width.
|
2011-05-12 17:24:54 +02:00
|
|
|
ret token::LIT_UINT(accum_int as uint);
|
2010-11-22 17:41:26 -08:00
|
|
|
}
|
|
|
|
}
|
2011-03-22 17:25:40 -07:00
|
|
|
c = rdr.curr();
|
2011-03-24 17:12:24 -07:00
|
|
|
|
2011-03-22 17:25:40 -07:00
|
|
|
if (c == '.') {
|
2011-03-21 17:12:05 -07:00
|
|
|
// Parse a floating-point number.
|
|
|
|
rdr.bump();
|
2011-03-24 17:12:24 -07:00
|
|
|
auto dec_part = scan_dec_digits(rdr);
|
|
|
|
auto float_str = dec_str + "." + dec_part;
|
2011-03-22 17:25:40 -07:00
|
|
|
c = rdr.curr();
|
2011-03-24 17:12:24 -07:00
|
|
|
auto exponent_str = scan_exponent(rdr);
|
|
|
|
alt (exponent_str) {
|
|
|
|
case (some[str](?s)) {
|
|
|
|
float_str += s;
|
2011-03-22 17:25:40 -07:00
|
|
|
}
|
2011-03-24 17:12:24 -07:00
|
|
|
case (none[str]) {
|
2011-03-22 17:25:40 -07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
c = rdr.curr();
|
|
|
|
if (c == 'f') {
|
|
|
|
rdr.bump();
|
|
|
|
c = rdr.curr();
|
|
|
|
n = rdr.next();
|
|
|
|
if (c == '3' && n == '2') {
|
|
|
|
rdr.bump(); rdr.bump();
|
2011-05-12 17:24:54 +02:00
|
|
|
ret token::LIT_MACH_FLOAT(util::common::ty_f32,
|
2011-05-16 14:53:00 -07:00
|
|
|
interner::intern[str](*rdr.get_interner(), float_str));
|
2011-03-22 17:25:40 -07:00
|
|
|
}
|
|
|
|
else if (c == '6' && n == '4') {
|
|
|
|
rdr.bump(); rdr.bump();
|
2011-05-12 17:24:54 +02:00
|
|
|
ret token::LIT_MACH_FLOAT(util::common::ty_f64,
|
2011-05-16 14:53:00 -07:00
|
|
|
interner::intern[str](*rdr.get_interner(), float_str));
|
2011-03-24 17:12:24 -07:00
|
|
|
/* FIXME: if this is out of range for either a 32-bit or
|
|
|
|
64-bit float, it won't be noticed till the back-end */
|
2011-03-22 17:25:40 -07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
else {
|
2011-05-16 14:53:00 -07:00
|
|
|
ret token::LIT_FLOAT(interner::intern[str](*rdr.get_interner(),
|
|
|
|
float_str));
|
2011-03-22 17:25:40 -07:00
|
|
|
}
|
2011-03-21 17:12:05 -07:00
|
|
|
}
|
2011-03-22 17:25:40 -07:00
|
|
|
|
|
|
|
auto maybe_exponent = scan_exponent(rdr);
|
|
|
|
alt(maybe_exponent) {
|
2011-03-24 17:12:24 -07:00
|
|
|
case(some[str](?s)) {
|
2011-05-16 14:53:00 -07:00
|
|
|
ret token::LIT_FLOAT(interner::intern[str](*rdr.get_interner(),
|
|
|
|
dec_str + s));
|
2011-03-22 17:25:40 -07:00
|
|
|
}
|
2011-03-24 17:12:24 -07:00
|
|
|
case(none[str]) {
|
2011-05-16 14:53:00 -07:00
|
|
|
ret token::LIT_INT(accum_int);
|
2011-03-22 17:25:40 -07:00
|
|
|
}
|
2011-03-21 17:12:05 -07:00
|
|
|
}
|
2010-11-22 17:41:26 -08:00
|
|
|
}
|
|
|
|
|
2011-05-17 20:45:49 +02:00
|
|
|
fn scan_numeric_escape(&reader rdr) -> char {
|
2011-04-13 11:25:01 -07:00
|
|
|
|
|
|
|
auto n_hex_digits = 0;
|
|
|
|
|
2011-05-02 17:47:24 -07:00
|
|
|
assert (rdr.curr() == '\\');
|
2011-04-13 11:25:01 -07:00
|
|
|
|
|
|
|
alt (rdr.next()) {
|
|
|
|
case ('x') { n_hex_digits = 2; }
|
|
|
|
case ('u') { n_hex_digits = 4; }
|
|
|
|
case ('U') { n_hex_digits = 8; }
|
|
|
|
case (?c) {
|
2011-05-11 23:04:16 -04:00
|
|
|
rdr.err(#fmt("unknown numeric character escape: %d", c as int));
|
2011-04-13 11:25:01 -07:00
|
|
|
fail;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
rdr.bump(); // advance curr past \
|
|
|
|
|
|
|
|
auto n = rdr.next();
|
|
|
|
auto accum_int = 0;
|
|
|
|
|
|
|
|
while (n_hex_digits != 0) {
|
|
|
|
if (!is_hex_digit(n)) {
|
2011-05-11 23:04:16 -04:00
|
|
|
rdr.err(#fmt("illegal numeric character escape: %d", n as int));
|
2011-04-13 11:25:01 -07:00
|
|
|
fail;
|
|
|
|
}
|
|
|
|
accum_int *= 16;
|
|
|
|
accum_int += hex_digit_val(n);
|
|
|
|
rdr.bump();
|
|
|
|
n = rdr.next();
|
|
|
|
n_hex_digits -= 1;
|
|
|
|
}
|
|
|
|
ret accum_int as char;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2011-05-17 20:45:49 +02:00
|
|
|
fn next_token(&reader rdr) -> token::token {
|
2010-08-20 15:36:48 -07:00
|
|
|
auto accum_str = "";
|
2010-08-19 18:42:17 -07:00
|
|
|
|
2010-08-27 12:36:57 -07:00
|
|
|
consume_any_whitespace(rdr);
|
2010-08-24 08:50:56 -07:00
|
|
|
|
2011-05-12 17:24:54 +02:00
|
|
|
if (rdr.is_eof()) { ret token::EOF; }
|
2010-08-19 18:42:17 -07:00
|
|
|
|
2010-12-09 17:11:05 -08:00
|
|
|
rdr.mark();
|
2010-08-27 12:36:57 -07:00
|
|
|
auto c = rdr.curr();
|
2010-08-20 12:12:37 -07:00
|
|
|
|
2010-10-13 11:02:56 -07:00
|
|
|
if (is_alpha(c) || c == '_') {
|
|
|
|
while (is_alnum(c) || c == '_') {
|
2011-05-17 20:41:41 +02:00
|
|
|
str::push_char(accum_str, c);
|
2010-08-27 12:36:57 -07:00
|
|
|
rdr.bump();
|
2010-08-31 11:36:36 -07:00
|
|
|
c = rdr.curr();
|
2010-08-20 11:41:34 -07:00
|
|
|
}
|
2010-08-31 11:36:36 -07:00
|
|
|
|
2011-05-17 20:41:41 +02:00
|
|
|
if (str::eq(accum_str, "_")) {
|
2011-05-12 17:24:54 +02:00
|
|
|
ret token::UNDERSCORE;
|
2010-12-15 09:44:48 -08:00
|
|
|
}
|
|
|
|
|
2011-05-14 12:54:31 +02:00
|
|
|
auto is_mod_name = c == ':' && rdr.next() == ':';
|
2011-05-16 14:53:00 -07:00
|
|
|
ret token::IDENT(interner::intern[str](*rdr.get_interner(),
|
|
|
|
accum_str), is_mod_name);
|
2010-08-20 10:03:31 -07:00
|
|
|
}
|
2010-08-20 11:41:34 -07:00
|
|
|
|
|
|
|
if (is_dec_digit(c)) {
|
2010-11-22 17:41:26 -08:00
|
|
|
ret scan_number(c, rdr);
|
2010-08-20 11:41:34 -07:00
|
|
|
}
|
|
|
|
|
2011-05-17 20:45:49 +02:00
|
|
|
fn binop(&reader rdr, token::binop op) -> token::token {
|
2010-08-27 12:36:57 -07:00
|
|
|
rdr.bump();
|
2010-12-08 14:50:47 -08:00
|
|
|
if (rdr.curr() == '=') {
|
2010-08-27 12:36:57 -07:00
|
|
|
rdr.bump();
|
2011-05-12 17:24:54 +02:00
|
|
|
ret token::BINOPEQ(op);
|
2010-08-23 19:17:04 -07:00
|
|
|
} else {
|
2011-05-12 17:24:54 +02:00
|
|
|
ret token::BINOP(op);
|
2010-08-23 19:17:04 -07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2010-08-20 14:34:48 -07:00
|
|
|
alt (c) {
|
2010-08-23 19:17:04 -07:00
|
|
|
// One-byte tokens.
|
2011-05-12 17:24:54 +02:00
|
|
|
case ('?') { rdr.bump(); ret token::QUES; }
|
|
|
|
case (';') { rdr.bump(); ret token::SEMI; }
|
|
|
|
case (',') { rdr.bump(); ret token::COMMA; }
|
|
|
|
case ('.') { rdr.bump(); ret token::DOT; }
|
|
|
|
case ('(') { rdr.bump(); ret token::LPAREN; }
|
|
|
|
case (')') { rdr.bump(); ret token::RPAREN; }
|
|
|
|
case ('{') { rdr.bump(); ret token::LBRACE; }
|
|
|
|
case ('}') { rdr.bump(); ret token::RBRACE; }
|
|
|
|
case ('[') { rdr.bump(); ret token::LBRACKET; }
|
|
|
|
case (']') { rdr.bump(); ret token::RBRACKET; }
|
|
|
|
case ('@') { rdr.bump(); ret token::AT; }
|
|
|
|
case ('#') { rdr.bump(); ret token::POUND; }
|
|
|
|
case ('~') { rdr.bump(); ret token::TILDE; }
|
2011-05-12 17:20:07 +02:00
|
|
|
case (':') {
|
|
|
|
rdr.bump();
|
|
|
|
if (rdr.curr() == ':') {
|
|
|
|
rdr.bump();
|
2011-05-12 17:24:54 +02:00
|
|
|
ret token::MOD_SEP;
|
2011-05-12 17:20:07 +02:00
|
|
|
}
|
|
|
|
else {
|
2011-05-12 17:24:54 +02:00
|
|
|
ret token::COLON;
|
2011-05-12 17:20:07 +02:00
|
|
|
};
|
|
|
|
}
|
2010-08-23 19:17:04 -07:00
|
|
|
|
|
|
|
// Multi-byte tokens.
|
2010-08-20 15:36:48 -07:00
|
|
|
case ('=') {
|
2010-08-31 13:29:00 -07:00
|
|
|
rdr.bump();
|
|
|
|
if (rdr.curr() == '=') {
|
2010-08-27 12:36:57 -07:00
|
|
|
rdr.bump();
|
2011-05-12 17:24:54 +02:00
|
|
|
ret token::EQEQ;
|
2010-08-20 15:36:48 -07:00
|
|
|
} else {
|
2011-05-12 17:24:54 +02:00
|
|
|
ret token::EQ;
|
2010-08-31 13:29:00 -07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
case ('!') {
|
|
|
|
rdr.bump();
|
|
|
|
if (rdr.curr() == '=') {
|
2010-08-27 12:36:57 -07:00
|
|
|
rdr.bump();
|
2011-05-12 17:24:54 +02:00
|
|
|
ret token::NE;
|
2010-08-31 13:29:00 -07:00
|
|
|
} else {
|
2011-05-12 17:24:54 +02:00
|
|
|
ret token::NOT;
|
2010-08-31 13:29:00 -07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
case ('<') {
|
|
|
|
rdr.bump();
|
|
|
|
alt (rdr.curr()) {
|
|
|
|
case ('=') {
|
|
|
|
rdr.bump();
|
2011-05-12 17:24:54 +02:00
|
|
|
ret token::LE;
|
2010-08-31 13:29:00 -07:00
|
|
|
}
|
|
|
|
case ('<') {
|
2011-05-12 17:24:54 +02:00
|
|
|
ret binop(rdr, token::LSL);
|
2010-08-31 13:29:00 -07:00
|
|
|
}
|
|
|
|
case ('-') {
|
|
|
|
rdr.bump();
|
2011-05-12 17:24:54 +02:00
|
|
|
ret token::LARROW;
|
2010-08-31 13:29:00 -07:00
|
|
|
}
|
|
|
|
case ('|') {
|
|
|
|
rdr.bump();
|
2011-05-12 17:24:54 +02:00
|
|
|
ret token::SEND;
|
2010-08-31 13:29:00 -07:00
|
|
|
}
|
|
|
|
case (_) {
|
2011-05-12 17:24:54 +02:00
|
|
|
ret token::LT;
|
2010-08-31 13:29:00 -07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
case ('>') {
|
|
|
|
rdr.bump();
|
|
|
|
alt (rdr.curr()) {
|
|
|
|
case ('=') {
|
|
|
|
rdr.bump();
|
2011-05-12 17:24:54 +02:00
|
|
|
ret token::GE;
|
2010-08-31 13:29:00 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
case ('>') {
|
|
|
|
if (rdr.next() == '>') {
|
|
|
|
rdr.bump();
|
2011-05-12 17:24:54 +02:00
|
|
|
ret binop(rdr, token::ASR);
|
2010-08-31 13:29:00 -07:00
|
|
|
} else {
|
2011-05-12 17:24:54 +02:00
|
|
|
ret binop(rdr, token::LSR);
|
2010-08-31 13:29:00 -07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
case (_) {
|
2011-05-12 17:24:54 +02:00
|
|
|
ret token::GT;
|
2010-08-31 13:29:00 -07:00
|
|
|
}
|
2010-08-20 15:36:48 -07:00
|
|
|
}
|
|
|
|
}
|
2010-08-23 19:17:04 -07:00
|
|
|
|
2010-08-24 08:56:42 -07:00
|
|
|
case ('\'') {
|
2010-08-27 12:36:57 -07:00
|
|
|
rdr.bump();
|
|
|
|
auto c2 = rdr.curr();
|
2010-08-24 08:56:42 -07:00
|
|
|
if (c2 == '\\') {
|
2010-08-27 12:36:57 -07:00
|
|
|
alt (rdr.next()) {
|
2011-04-13 11:25:01 -07:00
|
|
|
case ('n') { c2 = '\n'; }
|
|
|
|
case ('r') { c2 = '\r'; }
|
|
|
|
case ('t') { c2 = '\t'; }
|
|
|
|
case ('\\') { c2 = '\\'; }
|
|
|
|
case ('\'') { c2 = '\''; }
|
|
|
|
|
|
|
|
case ('x') { c2 = scan_numeric_escape(rdr); }
|
|
|
|
case ('u') { c2 = scan_numeric_escape(rdr); }
|
|
|
|
case ('U') { c2 = scan_numeric_escape(rdr); }
|
|
|
|
|
2010-09-20 23:56:43 -07:00
|
|
|
case (?c2) {
|
2011-05-11 23:04:16 -04:00
|
|
|
rdr.err(#fmt("unknown character escape: %d",
|
|
|
|
c2 as int));
|
2010-08-24 08:56:42 -07:00
|
|
|
fail;
|
|
|
|
}
|
|
|
|
}
|
2011-04-13 11:25:01 -07:00
|
|
|
rdr.bump();
|
2010-08-24 08:56:42 -07:00
|
|
|
}
|
2010-08-27 12:36:57 -07:00
|
|
|
|
|
|
|
if (rdr.next() != '\'') {
|
2011-05-11 23:04:16 -04:00
|
|
|
rdr.err("unterminated character constant");
|
2010-08-24 08:56:42 -07:00
|
|
|
fail;
|
|
|
|
}
|
2011-04-13 11:25:01 -07:00
|
|
|
rdr.bump(); // advance curr to closing '
|
|
|
|
rdr.bump(); // advance curr past token
|
2011-05-12 17:24:54 +02:00
|
|
|
ret token::LIT_CHAR(c2);
|
2010-08-24 08:56:42 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
case ('"') {
|
2010-08-27 12:36:57 -07:00
|
|
|
rdr.bump();
|
|
|
|
while (rdr.curr() != '"') {
|
|
|
|
alt (rdr.curr()) {
|
2010-08-24 08:56:42 -07:00
|
|
|
case ('\\') {
|
2010-08-27 12:36:57 -07:00
|
|
|
alt (rdr.next()) {
|
2010-08-27 13:36:18 -07:00
|
|
|
case ('n') {
|
|
|
|
rdr.bump();
|
2011-05-17 20:41:41 +02:00
|
|
|
str::push_byte(accum_str, '\n' as u8);
|
2010-08-27 13:36:18 -07:00
|
|
|
}
|
|
|
|
case ('r') {
|
|
|
|
rdr.bump();
|
2011-05-17 20:41:41 +02:00
|
|
|
str::push_byte(accum_str, '\r' as u8);
|
2010-08-27 13:36:18 -07:00
|
|
|
}
|
|
|
|
case ('t') {
|
|
|
|
rdr.bump();
|
2011-05-17 20:41:41 +02:00
|
|
|
str::push_byte(accum_str, '\t' as u8);
|
2010-08-27 13:36:18 -07:00
|
|
|
}
|
|
|
|
case ('\\') {
|
|
|
|
rdr.bump();
|
2011-05-17 20:41:41 +02:00
|
|
|
str::push_byte(accum_str, '\\' as u8);
|
2010-08-27 13:36:18 -07:00
|
|
|
}
|
|
|
|
case ('"') {
|
|
|
|
rdr.bump();
|
2011-05-17 20:41:41 +02:00
|
|
|
str::push_byte(accum_str, '"' as u8);
|
2010-08-27 13:36:18 -07:00
|
|
|
}
|
2011-04-13 11:25:01 -07:00
|
|
|
|
|
|
|
case ('x') {
|
2011-05-17 20:41:41 +02:00
|
|
|
str::push_char(accum_str,
|
2011-04-13 11:25:01 -07:00
|
|
|
scan_numeric_escape(rdr));
|
|
|
|
}
|
|
|
|
|
|
|
|
case ('u') {
|
2011-05-17 20:41:41 +02:00
|
|
|
str::push_char(accum_str,
|
2011-04-13 11:25:01 -07:00
|
|
|
scan_numeric_escape(rdr));
|
|
|
|
}
|
|
|
|
|
|
|
|
case ('U') {
|
2011-05-17 20:41:41 +02:00
|
|
|
str::push_char(accum_str,
|
2011-04-13 11:25:01 -07:00
|
|
|
scan_numeric_escape(rdr));
|
|
|
|
}
|
|
|
|
|
2010-09-20 23:56:43 -07:00
|
|
|
case (?c2) {
|
2011-05-11 23:04:16 -04:00
|
|
|
rdr.err(#fmt("unknown string escape: %d",
|
|
|
|
c2 as int));
|
2010-08-24 08:56:42 -07:00
|
|
|
fail;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
case (_) {
|
2011-05-17 20:41:41 +02:00
|
|
|
str::push_char(accum_str, rdr.curr());
|
2010-08-24 08:56:42 -07:00
|
|
|
}
|
|
|
|
}
|
2010-08-27 12:36:57 -07:00
|
|
|
rdr.bump();
|
2010-08-24 08:56:42 -07:00
|
|
|
}
|
2010-08-27 12:36:57 -07:00
|
|
|
rdr.bump();
|
2011-05-16 14:53:00 -07:00
|
|
|
ret token::LIT_STR(interner::intern[str](*rdr.get_interner(),
|
|
|
|
accum_str));
|
2010-08-24 08:56:42 -07:00
|
|
|
}
|
|
|
|
|
2010-08-23 19:17:04 -07:00
|
|
|
case ('-') {
|
2010-08-27 12:36:57 -07:00
|
|
|
if (rdr.next() == '>') {
|
|
|
|
rdr.bump();
|
|
|
|
rdr.bump();
|
2011-05-12 17:24:54 +02:00
|
|
|
ret token::RARROW;
|
2010-08-23 19:17:04 -07:00
|
|
|
} else {
|
2011-05-12 17:24:54 +02:00
|
|
|
ret binop(rdr, token::MINUS);
|
2010-08-23 19:17:04 -07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
case ('&') {
|
2010-08-27 12:36:57 -07:00
|
|
|
if (rdr.next() == '&') {
|
|
|
|
rdr.bump();
|
|
|
|
rdr.bump();
|
2011-05-12 17:24:54 +02:00
|
|
|
ret token::ANDAND;
|
2010-08-23 19:17:04 -07:00
|
|
|
} else {
|
2011-05-12 17:24:54 +02:00
|
|
|
ret binop(rdr, token::AND);
|
2010-08-31 13:29:00 -07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
case ('|') {
|
|
|
|
if (rdr.next() == '|') {
|
|
|
|
rdr.bump();
|
|
|
|
rdr.bump();
|
2011-05-12 17:24:54 +02:00
|
|
|
ret token::OROR;
|
2010-08-31 13:29:00 -07:00
|
|
|
} else {
|
2011-05-12 17:24:54 +02:00
|
|
|
ret binop(rdr, token::OR);
|
2010-08-23 19:17:04 -07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
case ('+') {
|
2011-05-12 17:24:54 +02:00
|
|
|
ret binop(rdr, token::PLUS);
|
2010-08-23 19:17:04 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
case ('*') {
|
2011-05-12 17:24:54 +02:00
|
|
|
ret binop(rdr, token::STAR);
|
2010-08-23 19:17:04 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
case ('/') {
|
2011-05-12 17:24:54 +02:00
|
|
|
ret binop(rdr, token::SLASH);
|
2010-08-23 19:17:04 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
case ('^') {
|
2011-05-12 17:24:54 +02:00
|
|
|
ret binop(rdr, token::CARET);
|
2010-08-23 19:17:04 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
case ('%') {
|
2011-05-12 17:24:54 +02:00
|
|
|
ret binop(rdr, token::PERCENT);
|
2010-08-23 19:17:04 -07:00
|
|
|
}
|
2011-04-13 11:25:01 -07:00
|
|
|
|
|
|
|
case (?c) {
|
2011-05-11 23:04:16 -04:00
|
|
|
rdr.err(#fmt("unkown start of token: %d", c as int));
|
2011-04-13 11:25:01 -07:00
|
|
|
fail;
|
|
|
|
}
|
2010-08-20 14:34:48 -07:00
|
|
|
}
|
2010-08-20 11:41:34 -07:00
|
|
|
|
2011-03-05 20:05:02 +00:00
|
|
|
fail;
|
2010-07-14 09:41:36 -07:00
|
|
|
}
|
|
|
|
|
2011-03-24 16:33:20 +01:00
|
|
|
tag cmnt_ {
|
|
|
|
cmnt_line(str);
|
|
|
|
cmnt_block(vec[str]);
|
|
|
|
}
|
2011-04-08 18:44:20 +02:00
|
|
|
|
|
|
|
type cmnt = rec(cmnt_ val, uint pos, bool space_after);
|
2011-03-24 16:33:20 +01:00
|
|
|
|
2011-05-17 20:45:49 +02:00
|
|
|
fn consume_whitespace(&reader rdr) -> uint {
|
2011-03-24 16:33:20 +01:00
|
|
|
auto lines = 0u;
|
|
|
|
while (is_whitespace(rdr.curr())) {
|
|
|
|
if (rdr.curr() == '\n') {lines += 1u;}
|
|
|
|
rdr.bump();
|
|
|
|
}
|
|
|
|
ret lines;
|
|
|
|
}
|
|
|
|
|
2011-05-17 20:45:49 +02:00
|
|
|
fn read_line_comment(&reader rdr) -> cmnt {
|
2011-04-08 18:44:20 +02:00
|
|
|
auto p = rdr.get_chpos();
|
2011-03-24 16:33:20 +01:00
|
|
|
rdr.bump(); rdr.bump();
|
2011-03-29 14:07:41 +02:00
|
|
|
while (rdr.curr() == ' ') {rdr.bump();}
|
2011-03-24 16:33:20 +01:00
|
|
|
auto val = "";
|
2011-03-29 14:07:41 +02:00
|
|
|
while (rdr.curr() != '\n' && !rdr.is_eof()) {
|
2011-05-17 20:41:41 +02:00
|
|
|
str::push_char(val, rdr.curr());
|
2011-03-24 16:33:20 +01:00
|
|
|
rdr.bump();
|
|
|
|
}
|
|
|
|
ret rec(val=cmnt_line(val),
|
|
|
|
pos=p,
|
|
|
|
space_after=consume_whitespace(rdr) > 1u);
|
|
|
|
}
|
|
|
|
|
2011-05-17 20:45:49 +02:00
|
|
|
fn read_block_comment(&reader rdr) -> cmnt {
|
2011-04-08 18:44:20 +02:00
|
|
|
auto p = rdr.get_chpos();
|
2011-03-24 16:33:20 +01:00
|
|
|
rdr.bump(); rdr.bump();
|
2011-03-29 14:07:41 +02:00
|
|
|
while (rdr.curr() == ' ') {rdr.bump();}
|
2011-05-16 18:21:22 -07:00
|
|
|
let vec[str] lines = [];
|
2011-03-24 16:33:20 +01:00
|
|
|
auto val = "";
|
|
|
|
auto level = 1;
|
|
|
|
while (true) {
|
|
|
|
if (rdr.curr() == '\n') {
|
2011-05-17 20:41:41 +02:00
|
|
|
vec::push[str](lines, val);
|
2011-03-24 16:33:20 +01:00
|
|
|
val = "";
|
|
|
|
consume_whitespace(rdr);
|
|
|
|
} else {
|
|
|
|
if (rdr.curr() == '*' && rdr.next() == '/') {
|
|
|
|
level -= 1;
|
|
|
|
if (level == 0) {
|
|
|
|
rdr.bump(); rdr.bump();
|
2011-05-17 20:41:41 +02:00
|
|
|
vec::push[str](lines, val);
|
2011-03-24 16:33:20 +01:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
} else if (rdr.curr() == '/' && rdr.next() == '*') {
|
|
|
|
level += 1;
|
|
|
|
}
|
2011-05-17 20:41:41 +02:00
|
|
|
str::push_char(val, rdr.curr());
|
2011-03-24 16:33:20 +01:00
|
|
|
rdr.bump();
|
|
|
|
}
|
2011-05-11 23:04:16 -04:00
|
|
|
if (rdr.is_eof()) {
|
|
|
|
rdr.err("Unexpected end of file in block comment");
|
|
|
|
fail;
|
|
|
|
}
|
2011-03-24 16:33:20 +01:00
|
|
|
}
|
|
|
|
ret rec(val=cmnt_block(lines),
|
|
|
|
pos=p,
|
|
|
|
space_after=consume_whitespace(rdr) > 1u);
|
|
|
|
}
|
|
|
|
|
2011-05-11 23:04:16 -04:00
|
|
|
fn gather_comments(session sess, str path) -> vec[cmnt] {
|
2011-05-12 17:24:54 +02:00
|
|
|
auto srdr = io::file_reader(path);
|
2011-05-17 20:41:41 +02:00
|
|
|
auto itr = @interner::mk_interner[str](str::hash, str::eq);
|
2011-05-16 14:53:00 -07:00
|
|
|
auto rdr = new_reader(sess, srdr, codemap::new_filemap(path, 0u), itr);
|
2011-05-16 18:21:22 -07:00
|
|
|
let vec[cmnt] comments = [];
|
2011-03-24 16:33:20 +01:00
|
|
|
while (!rdr.is_eof()) {
|
|
|
|
while (true) {
|
|
|
|
consume_whitespace(rdr);
|
|
|
|
if (rdr.curr() == '/' && rdr.next() == '/') {
|
2011-05-17 20:41:41 +02:00
|
|
|
vec::push[cmnt](comments, read_line_comment(rdr));
|
2011-03-24 16:33:20 +01:00
|
|
|
} else if (rdr.curr() == '/' && rdr.next() == '*') {
|
2011-05-17 20:41:41 +02:00
|
|
|
vec::push[cmnt](comments, read_block_comment(rdr));
|
2011-03-24 16:33:20 +01:00
|
|
|
} else { break; }
|
|
|
|
}
|
|
|
|
next_token(rdr);
|
|
|
|
}
|
|
|
|
ret comments;
|
|
|
|
}
|
|
|
|
|
2010-08-18 11:35:34 -07:00
|
|
|
|
2010-08-12 10:29:23 -07:00
|
|
|
//
|
|
|
|
// Local Variables:
|
|
|
|
// mode: rust
|
|
|
|
// fill-column: 78;
|
|
|
|
// indent-tabs-mode: nil
|
|
|
|
// c-basic-offset: 4
|
|
|
|
// buffer-file-coding-system: utf-8-unix
|
2011-03-25 15:07:27 -07:00
|
|
|
// compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
|
2010-08-12 10:29:23 -07:00
|
|
|
// End:
|
|
|
|
//
|