next | previous | forward | backward | up | top | index | toc | packages | Macaulay2 website
ForeignFunctions :: ForeignType * voidstar

ForeignType * voidstar -- dereference a voidstar object

Synopsis

Description

This is syntactic sugar for T value ptr (see ForeignType Pointer) for dereferencing pointers.

i1 : ptr = voidstar address int 5

o1 = 0xffff9a6b6800

o1 : ForeignObject of type void*
i2 : int * ptr

o2 = 5

o2 : ForeignObject of type int32

Ways to use this method: