*************** *************** DEFINITION TEST *************** *************** TEST BEGIN /proj/lieber2/stelios/testcases/definition/test1.input : Cd_graph ( : GlobalImports ( ) : Adjacency_Nlist { : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "A" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Labeled ( : Ident "b" : Normal ( : Vertex ( : Ident "B" ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "B" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "C" ) ) ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "D" ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "C" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Labeled ( : Ident "a" : Normal ( : Vertex ( : Ident "A" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "i" : Normal ( : Vertex ( : Ident "I" ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "D" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "X" ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "D" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular_syntax ( : String "d" ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "X" ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "F" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "List" ) : Term_Comma_list { : Nonempty_Term_Comma_list ( : Normal ( : Vertex ( : Ident "Z" ) ) ) } ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "I" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "Ident" ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "List" ) : Vertex_Comma_list { : Nonempty_Vertex_Comma_list ( : Vertex ( : Ident "S" ) ) } : Repetit_n ( : Kernel_Sandwich ( : Syntax_vertex_List { } : Kernel ( : Term_Sandwich ( : Syntax_vertex_List { } : Normal ( : Vertex ( : Ident "S" ) ) : Syntax_vertex_List { } ) ) : Syntax_vertex_List { } ) ) ) ) ) ) ) ) ) ) ) } ) --Undefined Classes Parts Check-- Warning: X is not defined in class dictionary. Warning: X is not defined in class dictionary. Warning: Z is not defined in class dictionary. Warning: Ident is not defined in class dictionary. --Unique Parts Check-- Trying to Add : B To : A Added : B Trying to Add : A To : C Added : A Trying to Add : I To : C Added : I -----Flattening----- : Cd_graph ( : GlobalImports ( ) : Adjacency_Nlist { : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "A" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Labeled ( : Ident "b" : Normal ( : Vertex ( : Ident "B" ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "B" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "C" ) ) ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "D" ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "C" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Labeled ( : Ident "a" : Normal ( : Vertex ( : Ident "A" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "i" : Normal ( : Vertex ( : Ident "I" ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "D" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "X" ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "D" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular_syntax ( : String "d" ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "X" ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "F" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "List" ) : Term_Comma_list { : Nonempty_Term_Comma_list ( : Normal ( : Vertex ( : Ident "Z" ) ) ) } ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "I" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "Ident" ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "List" ) : Vertex_Comma_list { : Nonempty_Vertex_Comma_list ( : Vertex ( : Ident "S" ) ) } : Repetit_n ( : Kernel_Sandwich ( : Syntax_vertex_List { } : Kernel ( : Term_Sandwich ( : Syntax_vertex_List { } : Normal ( : Vertex ( : Ident "S" ) ) : Syntax_vertex_List { } ) ) : Syntax_vertex_List { } ) ) ) ) ) ) ) ) ) ) ) } ) --Cyclic Inheritance-- --Single Inheritance-- --Done!-- NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/definition/test2.input : Cd_graph ( : GlobalImports ( ) : Adjacency_Nlist { : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "A" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "B" ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "B" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "C" ) ) ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "D" ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "C" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "Beta1" ) ) ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "Epsilon" ) ) ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "E" ) ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "D" ) : Construct_ns ( : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "E" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "F" ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "F" ) : Construct_ns ( : Any_vertex_List { } ) ) ) ) ) ) ) ) } ) --Undefined Classes Parts Check-- Warning: Beta1 is not defined in class dictionary. Warning: Epsilon is not defined in class dictionary. --Unique Parts Check-- -----Flattening----- : Cd_graph ( : GlobalImports ( ) : Adjacency_Nlist { : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "A" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "B" ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "B" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "C" ) ) ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "D" ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "C" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "Beta1" ) ) ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "Epsilon" ) ) ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "E" ) ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "D" ) : Construct_ns ( : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "E" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "F" ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "F" ) : Construct_ns ( : Any_vertex_List { } ) ) ) ) ) ) ) ) } ) --Cyclic Inheritance-- --Single Inheritance-- --Done!-- NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/definition/test3.input : Cd_graph ( : GlobalImports ( ) : Adjacency_Nlist { : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "X" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "A" ) ) ) : Nonempty_Any_vertex_List ( : Regular_syntax ( : String "+" ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "B" ) ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "A" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Labeled ( : Ident "g" : Normal ( : Vertex ( : Ident "G" ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "A" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "L" ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "L" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "Ident" ) ) ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "String" ) ) ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "P" ) ) ) ) ) ) } ) ) ) ) ) ) } ) --Undefined Classes Parts Check-- Warning: B is not defined in class dictionary. Warning: G is not defined in class dictionary. Warning: Ident is not defined in class dictionary. Warning: String is not defined in class dictionary. Warning: P is not defined in class dictionary. --Unique Parts Check-- Trying to Add : G To : A Added : G -----Flattening----- : Cd_graph ( : GlobalImports ( ) : Adjacency_Nlist { : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "X" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "A" ) ) ) : Nonempty_Any_vertex_List ( : Regular_syntax ( : String "+" ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "B" ) ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "A" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Labeled ( : Ident "g" : Normal ( : Vertex ( : Ident "G" ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "A" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "L" ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "L" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "Ident" ) ) ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "String" ) ) ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "P" ) ) ) ) ) ) } ) ) ) ) ) ) } ) --Cyclic Inheritance-- --Single Inheritance-- --Done!-- NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/definition/test4.input : Cd_graph ( : GlobalImports ( ) : Adjacency_Nlist { : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "A" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "B" ) ) : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "C" ) ) ) ) } : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "B" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "D" ) ) : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "E" ) ) ) ) } : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "F" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "J" ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "D" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Labeled ( : Ident "x" : Normal ( : Vertex ( : Ident "X" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "q" : Normal ( : Vertex ( : Ident "X" ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "E" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Labeled ( : Ident "z" : Normal ( : Vertex ( : Ident "Y" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "z" : Normal ( : Vertex ( : Ident "Y" ) ) ) ) ) } ) ) ) ) ) ) ) } ) --Undefined Classes Parts Check-- Warning: J is not defined in class dictionary. Warning: X is not defined in class dictionary. Warning: X is not defined in class dictionary. Warning: Y is not defined in class dictionary. Warning: Y is not defined in class dictionary. --Unique Parts Check-- Trying to Add : X To : D Added : X Trying to Add : X To : D Added : X Trying to Add : Y To : E Added : Y Trying to Add : Y To : E ERROR : Part z of class E is not unique! -----Flattening----- : Cd_graph ( : GlobalImports ( ) : Adjacency_Nlist { : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "A" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "B" ) ) : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "C" ) ) ) ) } : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "B" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "D" ) ) : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "E" ) ) ) ) } : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "F" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "J" ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "D" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Labeled ( : Ident "x" : Normal ( : Vertex ( : Ident "X" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "q" : Normal ( : Vertex ( : Ident "X" ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "E" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Labeled ( : Ident "z" : Normal ( : Vertex ( : Ident "Y" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "z" : Normal ( : Vertex ( : Ident "Y" ) ) ) ) ) } ) ) ) ) ) ) ) } ) --Cyclic Inheritance-- --Single Inheritance-- --Done!-- NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/definition/test5.input : Cd_graph ( : GlobalImports ( ) : Adjacency_Nlist { : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "Main" ) : Construct_ns ( : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "A" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "C" ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "B" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "C" ) ) : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "D" ) ) ) ) } : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "C" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Labeled ( : Ident "e" : Normal ( : Vertex ( : Ident "E" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "h" : Normal ( : Vertex ( : Ident "H" ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "D" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "F" ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "E" ) : Construct_ns ( : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "G" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "H" ) ) ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "H" ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "H" ) : Construct_ns ( : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "I" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Labeled ( : Ident "j" : Normal ( : Vertex ( : Ident "J" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "j" : Normal ( : Vertex ( : Ident "K" ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "J" ) : Construct_ns ( : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "K" ) : Construct_ns ( : Any_vertex_List { } ) ) ) ) ) ) ) ) ) ) ) ) ) } ) --Undefined Classes Parts Check-- Warning: F is not defined in class dictionary. --Unique Parts Check-- Trying to Add : E To : C Added : E Trying to Add : H To : C Added : H ERROR : Part h of class G is not unique! Trying to Add : J To : I Added : J Trying to Add : K To : I ERROR : Part j of class I is not unique! -----Flattening----- : Cd_graph ( : GlobalImports ( ) : Adjacency_Nlist { : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "Main" ) : Construct_ns ( : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "A" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "C" ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "B" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "C" ) ) : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "D" ) ) ) ) } : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "C" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Labeled ( : Ident "e" : Normal ( : Vertex ( : Ident "E" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "h" : Normal ( : Vertex ( : Ident "H" ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "D" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "F" ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "E" ) : Construct_ns ( : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "G" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "H" ) ) ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "H" ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "H" ) : Construct_ns ( : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "I" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Labeled ( : Ident "j" : Normal ( : Vertex ( : Ident "J" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "j" : Normal ( : Vertex ( : Ident "K" ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "J" ) : Construct_ns ( : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "K" ) : Construct_ns ( : Any_vertex_List { } ) ) ) ) ) ) ) ) ) ) ) ) ) } ) --Cyclic Inheritance-- --Single Inheritance-- --Done!-- NEXT TEST *************** *************** INHERITANCE CYCLE TEST *************** *************** TEST BEGIN /proj/lieber2/stelios/testcases/inheritanceCycle/test1.input : Cd_graph ( : GlobalImports ( ) : Adjacency_Nlist { : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "A" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "B" ) ) : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "D" ) ) ) ) } : Common ( ) : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "D" ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "B" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "E" ) ) : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "G" ) ) ) ) } : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "D" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "A" ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "E" ) : Construct_ns ( : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "F" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "A" ) ) ) } : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "G" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "F" ) ) ) } : Any_vertex_List { } ) ) ) ) ) ) ) ) } ) --Undefined Classes Parts Check-- --Unique Parts Check-- -----Flattening----- : Cd_graph ( : GlobalImports ( ) : Adjacency_Nlist { : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "A" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "B" ) ) : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "D" ) ) ) ) } : Common ( ) : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "B" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "E" ) ) : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "G" ) ) ) ) } : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "D" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "A" ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "E" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "D" ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "F" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "A" ) ) ) } : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "G" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "F" ) ) ) } : Any_vertex_List { } ) ) ) ) ) ) ) ) } ) --Cyclic Inheritance-- --Single Inheritance-- --Done!-- NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/inheritanceCycle/test2.input : Cd_graph ( : GlobalImports ( ) : Adjacency_Nlist { : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "A" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "B" ) ) : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "D" ) ) ) ) } : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "D" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "E" ) ) ) } : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "B" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "C" ) ) ) } : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "C" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "D" ) ) ) } : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "E" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "A" ) ) ) } : Any_vertex_List { } ) ) ) ) ) ) ) } ) --Undefined Classes Parts Check-- --Unique Parts Check-- -----Flattening----- : Cd_graph ( : GlobalImports ( ) : Adjacency_Nlist { : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "A" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "B" ) ) : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "D" ) ) ) ) } : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "D" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "E" ) ) ) } : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "B" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "C" ) ) ) } : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "C" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "D" ) ) ) } : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "E" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "A" ) ) ) } : Any_vertex_List { } ) ) ) ) ) ) ) } ) --Cyclic Inheritance-- --Single Inheritance-- Error: duplicate Inheritence in Super Class C Class D is already defined in Class: A --Done!-- NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/inheritanceCycle/test3.input : Cd_graph ( : GlobalImports ( ) : Adjacency_Nlist { : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "A" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "B" ) ) ) } : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "B" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "C" ) ) ) } : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "C" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "A" ) ) ) } : Any_vertex_List { } ) ) ) ) ) } ) --Undefined Classes Parts Check-- --Unique Parts Check-- -----Flattening----- : Cd_graph ( : GlobalImports ( ) : Adjacency_Nlist { : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "A" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "B" ) ) ) } : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "B" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "C" ) ) ) } : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "C" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "A" ) ) ) } : Any_vertex_List { } ) ) ) ) ) } ) --Cyclic Inheritance-- --Single Inheritance-- --Done!-- NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/inheritanceCycle/test4.input : Cd_graph ( : GlobalImports ( ) : Adjacency_Nlist { : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "Main" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Labeled ( : Ident "s" : Normal ( : Vertex ( : Ident "String" ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "A" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Labeled ( : Ident "b" : Normal ( : Vertex ( : Ident "B" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "c" : Normal ( : Vertex ( : Ident "C" ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "B" ) : Construct_ns ( : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "C" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Labeled ( : Ident "b" : Normal ( : Vertex ( : Ident "B" ) ) ) ) } ) ) ) ) ) ) } ) --Undefined Classes Parts Check-- Warning: String is not defined in class dictionary. --Unique Parts Check-- Trying to Add : String To : Main Added : String Trying to Add : B To : A Added : B Trying to Add : C To : A Added : C Trying to Add : B To : C Added : B -----Flattening----- : Cd_graph ( : GlobalImports ( ) : Adjacency_Nlist { : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "Main" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Labeled ( : Ident "s" : Normal ( : Vertex ( : Ident "String" ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "A" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Labeled ( : Ident "b" : Normal ( : Vertex ( : Ident "B" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "c" : Normal ( : Vertex ( : Ident "C" ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "B" ) : Construct_ns ( : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "C" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Labeled ( : Ident "b" : Normal ( : Vertex ( : Ident "B" ) ) ) ) } ) ) ) ) ) ) } ) --Cyclic Inheritance-- --Single Inheritance-- --Done!-- NEXT TEST *************** *************** MULTIPLE INHERITANCE TEST *************** *************** TEST BEGIN /proj/lieber2/stelios/testcases/inheritanceSingle/test1.input : Cd_graph ( : GlobalImports ( ) : Adjacency_Nlist { : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "A" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "B" ) ) : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "C" ) ) ) ) } : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "Z" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "B" ) ) : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "G" ) ) ) ) } : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "B" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular_syntax ( : String "b" ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "C" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular_syntax ( : String "c" ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "G" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular_syntax ( : String "g" ) ) } ) ) ) ) ) ) ) } ) --Undefined Classes Parts Check-- --Unique Parts Check-- -----Flattening----- : Cd_graph ( : GlobalImports ( ) : Adjacency_Nlist { : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "A" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "B" ) ) : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "C" ) ) ) ) } : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "Z" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "B" ) ) : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "G" ) ) ) ) } : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "B" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular_syntax ( : String "b" ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "C" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular_syntax ( : String "c" ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "G" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular_syntax ( : String "g" ) ) } ) ) ) ) ) ) ) } ) --Cyclic Inheritance-- --Single Inheritance-- Error: duplicate Inheritence in Super Class Z Class B is already defined in Class: A --Done!-- NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/inheritanceSingle/test2.input : Cd_graph ( : GlobalImports ( ) : Adjacency_Nlist { : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "X" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "L" ) ) : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "N" ) ) : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "P" ) ) ) ) ) } : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "G" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "N" ) ) : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "P" ) ) ) ) } : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "Q" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "A" ) ) : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "L" ) ) : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "P" ) ) ) ) ) } : Any_vertex_List { } ) ) ) ) ) } ) --Undefined Classes Parts Check-- --Unique Parts Check-- -----Flattening----- : Cd_graph ( : GlobalImports ( ) : Adjacency_Nlist { : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "X" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "L" ) ) : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "N" ) ) : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "P" ) ) ) ) ) } : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "G" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "N" ) ) : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "P" ) ) ) ) } : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "Q" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "A" ) ) : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "L" ) ) : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "P" ) ) ) ) ) } : Any_vertex_List { } ) ) ) ) ) } ) --Cyclic Inheritance-- --Single Inheritance-- Error: duplicate Inheritence in Super Class G Class N is already defined in Class: X Error: duplicate Inheritence in Super Class G Class P is already defined in Class: X Error: duplicate Inheritence in Super Class Q Class L is already defined in Class: X Error: duplicate Inheritence in Super Class Q Class P is already defined in Class: X --Done!-- NEXT TEST *************** *************** UNIQUE PARTS TEST *************** *************** TEST BEGIN /proj/lieber2/stelios/testcases/unique/test1.input : Cd_graph ( : GlobalImports ( ) : Adjacency_Nlist { : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "A" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "B1" ) ) : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "C" ) ) ) ) } : Common ( ) : Any_vertex_List { : Nonempty_Any_vertex_List ( : Labeled ( : Ident "z" : Normal ( : Vertex ( : Ident "Z" ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "B1" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "B2" ) ) ) } : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "B2" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "B" ) ) ) } : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "B" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Labeled ( : Ident "z" : Normal ( : Vertex ( : Ident "X" ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "C" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "X" ) ) ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "X" ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "G" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular_syntax ( : String "g" ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "X" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular_syntax ( : String "x" ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "Y" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Labeled ( : Ident "g" : Normal ( : Vertex ( : Ident "G" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "g" : Normal ( : Vertex ( : Ident "Z" ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "Z" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular_syntax ( : String "z" ) ) } ) ) ) ) ) ) ) ) ) ) ) } ) --Undefined Classes Parts Check-- --Unique Parts Check-- Trying to Add : X To : B Added : X ERROR : Part x of class C is not unique! Trying to Add : G To : Y Added : G Trying to Add : Z To : Y ERROR : Part g of class Y is not unique! -----Flattening----- : Cd_graph ( : GlobalImports ( ) : Adjacency_Nlist { : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "A" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "B1" ) ) : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "C" ) ) ) ) } : Common ( ) : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "B1" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "B2" ) ) ) } : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "B2" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "B" ) ) ) } : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "B" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Labeled ( : Ident "z" : Normal ( : Vertex ( : Ident "X" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "z" : Normal ( : Vertex ( : Ident "Z" ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "C" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "X" ) ) ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "X" ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "G" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular_syntax ( : String "g" ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "X" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular_syntax ( : String "x" ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "Y" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Labeled ( : Ident "g" : Normal ( : Vertex ( : Ident "G" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "g" : Normal ( : Vertex ( : Ident "Z" ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "Z" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular_syntax ( : String "z" ) ) } ) ) ) ) ) ) ) ) ) ) ) } ) --Cyclic Inheritance-- --Single Inheritance-- --Done!-- NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/unique/test2.input : Cd_graph ( : GlobalImports ( ) : Adjacency_Nlist { : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "Main" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Labeled ( : Ident "s" : Normal ( : Vertex ( : Ident "String" ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "A" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "B" ) ) : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "E" ) ) ) ) } : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "common" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "a" : Normal ( : Vertex ( : Ident "X" ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "B" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Labeled ( : Ident "x" : Normal ( : Vertex ( : Ident "X" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "X" : Normal ( : Vertex ( : Ident "X" ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "C" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "G" ) ) : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "X" ) ) ) ) } : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "common" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "y" : Normal ( : Vertex ( : Ident "D" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "z" : Normal ( : Vertex ( : Ident "B" ) ) ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "D" ) ) ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "E" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "D" ) ) ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "F" ) ) ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "D" ) ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "D" ) : Construct_ns ( : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "G" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Labeled ( : Ident "a" : Normal ( : Vertex ( : Ident "A" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "a" : Normal ( : Vertex ( : Ident "B" ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "X" ) : Construct_ns ( : Any_vertex_List { } ) ) ) ) ) ) ) ) ) ) } ) --Undefined Classes Parts Check-- Warning: String is not defined in class dictionary. Warning: common is not defined in class dictionary. Warning: common is not defined in class dictionary. Warning: F is not defined in class dictionary. --Unique Parts Check-- Trying to Add : String To : Main Added : ~~String Trying to Add : X To : B Added : X Trying to Add : X To : B Added : X ERROR : Part d of class E is not unique! Trying to Add : A To : G Added :~~ A Trying to Add : B To : G ERROR : Part a of class G is not unique! -----Flattening----- : Cd_graph ( : GlobalImports ( ) : Adjacency_Nlist { : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "Main" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Labeled ( : Ident "s" : Normal ( : Vertex ( : Ident "String" ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "A" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "B" ) ) : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "E" ) ) ) ) } : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "B" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Labeled ( : Ident "x" : Normal ( : Vertex ( : Ident "X" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "X" : Normal ( : Vertex ( : Ident "X" ) ) ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "common" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "a" : Normal ( : Vertex ( : Ident "X" ) ) ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "C" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "G" ) ) : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "X" ) ) ) ) } : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "E" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "D" ) ) ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "F" ) ) ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "D" ) ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "D" ) : Construct_ns ( : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "G" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Labeled ( : Ident "a" : Normal ( : Vertex ( : Ident "A" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "a" : Normal ( : Vertex ( : Ident "B" ) ) ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "common" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "y" : Normal ( : Vertex ( : Ident "D" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "z" : Normal ( : Vertex ( : Ident "B" ) ) ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "D" ) ) ) ) ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "X" ) : Construct_ns ( : Any_vertex_List { } ) ) ) ) ) ) ) ) ) ) } ) --Cyclic Inheritance-- --Single Inheritance-- --Done!-- NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/unique/test3.input : Cd_graph ( : GlobalImports ( ) : Adjacency_Nlist { : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "Main" ) : Construct_ns ( : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "A" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "C" ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "B" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "C" ) ) : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "D" ) ) ) ) } : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "C" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Labeled ( : Ident "e" : Normal ( : Vertex ( : Ident "E" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "h" : Normal ( : Vertex ( : Ident "H" ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "D" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "F" ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "E" ) : Construct_ns ( : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "H" ) : Construct_ns ( : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "I" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Labeled ( : Ident "j" : Normal ( : Vertex ( : Ident "J" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "j" : Normal ( : Vertex ( : Ident "K" ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "J" ) : Construct_ns ( : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "K" ) : Construct_ns ( : Any_vertex_List { } ) ) ) ) ) ) ) ) ) ) ) ) } ) --Undefined Classes Parts Check-- Warning: F is not defined in class dictionary. --Unique Parts Check-- Trying to Add : E To : C Added : E Trying to Add : H To : C Added : H Trying to Add : J To : I Added : J Trying to Add : K To : I ERROR : Part j of class I is not unique! -----Flattening----- : Cd_graph ( : GlobalImports ( ) : Adjacency_Nlist { : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "Main" ) : Construct_ns ( : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "A" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "C" ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "B" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "C" ) ) : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "D" ) ) ) ) } : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "C" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Labeled ( : Ident "e" : Normal ( : Vertex ( : Ident "E" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "h" : Normal ( : Vertex ( : Ident "H" ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "D" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "F" ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "E" ) : Construct_ns ( : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "H" ) : Construct_ns ( : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "I" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Labeled ( : Ident "j" : Normal ( : Vertex ( : Ident "J" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "j" : Normal ( : Vertex ( : Ident "K" ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "J" ) : Construct_ns ( : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "K" ) : Construct_ns ( : Any_vertex_List { } ) ) ) ) ) ) ) ) ) ) ) ) } ) --Cyclic Inheritance-- --Single Inheritance-- --Done!-- NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/unique/test4.input : Cd_graph ( : GlobalImports ( ) : Adjacency_Nlist { : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "Main" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Labeled ( : Ident "s" : Normal ( : Vertex ( : Ident "String" ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "A" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "B" ) ) : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "E" ) ) ) ) } : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "common" ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "B" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Labeled ( : Ident "x" : Normal ( : Vertex ( : Ident "X" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "X" : Normal ( : Vertex ( : Ident "X" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "a" : Normal ( : Vertex ( : Ident "X" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "y" : Normal ( : Vertex ( : Ident "D" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "z" : Normal ( : Vertex ( : Ident "B" ) ) ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "D" ) ) ) ) ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "C" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "G" ) ) ) } : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "E" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "D" ) ) ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "F" ) ) ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "D" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "a" : Normal ( : Vertex ( : Ident "X" ) ) ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "G" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Labeled ( : Ident "a" : Normal ( : Vertex ( : Ident "A" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "b" : Normal ( : Vertex ( : Ident "B" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "y" : Normal ( : Vertex ( : Ident "D" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "z" : Normal ( : Vertex ( : Ident "B" ) ) ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "D" ) ) ) ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "X" ) : Construct_ns ( : Any_vertex_List { } ) ) ) ) ) ) ) ) ) } ) --Undefined Classes Parts Check-- Warning: String is not defined in class dictionary. Warning: common is not defined in class dictionary. Warning: D is not defined in class dictionary. Warning: D is not defined in class dictionary. Warning: D is not defined in class dictionary. Warning: F is not defined in class dictionary. Warning: D is not defined in class dictionary. Warning: D is not defined in class dictionary. Warning: D is not defined in class dictionary. --Unique Parts Check-- Trying to Add : String To : Main Added : ~~String Trying to Add : X To : B Added : X Trying to Add : X To : B Added : X Trying to Add : X To : B Added :~~ X Trying to Add : D To : B Added : D Trying to Add : B To : B Added : B ERROR : Part d of class E is not unique! Trying to Add : X To : E Added : X Trying to Add : A To : G Added : A Trying to Add : B To : G Added : B Trying to Add : D To : G Added : D Trying to Add : B To : G Added : B -----Flattening----- : Cd_graph ( : GlobalImports ( ) : Adjacency_Nlist { : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "Main" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Labeled ( : Ident "s" : Normal ( : Vertex ( : Ident "String" ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "A" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "B" ) ) : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "E" ) ) ) ) } : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "B" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Labeled ( : Ident "x" : Normal ( : Vertex ( : Ident "X" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "X" : Normal ( : Vertex ( : Ident "X" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "a" : Normal ( : Vertex ( : Ident "X" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "y" : Normal ( : Vertex ( : Ident "D" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "z" : Normal ( : Vertex ( : Ident "B" ) ) ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "D" ) ) ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "common" ) ) ) ) ) ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "C" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "G" ) ) ) } : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "E" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "D" ) ) ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "F" ) ) ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "D" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "a" : Normal ( : Vertex ( : Ident "X" ) ) ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "G" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Labeled ( : Ident "a" : Normal ( : Vertex ( : Ident "A" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "b" : Normal ( : Vertex ( : Ident "B" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "y" : Normal ( : Vertex ( : Ident "D" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "z" : Normal ( : Vertex ( : Ident "B" ) ) ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "D" ) ) ) ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "X" ) : Construct_ns ( : Any_vertex_List { } ) ) ) ) ) ) ) ) ) } ) --Cyclic Inheritance-- --Single Inheritance-- --Done!-- NEXT TEST *************** *************** TBR TEST *************** *************** TEST BEGIN /proj/lieber2/stelios/testcases/terminal/test1.input : Cd_graph ( : GlobalImports ( ) : Adjacency_Nlist { : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "R" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "List" ) : Term_Comma_list { : Nonempty_Term_Comma_list ( : Normal ( : Vertex ( : Ident "Ident" ) ) ) } ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "T" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "String" ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "V" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "W" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "i" : Normal ( : Vertex ( : Ident "Ident" ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "W" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular_syntax ( : String "w" ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "List" ) : Vertex_Comma_list { : Nonempty_Vertex_Comma_list ( : Vertex ( : Ident "S" ) ) } : Repetit_n ( : Kernel_Sandwich ( : Syntax_vertex_List { } : Kernel ( : Term_Sandwich ( : Syntax_vertex_List { } : Normal ( : Vertex ( : Ident "S" ) ) : Syntax_vertex_List { } ) ) : Syntax_vertex_List { } ) ) ) ) ) ) ) ) } ) --Undefined Classes Parts Check-- Warning: Ident is not defined in class dictionary. Warning: String is not defined in class dictionary. Warning: Ident is not defined in class dictionary. --Unique Parts Check-- Trying to Add : Ident To : V Added : Ident -----Flattening----- : Cd_graph ( : GlobalImports ( ) : Adjacency_Nlist { : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "R" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "List" ) : Term_Comma_list { : Nonempty_Term_Comma_list ( : Normal ( : Vertex ( : Ident "Ident" ) ) ) } ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "T" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "String" ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "V" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "W" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "i" : Normal ( : Vertex ( : Ident "Ident" ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "W" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular_syntax ( : String "w" ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "List" ) : Vertex_Comma_list { : Nonempty_Vertex_Comma_list ( : Vertex ( : Ident "S" ) ) } : Repetit_n ( : Kernel_Sandwich ( : Syntax_vertex_List { } : Kernel ( : Term_Sandwich ( : Syntax_vertex_List { } : Normal ( : Vertex ( : Ident "S" ) ) : Syntax_vertex_List { } ) ) : Syntax_vertex_List { } ) ) ) ) ) ) ) ) } ) --Cyclic Inheritance-- --Single Inheritance-- --Done!-- NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/terminal/test2.input : Cd_graph ( : GlobalImports ( ) : Adjacency_Nlist { : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "B" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "C" ) ) : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "D" ) ) ) ) } : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "common" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "h" : Normal ( : Vertex ( : Ident "H" ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "C" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "String" ) ) ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "E" ) ) ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "Ident" ) ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "D" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "E" ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "H" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "Boolean" ) ) ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "V" ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "E" ) : Construct_ns ( : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "V" ) : Construct_ns ( : Any_vertex_List { } ) ) ) ) ) ) ) ) } ) --Undefined Classes Parts Check-- Warning: common is not defined in class dictionary. Warning: String is not defined in class dictionary. Warning: Ident is not defined in class dictionary. Warning: Boolean is not defined in class dictionary. --Unique Parts Check-- -----Flattening----- : Cd_graph ( : GlobalImports ( ) : Adjacency_Nlist { : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "B" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "C" ) ) : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "D" ) ) ) ) } : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "C" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "String" ) ) ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "E" ) ) ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "Ident" ) ) ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "common" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "h" : Normal ( : Vertex ( : Ident "H" ) ) ) ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "D" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "E" ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "H" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "Boolean" ) ) ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "V" ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "E" ) : Construct_ns ( : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "V" ) : Construct_ns ( : Any_vertex_List { } ) ) ) ) ) ) ) ) } ) --Cyclic Inheritance-- --Single Inheritance-- --Done!-- NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/terminal/test3.input : Cd_graph ( : GlobalImports ( ) : Adjacency_Nlist { : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "B" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "C" ) ) : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "D" ) ) ) ) } : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "common" ) ) ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "String" ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "C" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "String" ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "D" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "Ident" ) ) ) ) } ) ) ) ) ) } ) --Undefined Classes Parts Check-- Warning: common is not defined in class dictionary. Warning: String is not defined in class dictionary. Warning: String is not defined in class dictionary. Warning: Ident is not defined in class dictionary. --Unique Parts Check-- -----Flattening----- : Cd_graph ( : GlobalImports ( ) : Adjacency_Nlist { : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "B" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "C" ) ) : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "D" ) ) ) ) } : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "C" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "String" ) ) ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "common" ) ) ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "String" ) ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "D" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "Ident" ) ) ) ) } ) ) ) ) ) } ) --Cyclic Inheritance-- --Single Inheritance-- --Done!-- NEXT TEST *************** *************** FLATTEN TEST *************** *************** TEST BEGIN /proj/lieber2/stelios/testcases/flatten/test1.input : Cd_graph ( : GlobalImports ( ) : Adjacency_Nlist { : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "B" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "C" ) ) : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "D" ) ) ) ) } : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "C" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "String" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "h" : Normal ( : Vertex ( : Ident "H" ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "D" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "E" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "h" : Normal ( : Vertex ( : Ident "H" ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "H" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "Boolean" ) ) ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "V" ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "E" ) : Construct_ns ( : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "V" ) : Construct_ns ( : Any_vertex_List { } ) ) ) ) ) ) ) ) } ) --Undefined Classes Parts Check-- Warning: String is not defined in class dictionary. Warning: Boolean is not defined in class dictionary. --Unique Parts Check-- Trying to Add : H To : C Added : H Trying to Add : H To : D Added : H -----Flattening----- : Cd_graph ( : GlobalImports ( ) : Adjacency_Nlist { : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "B" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "C" ) ) : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "D" ) ) ) ) } : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "C" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "String" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "h" : Normal ( : Vertex ( : Ident "H" ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "D" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "E" ) ) ) : Nonempty_Any_vertex_List ( : Labeled ( : Ident "h" : Normal ( : Vertex ( : Ident "H" ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "H" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "Boolean" ) ) ) : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "V" ) ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "E" ) : Construct_ns ( : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "V" ) : Construct_ns ( : Any_vertex_List { } ) ) ) ) ) ) ) ) } ) --Cyclic Inheritance-- --Single Inheritance-- --Done!-- NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/flatten/test2.input : Cd_graph ( : GlobalImports ( ) : Adjacency_Nlist { : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "B" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "C" ) ) : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "D" ) ) ) ) } : Common ( ) : Any_vertex_List { : Nonempty_Any_vertex_List ( : Labeled ( : Ident "h" : Normal ( : Vertex ( : Ident "H" ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "C" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "String" ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "D" ) : Construct_