2016-08-31 20:51:24 +00:00
|
|
|
// Copyright 2016 The Rust Project Developers. See the COPYRIGHT
|
|
|
|
// file at the top-level directory of this distribution and at
|
|
|
|
// http://rust-lang.org/COPYRIGHT.
|
|
|
|
//
|
|
|
|
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
|
|
|
|
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
|
|
|
|
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
|
|
|
|
// option. This file may not be copied, modified, or distributed
|
|
|
|
// except according to those terms.
|
|
|
|
|
|
|
|
use std::rc::Rc;
|
|
|
|
use syntax::codemap::CodeMap;
|
|
|
|
use syntax_pos::{BytePos, FileMap};
|
|
|
|
|
|
|
|
#[derive(Clone)]
|
|
|
|
struct CacheEntry {
|
|
|
|
time_stamp: usize,
|
|
|
|
line_number: usize,
|
|
|
|
line_start: BytePos,
|
|
|
|
line_end: BytePos,
|
|
|
|
file: Rc<FileMap>,
|
2017-04-27 14:12:57 +00:00
|
|
|
file_index: usize,
|
2016-08-31 20:51:24 +00:00
|
|
|
}
|
|
|
|
|
2017-09-14 10:08:03 +00:00
|
|
|
pub struct CachingCodemapView<'cm> {
|
|
|
|
codemap: &'cm CodeMap,
|
2016-08-31 20:51:24 +00:00
|
|
|
line_cache: [CacheEntry; 3],
|
|
|
|
time_stamp: usize,
|
|
|
|
}
|
|
|
|
|
2017-09-14 10:08:03 +00:00
|
|
|
impl<'cm> CachingCodemapView<'cm> {
|
|
|
|
pub fn new(codemap: &'cm CodeMap) -> CachingCodemapView<'cm> {
|
2017-05-23 14:21:24 +00:00
|
|
|
let files = codemap.files();
|
2017-04-27 14:12:57 +00:00
|
|
|
let first_file = files[0].clone();
|
2016-08-31 20:51:24 +00:00
|
|
|
let entry = CacheEntry {
|
|
|
|
time_stamp: 0,
|
|
|
|
line_number: 0,
|
|
|
|
line_start: BytePos(0),
|
|
|
|
line_end: BytePos(0),
|
|
|
|
file: first_file,
|
2017-04-27 14:12:57 +00:00
|
|
|
file_index: 0,
|
2016-08-31 20:51:24 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
CachingCodemapView {
|
2017-07-03 18:19:51 +00:00
|
|
|
codemap,
|
2016-08-31 20:51:24 +00:00
|
|
|
line_cache: [entry.clone(), entry.clone(), entry.clone()],
|
|
|
|
time_stamp: 0,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn byte_pos_to_line_and_col(&mut self,
|
|
|
|
pos: BytePos)
|
2016-09-06 16:14:43 +00:00
|
|
|
-> Option<(Rc<FileMap>, usize, BytePos)> {
|
2016-08-31 20:51:24 +00:00
|
|
|
self.time_stamp += 1;
|
|
|
|
|
|
|
|
// Check if the position is in one of the cached lines
|
|
|
|
for cache_entry in self.line_cache.iter_mut() {
|
|
|
|
if pos >= cache_entry.line_start && pos < cache_entry.line_end {
|
|
|
|
cache_entry.time_stamp = self.time_stamp;
|
2017-04-27 14:12:57 +00:00
|
|
|
|
2016-09-06 16:14:43 +00:00
|
|
|
return Some((cache_entry.file.clone(),
|
|
|
|
cache_entry.line_number,
|
|
|
|
pos - cache_entry.line_start));
|
2016-08-31 20:51:24 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// No cache hit ...
|
|
|
|
let mut oldest = 0;
|
|
|
|
for index in 1 .. self.line_cache.len() {
|
|
|
|
if self.line_cache[index].time_stamp < self.line_cache[oldest].time_stamp {
|
|
|
|
oldest = index;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
let cache_entry = &mut self.line_cache[oldest];
|
|
|
|
|
|
|
|
// If the entry doesn't point to the correct file, fix it up
|
|
|
|
if pos < cache_entry.file.start_pos || pos >= cache_entry.file.end_pos {
|
2016-09-06 16:14:43 +00:00
|
|
|
let file_valid;
|
2017-05-23 14:21:24 +00:00
|
|
|
let files = self.codemap.files();
|
2016-09-06 16:14:43 +00:00
|
|
|
|
|
|
|
if files.len() > 0 {
|
|
|
|
let file_index = self.codemap.lookup_filemap_idx(pos);
|
|
|
|
let file = files[file_index].clone();
|
|
|
|
|
|
|
|
if pos >= file.start_pos && pos < file.end_pos {
|
|
|
|
cache_entry.file = file;
|
2017-04-27 14:12:57 +00:00
|
|
|
cache_entry.file_index = file_index;
|
2016-09-06 16:14:43 +00:00
|
|
|
file_valid = true;
|
|
|
|
} else {
|
|
|
|
file_valid = false;
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
file_valid = false;
|
|
|
|
}
|
|
|
|
|
|
|
|
if !file_valid {
|
|
|
|
return None;
|
|
|
|
}
|
2016-08-31 20:51:24 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
let line_index = cache_entry.file.lookup_line(pos).unwrap();
|
|
|
|
let line_bounds = cache_entry.file.line_bounds(line_index);
|
|
|
|
|
|
|
|
cache_entry.line_number = line_index + 1;
|
|
|
|
cache_entry.line_start = line_bounds.0;
|
|
|
|
cache_entry.line_end = line_bounds.1;
|
|
|
|
cache_entry.time_stamp = self.time_stamp;
|
|
|
|
|
2016-09-06 16:14:43 +00:00
|
|
|
return Some((cache_entry.file.clone(),
|
|
|
|
cache_entry.line_number,
|
|
|
|
pos - cache_entry.line_start));
|
2016-08-31 20:51:24 +00:00
|
|
|
}
|
|
|
|
}
|