Pointer -- pointer to memory address

Description

Pointer objects are pointers to memory addresses. These make up each ForeignObject.

i1 : x = int 20

o1 = 20

o1 : ForeignObject of type int32

i2 : peek x

o2 = int32{Address => 0x7fde96bce9c0}

These pointers can be accessed using address.

i3 : ptr = address x

o3 = 0x7fde96bce9c0

o3 : Pointer

Simple arithmetic can be performed on pointers.

i4 : ptr + 5

o4 = 0x7fde96bce9c5

o4 : Pointer

i5 : ptr - 3

o5 = 0x7fde96bce9bd

o5 : Pointer

* Pointer = Thing -- see * voidstar = Thing -- assign value to object at address
foreignFunction(Pointer,String,ForeignType,VisibleList) -- see foreignFunction -- construct a foreign function
foreignObject(Pointer) -- see foreignObject -- construct a foreign object
ForeignPointerType Pointer -- cast a Macaulay2 pointer to a foreign pointer
ForeignType Pointer -- dereference a pointer
Pointer + ZZ
Pointer - ZZ
ZZ + Pointer

The object Pointer is a type, with ancestor class Thing.

The source of this document is in ForeignFunctions.m2:782:0.