wright/source_tracking/
filename.rs

1//! Structure and implementation relating to file names used throughout the wright compiler and tooling.
2
3use derive_more::Display;
4use std::path::PathBuf;
5
6/// Used to represent different file names used throughout this crate.
7#[derive(Debug, Display, Clone)]
8pub enum FileName {
9    /// A real file on the user's computer.
10    #[display("{}", "_0.display()")]
11    Real(PathBuf),
12    /// A named test-case in this crate's source code.
13    Test(&'static str),
14    // /// The interactive Wright repl.
15    // #[display(fmt = "REPL:{}", line_number)]
16    // Repl { line_number: usize },
17    /// An un-named test case in this crate's source code.
18    #[display("<NO_NAME>")]
19    None,
20}