module languages/java-15/interfaces/AbstractMethodDeclarations imports languages/java-15/lexical/Modifiers languages/java-15/names/Main languages/java-15/types/Main languages/java-15/classes/MethodDeclarations exports sorts AbstractMethodDec AbstractMethodMod context-free syntax (Anno | AbstractMethodMod)* TypeParams? ResultType Id "(" {FormalParam ","}* ")" Throws? ";" -> AbstractMethodDec {cons("AbstractMethodDec")} (Anno | AbstractMethodMod)* TypeParams? ResultType Id "(" {FormalParam ","}* ")" Dim+ Throws? ";" -> AbstractMethodDec {cons("DeprAbstractMethodDec")} Public -> AbstractMethodMod Abstract -> AbstractMethodMod