DEFINITION TEST


 TEST BEGIN 
/proj/lieber2/stelios/testcases/definition/test1.input

D is defined more than once
X, Z are not defined

 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/definition/test2.input

Beta1 and Epsilon are not defined

 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/definition/test3.input

A is defined more than once
B, G, P are not defined
L violates TBR

 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/definition/test4.input

C, J, X, Y are not defined
Part z of class E is not unique

 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/definition/test5.input

Part h of class G is not unique
Part j of class I is not unique
F is not defined

 NEXT TEST 


 INHERITANCE CYCLE TEST


 TEST BEGIN 
/proj/lieber2/stelios/testcases/inheritanceCycle/test1.input

Cyclic inheritance from class F to class A to class B to class G to class F

 TEST BEGIN 
/proj/lieber2/stelios/testcases/inheritanceCycle/test2.input

D has two super classes: A, C.
cyclic inheritance from class A to class B to class C to class D to class
 E to class A

NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/inheritanceCycle/test3.input

Cyclic inheritance from class A to class B to class C to class A

NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/inheritanceCycle/test4.input

this test should produce no error

 NEXT TEST 


 MULTIPLE INHERITANCE TEST


 TEST BEGIN 
/proj/lieber2/stelios/testcases/inheritanceSingle/test1.input

Class B has two super classes: A, Z.

NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/inheritanceSingle/test2.input

Class L, N, P, A are not defined in the cd
Class N has two super classes: X , G
Class P has three super classes: X , G, Q
Class L has two super classes: X , Q


NEXT TEST 


 UNIQUE PARTS TEST


 TEST BEGIN 
/proj/lieber2/stelios/testcases/unique/test1.input

Part z of class B is not unique
Part x of class C is not unique
Part g of class Y is not unique

 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/unique/test2.input

Part d of class E is not unique
Part a of class G is not unique
Class F is not defined in the class dictionary.

 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/unique/test3.input

Part j of class I is not unique
Class F is not defined in the class dictionary.

 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/unique/test4.input

Part d of class E is not unique
Class D, F are not defined in the class dictionary.

 NEXT TEST 


 TBR TEST


 TEST BEGIN 
/proj/lieber2/stelios/testcases/terminal/test1.input

Class V violates TBR. Class Ident is not the only part class.

 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/terminal/test2.input

Class C violates TBR. Class String is not the only part class.
Class C violates TBR. Class Ident is not the only part class.
Class H violates TBR. Class Boolean is not the only part class.

 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/terminal/test3.input

Part string of class C is not unique
Class C violates TBR. Class String is not the only part class.
Class C violates TBR. Class String is not the only part class.
Class D violates TBR. Class Ident is not the only part class
Class D violates TBR. Class String is not the only part class
 
 NEXT TEST 
 

 FLATTEN TEST


BOTH INPUTS SHOULD PRODUCE SAME OUTPUT

 TEST BEGIN 
/proj/lieber2/stelios/testcases/flatten/test1.input

Class C violates TBR. Class String is not the only part class.
Class H violates TBR. Class Boolean is not the only part class.

 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/flatten/test2.input

Class C violates TBR. Class String is not the only part class.
Class H violates TBR. Class Boolean is not the only part class.


 NEXT TEST 


FINAL TEST

testing with file ./general/final.input

Running the class dictionary checker...

Class Labeled violates TBR. Class Ident is not the only part class.