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.

Send feedback on this subject.