F L A T T E N N I N G   T E S T

FIRRST TEST

 ----  CLASS GRAPH BEFORE FLATTENNING  ----
B:C|D.
C=String<h>H.
D=E<h>H.
H=Boolean V.
E=.
V=.
 Attempting the Flattenning Check 

FlatteningVisitor
 ----  CLASS GRAPH AFTER FLATTENNING  ----
B:C|D.
C=String<h>H.
D=E<h>H.
H=Boolean V.
E=.
V=.


@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@

SECOND TEST

 ----  CLASS GRAPH BEFORE FLATTENNING  ----
B:C|D common<h>H.
C=String.
D=E.
H=Boolean V.
E=.
V=.
 Attempting the Flattenning Check 

FlatteningVisitor


 ----  CLASS GRAPH AFTER FLATTENNING  ----
B:C|D common.
C=String<h>H.
D=E<h>H.
H=Boolean V.
E=.
V=.

@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\

U N D E F I N E D   C L A S S E S   T E S T

FIRST TEST

 ----  CLASS GRAPH BEFORE FLATTENNING  ----
A=<b>B.
B=C D.
C=<a>A<i>I.
D=X.
D="d" X.
F=List(Z).
I=Ident.
List(S)~
{
S
}
.

 Attempting the Flattenning Check 

FlatteningVisitor
 ----  CLASS GRAPH AFTER FLATTENNING  ----
A=<b>B.
B=C D.
C=<a>A<i>I.
D=X.
D="d" X.
F=List(Z).
I=Ident.
List(S)~
{
S
}
.

 Attempting the Undefined Classes Check
Z is an UNDEFINED CLASS

@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@

SECOND TEST

 ----  CLASS GRAPH BEFORE FLATTENNING  ----
A=B.
B=C D.
C=Beta1 Epsilon E.
D=.
E=F.
F=.

 Attempting the Flattenning Check 

FlatteningVisitor
 ----  CLASS GRAPH AFTER FLATTENNING  ----
A=B.
B=C D.
C=Beta1 Epsilon E.
D=.
E=F.
F=.

 Attempting the Undefined Classes Check
Beta1 is an UNDEFINED CLASS

@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@

THIRD TEST

 ----  CLASS GRAPH BEFORE FLATTENNING  ----
X=A "+" B.
A=<g>G.
A=L.
L=Ident String P.

 Attempting the Flattenning Check 

FlatteningVisitor
 ----  CLASS GRAPH AFTER FLATTENNING  ----
X=A "+" B.
A=<g>G.
A=L.
L=Ident String P.

 Attempting the Undefined Classes Check
G is an UNDEFINED CLASS

@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@

FOURTH TEST

 ----  CLASS GRAPH BEFORE FLATTENNING  ----
A:B|C.
B:D|E.
F=J.
D=<x>X<q>X.
E=<z>Y<z>Y.

 Attempting the Flattenning Check 

FlatteningVisitor



 ----  CLASS GRAPH AFTER FLATTENNING  ----
A:B|C.
B:D|E.
F=J.
D=<x>X<q>X.
E=<z>Y<z>Y.

 Attempting the Undefined Classes Check
J is an UNDEFINED CLASS

@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@

FIFTH TEST

 ----  CLASS GRAPH BEFORE FLATTENNING  ----
Main=.
A=C.
B:C|D.
C=<e>E<h>H.
D=F.
E=.
G=H H.
H=.
I=<j>J<j>K.
J=.
K=.

 Attempting the Flattenning Check 

FlatteningVisitor


 ----  CLASS GRAPH AFTER FLATTENNING  ----
Main=.
A=C.
B:C|D.
C=<e>E<h>H.
D=F.
E=.
G=H H.
H=.
I=<j>J<j>K.
J=.
K=.

 Attempting the Undefined Classes Check
F is an UNDEFINED CLASS

@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\

M U L T I P L E    D E F I N I T I O N S   T E S T

FIRST TEST

 ----  CLASS GRAPH BEFORE FLATTENNING  ----
X=A "+" B.
A=<g>G.
A=L.
L=Ident String P.

 Attempting the Flattenning Check 

FlatteningVisitor
 ----  CLASS GRAPH AFTER FLATTENNING  ----
X=A "+" B.
A=<g>G.
A=L.
L=Ident String P.

 Attempting the Undefined Classes Check
CLASS A has more than ONE definition

@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\

M U L I P L E    I N H E R I T A N C E   T E S T

FIRST TEST

 ----  CLASS GRAPH BEFORE FLATTENNING  ----
A:B|C.
Z:B|G.
B="b".
C="c".
G="g".

 Attempting the Flattenning Check 

FlatteningVisitor




 ----  CLASS GRAPH AFTER FLATTENNING  ----
A:B|C.
Z:B|G.
B="b".
C="c".
G="g".

 Attempting the Multiple & Cyclic Inheritance Check
B has the following MULTIPLE SUPER-CLASSES: A and Z


@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@

SECOND TEST

 ----  CLASS GRAPH BEFORE FLATTENNING  ----
X:L|N|P.
G:N|P.
Q:A|L|P.

 Attempting the Flattenning Check 

FlatteningVisitor
 ----  CLASS GRAPH AFTER FLATTENNING  ----
X:L|N|P.
G:N|P.
Q:A|L|P.

 Attempting the Multiple & Cyclic Inheritance Check

@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\

T E R M I N A L  B U F F E R   R U L E   T E S T

FIRST TEST

 ----  CLASS GRAPH BEFORE FLATTENNING  ----
B:C|D common<h>H.
C=String E Ident.
D=E.
H=Boolean V.
E=.
V=.

 Attempting the Flattenning Check 

FlatteningVisitor


 ----  CLASS GRAPH AFTER FLATTENNING  ----
B:C|D.
C=String E Ident<h>H common.
D=E<h>H common.
H=Boolean V.
E=.
V=.

Attempting the Terminal Buffer Check

The C class violates the TERMINAL BUFFER RULE. Class Ident is NOT the ONLY part.

@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@

SECOND TEST

 ----  CLASS GRAPH BEFORE FLATTENNING  ----
R=List(Ident).
T=String.
V=W<i>Ident.
W="w".
List(S)~
{
S
}
.

 Attempting the Flattenning Check 

FlatteningVisitor
 ----  CLASS GRAPH AFTER FLATTENNING  ----
R=List(Ident).
T=String.
V=W<i>Ident.
W="w".
List(S)~
{
S
}
.

Attempting the Terminal Buffer Check

The R class violates the TERMINAL BUFFER RULE. Class Ident is NOT the ONLY part.

@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@

THIRD TEST

 ----  CLASS GRAPH BEFORE FLATTENNING  ----
B:C|D common String.
C=String.
D=Ident.

 Attempting the Flattenning Check 

FlatteningVisitor


 ----  CLASS GRAPH AFTER FLATTENNING  ----
B:C|D.
C=String String common.
D=Ident String common.

Attempting the Terminal Buffer Check

The D class violates the TERMINAL BUFFER RULE. Class Ident is NOT the ONLY part.

@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\

C Y C L I C   I N H E R I T A N C E   T E S T

FIRST TEST

 ----  CLASS GRAPH BEFORE FLATTENNING  ----
A:B|D*common*D.
B:E|G.
D=A.
E=.
F:A.
G:F.

 Attempting the Flattenning Check 

FlatteningVisitor

 ----  CLASS GRAPH AFTER FLATTENNING  ----
A:B|D*common*.
B:E|G.
D=A D.
E=D.
F:A D.
G:F.

 Attempting the Multiple & Cyclic Inheritance Check

 Cyclic inheritance detected from CLASS A
 to CLASS F to CLASS G to CLASS B to CLASS A

@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@

SECOND TEST

 ----  CLASS GRAPH BEFORE FLATTENNING  ----
A:B|D.
D:E.
B:C.
C:D.
E:A.

 Attempting the Flattenning Check 

FlatteningVisitor

 ----  CLASS GRAPH AFTER FLATTENNING  ----
A:B|D.
D:E.
B:C.
C:D.
E:A.

 Attempting the Multiple & Cyclic Inheritance Check
D has the following MULTIPLE SUPER-CLASSES: A and C

@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@

THIRD TEST 

 ----  CLASS GRAPH BEFORE FLATTENNING  ----
A:B.
B:C.
C:A.

 Attempting the Flattenning Check 

FlatteningVisitor



 ----  CLASS GRAPH AFTER FLATTENNING  ----
A:B.
B:C.
C:A.

 Attempting the Multiple & Cyclic Inheritance Check

 Cyclic inheritance detected from CLASS A
 to CLASS C to CLASS B to CLASS A

@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@

FOURTH TEST


 ----  CLASS GRAPH BEFORE FLATTENNING  ----
Main=<s>String.
A=<b>B<c>C.
B=.
C=<b>B.

 Attempting the Flattenning Check 

FlatteningVisitor
 ----  CLASS GRAPH AFTER FLATTENNING  ----
Main=<s>String.
A=<b>B<c>C.
B=.
C=<b>B.

 Attempting the Multiple & Cyclic Inheritance Check


@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\@/@\

U N I Q U E    P A R T S    T E S T


FIRST TEST

 ----  CLASS GRAPH BEFORE FLATTENNING  ----
A:B1|C*common*<z>Z.
B1:B2.
B2:B.
B=<z>X.
C=X X.
G="g".
X="x".
Y=<g>G<g>Z.
Z="z".

 Attempting the Flattenning Check 

FlatteningVisitor

 -----  CLASS GRAPH AFTER FLATTENNING  ----
A:B1|C*common*.
B1:B2.
B2:B.
B=<z>X<z>Z.
C=X X<z>Z.
G="g".
X="x".
Y=<g>G<g>Z.
Z="z".

 Attempting the Unique Parts Check
B contains a NON-UNIQUE PART z

@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@

SECOND TEST

 ----  CLASS GRAPH BEFORE FLATTENNING  ----
Main=<s>String.
A:B|E common<a>X.
B=<x>X<X>X.
C:G|X common<y>D<z>B D.
E=D F D.
D=.
G=<a>A<a>B.
X=.

 Attempting the Flattenning Check 

FlatteningVisitor

 ----  CLASS GRAPH AFTER FLATTENNING  ----
Main=<s>String.
A:B|E.
B=<x>X<X>X<a>X common.
C:G|X.
E=D F D<a>X common.
D=.
G=<a>A<a>B<z>B D<y>D common.
X=<z>B D<y>D common.

 Attempting the Unique Parts Check
G contains a NON-UNIQUE PART a

@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@

THIRD TEST

 ----  CLASS GRAPH BEFORE FLATTENNING  ----
Main=.
A=C.
B:C|D.
C=<e>E<h>H.
D=F.
E=.
H=.
I=<j>J<j>K.
J=.
K=.

 Attempting the Flattenning Check 

FlatteningVisitor

 ----  CLASS GRAPH AFTER FLATTENNING  ----
Main=.
A=C.
B:C|D.
C=<e>E<h>H.
D=F.
E=.
H=.
I=<j>J<j>K.
J=.
K=.

 Attempting the Unique Parts Check
I contains a NON-UNIQUE PART j

@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@

FOURTH TEST

 ----  CLASS GRAPH BEFORE FLATTENNING  ----
Main=<s>String.
A:B|E common.
B=<x>X<X>X<a>X<y>D<z>B D.
C:G.
E=D F D<a>X.
G=<a>A<b>B<y>D<z>B D.
X=.

 Attempting the Flattenning Check 

FlatteningVisitor



 ----  CLASS GRAPH AFTER FLATTENNING  ----
Main=<s>String.
A:B|E.
B=<x>X<X>X<a>X<y>D<z>B D common.
C:G.
E=D F D<a>X common.
G=<a>A<b>B<y>D<z>B D.
X=.

 Attempting the Unique Parts Check