bluejay_parser/ast/
arguments.rs

1use crate::ast::{Argument, FromTokens, IsMatch, ParseError, Tokens};
2use crate::lexical_token::PunctuatorType;
3use crate::{HasSpan, Span};
4use bluejay_core::AsIter;
5
6#[derive(Debug)]
7pub struct Arguments<'a, const CONST: bool> {
8    arguments: Vec<Argument<'a, CONST>>,
9    span: Span,
10}
11
12pub type VariableArguments<'a> = Arguments<'a, false>;
13
14impl<'a, const CONST: bool> FromTokens<'a> for Arguments<'a, CONST> {
15    #[inline]
16    fn from_tokens(tokens: &mut impl Tokens<'a>) -> Result<Self, ParseError> {
17        let open_span = tokens.expect_punctuator(PunctuatorType::OpenRoundBracket)?;
18        let mut arguments: Vec<Argument<CONST>> = Vec::new();
19        let close_span = loop {
20            arguments.push(Argument::from_tokens(tokens)?);
21            if let Some(close_span) = tokens.next_if_punctuator(PunctuatorType::CloseRoundBracket) {
22                break close_span;
23            }
24        };
25        let span = open_span.merge(&close_span);
26        Ok(Self { arguments, span })
27    }
28}
29
30impl<'a, const CONST: bool> IsMatch<'a> for Arguments<'a, CONST> {
31    #[inline]
32    fn is_match(tokens: &mut impl Tokens<'a>) -> bool {
33        tokens.peek_punctuator_matches(0, PunctuatorType::OpenRoundBracket)
34    }
35}
36
37impl<'a, const CONST: bool> HasSpan for Arguments<'a, CONST> {
38    fn span(&self) -> &Span {
39        &self.span
40    }
41}
42
43impl<'a, const CONST: bool> bluejay_core::Arguments<CONST> for Arguments<'a, CONST> {
44    type Argument = Argument<'a, CONST>;
45}
46
47impl<'a, const CONST: bool> AsIter for Arguments<'a, CONST> {
48    type Item = Argument<'a, CONST>;
49    type Iterator<'b> = std::slice::Iter<'b, Self::Item> where 'a: 'b;
50
51    fn iter(&self) -> Self::Iterator<'_> {
52        self.arguments.iter()
53    }
54}