//
// The class dictionaries which define the inputs to our tools are
// available with the following copyright notice:

//  Copyright (C) 1985-1993 Northeastern University.

//  Permission is granted to any individual or institution to use, copy, modify,
//  and distribute this class dictionary, provided that this complete copyright
//  and permission notice is maintained, intact, in all copies and supporting
//  documentation.

Cd_graph = 
  < adjacencies > Nlist(Adjacency)                                
  ["*terminal_sets*" <terminal_sets> Comma_list(Vertex) "."].
Adjacency =                                                                
  < source > Vertex                                                        
  ["(" < parameters> Comma_list(Vertex) ")"]                               
  < ns > Neighbors                                                         
  "." .                                                                    
Neighbors :                                                                
  Neighbors_wc |                                                           
  Repetit_n                                                                
  *common*.                                                                
Neighbors_wc :                                                             
  Construct_ns |                                                           
  Alternat_ns                                                              
  *common* < construct_ns > List(Any_vertex).                              
Construct_ns = "=".                                                        
Alternat_ns = ":"                                                          
  < alternat_ns > Bar_list(Term)
  [<common> Common].
Common = "*common*".                                                       
Repetit_n = "~" <sandwiched> Sandwich(Kernel).                             
Kernel = [ <nonempty> Term ]                                               
  "{" <repeated> Sandwich(Term) "}".                                       
Any_vertex :                                                               
  Opt_labeled_term                                                         
  | Optional_term                                                          
  | Syntax_vertex                                                          
  | Inherit_term.
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.       
Print_indent = "+" .                                                       
Print_unindent = "-" .                                                     
Print_skip = "*l" .                                                        
Print_space = "*s" .                                                       
Opt_labeled_term :                                                         
  Labeled                                                                  
  | Regular                                                                
    *common*  [StaticSpec] [AccessorSpec] <vertex> Term. 

StaticSpec = "*static*" .
AccessorSpec : ReadOnlyAcc | PrivateAcc *common* .
ReadOnlyAcc = "*read-only*" .
PrivateAcc = "*private*" .
    
Regular = .                                                                
Labeled = "<" < label_name > DemIdent ">" .                                   
Inherit_term = "*inherit*" <inherited> Comma_list(Term).


Term : Normal | CppTerm *common* <vertex> Vertex 
  <moduleRef> TermRef
  ["(" <actual_parameters> Comma_list(Term) ")" ].

CppTerm = "$" .

Normal = .

TermRef : LocalRef | ModuleRef.

ModuleRef : CompRef | LibRef *common* <moduleName> DemIdent.

LocalRef = .
CompRef = "@".
LibRef  = "@@".

Optional_term = "[" <opt> Sandwich(Opt_labeled_term) "]".                  

// Parameterized classes
List(S) ~ {S}.                                                             
Nlist(S) ~ S {S}.                                                          
Bar_list(S) ~ S {"|" S}.                                                   
Comma_list(S) ~ S {"," S}.                                                 
Sandwich(S) =                                                              
  <first> List(Syntax_vertex) <inner> S                                    
  <second> List(Syntax_vertex)                                             
  .