diff options
| author | Laurenz <laurmaedje@gmail.com> | 2020-10-04 22:36:20 +0200 |
|---|---|---|
| committer | Laurenz <laurmaedje@gmail.com> | 2020-10-04 22:36:20 +0200 |
| commit | 605ab104c5e041c345007020d277b4c6267debe6 (patch) | |
| tree | c18f3333a0c0e0527ad1039a498cb210300f7fd9 /src/eval/value.rs | |
| parent | ef8aa763faa59fd62c90c6d6245e8d2c5eece35e (diff) | |
Better argument parsing 🥙
Diffstat (limited to 'src/eval/value.rs')
| -rw-r--r-- | src/eval/value.rs | 382 |
1 files changed, 11 insertions, 371 deletions
diff --git a/src/eval/value.rs b/src/eval/value.rs index 16c3dca8..2d83c8d0 100644 --- a/src/eval/value.rs +++ b/src/eval/value.rs @@ -4,15 +4,12 @@ use std::fmt::{self, Debug, Formatter}; use std::ops::Deref; use std::rc::Rc; -use fontdock::{FontStretch, FontStyle, FontWeight}; - -use super::dict::{Dict, SpannedEntry}; +use super::{Args, Dict, SpannedEntry}; use crate::color::RgbaColor; use crate::geom::Linear; -use crate::layout::{Command, Dir, LayoutContext, SpecAlign}; -use crate::paper::Paper; +use crate::layout::{Command, LayoutContext}; use crate::syntax::{Ident, Span, SpanWith, Spanned, SynNode, SynTree}; -use crate::{DynFuture, Feedback}; +use crate::DynFuture; /// A computational value. #[derive(Clone, PartialEq)] @@ -78,6 +75,12 @@ impl Value { } } +impl Default for Value { + fn default() -> Self { + Value::None + } +} + impl Spanned<Value> { /// Transform this value into something layoutable. /// @@ -156,13 +159,13 @@ impl Debug for Value { pub struct ValueFunc(pub Rc<Func>); /// The signature of executable functions. -pub type Func = dyn Fn(ValueDict, &mut LayoutContext) -> DynFuture<Value>; +pub type Func = dyn Fn(Args, &mut LayoutContext) -> DynFuture<Value>; impl ValueFunc { /// Create a new function value from a rust function or closure. pub fn new<F: 'static>(f: F) -> Self where - F: Fn(ValueDict, &mut LayoutContext) -> DynFuture<Value>, + F: Fn(Args, &mut LayoutContext) -> DynFuture<Value>, { Self(Rc::new(f)) } @@ -197,366 +200,3 @@ impl Debug for ValueFunc { /// (false, 12cm, greeting="hi") /// ``` pub type ValueDict = Dict<SpannedEntry<Value>>; - -impl ValueDict { - /// Retrieve and remove the matching value with the lowest number key, - /// skipping and ignoring all non-matching entries with lower keys. - pub fn take<T: TryFromValue>(&mut self) -> Option<T> { - for (&key, entry) in self.nums() { - let expr = entry.value.as_ref(); - if let Some(val) = T::try_from_value(expr, &mut Feedback::new()) { - self.remove(key); - return Some(val); - } - } - None - } - - /// Retrieve and remove the matching value with the lowest number key, - /// removing and generating errors for all non-matching entries with lower - /// keys. - /// - /// Generates an error at `err_span` when no matching value was found. - pub fn expect<T: TryFromValue>( - &mut self, - name: &str, - span: Span, - f: &mut Feedback, - ) -> Option<T> { - while let Some((num, _)) = self.first() { - let entry = self.remove(num).unwrap(); - if let Some(val) = T::try_from_value(entry.value.as_ref(), f) { - return Some(val); - } - } - error!(@f, span, "missing argument: {}", name); - None - } - - /// Retrieve and remove a matching value associated with the given key if - /// there is any. - /// - /// Generates an error if the key exists but the value does not match. - pub fn take_key<T>(&mut self, key: &str, f: &mut Feedback) -> Option<T> - where - T: TryFromValue, - { - self.remove(key).and_then(|entry| { - let expr = entry.value.as_ref(); - T::try_from_value(expr, f) - }) - } - - /// Retrieve and remove all matching pairs with number keys, skipping and - /// ignoring non-matching entries. - /// - /// The pairs are returned in order of increasing keys. - pub fn take_all_num<'a, T>(&'a mut self) -> impl Iterator<Item = (u64, T)> + 'a - where - T: TryFromValue, - { - let mut skip = 0; - std::iter::from_fn(move || { - for (&key, entry) in self.nums().skip(skip) { - let expr = entry.value.as_ref(); - if let Some(val) = T::try_from_value(expr, &mut Feedback::new()) { - self.remove(key); - return Some((key, val)); - } - skip += 1; - } - - None - }) - } - - - /// Retrieve and remove all matching values with number keys, skipping and - /// ignoring non-matching entries. - /// - /// The values are returned in order of increasing keys. - pub fn take_all_num_vals<'a, T: 'a>(&'a mut self) -> impl Iterator<Item = T> + 'a - where - T: TryFromValue, - { - self.take_all_num::<T>().map(|(_, v)| v) - } - - /// Retrieve and remove all matching pairs with string keys, skipping and - /// ignoring non-matching entries. - /// - /// The pairs are returned in order of increasing keys. - pub fn take_all_str<'a, T>(&'a mut self) -> impl Iterator<Item = (String, T)> + 'a - where - T: TryFromValue, - { - let mut skip = 0; - std::iter::from_fn(move || { - for (key, entry) in self.strs().skip(skip) { - let expr = entry.value.as_ref(); - if let Some(val) = T::try_from_value(expr, &mut Feedback::new()) { - let key = key.clone(); - self.remove(&key); - return Some((key, val)); - } - skip += 1; - } - - None - }) - } - - /// Generated `"unexpected argument"` errors for all remaining entries. - pub fn unexpected(&self, f: &mut Feedback) { - for entry in self.values() { - error!(@f, entry.key_span.join(entry.value.span), "unexpected argument"); - } - } -} - -/// A trait for converting values into more specific types. -pub trait TryFromValue: Sized { - // This trait takes references because we don't want to move the value - // out of its origin in case this returns `None`. This solution is not - // perfect because we need to do some cloning in the impls for this trait, - // but we haven't got a better solution, for now. - - /// Try to convert a value to this type. - /// - /// Returns `None` and generates an appropriate error if the value is not - /// valid for this type. - fn try_from_value(value: Spanned<&Value>, f: &mut Feedback) -> Option<Self>; -} - -macro_rules! impl_match { - ($type:ty, $name:expr, $($p:pat => $r:expr),* $(,)?) => { - impl TryFromValue for $type { - fn try_from_value(value: Spanned<&Value>, f: &mut Feedback) -> Option<Self> { - #[allow(unreachable_patterns)] - match value.v { - $($p => Some($r)),*, - other => { - error!( - @f, value.span, - "expected {}, found {}", $name, other.ty() - ); - None - } - } - } - } - }; -} - -macro_rules! impl_ident { - ($type:ty, $name:expr, $parse:expr) => { - impl TryFromValue for $type { - fn try_from_value(value: Spanned<&Value>, f: &mut Feedback) -> Option<Self> { - if let Value::Ident(ident) = value.v { - let val = $parse(ident); - if val.is_none() { - error!(@f, value.span, "invalid {}", $name); - } - val - } else { - error!( - @f, value.span, - "expected {}, found {}", $name, value.v.ty() - ); - None - } - } - } - }; -} - -impl<T: TryFromValue> TryFromValue for Spanned<T> { - fn try_from_value(value: Spanned<&Value>, f: &mut Feedback) -> Option<Self> { - let span = value.span; - T::try_from_value(value, f).map(|v| Spanned { v, span }) - } -} - -/// A value type that matches [length] values. -/// -/// [length]: enum.Value.html#variant.Length -pub struct Absolute(pub f64); - -impl From<Absolute> for f64 { - fn from(abs: Absolute) -> f64 { - abs.0 - } -} - -/// A value type that matches [relative] values. -/// -/// [relative]: enum.Value.html#variant.Relative -pub struct Relative(pub f64); - -impl From<Relative> for f64 { - fn from(rel: Relative) -> f64 { - rel.0 - } -} - -/// A value type that matches [identifier] and [string] values. -/// -/// [identifier]: enum.Value.html#variant.Ident -/// [string]: enum.Value.html#variant.Str -pub struct StringLike(pub String); - -impl From<StringLike> for String { - fn from(like: StringLike) -> String { - like.0 - } -} - -impl Deref for StringLike { - type Target = str; - - fn deref(&self) -> &str { - self.0.as_str() - } -} - -impl_match!(Value, "value", v => v.clone()); -impl_match!(Ident, "identifier", Value::Ident(v) => v.clone()); -impl_match!(bool, "bool", &Value::Bool(v) => v); -impl_match!(i64, "integer", &Value::Int(v) => v); -impl_match!(f64, "float", - &Value::Int(v) => v as f64, - &Value::Float(v) => v, -); -impl_match!(Absolute, "length", &Value::Length(v) => Absolute(v)); -impl_match!(Relative, "relative", &Value::Relative(v) => Relative(v)); -impl_match!(Linear, "linear", - &Value::Linear(v) => v, - &Value::Length(v) => Linear::abs(v), - &Value::Relative(v) => Linear::rel(v), -); -impl_match!(String, "string", Value::Str(v) => v.clone()); -impl_match!(SynTree, "tree", Value::Content(v) => v.clone()); -impl_match!(ValueDict, "dict", Value::Dict(v) => v.clone()); -impl_match!(ValueFunc, "function", Value::Func(v) => v.clone()); -impl_match!(StringLike, "identifier or string", - Value::Ident(Ident(v)) => StringLike(v.clone()), - Value::Str(v) => StringLike(v.clone()), -); - -impl_ident!(Dir, "direction", |v| match v { - "ltr" => Some(Self::LTR), - "rtl" => Some(Self::RTL), - "ttb" => Some(Self::TTB), - "btt" => Some(Self::BTT), - _ => None, -}); - -impl_ident!(SpecAlign, "alignment", |v| match v { - "left" => Some(Self::Left), - "right" => Some(Self::Right), - "top" => Some(Self::Top), - "bottom" => Some(Self::Bottom), - "center" => Some(Self::Center), - _ => None, -}); - -impl_ident!(FontStyle, "font style", Self::from_str); -impl_ident!(FontStretch, "font stretch", Self::from_str); -impl_ident!(Paper, "paper", Self::from_name); - -impl TryFromValue for FontWeight { - fn try_from_value(value: Spanned<&Value>, f: &mut Feedback) -> Option<Self> { - match value.v { - &Value::Int(weight) => { - const MIN: i64 = 100; - const MAX: i64 = 900; - let weight = if weight < MIN { - error!(@f, value.span, "the minimum font weight is {}", MIN); - MIN - } else if weight > MAX { - error!(@f, value.span, "the maximum font weight is {}", MAX); - MAX - } else { - weight - }; - Self::from_number(weight as u16) - } - Value::Ident(ident) => { - let weight = Self::from_str(ident); - if weight.is_none() { - error!(@f, value.span, "invalid font weight"); - } - weight - } - other => { - error!( - @f, value.span, - "expected font weight (name or integer), found {}", - other.ty(), - ); - None - } - } - } -} - -#[cfg(test)] -mod tests { - use super::*; - - fn entry(value: Value) -> SpannedEntry<Value> { - SpannedEntry::value(Spanned::zero(value)) - } - - #[test] - fn test_dict_take_removes_correct_entry() { - let mut dict = Dict::new(); - dict.insert(1, entry(Value::Bool(false))); - dict.insert(2, entry(Value::Str("hi".to_string()))); - assert_eq!(dict.take::<String>(), Some("hi".to_string())); - assert_eq!(dict.len(), 1); - assert_eq!(dict.take::<bool>(), Some(false)); - assert!(dict.is_empty()); - } - - #[test] - fn test_dict_expect_errors_about_previous_entries() { - let mut f = Feedback::new(); - let mut dict = Dict::new(); - dict.insert(1, entry(Value::Bool(false))); - dict.insert(3, entry(Value::Str("hi".to_string()))); - dict.insert(5, entry(Value::Bool(true))); - assert_eq!( - dict.expect::<String>("", Span::ZERO, &mut f), - Some("hi".to_string()) - ); - assert_eq!(f.diags, [error!(Span::ZERO, "expected string, found bool")]); - assert_eq!(dict.len(), 1); - } - - #[test] - fn test_dict_take_with_key_removes_the_entry() { - let mut f = Feedback::new(); - let mut dict = Dict::new(); - dict.insert(1, entry(Value::Bool(false))); - dict.insert("hi", entry(Value::Bool(true))); - assert_eq!(dict.take::<bool>(), Some(false)); - assert_eq!(dict.take_key::<f64>("hi", &mut f), None); - assert_eq!(f.diags, [error!(Span::ZERO, "expected float, found bool")]); - assert!(dict.is_empty()); - } - - #[test] - fn test_dict_take_all_removes_the_correct_entries() { - let mut dict = Dict::new(); - dict.insert(1, entry(Value::Bool(false))); - dict.insert(3, entry(Value::Float(0.0))); - dict.insert(7, entry(Value::Bool(true))); - assert_eq!(dict.take_all_num::<bool>().collect::<Vec<_>>(), [ - (1, false), - (7, true) - ],); - assert_eq!(dict.len(), 1); - assert_eq!(dict[3].value.v, Value::Float(0.0)); - } -} |
