Convert the first argument into a datum that satisfies the type. The
second argument is optional context information. Both variables and
methods pass the receiver through this argument. The pseudo code of this
method is:
translate(Type type, Any value, Object context)
{ Activate translate_function.
IF successful, return the translated value;
ELSE try super-types until one succeeds and return the value
}
NOTE: Normally not activated directly,
but through
type<-check
because the argument may not be of the requested type.
- See also
- - type
->validate
- type<-check
- type-translate_function
