use super::*;
pub(super) fn param_list_fn_def(p: &mut Parser) {
list_(p, Flavor::FnDef);
}
pub(super) fn param_list_fn_trait(p: &mut Parser) {
list_(p, Flavor::FnTrait);
}
pub(super) fn param_list_fn_ptr(p: &mut Parser) {
list_(p, Flavor::FnPointer);
}
pub(super) fn param_list_closure(p: &mut Parser) {
list_(p, Flavor::Closure);
}
#[derive(Debug, Clone, Copy)]
enum Flavor {
FnDef, FnTrait, FnPointer,
Closure,
}
fn list_(p: &mut Parser, flavor: Flavor) {
use Flavor::*;
let (bra, ket) = match flavor {
Closure => (T![|], T![|]),
FnDef | FnTrait | FnPointer => (T!['('], T![')']),
};
let list_marker = p.start();
p.bump(bra);
let mut param_marker = None;
if let FnDef = flavor {
let m = p.start();
attributes::outer_attrs(p);
match opt_self_param(p, m) {
Ok(()) => {}
Err(m) => param_marker = Some(m),
}
}
while !p.at(EOF) && !p.at(ket) {
let m = match param_marker.take() {
Some(m) => m,
None => {
let m = p.start();
attributes::outer_attrs(p);
m
}
};
if !p.at_ts(PARAM_FIRST) {
p.error("expected value parameter");
m.abandon(p);
break;
}
let param = param(p, m, flavor);
if !p.at(ket) {
p.expect(T![,]);
}
if let Variadic(true) = param {
break;
}
}
if let Some(m) = param_marker {
m.abandon(p);
}
p.expect(ket);
list_marker.complete(p, PARAM_LIST);
}
const PARAM_FIRST: TokenSet = patterns::PATTERN_FIRST.union(types::TYPE_FIRST);
struct Variadic(bool);
fn param(p: &mut Parser, m: Marker, flavor: Flavor) -> Variadic {
let mut res = Variadic(false);
match flavor {
Flavor::FnDef | Flavor::FnPointer if p.eat(T![...]) => res = Variadic(true),
Flavor::FnDef => {
patterns::pattern(p);
if variadic_param(p) {
res = Variadic(true);
} else if p.at(T![:]) {
types::ascription(p);
} else {
p.error("missing type for function parameter");
}
}
Flavor::FnTrait => {
types::type_(p);
}
Flavor::FnPointer => {
if (p.at(IDENT) || p.at(UNDERSCORE)) && p.nth(1) == T![:] && !p.nth_at(1, T![::]) {
patterns::pattern_single(p);
if variadic_param(p) {
res = Variadic(true);
} else if p.at(T![:]) {
types::ascription(p);
} else {
p.error("missing type for function parameter");
}
} else {
types::type_(p);
}
}
Flavor::Closure => {
patterns::pattern_single(p);
if p.at(T![:]) && !p.at(T![::]) {
types::ascription(p);
}
}
}
m.complete(p, PARAM);
res
}
fn variadic_param(p: &mut Parser) -> bool {
if p.at(T![:]) && p.nth_at(1, T![...]) {
p.bump(T![:]);
p.bump(T![...]);
true
} else {
false
}
}
fn opt_self_param(p: &mut Parser, m: Marker) -> Result<(), Marker> {
if p.at(T![self]) || p.at(T![mut]) && p.nth(1) == T![self] {
p.eat(T![mut]);
self_as_name(p);
if p.at(T![:]) {
types::ascription(p);
}
} else {
let la1 = p.nth(1);
let la2 = p.nth(2);
let la3 = p.nth(3);
if !matches!(
(p.current(), la1, la2, la3),
(T![&], T![self], _, _)
| (T![&], T![mut] | LIFETIME_IDENT, T![self], _)
| (T![&], LIFETIME_IDENT, T![mut], T![self])
) {
return Err(m);
}
p.bump(T![&]);
if p.at(LIFETIME_IDENT) {
lifetime(p);
}
p.eat(T![mut]);
self_as_name(p);
}
m.complete(p, SELF_PARAM);
if !p.at(T![')']) {
p.expect(T![,]);
}
Ok(())
}
fn self_as_name(p: &mut Parser) {
let m = p.start();
p.bump(T![self]);
m.complete(p, NAME);
}