1.26.1 Instance variables

class_variable <- default: any

Program default value. This may be any object that satisfies class_variable<-type.

class_variable <- type: type

Type of the class-variable. A textual value from the Defaults file will be converted using this type. Default is the type of the corresponding instance-variable.

class_variable-value: any

Current value. Send-access is guarded by class_variable->value to verify the type, while get-access is handled by class_variable<-value to check the Defaults file, or use class_variable<-default. The initial value is the constant @not_obtained.