DEFINITION TEST TEST BEGIN /proj/lieber2/stelios/testcases/definition/test1.input *** Warning: Class B violates the TBR. Class C is not the only part class. *** Warning: Class B violates the TBR. Class D is not the only part class. *** Warning: Class C violates the TBR. Class I is not the only part class. *** Warning: Class D references an object of type X. Class X is not defined in the class dictionary. Disregard this warning if class X is defined in an imported package. *** Warning: Class D references an object of type X. Class X is not defined in the class dictionary. Disregard this warning if class X is defined in an imported package. *** Warning: Class F references an object of type Z. Class Z is not defined in the class dictionary. Disregard this warning if class Z is defined in an imported package. *** Warning: Class I references an object of type Ident. Class Ident is not defined in the class dictionary. Disregard this warning if class Ident is defined in an imported package. Check completed. Found 0 error(s) and 7 warning(s). NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/definition/test2.input *** Warning: Class B violates the TBR. Class C is not the only part class. *** Warning: Class B violates the TBR. Class D is not the only part class. *** Warning: Class C references an object of type Beta1. Class Beta1 is not defined in the class dictionary. Disregard this warning if class Beta1 is defined in an imported package. *** Warning: Class C references an object of type Epsilon. Class Epsilon is not defined in the class dictionary. Disregard this warning if class Epsilon is defined in an imported package. Check completed. Found 0 error(s) and 4 warning(s). NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/definition/test3.input *** Warning: Class X references an object of type B. Class B is not defined in the class dictionary. Disregard this warning if class B is defined in an imported package. *** Warning: Class X violates the TBR. Class B is not the only part class. *** Warning: Class A references an object of type G. Class G is not defined in the class dictionary. Disregard this warning if class G is defined in an imported package. *** Warning: Class L references an object of type Ident. Class Ident is not defined in the class dictionary. Disregard this warning if class Ident is defined in an imported package. *** Warning: Class L references an object of type String. Class String is not defined in the class dictionary. Disregard this warning if class String is defined in an imported package. *** Warning: Class L references an object of type P. Class P is not defined in the class dictionary. Disregard this warning if class P is defined in an imported package. *** Warning: Class L violates the TBR. Class Ident is not the only part class. *** Warning: Class L violates the TBR. Class String is not the only part class. Check completed. Found 0 error(s) and 8 warning(s). NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/definition/test4.input NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/definition/test5.input *** Warning: Class D references an object of type F. Class F is not defined in the class dictionary. Disregard this warning if class F is defined in an imported package. *** Error: Part h of class G is not unique. *** Error: Part j of class I is not unique. Check completed. Found 2 error(s) and 1 warning(s). NEXT TEST INHERITANCE CYCLE TEST TEST BEGIN /proj/lieber2/stelios/testcases/inheritanceCycle/test1.input *** Error: Inheritance cycle. Class F is both a subclass and a superclass of class A. *** Error: Part d of class B is not unique. *** Warning: Class B violates the TBR. Class D is not the only part class. *** Warning: Class B violates the TBR. Class D is not the only part class. *** Warning: Class B violates the TBR. Class D is not the only part class. *** Error: Part d of class D is not unique. *** Error: Inheritance cycle. Class A is both a subclass and a superclass of class B. *** Warning: Class D violates the TBR. Class D is not the only part class. *** Warning: Class D violates the TBR. Class D is not the only part class. *** Warning: Class D violates the TBR. Class D is not the only part class. *** Error: Part d of class E is not unique. *** Error: Inheritance cycle. Class B is both a subclass and a superclass of class G. *** Warning: Class E violates the TBR. Class D is not the only part class. *** Warning: Class E violates the TBR. Class D is not the only part class. *** Warning: Class E violates the TBR. Class D is not the only part class. *** Warning: Class E violates the TBR. Class D is not the only part class. *** Warning: Class E violates the TBR. Class D is not the only part class. *** Error: Part d of class G is not unique. *** Warning: Class G violates the TBR. Class D is not the only part class. *** Warning: Class G violates the TBR. Class D is not the only part class. *** Warning: Class G violates the TBR. Class D is not the only part class. *** Warning: Class G violates the TBR. Class D is not the only part class. *** Warning: Class G violates the TBR. Class D is not the only part class. Check completed. Found 7 error(s) and 16 warning(s). NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/inheritanceCycle/test2.input *** Error: Inheritance cycle. Class E is both a subclass and a superclass of class A. *** Error: Inheritance cycle. Class A is both a subclass and a superclass of class B. *** Error: Class D has multiple super classes. Check completed. Found 3 error(s) and 0 warning(s). NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/inheritanceCycle/test3.input *** Error: Inheritance cycle. Class C is both a subclass and a superclass of class A. Check completed. Found 1 error(s) and 0 warning(s). NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/inheritanceCycle/test4.input *** Warning: Class Main references an object of type String. Class String is not defined in the class dictionary. Disregard this warning if class String is defined in an imported package. *** Warning: Class A violates the TBR. Class B is not the only part class. *** Warning: Class A violates the TBR. Class C is not the only part class. Check completed. Found 0 error(s) and 3 warning(s). NEXT TEST MULTIPLE INHERITANCE TEST TEST BEGIN /proj/lieber2/stelios/testcases/inheritanceSingle/test1.input *** Error: Class B has multiple super classes. Check completed. Found 1 error(s) and 0 warning(s). NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/inheritanceSingle/test2.input NEXT TEST UNIQUE PARTS TEST TEST BEGIN /proj/lieber2/stelios/testcases/unique/test1.input *** Error: Part z of class B1 is not unique. *** Error: Part z of class B2 is not unique. *** Error: Part z of class B is not unique. *** Error: Part x of class C is not unique. *** Error: Part g of class Y is not unique. Check completed. Found 5 error(s) and 0 warning(s). NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/unique/test2.input *** Warning: Class Main references an object of type String. Class String is not defined in the class dictionary. Disregard this warning if class String is defined in an imported package. *** Warning: Class A references an object of type common. Class common is not defined in the class dictionary. Disregard this warning if class common is defined in an imported package. *** Warning: Class B references an object of type common. Class common is not defined in the class dictionary. Disregard this warning if class common is defined in an imported package. *** Warning: Class B references an object of type common. Class common is not defined in the class dictionary. Disregard this warning if class common is defined in an imported package. *** Error: Part common of class B is not unique. *** Warning: Class C references an object of type common. Class common is not defined in the class dictionary. Disregard this warning if class common is defined in an imported package. *** Warning: Class C violates the TBR. Class D is not the only part class. *** Warning: Class C violates the TBR. Class B is not the only part class. *** Warning: Class C violates the TBR. Class D is not the only part class. *** Warning: Class E references an object of type F. Class F is not defined in the class dictionary. Disregard this warning if class F is defined in an imported package. *** Warning: Class E references an object of type common. Class common is not defined in the class dictionary. Disregard this warning if class common is defined in an imported package. *** Warning: Class E references an object of type common. Class common is not defined in the class dictionary. Disregard this warning if class common is defined in an imported package. *** Error: Part d of class E is not unique. *** Warning: Class E violates the TBR. Class D is not the only part class. *** Warning: Class E violates the TBR. Class F is not the only part class. *** Warning: Class E violates the TBR. Class D is not the only part class. *** Warning: Class G references an object of type common. Class common is not defined in the class dictionary. Disregard this warning if class common is defined in an imported package. *** Warning: Class G references an object of type common. Class common is not defined in the class dictionary. Disregard this warning if class common is defined in an imported package. *** Error: Part a of class G is not unique. *** Warning: Class G violates the TBR. Class B is not the only part class. *** Warning: Class G violates the TBR. Class D is not the only part class. *** Warning: Class G violates the TBR. Class B is not the only part class. *** Warning: Class G violates the TBR. Class D is not the only part class. *** Warning: Class G violates the TBR. Class D is not the only part class. *** Warning: Class G violates the TBR. Class B is not the only part class. *** Warning: Class G violates the TBR. Class D is not the only part class. *** Warning: Class G violates the TBR. Class D is not the only part class. *** Warning: Class X references an object of type common. Class common is not defined in the class dictionary. Disregard this warning if class common is defined in an imported package. *** Warning: Class X references an object of type common. Class common is not defined in the class dictionary. Disregard this warning if class common is defined in an imported package. *** Error: Part common of class X is not unique. *** Warning: Class X violates the TBR. Class D is not the only part class. *** Warning: Class X violates the TBR. Class B is not the only part class. *** Warning: Class X violates the TBR. Class D is not the only part class. *** Warning: Class X violates the TBR. Class D is not the only part class. *** Warning: Class X violates the TBR. Class B is not the only part class. *** Warning: Class X violates the TBR. Class D is not the only part class. *** Warning: Class X violates the TBR. Class D is not the only part class. Check completed. Found 4 error(s) and 33 warning(s). NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/unique/test3.input *** Warning: Class D references an object of type F. Class F is not defined in the class dictionary. Disregard this warning if class F is defined in an imported package. *** Error: Part j of class I is not unique. Check completed. Found 1 error(s) and 1 warning(s). NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/unique/test4.input *** Warning: Class Main references an object of type String. Class String is not defined in the class dictionary. Disregard this warning if class String is defined in an imported package. *** Warning: Class A references an object of type common. Class common is not defined in the class dictionary. Disregard this warning if class common is defined in an imported package. *** Warning: Class B references an object of type D. Class D is not defined in the class dictionary. Disregard this warning if class D is defined in an imported package. *** Warning: Class B references an object of type D. Class D is not defined in the class dictionary. Disregard this warning if class D is defined in an imported package. *** Warning: Class B references an object of type common. Class common is not defined in the class dictionary. Disregard this warning if class common is defined in an imported package. *** Warning: Class B references an object of type common. Class common is not defined in the class dictionary. Disregard this warning if class common is defined in an imported package. *** Warning: Class B references an object of type common. Class common is not defined in the class dictionary. Disregard this warning if class common is defined in an imported package. *** Error: Part common of class B is not unique. *** Warning: Class B violates the TBR. Class D is not the only part class. *** Warning: Class B violates the TBR. Class B is not the only part class. *** Warning: Class B violates the TBR. Class D is not the only part class. *** Warning: Class E references an object of type D. Class D is not defined in the class dictionary. Disregard this warning if class D is defined in an imported package. *** Warning: Class E references an object of type F. Class F is not defined in the class dictionary. Disregard this warning if class F is defined in an imported package. *** Warning: Class E references an object of type D. Class D is not defined in the class dictionary. Disregard this warning if class D is defined in an imported package. *** Warning: Class E references an object of type common. Class common is not defined in the class dictionary. Disregard this warning if class common is defined in an imported package. *** Warning: Class E references an object of type common. Class common is not defined in the class dictionary. Disregard this warning if class common is defined in an imported package. *** Warning: Class E references an object of type common. Class common is not defined in the class dictionary. Disregard this warning if class common is defined in an imported package. *** Error: Part d of class E is not unique. *** Warning: Class E violates the TBR. Class D is not the only part class. *** Warning: Class E violates the TBR. Class F is not the only part class. *** Warning: Class E violates the TBR. Class D is not the only part class. *** Warning: Class G references an object of type D. Class D is not defined in the class dictionary. Disregard this warning if class D is defined in an imported package. *** Warning: Class G references an object of type D. Class D is not defined in the class dictionary. Disregard this warning if class D is defined in an imported package. *** Warning: Class G violates the TBR. Class B is not the only part class. *** Warning: Class G violates the TBR. Class D is not the only part class. *** Warning: Class G violates the TBR. Class B is not the only part class. *** Warning: Class G violates the TBR. Class D is not the only part class. Check completed. Found 2 error(s) and 25 warning(s). NEXT TEST TBR TEST TEST BEGIN /proj/lieber2/stelios/testcases/terminal/test1.input *** Warning: Class R references an object of type Ident. Class Ident is not defined in the class dictionary. Disregard this warning if class Ident is defined in an imported package. *** Warning: Class R violates the TBR. Class Ident is not the only part class. *** Warning: Class T references an object of type String. Class String is not defined in the class dictionary. Disregard this warning if class String is defined in an imported package. *** Warning: Class V references an object of type Ident. Class Ident is not defined in the class dictionary. Disregard this warning if class Ident is defined in an imported package. *** Warning: Class V violates the TBR. Class W is not the only part class. *** Warning: Class V violates the TBR. Class Ident is not the only part class. Check completed. Found 0 error(s) and 6 warning(s). NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/terminal/test2.input *** Warning: Class B references an object of type common. Class common is not defined in the class dictionary. Disregard this warning if class common is defined in an imported package. *** Warning: Class C references an object of type String. Class String is not defined in the class dictionary. Disregard this warning if class String is defined in an imported package. *** Warning: Class C references an object of type Ident. Class Ident is not defined in the class dictionary. Disregard this warning if class Ident is defined in an imported package. *** Warning: Class C references an object of type common. Class common is not defined in the class dictionary. Disregard this warning if class common is defined in an imported package. *** Warning: Class C references an object of type common. Class common is not defined in the class dictionary. Disregard this warning if class common is defined in an imported package. *** Error: Part common of class C is not unique. *** Warning: Class C violates the TBR. Class String is not the only part class. *** Warning: Class C violates the TBR. Class Ident is not the only part class. *** Warning: Class D references an object of type common. Class common is not defined in the class dictionary. Disregard this warning if class common is defined in an imported package. *** Warning: Class D references an object of type common. Class common is not defined in the class dictionary. Disregard this warning if class common is defined in an imported package. *** Error: Part common of class D is not unique. *** Warning: Class H references an object of type Boolean. Class Boolean is not defined in the class dictionary. Disregard this warning if class Boolean is defined in an imported package. *** Warning: Class H violates the TBR. Class Boolean is not the only part class. Check completed. Found 2 error(s) and 11 warning(s). NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/terminal/test3.input *** Warning: Class B references an object of type common. Class common is not defined in the class dictionary. Disregard this warning if class common is defined in an imported package. *** Warning: Class B references an object of type String. Class String is not defined in the class dictionary. Disregard this warning if class String is defined in an imported package. *** Warning: Class B violates the TBR. Class String is not the only part class. *** Warning: Class C references an object of type String. Class String is not defined in the class dictionary. Disregard this warning if class String is defined in an imported package. *** Warning: Class C references an object of type common. Class common is not defined in the class dictionary. Disregard this warning if class common is defined in an imported package. *** Warning: Class C references an object of type String. Class String is not defined in the class dictionary. Disregard this warning if class String is defined in an imported package. *** Warning: Class C references an object of type common. Class common is not defined in the class dictionary. Disregard this warning if class common is defined in an imported package. *** Warning: Class C references an object of type String. Class String is not defined in the class dictionary. Disregard this warning if class String is defined in an imported package. *** Warning: Class C references an object of type String. Class String is not defined in the class dictionary. Disregard this warning if class String is defined in an imported package. *** Error: Part string of class C is not unique. *** Warning: Class C violates the TBR. Class String is not the only part class. *** Warning: Class C violates the TBR. Class String is not the only part class. *** Warning: Class C violates the TBR. Class String is not the only part class. *** Warning: Class C violates the TBR. Class String is not the only part class. *** Warning: Class D references an object of type Ident. Class Ident is not defined in the class dictionary. Disregard this warning if class Ident is defined in an imported package. *** Warning: Class D references an object of type common. Class common is not defined in the class dictionary. Disregard this warning if class common is defined in an imported package. *** Warning: Class D references an object of type String. Class String is not defined in the class dictionary. Disregard this warning if class String is defined in an imported package. *** Warning: Class D references an object of type common. Class common is not defined in the class dictionary. Disregard this warning if class common is defined in an imported package. *** Warning: Class D references an object of type String. Class String is not defined in the class dictionary. Disregard this warning if class String is defined in an imported package. *** Warning: Class D references an object of type String. Class String is not defined in the class dictionary. Disregard this warning if class String is defined in an imported package. *** Error: Part common of class D is not unique. *** Warning: Class D violates the TBR. Class Ident is not the only part class. *** Warning: Class D violates the TBR. Class String is not the only part class. *** Warning: Class D violates the TBR. Class String is not the only part class. *** Warning: Class D violates the TBR. Class String is not the only part class. Check completed. Found 2 error(s) and 23 warning(s). NEXT TEST FLATTEN TEST TEST BEGIN /proj/lieber2/stelios/testcases/flatten/test1.input *** Warning: Class C references an object of type String. Class String is not defined in the class dictionary. Disregard this warning if class String is defined in an imported package. *** Warning: Class C violates the TBR. Class String is not the only part class. *** Warning: Class H references an object of type Boolean. Class Boolean is not defined in the class dictionary. Disregard this warning if class Boolean is defined in an imported package. *** Warning: Class H violates the TBR. Class Boolean is not the only part class. Check completed. Found 0 error(s) and 4 warning(s). NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/flatten/test2.input *** Warning: Class C references an object of type String. Class String is not defined in the class dictionary. Disregard this warning if class String is defined in an imported package. *** Error: Part h of class C is not unique. *** Warning: Class C violates the TBR. Class String is not the only part class. *** Error: Part h of class D is not unique. *** Warning: Class H references an object of type Boolean. Class Boolean is not defined in the class dictionary. Disregard this warning if class Boolean is defined in an imported package. *** Warning: Class H violates the TBR. Class Boolean is not the only part class. Check completed. Found 2 error(s) and 4 warning(s). NEXT TEST *** Error: Part construct_ns of class Construct_ns is not unique. *** Error: Part construct_ns of class Alternat_ns is not unique. *** Warning: Class Vertex references an object of type Ident. Class Ident is not defined in the class dictionary. Disregard this warning if class Ident is defined in an imported package. *** Warning: Class Regular_syntax references an object of type String. Class String is not defined in the class dictionary. Disregard this warning if class String is defined in an imported package. *** Error: Part vertex of class Regular is not unique. *** Warning: Class Labeled references an object of type Ident. Class Ident is not defined in the class dictionary. Disregard this warning if class Ident is defined in an imported package. *** Error: Part vertex of class Labeled is not unique. *** Warning: Class Labeled violates the TBR. Class Ident is not the only part class. *** Warning: Class Module_name references an object of type Ident. Class Ident is not defined in the class dictionary. Disregard this warning if class Ident is defined in an imported package. *** Error: Part vertex of class Normal is not unique. *** Warning: Class Sandwich references an object of type S. Class S is not defined in the class dictionary. Disregard this warning if class S is defined in an imported package. *** Warning: Class Sandwich violates the TBR. Class S is not the only part class. Check completed. Found 5 error(s) and 7 warning(s).