*************** 
 *************** 
 DEFINITION TEST
 *************** 
 *************** 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/definition/test1.input
-------Flattening the Cd_graph Object-------
***Before Flattening***
A=<b>B.
B=C D.
C=<a>A<i>I.
D=X.
D="d" X.
F=List(Z).
I=Ident.
List(S)~{S}.

***Start Flattening***

***Flattening Done***

***After Flattening***
A=<b>B.
B=C D.
C=<a>A<i>I.
D=X.
D="d" X.
F=List(Z).
I=Ident.
List(S)~{S}.
-------Running Undefined Class Check--------
Class Z is not defined in the cd
Class X is not defined in the cd
Class Ident is not defined in the cd
---------Running Unique Part Check----------
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/definition/test2.input
-------Flattening the Cd_graph Object-------
***Before Flattening***
A=B.
B=C D.
C=Beta1 Epsilon E.
D=.
E=F.
F=.

***Start Flattening***

***Flattening Done***

***After Flattening***
A=B.
B=C D.
C=Beta1 Epsilon E.
D=.
E=F.
F=.
-------Running Undefined Class Check--------
Class Beta1 is not defined in the cd
Class Epsilon is not defined in the cd
---------Running Unique Part Check----------
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/definition/test3.input
-------Flattening the Cd_graph Object-------
***Before Flattening***
X=A "+" B.
A=<g>G.
A=L.
L=Ident String P.

***Start Flattening***

***Flattening Done***

***After Flattening***
X=A "+" B.
A=<g>G.
A=L.
L=Ident String P.
-------Running Undefined Class Check--------
Class String is not defined in the cd
Class Ident is not defined in the cd
Class G is not defined in the cd
Class P is not defined in the cd
Class B is not defined in the cd
---------Running Unique Part Check----------
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/definition/test4.input
-------Flattening the Cd_graph Object-------
***Before Flattening***
A:B|C.
B:D|E.
F=J.
D=<x>X<q>X.
E=<z>Y<z>Y.

***Start Flattening***

***Flattening Done***

***After Flattening***
A:B|C.
B:D|E.
F=J.
D=<x>X<q>X.
E=<z>Y<z>Y.
-------Running Undefined Class Check--------
Class J is not defined in the cd
Class Y is not defined in the cd
Class C is not defined in the cd
Class X is not defined in the cd
---------Running Unique Part Check----------
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/definition/test5.input
-------Flattening the Cd_graph Object-------
***Before Flattening***
Main=.
A=C.
B:C|D.
C=<e>E<h>H.
D=F.
E=.
G=H H.
H=.
I=<j>J<j>K.
J=.
K=.

***Start Flattening***

***Flattening Done***

***After Flattening***
Main=.
A=C.
B:C|D.
C=<e>E<h>H.
D=F.
E=.
G=H H.
H=.
I=<j>J<j>K.
J=.
K=.
-------Running Undefined Class Check--------
Class F is not defined in the cd
---------Running Unique Part Check----------
 NEXT TEST 
 *************** 
 *************** 
 INHERITANCE CYCLE TEST
 *************** 
 *************** 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/inheritanceCycle/test1.input
-------Flattening the Cd_graph Object-------
***Before Flattening***
A:B|D*common*D.
B:E|G.
D=A.
E=.
F:A.
G:F.

***Start Flattening***
B
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/inheritanceCycle/test2.input
-------Flattening the Cd_graph Object-------
***Before Flattening***
A:B|D.
D:E.
B:C.
C:D.
E:A.

***Start Flattening***

***Flattening Done***

***After Flattening***
A:B|D.
D:E.
B:C.
C:D.
E:A.
-------Running Undefined Class Check--------
Undefined Class Check pass.
---------Running Unique Part Check----------
Unique Part Check pass.
----------Single Inheritance Check----------
Class D has multiple inheritances.
Please fix the multiple inheritance before proceed to Inheritance Cycle Check

 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/inheritanceCycle/test3.input
-------Flattening the Cd_graph Object-------
***Before Flattening***
A:B.
B:C.
C:A.

***Start Flattening***

***Flattening Done***

***After Flattening***
A:B.
B:C.
C:A.
-------Running Undefined Class Check--------
Undefined Class Check pass.
---------Running Unique Part Check----------
Unique Part Check pass.
----------Single Inheritance Check----------
Single Inheritance Check pass.
----------Inheritance Cycle Check-----------
Class A has cycle.
Class B has cycle.
Class C has cycle.

 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/inheritanceCycle/test4.input
-------Flattening the Cd_graph Object-------
***Before Flattening***
Main=<s>String.
A=<b>B<c>C.
B=.
C=<b>B.

***Start Flattening***

***Flattening Done***

***After Flattening***
Main=<s>String.
A=<b>B<c>C.
B=.
C=<b>B.
-------Running Undefined Class Check--------
Class String is not defined in the cd
---------Running Unique Part Check----------
Unique Part Check pass.
----------Single Inheritance Check----------
Single Inheritance Check pass.
----------Inheritance Cycle Check-----------
Inheritance Cycle Check pass

 NEXT TEST 
 *************** 
 *************** 
 MULTIPLE INHERITANCE TEST
 *************** 
 *************** 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/inheritanceSingle/test1.input
-------Flattening the Cd_graph Object-------
***Before Flattening***
A:B|C.
Z:B|G.
B="b".
C="c".
G="g".

***Start Flattening***

***Flattening Done***

***After Flattening***
A:B|C.
Z:B|G.
B="b".
C="c".
G="g".
-------Running Undefined Class Check--------
Undefined Class Check pass.
---------Running Unique Part Check----------
Unique Part Check pass.
----------Single Inheritance Check----------
Class B has multiple inheritances.
Please fix the multiple inheritance before proceed to Inheritance Cycle Check

 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/inheritanceSingle/test2.input
-------Flattening the Cd_graph Object-------
***Before Flattening***
X:L|N|P.
G:N|P.
Q:A|L|P.

***Start Flattening***

***Flattening Done***

***After Flattening***
X:L|N|P.
G:N|P.
Q:A|L|P.
-------Running Undefined Class Check--------
Class A is not defined in the cd
Class L is not defined in the cd
Class P is not defined in the cd
Class N is not defined in the cd
---------Running Unique Part Check----------
Unique Part Check pass.
----------Single Inheritance Check----------
Class L has multiple inheritances.
Class P has multiple inheritances.
Class N has multiple inheritances.
Please fix the multiple inheritance before proceed to Inheritance Cycle Check

 NEXT TEST 
 *************** 
 *************** 
 UNIQUE PARTS TEST
 *************** 
 *************** 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/unique/test1.input
-------Flattening the Cd_graph Object-------
***Before Flattening***
A:B1|C*common*<z>Z.
B1:B2.
B2:B.
B=<z>X.
C=X X.
G="g".
X="x".
Y=<g>G<g>Z.
Z="z".

***Start Flattening***
B1
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/unique/test2.input
-------Flattening the Cd_graph Object-------
***Before Flattening***
Main=<s>String.
A:B|E common<a>X.
B=<x>X<X>X.
C:G|X common<y>D<z>B D.
E=D F D.
D=.
G=<a>A<a>B.
X=.

***Start Flattening***
B
This Class needs to be flatten
E
This Class needs to be flatten
G
This Class needs to be flatten
X
This Class needs to be flatten

***Flattening Done***

***After Flattening***
Main=<s>String.
A:B|E.
B=<x>X<X>X common<a>X.
C:G|X.
E=D F D common<a>X.
D=.
G=<a>A<a>B common<y>D<z>B D.
X=common<y>D<z>B D.
-------Running Undefined Class Check--------
Class common is not defined in the cd
Class String is not defined in the cd
Class F is not defined in the cd
---------Running Unique Part Check----------
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/unique/test3.input
-------Flattening the Cd_graph Object-------
***Before Flattening***
Main=.
A=C.
B:C|D.
C=<e>E<h>H.
D=F.
E=.
H=.
I=<j>J<j>K.
J=.
K=.

***Start Flattening***

***Flattening Done***

***After Flattening***
Main=.
A=C.
B:C|D.
C=<e>E<h>H.
D=F.
E=.
H=.
I=<j>J<j>K.
J=.
K=.
-------Running Undefined Class Check--------
Class F is not defined in the cd
---------Running Unique Part Check----------
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/unique/test4.input
-------Flattening the Cd_graph Object-------
***Before Flattening***
Main=<s>String.
A:B|E common.
B=<x>X<X>X<a>X<y>D<z>B D.
C:G.
E=D F D<a>X.
G=<a>A<b>B<y>D<z>B D.
X=.

***Start Flattening***
B
This Class needs to be flatten
E
This Class needs to be flatten

***Flattening Done***

***After Flattening***
Main=<s>String.
A:B|E.
B=<x>X<X>X<a>X<y>D<z>B D common.
C:G.
E=D F D<a>X common.
G=<a>A<b>B<y>D<z>B D.
X=.
-------Running Undefined Class Check--------
Class D is not defined in the cd
Class common is not defined in the cd
Class String is not defined in the cd
Class F is not defined in the cd
---------Running Unique Part Check----------
 NEXT TEST 
 *************** 
 *************** 
 TBR TEST
 *************** 
 *************** 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/terminal/test1.input
-------Flattening the Cd_graph Object-------
***Before Flattening***
R=List(Ident).
T=String.
V=W<i>Ident.
W="w".
List(S)~{S}.

***Start Flattening***

***Flattening Done***

***After Flattening***
R=List(Ident).
T=String.
V=W<i>Ident.
W="w".
List(S)~{S}.
-------Running Undefined Class Check--------
Class String is not defined in the cd
Class Ident is not defined in the cd
---------Running Unique Part Check----------
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/terminal/test2.input
-------Flattening the Cd_graph Object-------
***Before Flattening***
B:C|D common<h>H.
C=String E Ident.
D=E.
H=Boolean V.
E=.
V=.

***Start Flattening***
C
This Class needs to be flatten
D
This Class needs to be flatten

***Flattening Done***

***After Flattening***
B:C|D.
C=String E Ident common<h>H.
D=E common<h>H.
H=Boolean V.
E=.
V=.
-------Running Undefined Class Check--------
Class Ident is not defined in the cd
Class Boolean is not defined in the cd
Class common is not defined in the cd
Class String is not defined in the cd
---------Running Unique Part Check----------
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/terminal/test3.input
-------Flattening the Cd_graph Object-------
***Before Flattening***
B:C|D common String.
C=String.
D=Ident.

***Start Flattening***
C
This Class needs to be flatten
D
This Class needs to be flatten

***Flattening Done***

***After Flattening***
B:C|D.
C=String common String.
D=Ident common String.
-------Running Undefined Class Check--------
Class Ident is not defined in the cd
Class String is not defined in the cd
Class common is not defined in the cd
---------Running Unique Part Check----------
 NEXT TEST 
 *************** 
 *************** 
 FLATTEN TEST
 *************** 
 *************** 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/flatten/test1.input
-------Flattening the Cd_graph Object-------
***Before Flattening***
B:C|D.
C=String<h>H.
D=E<h>H.
H=Boolean V.
E=.
V=.

***Start Flattening***

***Flattening Done***

***After Flattening***
B:C|D.
C=String<h>H.
D=E<h>H.
H=Boolean V.
E=.
V=.
-------Running Undefined Class Check--------
Class String is not defined in the cd
Class Boolean is not defined in the cd
---------Running Unique Part Check----------
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/flatten/test2.input
-------Flattening the Cd_graph Object-------
***Before Flattening***
B:C|D*common*<h>H.
C=String.
D=E.
H=Boolean V.
E=.
V=.

***Start Flattening***
C
This Class needs to be flatten
D
This Class needs to be flatten

***Flattening Done***

***After Flattening***
B:C|D*common*.
C=String<h>H.
D=E<h>H.
H=Boolean V.
E=.
V=.
-------Running Undefined Class Check--------
Class String is not defined in the cd
Class Boolean is not defined in the cd
---------Running Unique Part Check----------
 NEXT TEST 
 FINAL TEST 
 /proj/lieber2/stelios/testcases/general/final.input
-------Flattening the Cd_graph Object-------
***Before Flattening***
Main=.
Cd_graph=<adjacencies>Nlist(Adjacency).
Adjacency=<source>Vertex["("<parameters>Comma_list(Vertex)")"]<ns>Neighbors ".".
Neighbors:Neighbors_wc|Repetit_n*common*.
Neighbors_wc:Construct_ns|Alternat_ns*common*<construct_ns>List(Any_vertex).
Construct_ns="=".
Alternat_ns=":"<alternat_ns>Bar_list(Term)[<common>Common].
Common="*common*".
Repetit_n="~"<sandwiched>Sandwich(Kernel).
Kernel=[<nonempty>Term]"{"<repeated>Sandwich(Term)"}".
Any_vertex:Opt_labeled_term|Optional_term|Syntax_vertex.
Vertex=<vertex_name>Ident.
Syntax_vertex:Regular_syntax|Print_command*common*.
Print_command:Print_indent|Print_unindent|Print_skip|Print_space*common*.
Print_indent="+".
Print_unindent="-".
Print_skip="*l".
Print_space="*s".
Regular_syntax=<string>String.
Opt_labeled_term:Labeled|Regular*common*<vertex>Term.
Regular=.
Labeled="<"<label_name>Ident ">".
Term:Normal*common*<vertex>Vertex["@"<module_name>Module_name]["("<actual_parameters>Comma_list(Term)")"].
Module_name=<module_name>Ident.
Normal=.
Optional_term="["<opt>Sandwich(Opt_labeled_term)"]".
List(S)~{S}.
Nlist(S)~S{S}.
Bar_list(S)~S{"|" S}.
Comma_list(S)~S{"," S}.
Sandwich(S)=<first>List(Syntax_vertex)<inner>S<second>List(Syntax_vertex).

***Start Flattening***
Construct_ns
This Class needs to be flatten
Alternat_ns
This Class needs to be flatten
Regular
This Class needs to be flatten
Labeled
This Class needs to be flatten
Normal
This Class needs to be flatten

***Flattening Done***

***After Flattening***
Main=.
Cd_graph=<adjacencies>Nlist(Adjacency).
Adjacency=<source>Vertex["("<parameters>Comma_list(Vertex)")"]<ns>Neighbors ".".
Neighbors:Neighbors_wc|Repetit_n*common*.
Neighbors_wc:Construct_ns|Alternat_ns*common*.
Construct_ns="="<construct_ns>List(Any_vertex).
Alternat_ns=":"<alternat_ns>Bar_list(Term)[<common>Common]<construct_ns>List(Any_vertex).
Common="*common*".
Repetit_n="~"<sandwiched>Sandwich(Kernel).
Kernel=[<nonempty>Term]"{"<repeated>Sandwich(Term)"}".
Any_vertex:Opt_labeled_term|Optional_term|Syntax_vertex.
Vertex=<vertex_name>Ident.
Syntax_vertex:Regular_syntax|Print_command*common*.
Print_command:Print_indent|Print_unindent|Print_skip|Print_space*common*.
Print_indent="+".
Print_unindent="-".
Print_skip="*l".
Print_space="*s".
Regular_syntax=<string>String.
Opt_labeled_term:Labeled|Regular*common*.
Regular=<vertex>Term.
Labeled="<"<label_name>Ident ">"<vertex>Term.
Term:Normal*common*.
Module_name=<module_name>Ident.
Normal=<vertex>Vertex["@"<module_name>Module_name]["("<actual_parameters>Comma_list(Term)")"].
Optional_term="["<opt>Sandwich(Opt_labeled_term)"]".
List(S)~{S}.
Nlist(S)~S{S}.
Bar_list(S)~S{"|" S}.
Comma_list(S)~S{"," S}.
Sandwich(S)=<first>List(Syntax_vertex)<inner>S<second>List(Syntax_vertex).
-------Running Undefined Class Check--------
Class Ident is not defined in the cd
Class String is not defined in the cd
---------Running Unique Part Check----------
Unique Part Check pass.
----------Single Inheritance Check----------
Single Inheritance Check pass.
----------Inheritance Cycle Check-----------
Inheritance Cycle Check pass