*************** *************** DEFINITION TEST *************** *************** TEST BEGIN /proj/lieber2/stelios/testcases/definition/test1.input ------Assigning parents for each class------ ***Parents Assigned*** ----------Single Inheritance Check---------- Single Inheritance Check pass. ----------Inheritance Cycle Check----------- Inheritance Cycle Check pass ------Flattening the Cd_graph Object------- ***Before Flattening*** A=B. B=C D. C=AI. D=X. D="d" X. F=List(Z). I=Ident. List(S)~{S}. ***Start Flattening*** ***Flattening Done*** ***After Flattening*** A=B. B=C D. C=AI. D=X. D="d" X. F=List(Z). I=Ident. List(S)~{S}. ---------Running Unique Part Check---------- Unique Part Check pass. -------Running Undefined Class Check-------- *** Error *** Class Z is not defined in the cd *** Error *** Class X is not defined in the cd *** Error *** Class Ident is not defined in the cd ---------Terminal Buffer Rule Check---------- Terminal Buffer Rule Check pass NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/definition/test2.input ------Assigning parents for each class------ ***Parents Assigned*** ----------Single Inheritance Check---------- Single Inheritance Check pass. ----------Inheritance Cycle Check----------- Inheritance Cycle Check pass ------Flattening the Cd_graph Object------- ***Before Flattening*** A=B. B=C D. C=Beta1 Epsilon E. D=. E=F. F=. ***Start Flattening*** ***Flattening Done*** ***After Flattening*** A=B. B=C D. C=Beta1 Epsilon E. D=. E=F. F=. ---------Running Unique Part Check---------- Unique Part Check pass. -------Running Undefined Class Check-------- *** Error *** Class Beta1 is not defined in the cd *** Error *** Class Epsilon is not defined in the cd ---------Terminal Buffer Rule Check---------- Terminal Buffer Rule Check pass NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/definition/test3.input ------Assigning parents for each class------ ***Parents Assigned*** ----------Single Inheritance Check---------- Single Inheritance Check pass. ----------Inheritance Cycle Check----------- Inheritance Cycle Check pass ------Flattening the Cd_graph Object------- ***Before Flattening*** X=A "+" B. A=G. A=L. L=Ident String P. ***Start Flattening*** ***Flattening Done*** ***After Flattening*** X=A "+" B. A=G. A=L. L=Ident String P. ---------Running Unique Part Check---------- Unique Part Check pass. -------Running Undefined Class Check-------- *** Error *** Class String is not defined in the cd *** Error *** Class Ident is not defined in the cd *** Error *** Class G is not defined in the cd *** Error *** Class P is not defined in the cd *** Error *** Class B is not defined in the cd ---------Terminal Buffer Rule Check---------- ** Warning ** Class L violates TBR. Class [String, Ident] not the only part class. NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/definition/test4.input ------Assigning parents for each class------ ***Parents Assigned*** ----------Single Inheritance Check---------- Single Inheritance Check pass. ----------Inheritance Cycle Check----------- Inheritance Cycle Check pass ------Flattening the Cd_graph Object------- ***Before Flattening*** A:B|C. B:D|E. F=J. D=XX. E=YY. ***Start Flattening*** ***Flattening Done*** ***After Flattening*** A:B|C. B:D|E. F=J. D=XX. E=YY. ---------Running Unique Part Check---------- *** Error *** Part z of class E is not unique -------Running Undefined Class Check-------- *** Error *** Class J is not defined in the cd *** Error *** Class Y is not defined in the cd *** Error *** Class C is not defined in the cd *** Error *** Class X is not defined in the cd ---------Terminal Buffer Rule Check---------- Terminal Buffer Rule Check pass NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/definition/test5.input ------Assigning parents for each class------ ***Parents Assigned*** ----------Single Inheritance Check---------- Single Inheritance Check pass. ----------Inheritance Cycle Check----------- Inheritance Cycle Check pass ------Flattening the Cd_graph Object------- ***Before Flattening*** Main=. A=C. B:C|D. C=EH. D=F. E=. G=H H. H=. I=JK. J=. K=. ***Start Flattening*** ***Flattening Done*** ***After Flattening*** Main=. A=C. B:C|D. C=EH. D=F. E=. G=H H. H=. I=JK. J=. K=. ---------Running Unique Part Check---------- *** Error *** Part h of class G is not unique *** Error *** Part j of class I is not unique -------Running Undefined Class Check-------- *** Error *** Class F is not defined in the cd ---------Terminal Buffer Rule Check---------- Terminal Buffer Rule Check pass NEXT TEST *************** *************** INHERITANCE CYCLE TEST *************** *************** TEST BEGIN /proj/lieber2/stelios/testcases/inheritanceCycle/test1.input ------Assigning parents for each class------ ***Parents Assigned*** ----------Single Inheritance Check---------- Single Inheritance Check pass. ----------Inheritance Cycle Check----------- *** Error *** Cyclic inheritance from Class A to Class F to Class G to Class B to Class A Fix the Inheritance Cyle before proceeding to Flattening and Unique Parts Check -------Running Undefined Class Check-------- Undefined Class Check pass. ---------Terminal Buffer Rule Check---------- Terminal Buffer Rule Check pass NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/inheritanceCycle/test2.input ------Assigning parents for each class------ ***Parents Assigned*** ----------Single Inheritance Check---------- *** Error *** Class D has multiple superclasses, A, C Fix the multiple inheritance before proceeding to Inheritance Cycle Check -------Running Undefined Class Check-------- Undefined Class Check pass. ---------Terminal Buffer Rule Check---------- Terminal Buffer Rule Check pass NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/inheritanceCycle/test3.input ------Assigning parents for each class------ ***Parents Assigned*** ----------Single Inheritance Check---------- Single Inheritance Check pass. ----------Inheritance Cycle Check----------- *** Error *** Cyclic inheritance from Class A to Class C to Class B to Class A Fix the Inheritance Cyle before proceeding to Flattening and Unique Parts Check -------Running Undefined Class Check-------- Undefined Class Check pass. ---------Terminal Buffer Rule Check---------- Terminal Buffer Rule Check pass NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/inheritanceCycle/test4.input ------Assigning parents for each class------ ***Parents Assigned*** ----------Single Inheritance Check---------- Single Inheritance Check pass. ----------Inheritance Cycle Check----------- Inheritance Cycle Check pass ------Flattening the Cd_graph Object------- ***Before Flattening*** Main=String. A=BC. B=. C=B. ***Start Flattening*** ***Flattening Done*** ***After Flattening*** Main=String. A=BC. B=. C=B. ---------Running Unique Part Check---------- Unique Part Check pass. -------Running Undefined Class Check-------- *** Error *** Class String is not defined in the cd ---------Terminal Buffer Rule Check---------- Terminal Buffer Rule Check pass NEXT TEST *************** *************** MULTIPLE INHERITANCE TEST *************** *************** TEST BEGIN /proj/lieber2/stelios/testcases/inheritanceSingle/test1.input ------Assigning parents for each class------ ***Parents Assigned*** ----------Single Inheritance Check---------- *** Error *** Class B has multiple superclasses, A, Z Fix the multiple inheritance before proceeding to Inheritance Cycle Check -------Running Undefined Class Check-------- Undefined Class Check pass. ---------Terminal Buffer Rule Check---------- Terminal Buffer Rule Check pass NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/inheritanceSingle/test2.input ------Assigning parents for each class------ ***Parents Assigned*** ----------Single Inheritance Check---------- Single Inheritance Check pass. ----------Inheritance Cycle Check----------- Inheritance Cycle Check pass ------Flattening the Cd_graph Object------- ***Before Flattening*** X:L|N|P. G:N|P. Q:A|L|P. ***Start Flattening*** ***Flattening Done*** ***After Flattening*** X:L|N|P. G:N|P. Q:A|L|P. ---------Running Unique Part Check---------- Unique Part Check pass. -------Running Undefined Class Check-------- *** Error *** Class A is not defined in the cd *** Error *** Class L is not defined in the cd *** Error *** Class P is not defined in the cd *** Error *** Class N is not defined in the cd ---------Terminal Buffer Rule Check---------- Terminal Buffer Rule Check pass NEXT TEST *************** *************** UNIQUE PARTS TEST *************** *************** TEST BEGIN /proj/lieber2/stelios/testcases/unique/test1.input ------Assigning parents for each class------ ***Parents Assigned*** ----------Single Inheritance Check---------- Single Inheritance Check pass. ----------Inheritance Cycle Check----------- Inheritance Cycle Check pass ------Flattening the Cd_graph Object------- ***Before Flattening*** A:B1|C*common*Z. B1:B2. B2:B. B=X. C=X X. G="g". X="x". Y=GZ. Z="z". ***Start Flattening*** ***Flattening Done*** ***After Flattening*** A:B1|C*common*. B1:B2. B2:B. B=XZ. C=X XZ. G="g". X="x". Y=GZ. Z="z". ---------Running Unique Part Check---------- *** 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 -------Running Undefined Class Check-------- Undefined Class Check pass. ---------Terminal Buffer Rule Check---------- Terminal Buffer Rule Check pass NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/unique/test2.input ------Assigning parents for each class------ ***Parents Assigned*** ----------Single Inheritance Check---------- Single Inheritance Check pass. ----------Inheritance Cycle Check----------- Inheritance Cycle Check pass ------Flattening the Cd_graph Object------- ***Before Flattening*** Main=String. A:B|E commonX. B=XX. C:G|X commonDB D. E=D F D. D=. G=AB. X=. ***Start Flattening*** ***Flattening Done*** ***After Flattening*** Main=String. A:B|E. B=XX commonX. C:G|X. E=D F D commonX. D=. G=AB commonDB D. X=commonDB D. ---------Running Unique Part Check---------- *** Error *** Part d of class E is not unique *** Error *** Part a of class G is not unique -------Running Undefined Class Check-------- *** Error *** Class common is not defined in the cd *** Error *** Class String is not defined in the cd *** Error *** Class F is not defined in the cd ---------Terminal Buffer Rule Check---------- Terminal Buffer Rule Check pass NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/unique/test3.input ------Assigning parents for each class------ ***Parents Assigned*** ----------Single Inheritance Check---------- Single Inheritance Check pass. ----------Inheritance Cycle Check----------- Inheritance Cycle Check pass ------Flattening the Cd_graph Object------- ***Before Flattening*** Main=. A=C. B:C|D. C=EH. D=F. E=. H=. I=JK. J=. K=. ***Start Flattening*** ***Flattening Done*** ***After Flattening*** Main=. A=C. B:C|D. C=EH. D=F. E=. H=. I=JK. J=. K=. ---------Running Unique Part Check---------- *** Error *** Part j of class I is not unique -------Running Undefined Class Check-------- *** Error *** Class F is not defined in the cd ---------Terminal Buffer Rule Check---------- Terminal Buffer Rule Check pass NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/unique/test4.input ------Assigning parents for each class------ ***Parents Assigned*** ----------Single Inheritance Check---------- Single Inheritance Check pass. ----------Inheritance Cycle Check----------- Inheritance Cycle Check pass ------Flattening the Cd_graph Object------- ***Before Flattening*** Main=String. A:B|E common. B=XXXDB D. C:G. E=D F DX. G=ABDB D. X=. ***Start Flattening*** ***Flattening Done*** ***After Flattening*** Main=String. A:B|E. B=XXXDB D common. C:G. E=D F DX common. G=ABDB D. X=. ---------Running Unique Part Check---------- *** Error *** Part d of class E is not unique -------Running Undefined Class Check-------- *** Error *** Class D is not defined in the cd *** Error *** Class common is not defined in the cd *** Error *** Class String is not defined in the cd *** Error *** Class F is not defined in the cd ---------Terminal Buffer Rule Check---------- Terminal Buffer Rule Check pass NEXT TEST *************** *************** TBR TEST *************** *************** TEST BEGIN /proj/lieber2/stelios/testcases/terminal/test1.input ------Assigning parents for each class------ ***Parents Assigned*** ----------Single Inheritance Check---------- Single Inheritance Check pass. ----------Inheritance Cycle Check----------- Inheritance Cycle Check pass ------Flattening the Cd_graph Object------- ***Before Flattening*** R=List(Ident). T=String. V=WIdent. W="w". List(S)~{S}. ***Start Flattening*** ***Flattening Done*** ***After Flattening*** R=List(Ident). T=String. V=WIdent. W="w". List(S)~{S}. ---------Running Unique Part Check---------- Unique Part Check pass. -------Running Undefined Class Check-------- *** Error *** Class String is not defined in the cd *** Error *** Class Ident is not defined in the cd ---------Terminal Buffer Rule Check---------- ** Warning ** Class V violates TBR. Class [Ident] not the only part class. NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/terminal/test2.input ------Assigning parents for each class------ ***Parents Assigned*** ----------Single Inheritance Check---------- Single Inheritance Check pass. ----------Inheritance Cycle Check----------- Inheritance Cycle Check pass ------Flattening the Cd_graph Object------- ***Before Flattening*** B:C|D commonH. C=String E Ident. D=E. H=Boolean V. E=. V=. ***Start Flattening*** ***Flattening Done*** ***After Flattening*** B:C|D. C=String E Ident commonH. D=E commonH. H=Boolean V. E=. V=. ---------Running Unique Part Check---------- Unique Part Check pass. -------Running Undefined Class Check-------- *** Error *** Class Ident is not defined in the cd *** Error *** Class Boolean is not defined in the cd *** Error *** Class common is not defined in the cd *** Error *** Class String is not defined in the cd ---------Terminal Buffer Rule Check---------- ** Warning ** Class C violates TBR. Class [Ident, String] not the only part class. ** Warning ** Class H violates TBR. Class [Boolean] not the only part class. NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/terminal/test3.input ------Assigning parents for each class------ ***Parents Assigned*** ----------Single Inheritance Check---------- Single Inheritance Check pass. ----------Inheritance Cycle Check----------- Inheritance Cycle Check pass ------Flattening the Cd_graph Object------- ***Before Flattening*** B:C|D common String. C=String. D=Ident. ***Start Flattening*** ***Flattening Done*** ***After Flattening*** B:C|D. C=String common String. D=Ident common String. ---------Running Unique Part Check---------- *** Error *** Part string of class C is not unique -------Running Undefined Class Check-------- *** Error *** Class Ident is not defined in the cd *** Error *** Class String is not defined in the cd *** Error *** Class common is not defined in the cd ---------Terminal Buffer Rule Check---------- ** Warning ** Class C violates TBR. Class [String] not the only part class. ** Warning ** Class D violates TBR. Class [String, Ident] not the only part class. NEXT TEST *************** *************** FLATTEN TEST *************** *************** TEST BEGIN /proj/lieber2/stelios/testcases/flatten/test1.input ------Assigning parents for each class------ ***Parents Assigned*** ----------Single Inheritance Check---------- Single Inheritance Check pass. ----------Inheritance Cycle Check----------- Inheritance Cycle Check pass ------Flattening the Cd_graph Object------- ***Before Flattening*** B:C|D. C=StringH. D=EH. H=Boolean V. E=. V=. ***Start Flattening*** ***Flattening Done*** ***After Flattening*** B:C|D. C=StringH. D=EH. H=Boolean V. E=. V=. ---------Running Unique Part Check---------- Unique Part Check pass. -------Running Undefined Class Check-------- *** Error *** Class String is not defined in the cd *** Error *** Class Boolean is not defined in the cd ---------Terminal Buffer Rule Check---------- ** Warning ** Class C violates TBR. Class [String] not the only part class. ** Warning ** Class H violates TBR. Class [Boolean] not the only part class. NEXT TEST TEST BEGIN /proj/lieber2/stelios/testcases/flatten/test2.input ------Assigning parents for each class------ ***Parents Assigned*** ----------Single Inheritance Check---------- Single Inheritance Check pass. ----------Inheritance Cycle Check----------- Inheritance Cycle Check pass ------Flattening the Cd_graph Object------- ***Before Flattening*** B:C|D*common*H. C=String. D=E. H=Boolean V. E=. V=. ***Start Flattening*** ***Flattening Done*** ***After Flattening*** B:C|D*common*. C=StringH. D=EH. H=Boolean V. E=. V=. ---------Running Unique Part Check---------- Unique Part Check pass. -------Running Undefined Class Check-------- *** Error *** Class String is not defined in the cd *** Error *** Class Boolean is not defined in the cd ---------Terminal Buffer Rule Check---------- ** Warning ** Class C violates TBR. Class [String] not the only part class. ** Warning ** Class H violates TBR. Class [Boolean] not the only part class. NEXT TEST FINAL TEST /proj/lieber2/stelios/testcases/general/final.input ------Assigning parents for each class------ ***Parents Assigned*** ----------Single Inheritance Check---------- Single Inheritance Check pass. ----------Inheritance Cycle Check----------- Inheritance Cycle Check pass ------Flattening the Cd_graph Object------- ***Before Flattening*** Main=. Cd_graph=Nlist(Adjacency). Adjacency=Vertex["("Comma_list(Vertex)")"]Neighbors ".". Neighbors:Neighbors_wc|Repetit_n*common*. Neighbors_wc:Construct_ns|Alternat_ns*common*List(Any_vertex). Construct_ns="=". Alternat_ns=":"Bar_list(Term)[Common]. Common="*common*". Repetit_n="~"Sandwich(Kernel). Kernel=[Term]"{"Sandwich(Term)"}". Any_vertex:Opt_labeled_term|Optional_term|Syntax_vertex. Vertex=Ident. Syntax_vertex:Regular_syntax|Print_command*common*. Print_command:Print_indent|Print_unindent|Print_skip|Print_space*common*. Print_indent="+". Print_unindent="-". Print_skip="*l". Print_space="*s". Regular_syntax=String. Opt_labeled_term:Labeled|Regular*common*Term. Regular=. Labeled="<"Ident ">". Term:Normal*common*Vertex["@"Module_name]["("Comma_list(Term)")"]. Module_name=Ident. Normal=. Optional_term="["Sandwich(Opt_labeled_term)"]". List(S)~{S}. Nlist(S)~S{S}. Bar_list(S)~S{"|" S}. Comma_list(S)~S{"," S}. Sandwich(S)=List(Syntax_vertex)SList(Syntax_vertex). ***Start Flattening*** ***Flattening Done*** ***After Flattening*** Main=. Cd_graph=Nlist(Adjacency). Adjacency=Vertex["("Comma_list(Vertex)")"]Neighbors ".". Neighbors:Neighbors_wc|Repetit_n*common*. Neighbors_wc:Construct_ns|Alternat_ns*common*. Construct_ns="="List(Any_vertex). Alternat_ns=":"Bar_list(Term)[Common]List(Any_vertex). Common="*common*". Repetit_n="~"Sandwich(Kernel). Kernel=[Term]"{"Sandwich(Term)"}". Any_vertex:Opt_labeled_term|Optional_term|Syntax_vertex. Vertex=Ident. Syntax_vertex:Regular_syntax|Print_command*common*. Print_command:Print_indent|Print_unindent|Print_skip|Print_space*common*. Print_indent="+". Print_unindent="-". Print_skip="*l". Print_space="*s". Regular_syntax=String. Opt_labeled_term:Labeled|Regular*common*. Regular=Term. Labeled="<"Ident ">"Term. Term:Normal*common*. Module_name=Ident. Normal=Vertex["@"Module_name]["("Comma_list(Term)")"]. Optional_term="["Sandwich(Opt_labeled_term)"]". List(S)~{S}. Nlist(S)~S{S}. Bar_list(S)~S{"|" S}. Comma_list(S)~S{"," S}. Sandwich(S)=List(Syntax_vertex)SList(Syntax_vertex). ---------Running Unique Part Check---------- Unique Part Check pass. -------Running Undefined Class Check-------- *** Error *** Class Ident is not defined in the cd *** Error *** Class String is not defined in the cd ---------Terminal Buffer Rule Check---------- ** Warning ** Class Labeled violates TBR. Class [Ident] not the only part class.