%%
%% 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")}