module org/sugarj/languages/SugarJx

%% layout
exports
  lexical syntax
    [\ \t\12\r\n] -> SugarJLayout
    JavaComment -> SugarJLayout
    "%%" line:~[\n]* "\n"	-> SugarJLayout {cons("line"),category("Comment")}

  lexical syntax
    SugarJLayout -> LAYOUT

  context-free restrictions
    LAYOUT? -/- [\ \t\12\n\r\%]
    LAYOUT?  -/- [\/].[\*]
    LAYOUT?  -/- [\/].[\/]



%% incremetal parsing
exports
  sorts NextToplevelDeclaration ToplevelDeclaration Rest
  
  start-symbols NextToplevelDeclaration
  
  syntax %% ToplevelDeclaration
    JavaPackageDec -> ToplevelDeclaration
    JavaImportDec -> ToplevelDeclaration
    JavaTypeDec -> ToplevelDeclaration {cons("JavaTypeDec")}
    SugarDec -> ToplevelDeclaration
  
  syntax %% NextToplevelDeclaration
    ToplevelDeclaration <Rest-LEX> -> NextToplevelDeclaration {cons("NextToplevelDeclaration")}
  
    
  lexical syntax %% Rest
    ~[]* -> Rest
  
  lexical restrictions
    Rest -/- ~[]

%% sugar stuff
exports
  sorts SugarDec
        TypeOrSugarDec
        SugarMod
        %% SuperExtension
        AnnoOrSugarMod
        %% ExtensionType
        SugarBody
        SugarDecHead
        NativeSugarDecHead
        NativeSugarBody
        SugarCompilationUnit
        SugarJLayout

  context-free syntax
  	JavaPackageDec? JavaImportDec* TypeOrSugarDec*  -> SugarCompilationUnit {prefer,cons("CompilationUnit")}
  	
  	JavaTypeDec -> TypeOrSugarDec {cons("JavaTypeDec")}
  	SugarDec -> TypeOrSugarDec
 
  context-free syntax
    SugarDecHead SugarBody
      -> SugarDec {cons("SugarDec")}

    NativeSugarDecHead NativeSugarBody ";"
      -> SugarDec {cons("SugarDec")}

    %% JavaTypeName -> ExtensionType


  context-free syntax %% for SyntaxDecHead
    AnnoOrSugarMod* "sugar" JavaId   %% SuperSugar?
      -> SugarDecHead {cons("SugarDecHead")}

     AnnoOrSugarMod* JavaNative "sugar" JavaId
      -> NativeSugarDecHead {cons("NativeSugarDecHead")}

  	JavaAnno -> AnnoOrSugarMod
  	SugarMod -> AnnoOrSugarMod
  	
    JavaPublic    -> SugarMod
    %% JavaPrivate   -> SugarMod

    %% "extends" {SugarType ","}*
    %%   -> SuperSugar {cons("SuperSugarDec")}

  lexical restrictions
    "sugar" -/-  [a-zA-Z0-9\'\-\_]
    
  context-free syntax
    "{" SugarDef  "}" -> SugarBody {cons("SugarBody")}
    "=" StrategoModName   -> NativeSugarBody {cons("NativeSugarBody")}







%% embedding of SDF and Stratego

sorts Grammar Transformation Desugaring SugarDef SugarDefElem

  context-free start-symbols SugarDef

  context-free syntax
    Grammar        -> SugarDefElem {cons("grammar-elem")}
    Transformation -> SugarDefElem {cons("transformation-elem")}

    SugarDefElem* -> SugarDef


  context-free syntax
    "sorts" Sdf2Symbols -> Grammar {cons("sorts")}

%%    "start-symbols"                Sdf2Symbols -> Grammar {cons("kernel-start-symbols")} 
%%    "lexical" "start-symbols"      Sdf2Symbols -> Grammar {cons("lexical-start-symbols")}
%%    "context-free" "start-symbols" Sdf2Symbols -> Grammar {cons("context-free-start-symbols")}

    "syntax"                Sdf2Productions -> Grammar {cons("syntax")}
    "lexical" "syntax"      Sdf2Productions -> Grammar {cons("lexical-syntax")}
    "context-free" "syntax" Sdf2Productions -> Grammar {cons("context-free-syntax")}
    "variables"             Sdf2Productions -> Grammar {cons("variables")}
    "lexical" "variables"   Sdf2Productions -> Grammar {cons("lexical-variables")}

    "priorities"                Sdf2Priorities -> Grammar  {cons("priorities")}
    "lexical"      "priorities" Sdf2Priorities -> Grammar {cons("lexical-priorities")}
    "context-free" "priorities" Sdf2Priorities -> Grammar {cons("context-free-priorities")}

    "restrictions"                Sdf2Restrictions -> Grammar  {cons("restrictions")}
    "lexical"      "restrictions" Sdf2Restrictions -> Grammar {cons("lexical-restrictions")}
    "context-free" "restrictions" Sdf2Restrictions -> Grammar {cons("context-free-restrictions")}

    "aliases" Sdf2Aliases -> Grammar  {cons("aliases")}

  lexical syntax
  	"sorts" -> StrategoId {reject}
  	"lexical" -> StrategoId {reject}
  	"context-free" -> StrategoId {reject}
  	"variables" -> StrategoId {reject}
  	"priorities" -> StrategoId {reject}
  	"restrictions" -> StrategoId {reject}
  	"aliases" -> StrategoId {reject}

  context-free syntax
    "strategies" StrategoDef*   -> Transformation {cons("Strategies")}
    "signature" StrategoSdecl*  -> Transformation {cons("Signature")}
    "rules" StrategoDef*        -> Transformation {cons("Rules")}
    "overlays" StrategoOverlay* -> Transformation {cons("Overlays")}

  
  lexical syntax
    "desugarings" -> StrategoKeyword

  context-free syntax
    "desugarings" Desugaring* -> Transformation {cons("Desugarings")}  

  context-free syntax
    StrategoStrategy -> Desugaring {cons("PureDesugaring")}
    
    StrategoStrategy ":" Sdf2Symbol "->" Sdf2Symbol Sdf2Attributes 
      -> Desugaring {cons("InjectDesugaring")}

  lexical restrictions
    "desugarings" -/- [a-zA-Z0-9\'\-\_]