Statement Parsing

Your Task

Extend your parser to handle statements and statement lists.

Requirements

1. Implement statement parsing functions:

   • parse_statement(): Dispatch to specific statement parsers
   • parse_expression_statement(): Expression followed by semicolon
   • parse_return_statement(): return expr;
   • parse_if_statement(): if (cond) stmt [else stmt]
   • parse_while_statement(): while (cond) stmt
   • parse_block(): { stmt* }

2. Handle expression statements:

   • Any expression followed by ;
   • Empty statements (; alone) are valid

3. Handle return statements:

   • return; (void return)
   • return expr; (value return)

4. Handle if statements:

   • Required: if (condition) statement
   • Optional: else statement
   • Dangling else: else binds to nearest if

5. Handle blocks:

   • Zero or more statements
   • Create list of statement AST nodes

Success Criteria

• Parse: return 42;
• Parse: if (x > 0) return x; else return -x;
• Parse: { int x; x = 5; return x; }