%%% %% Section 14.2: Blocks %% %% @author Martin Bravenboer <martin.bravenboer@gmail.com> %%% module languages/java-15/statements/Blocks imports languages/java-15/classes/ClassDeclarations languages/java-15/statements/LocalVariableDeclarations languages/java-15/statements/Statements exports sorts BlockStm Block context-free syntax "{" BlockStm* "}" -> Block {cons("Block")} LocalVarDecStm -> BlockStm ClassDec -> BlockStm {cons("ClassDecStm")} Stm -> BlockStm