16855e09eSopenharmony_ciuse nom::{
26855e09eSopenharmony_ci  branch::alt,
36855e09eSopenharmony_ci  bytes::complete::tag,
46855e09eSopenharmony_ci  character::complete::char,
56855e09eSopenharmony_ci  character::complete::{digit1 as digit, space0 as space},
66855e09eSopenharmony_ci  combinator::map_res,
76855e09eSopenharmony_ci  multi::fold_many0,
86855e09eSopenharmony_ci  sequence::{delimited, pair},
96855e09eSopenharmony_ci  IResult,
106855e09eSopenharmony_ci};
116855e09eSopenharmony_ci
126855e09eSopenharmony_ci// Parser definition
136855e09eSopenharmony_ci
146855e09eSopenharmony_ciuse std::str::FromStr;
156855e09eSopenharmony_ci
166855e09eSopenharmony_ci// We parse any expr surrounded by parens, ignoring all whitespaces around those
176855e09eSopenharmony_cifn parens(i: &str) -> IResult<&str, i64> {
186855e09eSopenharmony_ci  delimited(space, delimited(tag("("), expr, tag(")")), space)(i)
196855e09eSopenharmony_ci}
206855e09eSopenharmony_ci
216855e09eSopenharmony_ci// We transform an integer string into a i64, ignoring surrounding whitespaces
226855e09eSopenharmony_ci// We look for a digit suite, and try to convert it.
236855e09eSopenharmony_ci// If either str::from_utf8 or FromStr::from_str fail,
246855e09eSopenharmony_ci// we fallback to the parens parser defined above
256855e09eSopenharmony_cifn factor(i: &str) -> IResult<&str, i64> {
266855e09eSopenharmony_ci  alt((
276855e09eSopenharmony_ci    map_res(delimited(space, digit, space), FromStr::from_str),
286855e09eSopenharmony_ci    parens,
296855e09eSopenharmony_ci  ))(i)
306855e09eSopenharmony_ci}
316855e09eSopenharmony_ci
326855e09eSopenharmony_ci// We read an initial factor and for each time we find
336855e09eSopenharmony_ci// a * or / operator followed by another factor, we do
346855e09eSopenharmony_ci// the math by folding everything
356855e09eSopenharmony_cifn term(i: &str) -> IResult<&str, i64> {
366855e09eSopenharmony_ci  let (i, init) = factor(i)?;
376855e09eSopenharmony_ci
386855e09eSopenharmony_ci  fold_many0(
396855e09eSopenharmony_ci    pair(alt((char('*'), char('/'))), factor),
406855e09eSopenharmony_ci    move || init,
416855e09eSopenharmony_ci    |acc, (op, val): (char, i64)| {
426855e09eSopenharmony_ci      if op == '*' {
436855e09eSopenharmony_ci        acc * val
446855e09eSopenharmony_ci      } else {
456855e09eSopenharmony_ci        acc / val
466855e09eSopenharmony_ci      }
476855e09eSopenharmony_ci    },
486855e09eSopenharmony_ci  )(i)
496855e09eSopenharmony_ci}
506855e09eSopenharmony_ci
516855e09eSopenharmony_cifn expr(i: &str) -> IResult<&str, i64> {
526855e09eSopenharmony_ci  let (i, init) = term(i)?;
536855e09eSopenharmony_ci
546855e09eSopenharmony_ci  fold_many0(
556855e09eSopenharmony_ci    pair(alt((char('+'), char('-'))), term),
566855e09eSopenharmony_ci    move || init,
576855e09eSopenharmony_ci    |acc, (op, val): (char, i64)| {
586855e09eSopenharmony_ci      if op == '+' {
596855e09eSopenharmony_ci        acc + val
606855e09eSopenharmony_ci      } else {
616855e09eSopenharmony_ci        acc - val
626855e09eSopenharmony_ci      }
636855e09eSopenharmony_ci    },
646855e09eSopenharmony_ci  )(i)
656855e09eSopenharmony_ci}
666855e09eSopenharmony_ci
676855e09eSopenharmony_ci#[test]
686855e09eSopenharmony_cifn factor_test() {
696855e09eSopenharmony_ci  assert_eq!(factor("3"), Ok(("", 3)));
706855e09eSopenharmony_ci  assert_eq!(factor(" 12"), Ok(("", 12)));
716855e09eSopenharmony_ci  assert_eq!(factor("537  "), Ok(("", 537)));
726855e09eSopenharmony_ci  assert_eq!(factor("  24   "), Ok(("", 24)));
736855e09eSopenharmony_ci}
746855e09eSopenharmony_ci
756855e09eSopenharmony_ci#[test]
766855e09eSopenharmony_cifn term_test() {
776855e09eSopenharmony_ci  assert_eq!(term(" 12 *2 /  3"), Ok(("", 8)));
786855e09eSopenharmony_ci  assert_eq!(term(" 2* 3  *2 *2 /  3"), Ok(("", 8)));
796855e09eSopenharmony_ci  assert_eq!(term(" 48 /  3/2"), Ok(("", 8)));
806855e09eSopenharmony_ci}
816855e09eSopenharmony_ci
826855e09eSopenharmony_ci#[test]
836855e09eSopenharmony_cifn expr_test() {
846855e09eSopenharmony_ci  assert_eq!(expr(" 1 +  2 "), Ok(("", 3)));
856855e09eSopenharmony_ci  assert_eq!(expr(" 12 + 6 - 4+  3"), Ok(("", 17)));
866855e09eSopenharmony_ci  assert_eq!(expr(" 1 + 2*3 + 4"), Ok(("", 11)));
876855e09eSopenharmony_ci}
886855e09eSopenharmony_ci
896855e09eSopenharmony_ci#[test]
906855e09eSopenharmony_cifn parens_test() {
916855e09eSopenharmony_ci  assert_eq!(expr(" (  2 )"), Ok(("", 2)));
926855e09eSopenharmony_ci  assert_eq!(expr(" 2* (  3 + 4 ) "), Ok(("", 14)));
936855e09eSopenharmony_ci  assert_eq!(expr("  2*2 / ( 5 - 1) + 3"), Ok(("", 4)));
946855e09eSopenharmony_ci}
95