The type<-kind
attribute determines the -validate_function and -translate_function
pointers and thus interpretation of the context attribute. Its values
are (between brackets the the syntax construct; see also type<-convert).
Objects (instances of classes):
- class [<name of the class>] Context: An instance of class class.
Validate: Accepts instances of this class or
a super-class. Convert: Activates the type
<-convert
method of the class.
- class_object [object] Context: @object_class.
Validate: Any objects, except instances of class function.
Convert: See object
<-convert.
Special types:
- unchecked [unchecked] Validate: Accepts anything.
- any [any] Validate:’object
|int’(i.e.
no function
objects). Translate: Evaluates functions.
Numeric values:
- int [int] Convert: Name, string, number, real.
- char [char] Validate: Integer 0..255. Convert: char_array with the
following syntax.
- one character
\n, \t, \r, \f, \b
with their usual meaning^<char> for control characters\C-<char> for control characters
- M- followed by any of above to form meta characters.
- int_range [<low>..<high>] Context:
tuple(low, high).
Validate: Checks range (including low and high). Translate: Translates
to int and validates range,
- real_range [<low>..<high>] Context:
tuple(low, high).
Validate: Checks range (including low and high). Translate: Translates
to real and validates range.
Events:
- event_id [event_id] Validate: char or node in @event_tree.
Convert:
char or event-name (see @event_tree).
Set types:
- value Context: value accepted. Validate: only the equivalent of the
context.
- name_of [{<name1>,<name2>, ...}] Context: Chain with
accepted names. Validate: Accepts members of the chain. Translate: To a
name, then checks for membership.
- member [member:<type name>] Context: Requested type. Validate:
Validate requested type. Translate: Invoke Context
<-member.
- value_set [no syntax] Context: Chain of element or function
Validate: Expand functions
Because type<-context
does not allow for a function, functions should be passed embedded in a quote_function
object. The function
- must* evaluate to a chain. Type disjunction:
- compound [<type name 1>
|<type name 2>|...]
Validate: Just validates the super-types. Translate: According to the
super-types.
Type-name alias and argument names:
- alias Context: aliases type. Validate: as type
<-context.
Translate: as type<-context.
Internal use:
- alien [alien:<name of C-type] Context: Name of C-type. Validate:
Accepts anything.
- See also
- - type
-validate_function
- type-translate_function
- type-context
