Go to the first, previous, next, last section, table of contents.
Version: 1.5#171 (2000/7/7, 16:10:17 CEST)
Version of last change: 1.5#137 (2000/5/10, 11:29:26 CEST)
- Library usage:
:- use_package(foreign_interface).
or
:- module(...,...,[foreign_interface]).
- Exports:
- Properties:
size_of/3
,
do_not_free/2
,
returns/2
,
foreign/1
,
foreign/2
,
native/1
,
native/2
.
- Regular Types:
address/1
,
byte/1
,
byte_list/1
,
int_list/1
.
- REGTYPE: address/1:
-
Usage: address(Address)
- Description:
Address
is a valid memory address.
- REGTYPE: byte/1:
-
Usage: byte(Byte)
- Description:
Byte
is a byte
- REGTYPE: byte_list/1:
-
Usage: byte_list(List)
- Description:
List
is a list of bytes.
- REGTYPE: int_list/1:
-
Usage: int_list(List)
- Description:
List
is a list of integers.
- PROPERTY: size_of/3:
-
Usage: size_of(Name,ListVar,SizeVar)
- Description: For predicate
Name
, the size of the argument of type
byte_list/1
, ListVar
, is given by the argument of type integer SizeVar
.
- PROPERTY: do_not_free/2:
-
Usage: do_not_free(Name,Var)
- Description: For predicate
Name
, the C argument passed to (returned from) the foreign function will not be freed after calling the foreign function.
- PROPERTY: returns/2:
-
Usage: returns(Name,Var)
- Description: The result of the foreign function that implements the Prolog predicate
Name
is unified with the Prolog variable Var
. Cannot be used without
foreign/1
or
foreign/2
.
- PROPERTY: foreign/1:
-
Usage: foreign(Name)
- Description: The Prolog predicate
Name
is implemented using the foreign function Name
.
- PROPERTY: foreign/2:
-
Usage: foreign(PrologName,ForeignName)
- Description: The Prolog predicate
PrologName
is implemented using the foreign function ForeignName
.
- PROPERTY: native/1:
-
Usage: native(Name)
- Description: The Prolog predicate
Name
is implemented using the native function Name
.
- PROPERTY: native/2:
-
Usage: native(PrologName,ForeignName)
- Description: The Prolog predicate
PrologName
is implemented using the native function prolog_ForeignName
.
Go to the first, previous, next, last section, table of contents.