7.5 The Store structure

store_status

Specification:

datatype store_status = LOCKED_STATUS | RD_STATUS | WR_STATUS | RDWR_STATUS

Description:

Each store has a status, which can take the following values:

LOCKED_STATUS

Store data may not be accessed or modified by ML.

RD_STATUS

Store data is read-only from ML.

WR_STATUS

Store data is write-only from ML.

RDWR_STATUS

Store data is readable/writeable from ML (the default).

Generated with Harlequin WebMaker