| class BUILD_TYPE_GRAPH < $BUILD_TYPE_GRAPH |
|---|
| **** | This phase builds the type graph of the types found above. It causes errors if there are loops. |
| $BUILD_TYPE_GRAPH | CS_COMPONENT |
| build_graphs |
|---|
| **** | Build the type graphs for all types in the program. |
| create(p:PROG):SAME |
|---|
| abs_des_out |
|---|
| **** | The concrete descendants of abstract types. |
| anc_out |
|---|
| **** | The ancestors of all types in `tp_done' with some. |
| des_out |
|---|
| **** | The descendants of all types in `tp_done' with some. |