DemeterJ version 0.8.2 Copyright (c) 2000 Northeastern University Reading project file scs.prj... Running the test... Undefined classes check... ERROR: Class Small is not defined. ERROR: Class Integer is not defined. ERROR: Class Double is not defined. Unique parts check... Single inheritence check... ERROR: The class Left has two super classes: AbstractOne, AbstractTwo. : Cd_graph ( : Adjacency_Nlist { : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "Main" ) : Construct_ns ( : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "Big" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Regular ( : Normal ( : Vertex ( : Ident "Small" ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "AbstractOne" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "Left" ) ) : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "Right" ) ) ) ) } : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "Left" ) : Construct_ns ( : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "Right" ) : Construct_ns ( : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "AbstractTwo" ) : Alternat_ns ( : Term_Bar_list { : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "Left" ) ) : Nonempty_Term_Bar_list ( : Normal ( : Vertex ( : Ident "Up" ) ) ) ) } : Any_vertex_List { } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "Up" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Labeled ( : Ident "up" : Normal ( : Vertex ( : Ident "Integer" ) ) ) ) } ) ) : Nonempty_Adjacency_Nlist ( : Adjacency ( : Vertex ( : Ident "Down" ) : Construct_ns ( : Any_vertex_List { : Nonempty_Any_vertex_List ( : Labeled ( : Ident "up" : Normal ( : Vertex ( : Ident "Double" ) ) ) ) } ) ) ) ) ) ) ) ) ) ) } ) Finished new .cd checks