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

ForeignFunctions :: ForeignPointerType Pointer

ForeignPointerType Pointer -- cast a Macaulay2 pointer to a foreign pointer

Synopsis

Operator: SPACE
Usage:

T x
Inputs:
- T, a foreign pointer type,
- x, a pointer,
Outputs:
- a foreign object,

Description

To cast a Macaulay2 pointer to a foreign object with a pointer type, give the type followed by the pointer.

i1 : ptr = address int 0

o1 = 0x7fd872dacc60

o1 : Pointer

i2 : voidstar ptr

o2 = 0x7fd872dacc60

o2 : ForeignObject of type void*

Ways to use this method:

ForeignPointerType Pointer -- cast a Macaulay2 pointer to a foreign pointer