//  Copyright (C) 1991 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.

Obj_graph = < adjacencies>  Comma_list(Inst_or_adj).
Inst_or_adj : Named_adjacency | Part_adjacency.
Named_adjacency =
  <inst_name> DemIdent 
  [<adjacency> Part_adjacency].
Part_adjacency =
  ":" <vertex> Vertex <neighbors> Constituents.
Constituents : None | Construction_parts | Repetition_parts |
Terminal_value.
None = .
Construction_parts = "(" <parts> List(Labeled_adjacency) ")".
Repetition_parts = "{" <parts> Comma_list(Inst_or_adj) "}".
Terminal_value = <terminal_value> DemString.
Labeled_adjacency =
  <objName> Label <objDescr> Inst_or_adj.
Label = "<" <objName> DemIdent ">".
Vertex = <vertex_name> DemIdent.
List(S) ~ {S}.
Comma_list(S) ~ S {"," S}.

// for renaming

Renames = "*rename*" <conversions> Comma_list (Conversion).
Conversion = <old_name> Name "=>" <new_name> Name.
Name = <name> DemIdent.