Installation
[]
= "0.3"
Or from the terminal:
Usage
Add sources to a map and resolve a global position back to the file and local offset it came from.
use ;
let mut map = new;
let main = map.add?; // global 0..12
let util = map.add?; // global 12..26
// Which file does global position 13 belong to, and where inside it?
let = map.locate.expect;
assert_eq!;
assert_eq!; // 13 - 12
// The id is a stable handle back to the source for the life of the map.
assert_eq!;
# Ok::
Read the located text back out of the resolved source:
use ;
let mut map = new;
map.add?;
let two = map.add?;
let = map.locate.expect;
assert_eq!;
let file = map.source.unwrap;
assert_eq!;
# Ok::
Resolve a global position to its file and 1-based line/column in one step — what a
diagnostic renderer needs to print file:line:col:
use ;
let mut map = new;
map.add?; // global 0..9
let b = map.add?; // global 9..30
let = map.line_col.expect;
assert_eq!;
assert_eq!; // second line of b.rs
# Ok::
Load untrusted input — a file from disk or raw bytes from a buffer — through the same checks, so bad input is a defined error rather than a panic:
use ;
let mut map = new;
map.set_max_source_len; // cap any single source at 1 MiB
// Raw bytes are validated as UTF-8 before they are stored.
let id = map.add_bytes?;
assert_eq!;
// Non-UTF-8 input is rejected, naming the source.
let err = map.add_bytes.unwrap_err;
assert!;
# Ok::
With the default std feature, map.add_file("src/main.rs") reads a path from
disk through those same checks, rejecting an oversize file from its metadata before
a byte is read.
Walk every loaded source in order — id order is also global-offset order:
use SourceMap;
let mut map = new;
map.add?;
map.add?;
let names: = map.iter.map.collect;
assert_eq!;
# Ok::
See docs/API.md for the full reference.
How it works
Sources are placed end to end in the order they are added: the first occupies
global offsets 0..len₀, the next len₀..len₀ + len₁, and so on. The ranges never
overlap, and because each base is the running total of all earlier sources, the
internal list stays sorted by offset — so locate is a binary search,
O(log files), that borrows the resolved source rather than copying it.
The shared space is 32 bits wide (the same envelope a single BytePos
addresses), so the combined length of every source is capped at 4 GiB;
overrunning it is a defined error, never a silent wrap into a neighbour's range.
Status
v0.3.0 adds loading and line resolution on top of the core: sources load from disk (add_file) and from raw byte buffers (add_bytes) through one set of checks, every bad input is a defined error, and line_col resolves a global position to file plus line/column in one step. The SourceMap, stable SourceIds, the non-overlapping global position space, and the O(log files) resolver from v0.2.0 remain, each invariant property-tested against a naive linear scan. Optional serde for the map metadata lands next per the ROADMAP; the public API is frozen at 1.0.0.
Contributing
See dev/DIRECTIVES.md for engineering standards and the definition of done. Before a PR: cargo fmt --all, cargo clippy --all-targets --all-features -- -D warnings, and cargo test --all-features must be clean.