*************** 
 *************** 
 DEFINITION TEST
 *************** 
 *************** 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/definition/test1.input
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/definition/test2.input
 ----  CLASS GRAPH BEFORE FLATTENNING  ----
A=B.
B=C D.
C=Beta1 Epsilon E.
D=.
E=F.
F=.
 Attempting the Flattenning Check 

FlatteningVisitor
 ----  CLASS GRAPH AFTER FLATTENNING  ----
A=B.
B=C D.
C=Beta1 Epsilon E.
D=.
E=F.
F=.
 Attempting the Unique Parts Check
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/definition/test3.input
 ----  CLASS GRAPH BEFORE FLATTENNING  ----
X=A "+" B.
A=<g>G.
A=L.
L=Ident String P.
 Attempting the Flattenning Check 

FlatteningVisitor
 ----  CLASS GRAPH AFTER FLATTENNING  ----
X=A "+" B.
A=<g>G.
A=L.
L=Ident String P.
 Attempting the Unique Parts Check
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/definition/test4.input
 ----  CLASS GRAPH BEFORE FLATTENNING  ----
A:B|C.
B:D|E.
F=J.
D=<x>X<q>X.
E=<z>Y<z>Y.
 Attempting the Flattenning Check 

FlatteningVisitor



 ----  CLASS GRAPH AFTER FLATTENNING  ----
A:B|C.
B:D|E.
F=J.
D=<x>X<q>X.
E=<z>Y<z>Y.
 Attempting the Unique Parts Check
E contains a NON-UNIQUE PART z
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/definition/test5.input
 ----  CLASS GRAPH BEFORE FLATTENNING  ----
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=.
 Attempting the Flattenning Check 

FlatteningVisitor


 ----  CLASS GRAPH AFTER FLATTENNING  ----
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=.
 Attempting the Unique Parts Check
I contains a NON-UNIQUE PART j
 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
 ----  CLASS GRAPH BEFORE FLATTENNING  ----
A:B|D.
D:E.
B:C.
C:D.
E:A.
 Attempting the Flattenning Check 

FlatteningVisitor






 ----  CLASS GRAPH AFTER FLATTENNING  ----
A:B|D.
D:E.
B:C.
C:D.
E:A.
 Attempting the Unique Parts Check
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/inheritanceCycle/test3.input
 ----  CLASS GRAPH BEFORE FLATTENNING  ----
A:B.
B:C.
C:A.
 Attempting the Flattenning Check 

FlatteningVisitor



 ----  CLASS GRAPH AFTER FLATTENNING  ----
A:B.
B:C.
C:A.
 Attempting the Unique Parts Check
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/inheritanceCycle/test4.input
 ----  CLASS GRAPH BEFORE FLATTENNING  ----
Main=<s>String.
A=<b>B<c>C.
B=.
C=<b>B.
 Attempting the Flattenning Check 

FlatteningVisitor
 ----  CLASS GRAPH AFTER FLATTENNING  ----
Main=<s>String.
A=<b>B<c>C.
B=.
C=<b>B.
 Attempting the Unique Parts Check
 NEXT TEST 
 *************** 
 *************** 
 MULTIPLE INHERITANCE TEST
 *************** 
 *************** 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/inheritanceSingle/test1.input
 ----  CLASS GRAPH BEFORE FLATTENNING  ----
A:B|C.
Z:B|G.
B="b".
C="c".
G="g".
 Attempting the Flattenning Check 

FlatteningVisitor




 ----  CLASS GRAPH AFTER FLATTENNING  ----
A:B|C.
Z:B|G.
B="b".
C="c".
G="g".
 Attempting the Unique Parts Check
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/inheritanceSingle/test2.input
 ----  CLASS GRAPH BEFORE FLATTENNING  ----
X:L|N|P.
G:N|P.
Q:A|L|P.
 Attempting the Flattenning Check 

FlatteningVisitor
 ----  CLASS GRAPH AFTER FLATTENNING  ----
X:L|N|P.
G:N|P.
Q:A|L|P.
 Attempting the Unique Parts Check
 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
 ----  CLASS GRAPH BEFORE FLATTENNING  ----
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=.
 Attempting the Flattenning Check 

FlatteningVisitor




 ----  CLASS GRAPH AFTER FLATTENNING  ----
Main=<s>String.
A:B|E common.
B=<x>X<X>X<a>X.
C:G|X common.
E=D F D<a>X.
D=.
G=<a>A<a>B<z>B<y>D D.
X=<z>B<y>D D.
 Attempting the Unique Parts Check
B contains a NON-UNIQUE PART a
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/unique/test3.input
 ----  CLASS GRAPH BEFORE FLATTENNING  ----
Main=.
A=C.
B:C|D.
C=<e>E<h>H.
D=F.
E=.
H=.
I=<j>J<j>K.
J=.
K=.
 Attempting the Flattenning Check 

FlatteningVisitor


 ----  CLASS GRAPH AFTER FLATTENNING  ----
Main=.
A=C.
B:C|D.
C=<e>E<h>H.
D=F.
E=.
H=.
I=<j>J<j>K.
J=.
K=.
 Attempting the Unique Parts Check
I contains a NON-UNIQUE PART j
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/unique/test4.input
 ----  CLASS GRAPH BEFORE FLATTENNING  ----
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=.
 Attempting the Flattenning Check 

FlatteningVisitor



 ----  CLASS GRAPH AFTER FLATTENNING  ----
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=.
 Attempting the Unique Parts Check
 NEXT TEST 
 *************** 
 *************** 
 TBR TEST
 *************** 
 *************** 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/terminal/test1.input
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/terminal/test2.input
 ----  CLASS GRAPH BEFORE FLATTENNING  ----
B:C|D common<h>H.
C=String E Ident.
D=E.
H=Boolean V.
E=.
V=.
 Attempting the Flattenning Check 

FlatteningVisitor


 ----  CLASS GRAPH AFTER FLATTENNING  ----
B:C|D common.
C=String E Ident<h>H.
D=E<h>H.
H=Boolean V.
E=.
V=.
 Attempting the Unique Parts Check
C contains a NON-UNIQUE PART h
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/terminal/test3.input
 ----  CLASS GRAPH BEFORE FLATTENNING  ----
B:C|D common String.
C=String.
D=Ident.
 Attempting the Flattenning Check 

FlatteningVisitor


 ----  CLASS GRAPH AFTER FLATTENNING  ----
B:C|D common.
C=String String.
D=Ident String.
 Attempting the Unique Parts Check
 NEXT TEST 
 *************** 
 *************** 
 FLATTEN TEST
 *************** 
 *************** 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/flatten/test1.input
 ----  CLASS GRAPH BEFORE FLATTENNING  ----
B:C|D.
C=String<h>H.
D=E<h>H.
H=Boolean V.
E=.
V=.
 Attempting the Flattenning Check 

FlatteningVisitor


 ----  CLASS GRAPH AFTER FLATTENNING  ----
B:C|D.
C=String<h>H.
D=E<h>H.
H=Boolean V.
E=.
V=.
 Attempting the Unique Parts Check
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/flatten/test2.input
 NEXT TEST 
 FINAL TEST 
 /proj/lieber2/stelios/testcases/general/final.input