import java.util.Vector;

// class dictionary
Cd_graph = <first> Adj.
Adj = <vertex> Vertex <ns> Construct ".".
Construct = "=" <l1> Labeled_vertex <l2> Labeled_vertex.
Labeled_vertex = "<" <label_name> Ident ">" 
                     <class_name> Vertex.
Vertex = <name> Ident.


// Visitors

Main = .

IsDemeterClassVisitor = 
  // vector of cd defined class names 
  <cd_defined_classes_out> ClassNames. 
CheckingVisitor = 
  // vector of cd defined class names 
  <cd_defined_classes_in> ClassNames
  <className> Vertex // current class
  <p> Integer // number of parts per class
  <pt> Integer // number of terminal parts per class
  <passed> Boolean
  .
ClassNames = *extends* Vector. // Vector(String)