2019-04-11 15:23:14 -07:00
|
|
|
use crate::common::*;
|
2017-11-16 23:30:08 -08:00
|
|
|
|
2019-11-07 10:55:15 -08:00
|
|
|
#[derive(Debug, PartialEq, Clone, Copy)]
|
2019-12-07 03:09:21 -08:00
|
|
|
pub(crate) struct Token<'src> {
|
2019-09-21 15:35:03 -07:00
|
|
|
pub(crate) offset: usize,
|
|
|
|
pub(crate) length: usize,
|
2020-02-10 20:07:06 -08:00
|
|
|
pub(crate) line: usize,
|
2019-09-21 15:35:03 -07:00
|
|
|
pub(crate) column: usize,
|
2020-02-10 20:07:06 -08:00
|
|
|
pub(crate) src: &'src str,
|
|
|
|
pub(crate) kind: TokenKind,
|
2017-11-16 23:30:08 -08:00
|
|
|
}
|
|
|
|
|
2019-12-07 03:09:21 -08:00
|
|
|
impl<'src> Token<'src> {
|
|
|
|
pub(crate) fn lexeme(&self) -> &'src str {
|
2019-11-07 10:55:15 -08:00
|
|
|
&self.src[self.offset..self.offset + self.length]
|
2019-04-15 22:40:02 -07:00
|
|
|
}
|
|
|
|
|
2019-12-07 03:09:21 -08:00
|
|
|
pub(crate) fn error(&self, kind: CompilationErrorKind<'src>) -> CompilationError<'src> {
|
2019-11-13 19:32:50 -08:00
|
|
|
CompilationError { token: *self, kind }
|
|
|
|
}
|
|
|
|
|
|
|
|
pub(crate) fn write_context(&self, f: &mut Formatter, color: Color) -> fmt::Result {
|
|
|
|
let width = if self.length == 0 { 1 } else { self.length };
|
|
|
|
|
|
|
|
let line_number = self.line.ordinal();
|
|
|
|
match self.src.lines().nth(self.line) {
|
|
|
|
Some(line) => {
|
|
|
|
let mut i = 0;
|
|
|
|
let mut space_column = 0;
|
|
|
|
let mut space_line = String::new();
|
|
|
|
let mut space_width = 0;
|
|
|
|
for c in line.chars() {
|
|
|
|
if c == '\t' {
|
|
|
|
space_line.push_str(" ");
|
|
|
|
if i < self.column {
|
|
|
|
space_column += 4;
|
|
|
|
}
|
|
|
|
if i >= self.column && i < self.column + width {
|
|
|
|
space_width += 4;
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
if i < self.column {
|
|
|
|
space_column += UnicodeWidthChar::width(c).unwrap_or(0);
|
|
|
|
}
|
|
|
|
if i >= self.column && i < self.column + width {
|
|
|
|
space_width += UnicodeWidthChar::width(c).unwrap_or(0);
|
|
|
|
}
|
|
|
|
space_line.push(c);
|
|
|
|
}
|
|
|
|
i += c.len_utf8();
|
|
|
|
}
|
|
|
|
let line_number_width = line_number.to_string().len();
|
|
|
|
writeln!(f, "{0:1$} |", "", line_number_width)?;
|
|
|
|
writeln!(f, "{} | {}", line_number, space_line)?;
|
|
|
|
write!(f, "{0:1$} |", "", line_number_width)?;
|
|
|
|
write!(
|
|
|
|
f,
|
|
|
|
" {0:1$}{2}{3:^<4$}{5}",
|
|
|
|
"",
|
|
|
|
space_column,
|
|
|
|
color.prefix(),
|
|
|
|
"",
|
|
|
|
space_width,
|
|
|
|
color.suffix()
|
|
|
|
)?;
|
2020-02-10 20:07:06 -08:00
|
|
|
},
|
|
|
|
None =>
|
2019-11-13 19:32:50 -08:00
|
|
|
if self.offset != self.src.len() {
|
|
|
|
write!(
|
|
|
|
f,
|
|
|
|
"internal error: Error has invalid line number: {}",
|
|
|
|
line_number
|
|
|
|
)?
|
2020-02-10 20:07:06 -08:00
|
|
|
},
|
2017-11-16 23:30:08 -08:00
|
|
|
}
|
2019-11-13 19:32:50 -08:00
|
|
|
Ok(())
|
2017-11-16 23:30:08 -08:00
|
|
|
}
|
|
|
|
}
|