Macaulay2 » Documentation
Packages » ForeignFunctions :: ForeignPointerType Pointer

next | previous | forward | backward | up | index | toc

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 = 0x7d925a46ebf0

o1 : Pointer

i2 : voidstar ptr

o2 = 0x7d925a46ebf0

o2 : ForeignObject of type void*

Ways to use this method:

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