// Class dictionary (cd-parse) for parsing

// my subtractions
//Demeter_in  = <input > Input .
//Input  : Cd_graph 
//           *common* .
// my subtractions

Cd_graph  = <adjacencies > Adjacency_nlist 
            [ "*terminal_sets*" <terminal_sets > Vertex_comma_list "."  ] .
Adjacency  = <source > Vertex 
             [ "(" <parameters > Vertex_comma_list ")"  ] 
            <ns > Neighbors 
            "." .
Neighbors  : Neighbors_wc   |
            Repetit_n 
           *common* .
Neighbors_wc  : Construct_ns   |
               Alternat_ns 
           *common* .
Construct_ns  = "=" 
               <construct_ns > Any_vertex_list .
Alternat_ns  = ":" 
              <alternat_ns > Term_bar_list 
               [ <common > Common  ] 
              <construct_ns > Any_vertex_list .
Common  = "*common*" .
Repetit_n  = "~" 
            <sandwiched > Kernel_Sandwich .
Kernel  =  [ <nonempty > Term  ] 
         "{" 
         <repeated > Term_Sandwich 
         "}" .
Any_vertex  : Opt_labeled_term   |
             Optional_term   |
             Syntax_vertex   |
             Inherit_term 
           *common* .
Vertex  = <vertex_name > DemIdent .
Syntax_vertex  : Regular_syntax   |
                Print_command 
           *common* .
Regular_syntax  = <string > DemString .
Print_command  : Print_indent   |
                Print_unindent   |
                Print_skip   |
                Print_space 
           *common* .
Print_indent  = "+" .
Print_unindent  = "-" .
Print_skip  = "*l" .
Print_space  = "*s" .
Opt_labeled_term  : Labeled   |
                   Regular 
           *common* .
StaticSpec  = "*static*" .
AccessorSpec  : ReadOnlyAcc   |
               PrivateAcc 
           *common* .
ReadOnlyAcc  = "*read-only*" .
PrivateAcc  = "*private*" .
Regular  =  [ <staticspec > StaticSpec  ] 
           [ <accessorspec > AccessorSpec  ] 
          <vertex > Term .
Labeled  = "<" 
          <label_name > DemIdent 
          ">" 
           [ <staticspec > StaticSpec  ] 
           [ <accessorspec > AccessorSpec  ] 
          <vertex > Term .
Inherit_term  = "*inherit*" 
               <inherited > Term_comma_list .
Term  : Normal   |
       CppTerm 
           *common* .
CppTerm  = "$" 
          <vertex > Vertex 
          <moduleRef > TermRef 
           [ "(" <actual_parameters > Term_comma_list ")"  ] .
TermRef  : LocalRef   |
          ModuleRef 
           *common* .
ModuleRef  : CompRef   |
            LibRef 
           *common* .
LocalRef  = .
CompRef  = "@" 
          <moduleName > DemIdent .
LibRef  = "@@" 
         <moduleName > DemIdent .
Normal  = <vertex > Vertex 
         <moduleRef > TermRef 
          [ "(" <actual_parameters > Term_comma_list ")"  ] .
Optional_term  = "[" 
                <opt > Opt_labeled_term_Sandwich 
                "]" .
Lc  = <labelname > DemIdent 
     <classname > DemIdent .
Item_set  = <item > Lc 
           <cardinality > DemNumber 
           <members > DemIdent_list .
Set_of_item_sets  = <biggestcardinallity > DemNumber 
                   <itemsets > Item_set_list .
Belongs_to_set  = <classname > DemIdent 
                 <cardinality > DemNumber 
                 <belogsto > Lc_list .
Set_of_belongs_to_sets  = <belongstosets > Belongs_to_set_list .
Tree_structure  = <item > Lc 
                 <contains > Lc 
                 <iscontained > Lc .
Set_of_tree_structures  = <treestructures > Tree_structure_list .
Inheritanceentry  = <symbolname > DemIdent 
                   <numofsuper > DemNumber 
                   <superclasses > Term_list .
Inheritancereport  = <inheritancelist > Inheritanceentry_list .
Adjacency_nlist  ~ Adjacency { Adjacency } .
Vertex_comma_list  ~ Vertex { "," Vertex } .
Any_vertex_list  ~ { Any_vertex } .
Term_bar_list  ~ Term { "|" Term } .
Kernel_Sandwich  = <first > Syntax_vertex_list 
                  <inner > Kernel 
                  <second > Syntax_vertex_list .
Term_Sandwich  = <first > Syntax_vertex_list 
                <inner > Term 
                <second > Syntax_vertex_list .
Term_comma_list  ~ Term { "," Term } .
Opt_labeled_term_Sandwich  = <first > Syntax_vertex_list 
                            <inner > Opt_labeled_term 
                            <second > Syntax_vertex_list .
// my additions
Ar_Vertex = <v> Vertex <ar> Vertex_comma_list <contained_in> Vertex.
Ar_Vertex_list ~ {Ar_Vertex} .
// my additions

DemIdent_list  ~ { DemIdent } .
Item_set_list  ~ { Item_set } .
Lc_list  ~ { Lc } .
Belongs_to_set_list  ~ { Belongs_to_set } .
Tree_structure_list  ~ { Tree_structure } .
Term_list  ~ { Term } .
Inheritanceentry_list  ~ { Inheritanceentry } .
Syntax_vertex_list  ~ { Syntax_vertex } .
   *terminal_sets* DemText , DemReal , DemString , DemIdent , DemNumber .