module languages/ansi-c/syntax/Statements imports languages/ansi-c/syntax/Expressions imports languages/ansi-c/syntax/Declarations exports sorts Statement context-free syntax "{" Declaration* Statement* "}" -> Statement Identifier ":" Statement -> Statement "case" Expression ":" Statement -> Statement "default" ":" Statement -> Statement ";" -> Statement Expression ";" -> Statement "if" "(" Expression ")" Statement -> Statement "if" "(" Expression ")" Statement "else" Statement -> Statement "switch" "(" Expression ")" Statement -> Statement "while" "(" Expression ")" Statement -> Statement "do" Statement "while" "(" Expression ")" ";" -> Statement "for" "(" Expression? ";" Expression? ";" Expression? ")" Statement -> Statement "goto" Identifier ";" -> Statement "continue" ";" -> Statement "break" ";" -> Statement "return" ";" -> Statement "return" Expression ";" -> Statement