- The Ciao System »
- PART IV - Language extensions »
- C Foreign language interface »
- Foreign language interface builder
ON THIS PAGE
Foreign language interface builder
Author(s): Jose F. Morales, Manuel Carro.
Low-level utilities for building C foreign interfaces. End-users should not need to use them, as the Ciao compiler reads the user assertions and calls appropriately the predicates in this module.
Usage and interface
- Library usage:
:- use_module(library(compiler/build_foreign_interface)). - Exports:
Documentation on exports
Usage:build_foreign_interface(File)
Reads assertions from File, generates the gluecode for the Ciao Prolog interface, compiles the foreign files and the gluecode file, and links everything in a shared object. Checks modification times to determine automatically which files must be generated/compiled/linked.
- Call and exit should be compatible with:
(stream_basic:sourcename/1)File is a source name. - The following properties should hold at call time:
(term_typing:ground/1)File is currently ground (it contains no variables). - The following properties should hold upon exit:
(term_typing:ground/1)File is currently ground (it contains no variables).
Usage:rebuild_foreign_interface(File)
Like build_foreign_interface/1, but it does not check the modification time of any file.
- Call and exit should be compatible with:
(stream_basic:sourcename/1)File is a source name. - The following properties should hold at call time:
(term_typing:ground/1)File is currently ground (it contains no variables). - The following properties should hold upon exit:
(term_typing:ground/1)File is currently ground (it contains no variables).
Usage:build_foreign_interface_explicit_decls(File,Decls)
Like build_foreign_interface/1, but use declarations in Decls instead of reading the declarations from File.
- Call and exit should be compatible with:
(stream_basic:sourcename/1)File is a source name.
(basic_props:list/2)Decls is a list of terms. - The following properties should hold at call time:
(term_typing:ground/1)File is currently ground (it contains no variables).
(term_typing:ground/1)Decls is currently ground (it contains no variables). - The following properties should hold upon exit:
(term_typing:ground/1)File is currently ground (it contains no variables).
(term_typing:ground/1)Decls is currently ground (it contains no variables).
Usage:rebuild_foreign_interface_explicit_decls(File,Decls)
Like build_foreign_interface_explicit_decls/1, but it does not check the modification time of any file.
- Call and exit should be compatible with:
(stream_basic:sourcename/1)File is a source name.
(basic_props:list/2)Decls is a list of terms. - The following properties should hold at call time:
(term_typing:ground/1)File is currently ground (it contains no variables).
(term_typing:ground/1)Decls is currently ground (it contains no variables). - The following properties should hold upon exit:
(term_typing:ground/1)File is currently ground (it contains no variables).
(term_typing:ground/1)Decls is currently ground (it contains no variables).
Usage:do_interface(Decls)
Given the declarations in Decls, this predicate succeeds if these declarations involve the creation of the foreign interface
- Call and exit should be compatible with:
(basic_props:list/2)Decls is a list of terms. - The following properties should hold at call time:
(term_typing:ground/1)Decls is currently ground (it contains no variables). - The following properties should hold upon exit:
(term_typing:ground/1)Decls is currently ground (it contains no variables).
Documentation on imports
This module has the following direct dependencies:- System library modules:
datafacts_rt, aggregates, write_c, lists, llists, system, process, messages, assrt_lib, foreign_compilation, c_itf, engine_path, file_buffer, ctrlcclean, errhandle, pathnames, format, foreign__gluecode. - Packages:
prelude, initial, condcomp, assertions, assertions/assertions_basic, basicmodes, hiord, dcg, fsyntax, datafacts.