next | previous | forward | backward | up | top | index | toc | Macaulay2 website

ForeignFunctions :: ForeignType Pointer

ForeignType Pointer -- dereference a pointer

Synopsis

Operator: SPACE
Usage:

T ptr
Inputs:
- T, a foreign type,
- ptr, a pointer,
Outputs:
- a foreign object, of type T;

Description

Dereference the given pointer into the corresponding foreign object, much like the dereference operator (*) in C.

i1 : x = int 5

o1 = 5

o1 : ForeignObject of type int32

i2 : ptr = address x

o2 = 0x7f43ada5e4b0

o2 : Pointer

i3 : int ptr

o3 = 5

o3 : ForeignObject of type int32

Ways to use this method:

ForeignType Pointer -- dereference a pointer