| 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 |
| attr prog:PROG; |
|---|
| attr prog:PROG; |
|---|
| barf(msg:STR) |
|---|
| **** | Something wrong within the compiler, but we can't say where. |
| barf_at(msg:STR,at:$PROG_ERR) |
|---|
| **** | Something wrong, and we know where. |
| build_graphs |
|---|
| **** | Build the type graphs for all types in the program. |
| create(p:PROG):SAME |
|---|
| err(s:STR) |
|---|
| **** | Report an error. |
| err_loc(t:$PROG_ERR) |
|---|
| **** | Set where a future error should be reported at. |
| warning(s:STR) |
|---|
| **** | report a warning (doesn't stop compile); |
| 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. |