class TP_ROUT < $TP

****	Representation of bound routine types.

---

Flattened version is here

---

Ancestors

$TP	$HASH	$IS_EQ	$STR
$IS_LT{_}	$CALL_TP	TP

---

Public

Readable Attributes

attr args:ARRAY{ARG};

****	Specifiers for the arguments in order, void if none. proc. calls

attr is_remote:BOOL;

****	used by pSather for remote proc. calls

attr ret:$TP;

****	The return type, void if none. proc. calls

Writable Attributes

attr args:ARRAY{ARG};

****	Specifiers for the arguments in order, void if none. proc. calls

attr is_remote:BOOL;

****	used by pSather for remote proc. calls

attr ret:$TP;

****	The return type, void if none. proc. calls

Features

as:AS_TYPE_SPEC

create(args:ARRAY{ARG}, ret:$TP, prog:PROG):SAME

****	A bound routine type object with the specified attributes.

has_ret:BOOL

****	True if self has a return value.

ifc: IFC

is_abstract:BOOL

is_bound:BOOL

is_subtype(t:$CALL_TP):BOOL

****	True if self is a subtype of `t'.

kind:INT

****	The kind of this type.

str:STR

****	The string version of the type represented by self. Uses no whitespace, eg: "ROUT{A,B{C},outD}:E".

---

Private

attr sas_cache:STR;

****	Cache for string representation.

attr sas_cache:STR;

****	Cache for string representation.

---