class CHECK_IFC_CONFORMANCE < $CHECK_IFC_CONFORMANCE

****	This phase checks the conformance of interfaces for each type against its parents and children.

---

Flattened version is here

---

Ancestors

$CHECK_IFC_CONFORMANCE

CS_COMPONENT

---

Public

Features

check_ifc_conformance

****	Check all type interfaces for conformance to their ancestors and descendants.

create(p:PROG):SAME

---