while_statement

while_statement 
      ::= 
      "while" "(" expression ")" statement 

This rule is called by

-> statement

Semantic, examples ...

coming soon ...