difftreelog
feat(evaluator) custom source paths
in: master
5 files changed
crates/jrsonnet-evaluator/src/error.rsdiffbeforeafterboth--- a/crates/jrsonnet-evaluator/src/error.rs
+++ b/crates/jrsonnet-evaluator/src/error.rs
@@ -137,15 +137,21 @@
StandaloneSuper,
#[error("can't resolve {1} from {0}")]
- ImportFileNotFound(PathBuf, String),
+ ImportFileNotFound(SourcePath, String),
+ #[error("can't resolve absolute {0}")]
+ AbsoluteImportFileNotFound(PathBuf),
#[error("resolved file not found: {:?}", .0)]
ResolvedFileNotFound(SourcePath),
+ #[error("can't import {0}: is a directory")]
+ ImportIsADirectory(SourcePath),
#[error("imported file is not valid utf-8: {0:?}")]
ImportBadFileUtf8(SourcePath),
#[error("import io error: {0}")]
ImportIo(String),
- #[error("tried to import {1} from {0}, but imports is not supported")]
- ImportNotSupported(PathBuf, PathBuf),
+ #[error("tried to import {1} from {0}, but imports are not supported")]
+ ImportNotSupported(SourcePath, String),
+ #[error("tried to import {0}, but absolute imports are not supported")]
+ AbsoluteImportNotSupported(PathBuf),
#[error("can't import from virtual file")]
CantImportFromVirtualFile,
#[error(
crates/jrsonnet-evaluator/src/evaluate/mod.rsdiffbeforeafterboth--- a/crates/jrsonnet-evaluator/src/evaluate/mod.rs
+++ b/crates/jrsonnet-evaluator/src/evaluate/mod.rs
@@ -630,15 +630,7 @@
}
i @ (Import(path) | ImportStr(path) | ImportBin(path)) => {
let tmp = loc.clone().0;
- let import_location = tmp
- .path()
- .map(|p| {
- let mut p = p.to_owned();
- p.pop();
- p
- })
- .unwrap_or_default();
- let resolved_path = s.resolve_file(&import_location, path as &str)?;
+ let resolved_path = s.resolve_from(tmp.source_path(), path as &str)?;
match i {
Import(_) => s.push(
CallLocation::new(loc),
crates/jrsonnet-evaluator/src/import.rsdiffbeforeafterboth1use std::{2 any::Any,3 fs,4 io::Read,5 path::{Path, PathBuf},6};78use fs::File;9use jrsonnet_parser::SourcePath;1011use crate::{12 error::{Error::*, Result},13 throw,14};1516/// Implements file resolution logic for `import` and `importStr`17pub trait ImportResolver {18 /// Resolves real file path, e.g. `(/home/user/manifests, b.libjsonnet)` can correspond19 /// both to `/home/user/manifests/b.libjsonnet` and to `/home/user/${vendor}/b.libjsonnet`20 /// where `${vendor}` is a library path.21 fn resolve_file_relative(&self, from: &Path, path: &str) -> Result<SourcePath>;2223 /// Load resolved file24 /// This should only be called with value returned from `resolve_file`, this cannot be resolved using associated type,25 /// as evaluator uses object instead of generic for [`ImportResolver`]26 fn load_file_contents(&self, resolved: &SourcePath) -> Result<Vec<u8>>;2728 /// # Safety29 ///30 /// For use only in bindings, should not be used elsewhere.31 /// Implementations which are not intended to be used in bindings32 /// should panic on call to this method.33 unsafe fn as_any(&self) -> &dyn Any;34}3536/// Dummy resolver, can't resolve/load any file37pub struct DummyImportResolver;38impl ImportResolver for DummyImportResolver {39 fn resolve_file_relative(&self, from: &Path, path: &str) -> Result<SourcePath> {40 throw!(ImportNotSupported(from.into(), path.into()))41 }4243 fn load_file_contents(&self, _resolved: &SourcePath) -> Result<Vec<u8>> {44 panic!("dummy resolver can't load any file")45 }4647 unsafe fn as_any(&self) -> &dyn Any {48 panic!("`as_any(&self)` is not supported by dummy resolver")49 }50}51#[allow(clippy::use_self)]52impl Default for Box<dyn ImportResolver> {53 fn default() -> Self {54 Box::new(DummyImportResolver)55 }56}5758/// File resolver, can load file from both FS and library paths59#[derive(Default)]60pub struct FileImportResolver {61 /// Library directories to search for file.62 /// Referred to as `jpath` in original jsonnet implementation.63 pub library_paths: Vec<PathBuf>,64}65impl ImportResolver for FileImportResolver {66 fn resolve_file_relative(&self, from: &Path, path: &str) -> Result<SourcePath> {67 let mut direct = from.to_path_buf();68 direct.push(path);69 if direct.exists() {70 Ok(SourcePath::Path(71 direct.canonicalize().map_err(|e| ImportIo(e.to_string()))?,72 ))73 } else {74 for library_path in &self.library_paths {75 let mut cloned = library_path.clone();76 cloned.push(path);77 if cloned.exists() {78 return Ok(SourcePath::Path(79 cloned.canonicalize().map_err(|e| ImportIo(e.to_string()))?,80 ));81 }82 }83 throw!(ImportFileNotFound(from.to_owned(), path.to_owned()))84 }85 }8687 fn load_file_contents(&self, id: &SourcePath) -> Result<Vec<u8>> {88 let path = match id {89 SourcePath::Path(path) => path,90 _ => {91 panic!("this resolver can only resolve to path")92 }93 };94 let mut file = File::open(path).map_err(|_e| ResolvedFileNotFound(id.clone()))?;95 let mut out = Vec::new();96 file.read_to_end(&mut out)97 .map_err(|e| ImportIo(e.to_string()))?;98 Ok(out)99 }100 unsafe fn as_any(&self) -> &dyn Any {101 panic!("this resolver can't be used as any")102 }103}crates/jrsonnet-evaluator/src/lib.rsdiffbeforeafterboth--- a/crates/jrsonnet-evaluator/src/lib.rs
+++ b/crates/jrsonnet-evaluator/src/lib.rs
@@ -44,7 +44,6 @@
use std::{
any::Any,
- borrow::Cow,
cell::{Ref, RefCell, RefMut},
collections::HashMap,
fmt::{self, Debug},
@@ -103,12 +102,7 @@
pub trait ContextInitializer {
fn initialize(&self, state: State, for_file: Source) -> Context;
- /// # Safety
- ///
- /// For use only in bindings, should not be used elsewhere.
- /// Implementations which are not intended to be used in bindings
- /// should panic on call to this method.
- unsafe fn as_any(&self) -> &dyn Any;
+ fn as_any(&self) -> &dyn Any;
}
/// Context initializer, which adds noth
@@ -117,8 +111,8 @@
fn initialize(&self, _state: State, _for_file: Source) -> Context {
Context::default()
}
- unsafe fn as_any(&self) -> &dyn Any {
- panic!("`as_any(&self)` is not supported by dummy initializer")
+ fn as_any(&self) -> &dyn Any {
+ self
}
}
@@ -343,8 +337,7 @@
);
}
let code = file.string.as_ref().expect("just set");
- let file_name =
- Source::new(path.clone(), code.clone()).expect("resolver should return correct name");
+ let file_name = Source::new(path.clone(), code.clone());
if file.parsed.is_none() {
file.parsed = Some(
jrsonnet_parser::parse(
@@ -388,8 +381,14 @@
Err(e) => Err(e),
}
}
- pub fn import(&self, from: &Path, path: &str) -> Result<Val> {
- let resolved = self.resolve_file(from, path)?;
+
+ /// Has same semantics as `import 'path'` called from `from` file
+ pub fn import_from(&self, from: &SourcePath, path: &str) -> Result<Val> {
+ let resolved = self.resolve_from(from, path)?;
+ self.import_resolved(resolved)
+ }
+ pub fn import(&self, path: &impl AsRef<Path>) -> Result<Val> {
+ let resolved = self.resolve(path)?;
self.import_resolved(resolved)
}
@@ -532,7 +531,7 @@
func.evaluate(
self.clone(),
self.create_default_context(Source::new_virtual(
- Cow::Borrowed("<tla>"),
+ "<tla>".into(),
IStr::empty(),
)),
CallLocation::native(),
@@ -565,9 +564,9 @@
/// Raw methods evaluate passed values but don't perform TLA execution
impl State {
/// Parses and evaluates the given snippet
- pub fn evaluate_snippet(&self, name: String, code: impl Into<IStr>) -> Result<Val> {
+ pub fn evaluate_snippet(&self, name: impl Into<IStr>, code: impl Into<IStr>) -> Result<Val> {
let code = code.into();
- let source = Source::new_virtual(Cow::Owned(name), code.clone());
+ let source = Source::new_virtual(name.into(), code.clone());
let parsed = jrsonnet_parser::parse(
&code,
&ParserSettings {
@@ -596,7 +595,7 @@
}
pub fn add_tla_code(&self, name: IStr, code: &str) -> Result<()> {
let source_name = format!("<top-level-arg:{}>", name);
- let source = Source::new_virtual(Cow::Owned(source_name), code.into());
+ let source = Source::new_virtual(source_name.into(), code.into());
let parsed = jrsonnet_parser::parse(
code,
&ParserSettings {
@@ -613,12 +612,17 @@
Ok(())
}
- pub fn resolve_file(&self, from: &Path, path: &str) -> Result<SourcePath> {
- self.settings()
- .import_resolver
- .resolve_file_relative(from, path.as_ref())
+ // Only panics in case of [`ImportResolver`] contract violation
+ #[allow(clippy::missing_panics_doc)]
+ pub fn resolve_from(&self, from: &SourcePath, path: &str) -> Result<SourcePath> {
+ self.import_resolver().resolve_from(from, path.as_ref())
}
+ // Only panics in case of [`ImportResolver`] contract violation
+ #[allow(clippy::missing_panics_doc)]
+ pub fn resolve(&self, path: &impl AsRef<Path>) -> Result<SourcePath> {
+ self.import_resolver().resolve(path.as_ref())
+ }
pub fn import_resolver(&self) -> Ref<dyn ImportResolver> {
Ref::map(self.settings(), |s| &*s.import_resolver)
}
crates/jrsonnet-evaluator/src/trace/mod.rsdiffbeforeafterboth--- a/crates/jrsonnet-evaluator/src/trace/mod.rs
+++ b/crates/jrsonnet-evaluator/src/trace/mod.rs
@@ -5,6 +5,7 @@
use crate::{error::Error, LocError, State};
/// The way paths should be displayed
+#[derive(Clone)]
pub enum PathResolver {
/// Only filename
FileName,
@@ -15,6 +16,13 @@
}
impl PathResolver {
+ /// Will return Self::Relative(cwd), or Self::Absolute on cwd failure
+ pub fn new_cwd_fallback() -> Self {
+ match std::env::current_dir() {
+ Ok(v) => Self::Relative(v),
+ Err(_) => Self::Absolute,
+ }
+ }
pub fn resolve(&self, from: &Path) -> String {
match self {
Self::FileName => from
@@ -89,9 +97,9 @@
use std::fmt::Write;
writeln!(out)?;
- let mut n = match path.path() {
+ let mut n = match path.source_path().path() {
Some(r) => self.resolver.resolve(r),
- None => path.short_display().to_string(),
+ None => path.source_path().to_string(),
};
let mut offset = error.location.offset;
let is_eof = if offset >= path.code().len() {
@@ -122,9 +130,9 @@
use std::fmt::Write;
#[allow(clippy::option_if_let_else)]
if let Some(location) = location {
- let mut resolved_path = match location.0.path() {
+ let mut resolved_path = match location.0.source_path().path() {
Some(r) => self.resolver.resolve(r),
- None => location.0.short_display().to_string(),
+ None => location.0.source_path().to_string(),
};
// TODO: Process all trace elements first
let location = location.0.map_source_locations(&[location.1, location.2]);
@@ -177,9 +185,9 @@
let desc = &item.desc;
if let Some(source) = &item.location {
let start_end = source.0.map_source_locations(&[source.1, source.2]);
- let resolved_path = match source.0.path() {
+ let resolved_path = match source.0.source_path().path() {
Some(r) => r.display().to_string(),
- None => source.0.short_display().to_string(),
+ None => source.0.source_path().to_string(),
};
write!(
@@ -272,9 +280,9 @@
.take(end.line_end_offset - end.line_start_offset)
.collect();
- let origin = match origin.path() {
+ let origin = match origin.source_path().path() {
Some(r) => self.resolver.resolve(r),
- None => origin.short_display().to_string(),
+ None => origin.source_path().to_string(),
};
let snippet = Snippet {
opt: FormatOptions {