for_statement

for_statement 
      ::= 
      "for" "(" ( variable_declaration | ( expression ";" ) | ";" ) 
      [ expression ] ";" 
      [ expression ] ";" 
      ")" statement 

This rule is called by

-> statement

Semantic, examples ...

coming soon ...