use std::fmt::{self, Debug, Formatter};
use std::ops::Add;
use ecow::{EcoString, EcoVec, eco_format, eco_vec};
use typst_syntax::{Span, Spanned};
use crate::diag::{At, SourceDiagnostic, SourceResult, StrResult, bail, error};
use crate::foundations::{
Array, Dict, FromValue, IntoValue, Repr, Str, Value, cast, func, repr, scope, ty,
};
#[ty(scope, cast, name = "arguments")]
#[derive(Clone, Hash)]
#[allow(clippy::derived_hash_with_manual_eq)]
pub struct Args {
pub span: Span,
pub items: EcoVec<Arg>,
}
impl Args {
pub fn new<T: IntoValue>(span: Span, values: impl IntoIterator<Item = T>) -> Self {
let items = values
.into_iter()
.map(|value| Arg {
span,
name: None,
value: Spanned::new(value.into_value(), span),
})
.collect();
Self { span, items }
}
pub fn spanned(mut self, span: Span) -> Self {
if self.span.is_detached() {
self.span = span;
}
self
}
pub fn remaining(&self) -> usize {
self.items.iter().filter(|slot| slot.name.is_none()).count()
}
pub fn insert(&mut self, index: usize, span: Span, value: Value) {
self.items.insert(
index,
Arg {
span: self.span,
name: None,
value: Spanned::new(value, span),
},
)
}
pub fn push(&mut self, span: Span, value: Value) {
self.items.push(Arg {
span: self.span,
name: None,
value: Spanned::new(value, span),
})
}
pub fn eat<T>(&mut self) -> SourceResult<Option<T>>
where
T: FromValue<Spanned<Value>>,
{
for (i, slot) in self.items.iter().enumerate() {
if slot.name.is_none() {
let value = self.items.remove(i).value;
let span = value.span;
return T::from_value(value).at(span).map(Some);
}
}
Ok(None)
}
pub fn consume(&mut self, n: usize) -> SourceResult<Vec<Arg>> {
let mut list = vec![];
let mut i = 0;
while i < self.items.len() && list.len() < n {
if self.items[i].name.is_none() {
list.push(self.items.remove(i));
} else {
i += 1;
}
}
if list.len() < n {
bail!(self.span, "not enough arguments");
}
Ok(list)
}
pub fn expect<T>(&mut self, what: &str) -> SourceResult<T>
where
T: FromValue<Spanned<Value>>,
{
match self.eat()? {
Some(v) => Ok(v),
None => bail!(self.missing_argument(what)),
}
}
fn missing_argument(&self, what: &str) -> SourceDiagnostic {
for item in &self.items {
let Some(name) = item.name.as_deref() else { continue };
if name == what {
return error!(
item.span,
"the argument `{what}` is positional";
hint: "try removing `{}:`", name,
);
}
}
error!(self.span, "missing argument: {what}")
}
pub fn find<T>(&mut self) -> SourceResult<Option<T>>
where
T: FromValue<Spanned<Value>>,
{
for (i, slot) in self.items.iter().enumerate() {
if slot.name.is_none() && T::castable(&slot.value.v) {
let value = self.items.remove(i).value;
let span = value.span;
return T::from_value(value).at(span).map(Some);
}
}
Ok(None)
}
pub fn all<T>(&mut self) -> SourceResult<Vec<T>>
where
T: FromValue<Spanned<Value>>,
{
let mut list = vec![];
let mut errors = eco_vec![];
self.items.retain(|item| {
if item.name.is_some() {
return true;
}
let span = item.value.span;
let spanned = Spanned::new(std::mem::take(&mut item.value.v), span);
match T::from_value(spanned).at(span) {
Ok(val) => list.push(val),
Err(diags) => errors.extend(diags),
}
false
});
if !errors.is_empty() {
return Err(errors);
}
Ok(list)
}
pub fn named<T>(&mut self, name: &str) -> SourceResult<Option<T>>
where
T: FromValue<Spanned<Value>>,
{
let mut i = 0;
let mut found = None;
while i < self.items.len() {
if self.items[i].name.as_deref() == Some(name) {
let value = self.items.remove(i).value;
let span = value.span;
found = Some(T::from_value(value).at(span)?);
} else {
i += 1;
}
}
Ok(found)
}
pub fn named_or_find<T>(&mut self, name: &str) -> SourceResult<Option<T>>
where
T: FromValue<Spanned<Value>>,
{
match self.named(name)? {
Some(value) => Ok(Some(value)),
None => self.find(),
}
}
pub fn take(&mut self) -> Self {
Self {
span: self.span,
items: std::mem::take(&mut self.items),
}
}
pub fn finish(self) -> SourceResult<()> {
if let Some(arg) = self.items.first() {
match &arg.name {
Some(name) => bail!(arg.span, "unexpected argument: {name}"),
_ => bail!(arg.span, "unexpected argument"),
}
}
Ok(())
}
}
#[derive(Debug, Clone, Eq, PartialEq)]
pub enum ArgumentKey {
Index(i64),
Name(Str),
}
cast! {
ArgumentKey,
v: i64 => Self::Index(v),
v: Str => Self::Name(v),
}
impl Args {
fn get(&self, key: &ArgumentKey) -> Option<&Value> {
let item = match key {
&ArgumentKey::Index(index) => {
let mut iter = self.items.iter().filter(|item| item.name.is_none());
if index < 0 {
let index = (-(index + 1)).try_into().ok()?;
iter.nth_back(index)
} else {
let index = index.try_into().ok()?;
iter.nth(index)
}
}
ArgumentKey::Name(name) => {
self.items.iter().rfind(|item| item.name.as_ref() == Some(name))
}
};
item.map(|item| &item.value.v)
}
}
#[scope]
impl Args {
#[func(constructor)]
pub fn construct(
args: &mut Args,
#[external]
#[variadic]
arguments: Vec<Value>,
) -> Args {
args.take()
}
#[func]
pub fn at(
&self,
key: ArgumentKey,
#[named]
default: Option<Value>,
) -> StrResult<Value> {
self.get(&key)
.cloned()
.or(default)
.ok_or_else(|| missing_key_no_default(key))
}
#[func(name = "pos", title = "Positional")]
pub fn to_pos(&self) -> Array {
self.items
.iter()
.filter(|item| item.name.is_none())
.map(|item| item.value.v.clone())
.collect()
}
#[func(name = "named")]
pub fn to_named(&self) -> Dict {
self.items
.iter()
.filter_map(|item| item.name.clone().map(|name| (name, item.value.v.clone())))
.collect()
}
}
impl Debug for Args {
fn fmt(&self, f: &mut Formatter) -> fmt::Result {
f.debug_list().entries(&self.items).finish()
}
}
impl Repr for Args {
fn repr(&self) -> EcoString {
let pieces = self.items.iter().map(Arg::repr).collect::<Vec<_>>();
eco_format!("arguments{}", repr::pretty_array_like(&pieces, false))
}
}
impl PartialEq for Args {
fn eq(&self, other: &Self) -> bool {
self.to_pos() == other.to_pos() && self.to_named() == other.to_named()
}
}
impl Add for Args {
type Output = Self;
fn add(mut self, rhs: Self) -> Self::Output {
self.items.retain(|item| {
!item.name.as_ref().is_some_and(|name| {
rhs.items.iter().any(|a| a.name.as_ref() == Some(name))
})
});
self.items.extend(rhs.items);
self.span = Span::detached();
self
}
}
#[derive(Clone, Hash)]
#[allow(clippy::derived_hash_with_manual_eq)]
pub struct Arg {
pub span: Span,
pub name: Option<Str>,
pub value: Spanned<Value>,
}
impl Debug for Arg {
fn fmt(&self, f: &mut Formatter) -> fmt::Result {
if let Some(name) = &self.name {
name.fmt(f)?;
f.write_str(": ")?;
self.value.v.fmt(f)
} else {
self.value.v.fmt(f)
}
}
}
impl Repr for Arg {
fn repr(&self) -> EcoString {
if let Some(name) = &self.name {
eco_format!("{}: {}", name, self.value.v.repr())
} else {
self.value.v.repr()
}
}
}
impl PartialEq for Arg {
fn eq(&self, other: &Self) -> bool {
self.name == other.name && self.value.v == other.value.v
}
}
pub trait IntoArgs {
fn into_args(self, fallback: Span) -> Args;
}
impl IntoArgs for Args {
fn into_args(self, fallback: Span) -> Args {
self.spanned(fallback)
}
}
impl<I, T> IntoArgs for I
where
I: IntoIterator<Item = T>,
T: IntoValue,
{
fn into_args(self, fallback: Span) -> Args {
Args::new(fallback, self)
}
}
#[cold]
fn missing_key_no_default(key: ArgumentKey) -> EcoString {
eco_format!(
"arguments do not contain key {} \
and no default value was specified",
match key {
ArgumentKey::Index(i) => i.repr(),
ArgumentKey::Name(name) => name.repr(),
}
)
}