%% %% Jimple grammar %% module languages/jimple/Names imports languages/jimple/Names languages/jimple/Lexical exports sorts ClassName Name context-free syntax QuotedName -> ClassName {cons("ClassName")} Identifier -> ClassName {cons("ClassName")} FullIdentifier -> ClassName {cons("ClassName")} QuotedName -> Name Identifier -> Name sorts LocalName context-free syntax Name -> LocalName {cons("Local")}