module languages/java/syntax/Names imports languages/java/syntax/Lexical exports sorts SimpleName Name context-free syntax {Identifier "."}+ -> Name {avoid,cons("Identifier-p")} Identifier -> SimpleName {cons("Identifier")}