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 |
check_ifc_conformance |
---|
**** | Check all type interfaces for conformance to their ancestors and descendants. |
create(p:PROG):SAME |
---|