10.13.6.22 pointer_object/2

Synopsis

pointer_object(+Addr,-Obj)

pointer_object(-Addr,+Obj)

Arguments

Addr

integer

Obj

object

Description

Addr is the address of object Obj. This can be used to get the address of an object or to get an object given its address.

Exceptions

instantiation_error

both Obj and Addr are unbound.

type_error

Addr is not an integer.