%%% %% Section 7.3: CompilationUnits %% %% @author Martin Bravenboer <martin.bravenboer@gmail.com> %%% module languages/java-15/packages/CompilationUnits imports languages/java-15/packages/PackageDeclarations languages/java-15/packages/ImportDeclarations languages/java-15/packages/TypeDeclarations exports sorts CompilationUnit context-free syntax PackageDec? ImportDec* TypeDec+ -> CompilationUnit {cons("CompilationUnit")}