Set DiskWindowVoid

DiskWindowVoid

The predefined set DiskWindowVoid defines the set of possible devices of file identifiers.

Set DiskWindowVoid {
    SubsetOf   :  AllValueKeywords;
    Index      :  IndexDiskWindowVoid;
    Definition :  data { disk, window, void };
}

Definition

The predefined set DiskWindowVoid defines the set of possible devices which can be entered in the Device attribute of a File identifier.

Updatability

The contents of the set cannot be modified.

Note

Element parameters into the set DiskWindowVoid can be entered in the Device attribute of File identifiers to allow dynamic device changes for a file.

See also

The set AllValueKeywords. File identifiers are discussed in The File Declaration of the

Language Reference.