*************** *************** DEFINITION TEST *************** *************** TEST BEGIN /proj/lieber2/stelios/testcases/definition/test1.input Input parsed! Checking to ensure single inheritance... Checking for inheritance class cycles... Checking to ensure unique part names... Checking for undefined parts... [Z, X] NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/definition/test2.input Input parsed! Checking to ensure single inheritance... Checking for inheritance class cycles... Checking to ensure unique part names... Checking for undefined parts... [Beta1, Epsilon] NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/definition/test3.input Input parsed! Checking to ensure single inheritance... Checking for inheritance class cycles... Checking to ensure unique part names... Checking for undefined parts... [G, P, B] WARNING: L violates the terminal buffer rule! NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/definition/test4.input Input parsed! Checking to ensure single inheritance... NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/definition/test5.input Input parsed! Checking to ensure single inheritance... Checking for inheritance class cycles... Checking to ensure unique part names... Part h already exists! Part j already exists! Checking for undefined parts... [F] NEXT TEST *************** *************** INHERITANCE CYCLE TEST *************** *************** TEST BEGIN /proj/lieber2/stelios/testcases/inheritanceCycle/test1.input Input parsed! Checking to ensure single inheritance... Checking for inheritance class cycles... ===Class inheritance cycle detected!=== F -> G -> B -> A -> F A -> F -> G -> B -> A B -> A -> F -> G -> B Java does not support inheritance cycles. Please fix your class dictionary. halting... NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/inheritanceCycle/test2.input Input parsed! Checking to ensure single inheritance... Checking for inheritance class cycles... NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/inheritanceCycle/test3.input Input parsed! Checking to ensure single inheritance... Checking for inheritance class cycles... ===Class inheritance cycle detected!=== C -> B -> A -> C Java does not support inheritance cycles. Please fix your class dictionary. halting... NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/inheritanceCycle/test4.input Input parsed! Checking to ensure single inheritance... Checking for inheritance class cycles... Checking to ensure unique part names... Checking for undefined parts... NEXT TEST *************** *************** MULTIPLE INHERITANCE TEST *************** *************** TEST BEGIN /proj/lieber2/stelios/testcases/inheritanceSingle/test1.input Input parsed! Checking to ensure single inheritance... ===Single Inheritance Violation Detected!=== B inherits from: A, Z Java does not support multiple inheritance. Please fix your class dictionary. halting... NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/inheritanceSingle/test2.input Input parsed! Checking to ensure single inheritance... NEXT TEST *************** *************** UNIQUE PARTS TEST *************** *************** TEST BEGIN /proj/lieber2/stelios/testcases/unique/test1.input Input parsed! Checking to ensure single inheritance... Checking for inheritance class cycles... Checking to ensure unique part names... Part x already exists! Part g already exists! Checking for undefined parts... NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/unique/test2.input Input parsed! Checking to ensure single inheritance... Checking for inheritance class cycles... Checking to ensure unique part names... Part d already exists! Part a already exists! Checking for undefined parts... [common, F] NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/unique/test3.input Input parsed! Checking to ensure single inheritance... Checking for inheritance class cycles... Checking to ensure unique part names... Part j already exists! Checking for undefined parts... [F] NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/unique/test4.input Input parsed! Checking to ensure single inheritance... Checking for inheritance class cycles... Checking to ensure unique part names... Part d already exists! Checking for undefined parts... [common, F, D] NEXT TEST *************** *************** TBR TEST *************** *************** TEST BEGIN /proj/lieber2/stelios/testcases/terminal/test1.input Input parsed! Checking to ensure single inheritance... Checking for inheritance class cycles... Checking to ensure unique part names... Checking for undefined parts... WARNING: V violates the terminal buffer rule! WARNING: R violates the terminal buffer rule! NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/terminal/test2.input Input parsed! Checking to ensure single inheritance... Checking for inheritance class cycles... Checking to ensure unique part names... Checking for undefined parts... [common] WARNING: H violates the terminal buffer rule! WARNING: C violates the terminal buffer rule! NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/terminal/test3.input Input parsed! Checking to ensure single inheritance... Checking for inheritance class cycles... Checking to ensure unique part names... Checking for undefined parts... [common] WARNING: D violates the terminal buffer rule! WARNING: C violates the terminal buffer rule! WARNING: B violates the terminal buffer rule! NEXT TEST *************** *************** FLATTEN TEST *************** *************** TEST BEGIN /proj/lieber2/stelios/testcases/flatten/test1.input Input parsed! Checking to ensure single inheritance... Checking for inheritance class cycles... Checking to ensure unique part names... Checking for undefined parts... WARNING: H violates the terminal buffer rule! WARNING: C violates the terminal buffer rule! NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/flatten/test2.input Input parsed! Checking to ensure single inheritance... Checking for inheritance class cycles... Checking to ensure unique part names... Checking for undefined parts... WARNING: H violates the terminal buffer rule! NEXT TEST FINAL TEST /proj/lieber2/stelios/testcases/general/final.input Input parsed! Checking to ensure single inheritance... Checking for inheritance class cycles... Checking to ensure unique part names... Checking for undefined parts...