import edu.neu.ccs.demeter.dj.*;
import java.util.*;
Main =			.

Cd_graph =			<adjacencies> Adjacency_Nlist EOF.

Adjacency =			<source> Vertex <ns> Neighbors ["Extends" <supers> SuperClasses] ".".

SuperClasses =			<superclass_comma_list> SuperClass_Comma_list.

SuperClass =			<super_name> Ident.

Neighbors :			Neighbors_wc			.

Neighbors_wc :			Construct_ns
			| Alternat_ns
	common			<construct_ns> Any_vertex_List extends Neighbors.

Construct_ns =			"=" extends Neighbors_wc.

Alternat_ns =			":" <alternat_ns> Term_Bar_list [ <common> Common]extends Neighbors_wc.

Common =			"common".

Any_vertex :			Opt_labeled_term
			| Optional_term
			| Syntax_vertex			.

Vertex =			<vertex_name> Ident.

Syntax_vertex :			Regular_syntax
	common			extends Any_vertex.

Regular_syntax =			<string> String extends Syntax_vertex.

Opt_labeled_term :			Labeled
			| Regular
	common			<vertex> Term extends Any_vertex.

Regular =			extends Opt_labeled_term.

Labeled =			"<" <label_name> Ident ">" extends Opt_labeled_term.

Term :			Normal
	common			<vertex> Vertex.

Normal =			extends Term.

Optional_term =			"[" <opt> Opt_labeled_term_Sandwich "]" extends Any_vertex.

notparsed visitor PrintVisitor =			<indent> int <needSpace> boolean extends UniversalVisitor.

notparsed visitor CopyVisitor =			<copy> derived Object extends UniversalVisitor.

notparsed visitor SubgraphVisitor =			<is_equal> boolean init (@ true @) extends UniversalVisitor.

notparsed visitor EqualVisitor =			<is_equal> boolean init (@ true @) extends UniversalVisitor.

notparsed visitor DisplayVisitor =			<indent> int extends UniversalVisitor.

notparsed visitor TraceVisitor =			<indent> int extends UniversalVisitor.

notparsed visitor UniversalVisitor :						.
			
			Adjacency_Nlist =			<first> Nonempty_Adjacency_Nlist.
			
			SuperClass_Comma_list =			<first> Nonempty_SuperClass_Comma_list.
			
			Any_vertex_List =			[ <first> Nonempty_Any_vertex_List].
			
			Term_Bar_list =			<first> Nonempty_Term_Bar_list.
			
			Opt_labeled_term_Sandwich =			<first> Syntax_vertex_List <inner> Opt_labeled_term <second> Syntax_vertex_List.
			
			Syntax_vertex_List =			[ <first> Nonempty_Syntax_vertex_List].
			
			Nonempty_Adjacency_Nlist =			<it> Adjacency [ <next> Nonempty_Adjacency_Nlist].
			
			Nonempty_SuperClass_Comma_list =			<it> SuperClass ["," <next> Nonempty_SuperClass_Comma_list].
			
			Nonempty_Any_vertex_List =			<it> Any_vertex [ <next> Nonempty_Any_vertex_List].
			
			Nonempty_Term_Bar_list =			<it> Term ["|" <next> Nonempty_Term_Bar_list].
			
			Nonempty_Syntax_vertex_List =			<it> Syntax_vertex [ <next> Nonempty_Syntax_vertex_List].