%%%
 %% Section 9.3: Field (Constant) Declarations
 %%
 %% @author Martin Bravenboer <martin@cs.uu.nl>
 %%%
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
    ConstantMod* Type {VarDec ","}+ ";" -> ConstantDec {cons("ConstantDec")}

    Anno   -> ConstantMod
    Public -> ConstantMod
    Static -> ConstantMod
    Final  -> ConstantMod
