*************** 
 *************** 
 DEFINITION TEST
 *************** 
 *************** 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/definition/test1.input
Checking for Multiple Inheritance violations. . .
Checking for Inheritance Cycle violations. . .
Checking for Undefined Classes. . .
ERROR: The class X is undefined.
ERROR: The class X is undefined.
ERROR: The class Z is undefined.
ERROR: The class Ident is undefined.
Checking for Unique Parts violations. . .
Checking for Undefined Classes. . .
ERROR: The class X is undefined.
ERROR: The class X is undefined.
ERROR: The class Z is undefined.
ERROR: The class Ident is undefined.
Checking for Terminal Buffer violations. . .
WARNING: Class I violates terminal buffer rule: 
Ident is not the only part of the class.
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/definition/test2.input
Checking for Multiple Inheritance violations. . .
Checking for Inheritance Cycle violations. . .
Checking for Undefined Classes. . .
ERROR: The class Beta1 is undefined.
ERROR: The class Epsilon is undefined.
Checking for Unique Parts violations. . .
Checking for Undefined Classes. . .
ERROR: The class Beta1 is undefined.
ERROR: The class Epsilon is undefined.
Checking for Terminal Buffer violations. . .
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/definition/test3.input
Checking for Multiple Inheritance violations. . .
Checking for Inheritance Cycle violations. . .
Checking for Undefined Classes. . .
ERROR: The class B is undefined.
ERROR: The class G is undefined.
ERROR: The class Ident is undefined.
ERROR: The class String is undefined.
ERROR: The class P is undefined.
Checking for Unique Parts violations. . .
Checking for Undefined Classes. . .
ERROR: The class B is undefined.
ERROR: The class G is undefined.
ERROR: The class Ident is undefined.
ERROR: The class String is undefined.
ERROR: The class P is undefined.
Checking for Terminal Buffer violations. . .
WARNING: Class L violates terminal buffer rule: 
Ident is not the only part of the class.
String is not the only part of the class.
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/definition/test4.input
Checking for Multiple Inheritance violations. . .
Checking for Inheritance Cycle violations. . .
Checking for Undefined Classes. . .
ERROR: The class C is undefined.
ERROR: The class J is undefined.
ERROR: The class X is undefined.
ERROR: The class X is undefined.
ERROR: The class Y is undefined.
ERROR: The class Y is undefined.
Checking for Unique Parts violations. . .
ERROR: Element z within class E is not unique.
Checking for Undefined Classes. . .
ERROR: The class C is undefined.
ERROR: The class J is undefined.
ERROR: The class X is undefined.
ERROR: The class X is undefined.
ERROR: The class Y is undefined.
ERROR: The class Y is undefined.
Checking for Terminal Buffer violations. . .
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/definition/test5.input
Checking for Multiple Inheritance violations. . .
Checking for Inheritance Cycle violations. . .
Checking for Undefined Classes. . .
ERROR: The class F is undefined.
Checking for Unique Parts violations. . .
ERROR: Element j within class I is not unique.
Checking for Undefined Classes. . .
ERROR: The class F is undefined.
Checking for Terminal Buffer violations. . .
 NEXT TEST 
 *************** 
 *************** 
 INHERITANCE CYCLE TEST
 *************** 
 *************** 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/inheritanceCycle/test1.input
Checking for Multiple Inheritance violations. . .
Checking for Inheritance Cycle violations. . .
Inheritance cycle exists from F
Checking for Undefined Classes. . .
Flattening ClassGraph. . .
Checking for Unique Parts violations. . .
Checking for Undefined Classes. . .
Flattening ClassGraph. . .
Checking for Terminal Buffer violations. . .
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/inheritanceCycle/test2.input
Checking for Multiple Inheritance violations. . .
ERROR: Element D inherits from: A, C, 
Checking for Undefined Classes. . .
Flattening ClassGraph. . .
Checking for Unique Parts violations. . .
Checking for Undefined Classes. . .
Flattening ClassGraph. . .
Checking for Terminal Buffer violations. . .
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/inheritanceCycle/test3.input
Checking for Multiple Inheritance violations. . .
Checking for Inheritance Cycle violations. . .
Inheritance cycle exists from C to B to A
Checking for Undefined Classes. . .
Flattening ClassGraph. . .
Checking for Unique Parts violations. . .
Checking for Undefined Classes. . .
Flattening ClassGraph. . .
Checking for Terminal Buffer violations. . .
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/inheritanceCycle/test4.input
Checking for Multiple Inheritance violations. . .
Checking for Inheritance Cycle violations. . .
Checking for Undefined Classes. . .
ERROR: The class String is undefined.
Checking for Unique Parts violations. . .
Checking for Undefined Classes. . .
ERROR: The class String is undefined.
Checking for Terminal Buffer violations. . .
WARNING: Class Main violates terminal buffer rule: 
String is not the only part of the class.
 NEXT TEST 
 *************** 
 *************** 
 MULTIPLE INHERITANCE TEST
 *************** 
 *************** 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/inheritanceSingle/test1.input
Checking for Multiple Inheritance violations. . .
ERROR: Element B inherits from: A, Z, 
Checking for Undefined Classes. . .
Flattening ClassGraph. . .
Checking for Unique Parts violations. . .
Checking for Undefined Classes. . .
Flattening ClassGraph. . .
Checking for Terminal Buffer violations. . .
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/inheritanceSingle/test2.input
Checking for Multiple Inheritance violations. . .
ERROR: Element N inherits from: X, G, 
ERROR: Element P inherits from: X, G, Q, 
ERROR: Element L inherits from: X, Q, 
ERROR: Element P inherits from: 
Checking for Undefined Classes. . .
ERROR: The class L is undefined.
ERROR: The class N is undefined.
ERROR: The class P is undefined.
ERROR: The class N is undefined.
ERROR: The class P is undefined.
ERROR: The class A is undefined.
ERROR: The class L is undefined.
ERROR: The class P is undefined.
Checking for Unique Parts violations. . .
Checking for Undefined Classes. . .
ERROR: The class L is undefined.
ERROR: The class N is undefined.
ERROR: The class P is undefined.
ERROR: The class N is undefined.
ERROR: The class P is undefined.
ERROR: The class A is undefined.
ERROR: The class L is undefined.
ERROR: The class P is undefined.
Checking for Terminal Buffer violations. . .
 NEXT TEST 
 *************** 
 *************** 
 UNIQUE PARTS TEST
 *************** 
 *************** 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/unique/test1.input
Checking for Multiple Inheritance violations. . .
Checking for Inheritance Cycle violations. . .
Checking for Undefined Classes. . .
Flattening ClassGraph. . .
Checking for Unique Parts violations. . .
ERROR: Element z within class B is not unique.
ERROR: Element z within class B is not unique.
ERROR: Element g within class Y is not unique.
Checking for Undefined Classes. . .
Flattening ClassGraph. . .
Checking for Terminal Buffer violations. . .
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/unique/test2.input
Checking for Multiple Inheritance violations. . .
Checking for Inheritance Cycle violations. . .
Checking for Undefined Classes. . .
ERROR: The class String is undefined.
ERROR: The class common is undefined.
ERROR: The class common is undefined.
ERROR: The class F is undefined.
Checking for Unique Parts violations. . .
ERROR: Element a within class G is not unique.
Checking for Undefined Classes. . .
ERROR: The class String is undefined.
ERROR: The class common is undefined.
ERROR: The class common is undefined.
ERROR: The class F is undefined.
Checking for Terminal Buffer violations. . .
WARNING: Class Main violates terminal buffer rule: 
String is not the only part of the class.
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/unique/test3.input
Checking for Multiple Inheritance violations. . .
Checking for Inheritance Cycle violations. . .
Checking for Undefined Classes. . .
ERROR: The class F is undefined.
Checking for Unique Parts violations. . .
ERROR: Element j within class I is not unique.
Checking for Undefined Classes. . .
ERROR: The class F is undefined.
Checking for Terminal Buffer violations. . .
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/unique/test4.input
Checking for Multiple Inheritance violations. . .
Checking for Inheritance Cycle violations. . .
Checking for Undefined Classes. . .
ERROR: The class String is undefined.
ERROR: The class common is undefined.
ERROR: The class D is undefined.
ERROR: The class D is undefined.
ERROR: The class D is undefined.
ERROR: The class F is undefined.
ERROR: The class D is undefined.
ERROR: The class D is undefined.
ERROR: The class D is undefined.
Checking for Unique Parts violations. . .
Checking for Undefined Classes. . .
ERROR: The class String is undefined.
ERROR: The class common is undefined.
ERROR: The class D is undefined.
ERROR: The class D is undefined.
ERROR: The class D is undefined.
ERROR: The class F is undefined.
ERROR: The class D is undefined.
ERROR: The class D is undefined.
ERROR: The class D is undefined.
Checking for Terminal Buffer violations. . .
WARNING: Class Main violates terminal buffer rule: 
String is not the only part of the class.
 NEXT TEST 
 *************** 
 *************** 
 TBR TEST
 *************** 
 *************** 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/terminal/test1.input
Checking for Multiple Inheritance violations. . .
Checking for Inheritance Cycle violations. . .
Checking for Undefined Classes. . .
ERROR: The class Ident is undefined.
ERROR: The class String is undefined.
ERROR: The class Ident is undefined.
Checking for Unique Parts violations. . .
Checking for Undefined Classes. . .
ERROR: The class Ident is undefined.
ERROR: The class String is undefined.
ERROR: The class Ident is undefined.
Checking for Terminal Buffer violations. . .
WARNING: Class T violates terminal buffer rule: 
String is not the only part of the class.
WARNING: Class V violates terminal buffer rule: 
Ident is not the only part of the class.
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/terminal/test2.input
Checking for Multiple Inheritance violations. . .
Checking for Inheritance Cycle violations. . .
Checking for Undefined Classes. . .
ERROR: The class common is undefined.
ERROR: The class String is undefined.
ERROR: The class Ident is undefined.
ERROR: The class Boolean is undefined.
Checking for Unique Parts violations. . .
Checking for Undefined Classes. . .
ERROR: The class common is undefined.
ERROR: The class String is undefined.
ERROR: The class Ident is undefined.
ERROR: The class Boolean is undefined.
Checking for Terminal Buffer violations. . .
WARNING: Class C violates terminal buffer rule: 
String is not the only part of the class.
Ident is not the only part of the class.
WARNING: Class H violates terminal buffer rule: 
Boolean is not the only part of the class.
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/terminal/test3.input
Checking for Multiple Inheritance violations. . .
Checking for Inheritance Cycle violations. . .
Checking for Undefined Classes. . .
ERROR: The class common is undefined.
ERROR: The class String is undefined.
ERROR: The class String is undefined.
ERROR: The class Ident is undefined.
Checking for Unique Parts violations. . .
Checking for Undefined Classes. . .
ERROR: The class common is undefined.
ERROR: The class String is undefined.
ERROR: The class String is undefined.
ERROR: The class Ident is undefined.
Checking for Terminal Buffer violations. . .
WARNING: Class B violates terminal buffer rule: 
String is not the only part of the class.
WARNING: Class C violates terminal buffer rule: 
String is not the only part of the class.
WARNING: Class D violates terminal buffer rule: 
Ident is not the only part of the class.
 NEXT TEST 
 *************** 
 *************** 
 FLATTEN TEST
 *************** 
 *************** 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/flatten/test1.input
Checking for Multiple Inheritance violations. . .
Checking for Inheritance Cycle violations. . .
Checking for Undefined Classes. . .
ERROR: The class String is undefined.
ERROR: The class Boolean is undefined.
Checking for Unique Parts violations. . .
Checking for Undefined Classes. . .
ERROR: The class String is undefined.
ERROR: The class Boolean is undefined.
Checking for Terminal Buffer violations. . .
WARNING: Class C violates terminal buffer rule: 
String is not the only part of the class.
WARNING: Class H violates terminal buffer rule: 
Boolean is not the only part of the class.
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/flatten/test2.input
Checking for Multiple Inheritance violations. . .
Checking for Inheritance Cycle violations. . .
Checking for Undefined Classes. . .
ERROR: The class String is undefined.
ERROR: The class Boolean is undefined.
Checking for Unique Parts violations. . .
Checking for Undefined Classes. . .
ERROR: The class String is undefined.
ERROR: The class Boolean is undefined.
Checking for Terminal Buffer violations. . .
WARNING: Class C violates terminal buffer rule: 
String is not the only part of the class.
WARNING: Class H violates terminal buffer rule: 
Boolean is not the only part of the class.
 NEXT TEST 
 FINAL TEST 
 /proj/lieber2/stelios/testcases/general/final.input
Checking for Multiple Inheritance violations. . .
Checking for Inheritance Cycle violations. . .
Checking for Undefined Classes. . .
ERROR: The class Ident is undefined.
ERROR: The class String is undefined.
ERROR: The class Ident is undefined.
ERROR: The class Ident is undefined.
Checking for Unique Parts violations. . .
Checking for Undefined Classes. . .
ERROR: The class Ident is undefined.
ERROR: The class String is undefined.
ERROR: The class Ident is undefined.
ERROR: The class Ident is undefined.
Checking for Terminal Buffer violations. . .
WARNING: Class Vertex violates terminal buffer rule: 
Ident is not the only part of the class.
WARNING: Class Regular_syntax violates terminal buffer rule: 
String is not the only part of the class.
WARNING: Class Labeled violates terminal buffer rule: 
Ident is not the only part of the class.
WARNING: Class Module_name violates terminal buffer rule: 
Ident is not the only part of the class.