| class CHECK_IFC_CONFORMANCE < $CHECK_IFC_CONFORMANCE |
|---|
| **** | This phase checks the conformance of interfaces for each type against its parents and children. |
| $CHECK_IFC_CONFORMANCE | 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. |
| check_ifc_conformance |
|---|
| **** | Check all type interfaces for conformance to their ancestors and descendants. |
| 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); |