%%%
%% 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