*************** *************** DEFINITION TEST *************** *************** TEST BEGIN /proj/lieber2/stelios/testcases/definition/test1.input NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/definition/test2.input Undefined classes check... Unique parts check... Single inheritence check... : Cd_graph ( : 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 { } ) ) ) ) ) ) ) ) } ) Finished new .cd checks NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/definition/test3.input Undefined classes check... Unique parts check... Single inheritence check... : Cd_graph ( : 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" ) ) ) ) ) ) } ) ) ) ) ) ) } ) Finished new .cd checks NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/definition/test4.input Undefined classes check... Unique parts check... Single inheritence check... : Cd_graph ( : 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" ) ) ) ) ) } ) ) ) ) ) ) ) } ) Finished new .cd checks NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/definition/test5.input Undefined classes check... Unique parts check... Single inheritence check... : Cd_graph ( : 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 { } ) ) ) ) ) ) ) ) ) ) ) ) ) } ) Finished new .cd checks NEXT TEST *************** *************** INHERITANCE CYCLE TEST *************** *************** TEST BEGIN /proj/lieber2/stelios/testcases/inheritanceCycle/test1.input NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/inheritanceCycle/test2.input Undefined classes check... Unique parts check... Single inheritence check... : Cd_graph ( : 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 { } ) ) ) ) ) ) ) } ) Finished new .cd checks NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/inheritanceCycle/test3.input Undefined classes check... Unique parts check... Single inheritence check... : Cd_graph ( : 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 { } ) ) ) ) ) } ) Finished new .cd checks NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/inheritanceCycle/test4.input Undefined classes check... Unique parts check... Single inheritence check... : Cd_graph ( : 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" ) ) ) ) } ) ) ) ) ) ) } ) Finished new .cd checks NEXT TEST *************** *************** MULTIPLE INHERITANCE TEST *************** *************** TEST BEGIN /proj/lieber2/stelios/testcases/inheritanceSingle/test1.input Undefined classes check... Unique parts check... Single inheritence check... : Cd_graph ( : 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" ) ) } ) ) ) ) ) ) ) } ) Finished new .cd checks NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/inheritanceSingle/test2.input Undefined classes check... Unique parts check... Single inheritence check... : Cd_graph ( : 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 { } ) ) ) ) ) } ) Finished new .cd checks NEXT TEST *************** *************** UNIQUE PARTS TEST *************** *************** TEST BEGIN /proj/lieber2/stelios/testcases/unique/test1.input NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/unique/test2.input Undefined classes check... Unique parts check... Single inheritence check... : Cd_graph ( : 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" ) ) ) ) } : Common ( ) : Any_vertex_List { : 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" ) ) ) ) } : Common ( ) : Any_vertex_List { : 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 { } ) ) ) ) ) ) ) ) ) ) } ) Finished new .cd checks NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/unique/test3.input Undefined classes check... Unique parts check... Single inheritence check... : Cd_graph ( : 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 { } ) ) ) ) ) ) ) ) ) ) ) ) } ) Finished new .cd checks NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/unique/test4.input Undefined classes check... Unique parts check... Single inheritence check... : Cd_graph ( : 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" ) ) ) ) } : Common ( ) : 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_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 { } ) ) ) ) ) ) ) ) ) } ) Finished new .cd checks NEXT TEST *************** *************** TBR TEST *************** *************** TEST BEGIN /proj/lieber2/stelios/testcases/terminal/test1.input NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/terminal/test2.input Undefined classes check... Unique parts check... Single inheritence check... : Cd_graph ( : 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_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 { } ) ) ) ) ) ) ) ) } ) Finished new .cd checks NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/terminal/test3.input Undefined classes check... Unique parts check... Single inheritence check... : Cd_graph ( : 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 ( : 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" ) ) ) ) } ) ) ) ) ) } ) Finished new .cd checks NEXT TEST *************** *************** FLATTEN TEST *************** *************** TEST BEGIN /proj/lieber2/stelios/testcases/flatten/test1.input Undefined classes check... Unique parts check... Single inheritence check... : Cd_graph ( : 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 { } ) ) ) ) ) ) ) ) } ) Finished new .cd checks NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/flatten/test2.input NEXT TEST FINAL TEST /proj/lieber2/stelios/testcases/general/final.input