Semantic Analysis - Block Expressions 🝙

[CalebLItalien]

Details

Implement the immutable stage of doing semantic analysis of block expressions. This includes do while, while, for, and switch.

Issue Type

• [X] Feature
• [ ] Bugfix
• [ ] Documentation
• [ ] Refactoring
• [ ] Other:

Requirements

• do while
  • Scope Management: Check SymbolTableStack for correct pushing of a new scope
  • Condition Verification: Check that the loop condition is a boolean.
• while
  • Scope Management: Check SymbolTableStack for correct pushing of a new scope
  • Condition Verification: Ensure the loop condition evaluates to a boolean expression.
• for
  • Initialization Scope: Check SymbolTableStack for correct pushing of a new scope
  • Condition and Iteration Check: Validate boolean condition and correct use of iteration variables.
• switch
  • Scope Management: Check SymbolTableStack for correct pushing of new scopes
  • Condition Type Check: Validate that the switch expression is of a compatible type with case labels.
  • Break/Default Validation: Ensure 'break' is used correctly and 'default' case is handled appropriately.

Notes

106 is a kind-of a precursor to this issue, though you could do it prior.