%%% %% Section 9.3: Field (Constant) Declarations %% %% @author Martin Bravenboer <martin.bravenboer@gmail.com> %%% module languages/java-15/interfaces/ConstantDeclarations imports languages/java-15/lexical/Modifiers languages/java-15/types/Main languages/java-15/classes/MethodDeclarations languages/java-15/interfaces/Annotations exports sorts ConstantDec ConstantMod context-free syntax (Anno | ConstantMod)* Type {VarDec ","}+ ";" -> ConstantDec {cons("ConstantDec")} Public -> ConstantMod Static -> ConstantMod Final -> ConstantMod