Changeset 450


Ignore:
Timestamp:
Jul 4, 2010 11:40:43 AM (14 years ago)
Author:
Anya Helene Bagge
Message:
 
Files:
2 added
2 deleted
5 edited

Legend:

Unmodified
Added
Removed

  • MetaXa/src/Meta/MetaMagnolia.sdf

    r445 r450  
    55        Magnolia/CoreMix[Core]
    66        Magnolia/BaseExtMix[Base]
    7         CxxSophus/CxxSophusMix[Cxx]
    8         Meta/MetaQuotes[Magnolia Core Base]
    9         Meta/MetaCxxQuotes[Magnolia Core Cxx]
     7        %%CxxSophus/CxxSophusMix[Cxx]
     8        Meta/MetaMagnoliaEmbedding[Magnolia Core Base]
     9        %%Meta/MetaCxxQuotes[Magnolia Core Cxx]
    1010
    1111sorts
    … …  
    1717  SQuoted[[Magnolia]] -> SQuoted
    1818  DQuoted[[Magnolia]] -> DQuoted
    19   TQuoted[[Magnolia]] -> TQuoted
     19 %% TQuoted[[Magnolia]] -> TQuoted
    2020  Quoted[[Magnolia]] -> Quoted
    2121
    … …  
    2323context-free syntax
    2424
    25   NAMEID        -> VarToken     {cons("Identifier")}
    26   VARID -> VarToken     {cons("Var")}
    27   EXPRID        -> VarToken     {cons("Expr")}
    28   STATID        -> VarToken     {cons("Stat")}
    29   NAMEID MXaREP -> ListVarToken {cons("Identifier"),prefer}
    30   EXPRID MXaREP -> ListVarToken {cons("Expr"),prefer}
    31   STATID MXaREP -> ListVarToken {cons("Stat"),prefer}
    3225  VarToken      -> MXaToken
    3326  ListVarToken  -> MXaToken
    3427
    3528
    36 %% Variables
    37 context-free syntax
    38 
    39   VARID         -> VarMetaVar   {cons("MetaVar"), prefer, category("MetaVar")}
    40   VARID "*"     -> VarMetaListVar       {cons("MetaVarList"), prefer, category("MetaVar"),listvar}
    41   VARID "+"     -> VarMetaLIstVar       {cons("MetaVarList"), prefer, category("MetaVar"),listvar}
    42 
    43   VarMetaVar    -> Var[[Core]]
    44   VarMetaVar    -> Var[[Base]]
    45   VarMetaVar    -> Var[[Cxx]]
    46 
    47 
    48   NAMEID                -> NameMetaVar  {cons("MetaName"),prefer, category("MetaVar")}
    49   NAMEID "*"    -> NameMetaListVar      {cons("MetaNameList"),prefer, category("MetaVar"),listvar}
    50   NAMEID "+"    -> NameMetaListVar      {cons("MetaNameList"),prefer, category("MetaVar"),listvar}
    51 
    52   NameMetaVar   -> Identifier[[Core]]
    53   NameMetaListVar       -> Identifier[[Core]]
    54   NameMetaVar   -> Identifier[[Base]]
    55   NameMetaListVar       -> Identifier[[Base]]
    56   NameMetaVar   -> Identifier[[Cxx]]
    57   NameMetaListVar       -> Identifier[[Cxx]]
    58 
    59   FUNID         -> FunNameMetaVar               {cons("MetaFun"), prefer, category("MetaVar"),listvar}
    60   PROCID        -> ProcNameMetaVar      {cons("MetaProc"), prefer, category("MetaVar"),listvar}
    61 
    62   FunNameMetaVar -> FunName[[Core]]
    63   ProcNameMetaVar -> ProcName[[Core]]
    64   FunNameMetaVar -> FunName[[Base]]
    65   ProcNameMetaVar -> ProcName[[Base]]
    66   FunNameMetaVar -> FunName[[Cxx]]
    67 
    68   TYPEID        -> TypeMetaVar          {cons("MetaType"), prefer, category("MetaVar")}
    69   TYPEID "*"    -> TypeMetaListVar      {cons("MetaTypeList"), prefer, category("MetaVar"),listvar}
    70   TYPEID "+"    -> TypeMetaListVar      {cons("MetaTypeList"), prefer, category("MetaVar"),listvar}
    71 
    72   TypeMetaVar  -> Type[[Core]]
    73   TypeMetaVar  -> Type[[Base]]
    74   TypeMetaVar  -> Expr[[Cxx]]
    75 
    76   TypeListStar  -> {Type ","}*
    77   TypeListPlus  -> {Type ","}+
    78 
    79   EXPRID        -> ExprMetaVar          {cons("MetaExpr"), prefer, category("MetaVar")}
    80   EXPRID "*"    -> ExprMetaListVar      {cons("MetaExprList"), prefer, category("MetaVar"),listvar}
    81   EXPRID "+"    -> ExprMetaListVar      {cons("MetaExprList"), prefer, category("MetaVar"),listvar}
    82 
    83   ExprMetaVar -> Expr[[Core]]
    84   ExprMetaListVar -> Expr[[Core]]
    85   ExprMetaVar -> Expr[[Base]]
    86   ExprMetaListVar -> Expr[[Base]]
    87   ExprMetaVar -> Expr[[Cxx]]
    88   ExprMetaListVar -> Expr[[Cxx]]
    89 
    90   STATID        -> StatMetaVar          {cons("MetaStat"), prefer, category("MetaVar")}
    91   STATID "*"    -> StatMetaListVar      {cons("MetaStatList"), prefer, category("MetaVar"),listvar}
    92   STATID "+"    -> StatMetaListVar      {cons("MetaStatList"), prefer, category("MetaVar"),listvar}
    93 
    94   StatMetaVar -> Stat[[Core]]
    95   StatMetaListVar -> Stat[[Core]]
    96   StatMetaVar -> Stat[[Base]]
    97   StatMetaListVar -> Stat[[Base]]
    98   StatMetaVar -> Stat[[Cxx]]
    99   StatMetaListVar -> Stat[[Cxx]]
    100 
    101   DECLID        -> DeclMetaVar          {cons("MetaDecl"), prefer, category("MetaVar")}
    102   DECLID "*"    -> DeclMetaListVar      {cons("MetaDeclList"), prefer, category("MetaVar"),listvar}
    103   DECLID "+"    -> DeclMetaListVar      {cons("MetaDeclList"), prefer, category("MetaVar"),listvar}
    104 
    105   DeclMetaVar -> Decl[[Core]]
    106   DeclMetaListVar -> Decl[[Core]]
    107   DeclMetaVar -> Decl[[Base]]
    108   DeclMetaListVar -> Decl[[Base]]
    109   DeclMetaVar -> Decl[[Cxx]]
    110   DeclMetaListVar -> Decl[[Cxx]]
    111 
    112 
    113   ATTRID                -> AttrMetaVar          {cons("AttrDecl"), prefer, category("MetaVar")}
    114   ATTRID "*"    -> AttrMetaListVar      {cons("AttrDeclList"), prefer, category("MetaVar"),listvar}
    115   ATTRID "+"    -> AttrMetaListVar      {cons("AttrDeclList"), prefer, category("MetaVar"),listvar}
    116 
    117   AttrMetaVar -> SubClause[[Core]]
    118   AttrMetaListVar -> SubClause[[Core]]
    119   AttrMetaVar -> SubClause[[Base]]
    120   AttrMetaListVar -> SubClause[[Base]]
    12129
    12230  OPID          -> ADDOP                {cons("MetaOp"), prefer, category("MetaVar")}
    … …  
    13543
    13644   [O][a-z]*[s]*[0-9]*[\']*SUBID? -> OPID
    137    [R][a-z]*[s]*[0-9]*[\']*SUBID? -> FLTID
    138    [Q][a-z]*[s]*[0-9]*[\']*SUBID? -> INTID
    139    [C][a-z]*[s]*[0-9]*[\']*SUBID? -> STRID
    140    [A][t][t][r][s]*[0-9]*[\']*SUBID? -> ATTRID
    141    [D][a-z]*[s]*[0-9]*[\']*SUBID? -> DECLID
    142    [E][a-z]*[s]*[0-9]*[\']*SUBID? -> EXPRID
    143    [F][a-z]*[s]*[0-9]*[\']*SUBID? -> FUNID
    144    [M][a-z]*[s]*[0-9]*[\']*SUBID? -> MODEID
    145    [N][a-z]*[s]*[0-9]*[\']*SUBID? -> NAMEID
    146    [P][a-z]*[s]*[0-9]*[\']*SUBID? -> PROCID
    147    [S][a-z]*[s]*[0-9]*[\']*SUBID? -> STATID
    148    [T][a-z]*[s]*[0-9]*[\']*SUBID? -> TYPEID
    149    [VX][a-z]*[s]*[0-9]*[\']*SUBID? -> VARID
    15045
    15146   [A-Z][s]*[0-9]*[\']*SUBID?   -> METAVARID
    … …  
    16055
    16156    OPID        -/- [A-Za-z\'0-9]
    162     EXPRID      -/- [A-Za-z\_\'0-9]
    163     ATTRID      -/- [A-Za-z\_\'0-9]
    164     FLTID       -/- [A-Za-z\_\'0-9]
    165     INTID       -/- [A-Za-z\_\'0-9]
    166     STRID       -/- [A-Za-z\_\'0-9]
    167     DECLID      -/- [A-Za-z\_\'0-9]
    168     FUNID       -/- [A-Za-z\_\'0-9]
    169     MODEID      -/- [A-Za-z\_\'0-9]
    170     NAMEID      -/- [A-Za-z\_\'0-9]
    171     PROCID      -/- [A-Za-z\_\'0-9]
    172     STATID      -/- [A-Za-z\_\'0-9]
    173     TYPEID      -/- [A-Za-z\_\'0-9]
    174     VARID       -/- [A-Za-z\_\'0-9]
    17557    METAVARID   -/- [A-Za-z\_\'0-9]
    17658

  • MetaXa/src/Meta/MetaSyntax.sdf

    r445 r450  
    7474        "syntax"        Quoted                  -> MXaCSection  {cons("MXaSyntax")}
    7575
     76        "syntax"        MXaTokenList    -> MXaCSection  {cons("MXaSyntaxDef")}
     77       
    7678        "patterns" MXaTerm+             -> MXaCSection  {cons("MXaPatterns")}
    7779
    … …  
    133135
    134136  "$" MXaID ":" MXaID "$"                       -> MXaVar                       {cons("MXaVar")}
    135 
     137  MXaVarID                                                      -> MXaVar                       {cons("MXaVar")}
     138 
    136139    "\"" MXaString "\"" -> MXaStringLiteral {cons("MXaString")}
    137140
    … …  
    200203
    201204    [A-Za-z][A-Za-z\_\'0-9]*    -> MXaID
    202     [A-Z][A-Za-z\_\'\$0-9]*     -> MXaVar
     205    [A-Z][A-Za-z\_\'\$0-9]*     -> MXaVarID
    203206    [a-z][A-Za-z\_\'\$0-9]*             -> MXaCons
    204207    [A-Za-z][A-Za-z\_\-\/0-9]*  -> MXaSDFModule

  • MetaXa/src/gen-mix

    • Property svn:executable set to *
    r396 r450  
    1 pack-sdf -I . -I /home/anya/eclipse/plugins/rascal_fragment_linux_0.1.5/installed/share/sdf-library/library/ -i CxxSophus/CxxSophus.sdf -o CxxSophus.def
     1#! /bin/sh
     2
     3FRAGMENT=/home/anya/eclipse/plugins/rascal_fragment_linux_0.1.6
     4
     5pack-sdf -I . -I $FRAGMENT/installed/share/sdf-library/library/ -i CxxSophus/CxxSophus.sdf -o CxxSophus.def
    26gen-sdf-mix -m CxxSophus/CxxSophus --name CxxSophus/CxxSophusMix -i CxxSophus.def -o CxxSophus/CxxSophusMix.sdf
     7pack-sdf -I . -i Magnolia/Core.sdf -o Core.def
     8gen-sdf-mix -m Magnolia/Core --name Magnolia/CoreMix -i Core.def -o Magnolia/CoreMix.sdf
     9pack-sdf -I . -i Magnolia/BaseExt.sdf -o BaseExt.def
     10gen-sdf-mix -m Magnolia/BaseExt --name Magnolia/BaseExtMix -i BaseExt.def -o Magnolia/BaseExtMix.sdf
     11rm -f CxxSophus.def Core.def BaseExt.def

  • trunk/src/syn/Magnolia/BaseExtMix.sdf

    r394 r450  
    3333            ImplExpr              => ImplExpr[[Ctx0]]
    3434            ConceptExpr           => ConceptExpr[[Ctx0]]
    35             ByClause              => ByClause[[Ctx0]]
     35            WithClause            => WithClause[[Ctx0]]
    3636            GuardClause           => GuardClause[[Ctx0]]
    3737            Attribute             => Attribute[[Ctx0]]
    … …  
    8686            DecNumeral            => DecNumeral[[Ctx0]]
    8787            ProdType              => ProdType[[Ctx0]]
     88            Name                  => Name[[Ctx0]]
    8889            Identifier            => Identifier[[Ctx0]]
    8990            NOID                  => NOID[[Ctx0]]

  • trunk/src/syn/Magnolia/CoreMix.sdf

    r394 r450  
    55            ImplExpr           => ImplExpr[[Ctx0]]
    66            ConceptExpr        => ConceptExpr[[Ctx0]]
    7             ByClause           => ByClause[[Ctx0]]
     7            WithClause         => WithClause[[Ctx0]]
    88            GuardClause        => GuardClause[[Ctx0]]
    99            Attribute          => Attribute[[Ctx0]]
    … …  
    5959            DecNumeral         => DecNumeral[[Ctx0]]
    6060            ProdType           => ProdType[[Ctx0]]
     61            Name               => Name[[Ctx0]]
    6162            Identifier         => Identifier[[Ctx0]]
    6263            NOID               => NOID[[Ctx0]]
Note: See TracChangeset for help on using the changeset viewer.