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; |
---|