7.10 The C structure

pointer_kind

Specification:

datatype pointer_kind = LOCAL_PTR | RELATIVE_PTR | REMOTE_PTR

Description:

As described in earlier sections, machine pointers need to be treated with special care. To provide this care, the idea of a 'pointer kind' is introduced. This provides qualification of pointer values and determines how they can be used. A pointer kind is one of the following:

LOCAL_PTR

Machine address pointing within the associated store.

REMOTE_PTR

Machine address pointing within user-accessible memory.

RELATIVE_PTR

Index value accessing location within associated store.

Generated with Harlequin WebMaker