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