| class TP |
|---|
| **** | Implementation to be included by $TP objects. |
| TP_CLASS | TP_ITER | TP_ROUT |
| attr prog:PROG; |
|---|
| **** | This type's program object. |
| attr prog:PROG; |
|---|
| **** | This type's program object. |
| as:AS_TYPE_SPEC |
|---|
| **** | construct AS_TYPE_SPEC for self;` |
| hash:INT |
|---|
| ifc:IFC |
|---|
| impl:IMPL |
|---|
| is_atomic:BOOL |
|---|
| **** | Conservative answer |
| is_builtin:BOOL |
|---|
| **** | Conservative answer |
| is_eq(t:$OB):BOOL |
|---|
| **** | Equality note: changed from $CALL_TP True if self equals `t'. |
| is_external:BOOL |
|---|
| **** | True if one of external types |
| is_immutable:BOOL |
|---|
| **** | True if an immutable type. |
| is_lt(t:$CALL_TP):BOOL |
|---|
| **** | True if self is less than `t' in a canonical (arbitrary) ordering. |
| is_neq(t:$OB):BOOL |
|---|
| **** | Equality note: changed from $CALL_TP True if self is not equal to `t'. |
| is_partial:BOOL |
|---|
| **** | True if partial class |
| is_reference_free:BOOL |
|---|
| **** | Conservative answer |
| kind:INT |
|---|
| str:STR |
|---|
| attr my_ifc: IFC; |
|---|
| attr my_ifc: IFC; |
|---|