| class IFC_ABS_CREATE |
|---|
| **** | Create an interface for an abstract type. in the class. |
| attr class_sigs:SIG_TBL; |
|---|
| **** | Table of signature explicitly in the class. |
| attr con:TP_CONTEXT; |
|---|
| **** | The type context for tp. in the class. |
| attr supers:FLIST{IFC}; |
|---|
| **** | Interfaces of supertypes. |
| attr tp:TP_CLASS; |
|---|
| **** | The abstract type it is for. in the class. |
| attr tr:AS_CLASS_DEF; |
|---|
| **** | The definition tree for tp. in the class. |
| attr class_sigs:SIG_TBL; |
|---|
| **** | Table of signature explicitly in the class. |
| attr con:TP_CONTEXT; |
|---|
| **** | The type context for tp. in the class. |
| attr supers:FLIST{IFC}; |
|---|
| **** | Interfaces of supertypes. |
| attr tp:TP_CLASS; |
|---|
| **** | The abstract type it is for. in the class. |
| attr tr:AS_CLASS_DEF; |
|---|
| **** | The definition tree for tp. in the class. |
| do_explicit_class_sigs |
|---|
| **** | Compute `class_sigs'. |
| do_sigs:SIG_TBL |
|---|
| **** | The final sig table assuming everything else has been computed. |
| do_supers |
|---|
| **** | Compute `supers'. |
| ifc_of(t:TP_CLASS):IFC |
|---|
| **** | Compute the interface of the abstract type `t'. |
| prog:PROG |
|---|
| **** | The program this belongs to. |