type <-convert: name -> typeConvert a name into a type. This is the normal way to define or use a
type. The conversion syntax is (informally) defined below:
<Type> ::= <KindType>
| <SingleType> '...' % Methods: Varargs
<KindType> ::= 'alien:'<C-type> % Alien (C) types
| 'member:'<Single> % Members
<Single> ::= <PrimType>
| <Single>'|'<Single> % Disjunction
| '['Single']' % May be @default
| <Single>'*' % May be @nil
<PrimType> ::= <PredefinedType> % any defined type
| {<Name>',' ...} % name_of
| <int>'..'<int> % integer range
| <real>'..'<real> % real range
| <ClassName>
Below are some examples:
point Instance of class point or a subclass
int integer
[name] A name or @default
graphical* A graphical object or @nil
int|point integer or point
{left,right} either the name 'left' or 'right'
- .100 integer in the range 0 ... 100 (including) name
|function
Accepts a name or a function
object.
- See also
- - !bad_type_syntax
- pce<-convert
- type->initialise
