class AS_TYPE_SPEC < $AS_NODE

****	A type specifier.

---

Ancestors

$AS_NODE

$PROG_ERR

AS_NODE

---

Public

Readable Attributes

attr is_hot:BOOL;

****	True if this is a specifier for a hot bound iter argument type. parameters specifiers, if any. For bound types, these are the argument type specifiers.

attr kind:INT;

****	One of ord, rt, it, or same. for a hot bound iter argument type. parameters specifiers, if any. For bound types, these are the argument type specifiers.

attr mode:AS_ARG_MODE;

****	Argument mode for bound types

attr name:IDENT;

****	Name of the type, void for bound types. parameters specifiers, if any. For bound types, these are the argument type specifiers.

attr next:T;

****	Pointer to next element in list, if any.

attr params:AS_TYPE_SPEC;

****	For ordinary types, these are the parameters specifiers, if any. For bound types, these are the argument type specifiers.

attr ret:AS_TYPE_SPEC;

****	Return type spec for bound types.

attr source:SFILE_ID;

****	The origin of a node in a Sather source file.

Writable Attributes

attr is_hot:BOOL;

****	True if this is a specifier for a hot bound iter argument type. parameters specifiers, if any. For bound types, these are the argument type specifiers.

attr kind:INT;

****	One of ord, rt, it, or same. for a hot bound iter argument type. parameters specifiers, if any. For bound types, these are the argument type specifiers.

attr mode:AS_ARG_MODE;

****	Argument mode for bound types

attr name:IDENT;

****	Name of the type, void for bound types. parameters specifiers, if any. For bound types, these are the argument type specifiers.

attr next:T;

****	Pointer to next element in list, if any.

attr params:AS_TYPE_SPEC;

****	For ordinary types, these are the parameters specifiers, if any. For bound types, these are the argument type specifiers.

attr ret:AS_TYPE_SPEC;

****	Return type spec for bound types.

attr source:SFILE_ID;

****	The origin of a node in a Sather source file.

Constants

const it:INT:=2;

****	Bound iter type.

const ord:INT:=0;

****	Abstract, immutable, reference, partial or external.

const rt:INT:=1;

****	Bound routine type.

const same:INT:=3;

****

"SAME".

Features

append(l:T)

****	Append the list `l' to the end of the list self. self may not be void but `l' may be.

create: SAME

****	A new object with default initialization.

insert(e:T)

****	Insert the single element `e' after self. Neither may be void, `e.next' must be void.

size:INT

****	The number of elements in the list starting with self. Self may be void.

---