Lines Matching defs:to
4 % The contents of this file are subject to the Cisco-style Mozilla Public
31 to be used in situations where no complex types can be passed,
32 e.g.\ when interfacing to scripting languages.
36 to other constructor functions, or which can be stored in (non-volatile)
41 converts a C string to an {\eclipse} string. The string is copied.
44 converts a C string of given length to an {\eclipse} string.
52 converts a C long to an {\eclipse} integer.
55 converts a C long long to an {\eclipse} integer.
58 converts a C double to an {\eclipse} float.
94 creates an {\eclipse} handle that refers to the given C data and its
104 Auxiliary functions to access the {\eclipse} dictionary.
127 it to a C string. This string is volatile, ie.\ it should be copied
128 when it is required to survive resuming of {\eclipse}.
184 \section{Referring to {\eclipse} terms from C}
185 The data types ec_refs and ec_ref provide a means to have non-volatile
186 references to {\eclipse} data from within C data structures. However,
188 subject to backtracking, which means they may be reset to an earlier
189 status when the search engine requires it. Creating a reference to
192 set up, the reference disappears and is also reset to its earlier value.
196 references to {\eclipse} data items. They are initialised
200 like ec_refs_create(), but each item is initialised to
206 be able to free the references data structures, which may
207 eventually lead to memory overflow.
210 set the i'th reference to the {\eclipse} term pw. This setting is
211 subject to the {\eclipse} engine's undo-mechanism on backtracking.
214 return the {\eclipse} term referred to by the i'th reference.
223 analogous to ec_refs_create_newvars().
226 analogous to ec_refs_destroy().
229 analogous to ec_refs_set().
232 analogous to ec_refs_get().
236 \section{Passing Data to and from External Predicates in C}
248 returned to {\eclipse}.
253 Interfaces to some basic operations on {\eclipse} Data.
256 Similar to the compare/3 built-in predicate:
263 Similar to the
266 Waking will only happen once control is returned to {\eclipse}
281 These are the functions needed to embed {\eclipse} into a C main program.
305 for how to write such functions). The module must exist.
310 \section{Passing Control and Data to {\eclipse} from C}
311 These are the functions needed to embed {\eclipse} into C code.
340 If there was an attempt to read from an empty queue stream with
348 Similar to ec_resume(), but if the return value is PSUCCED,
349 the ToC argument returns a cut value that can be used to discard
350 alternative solutions by passing it to ec_cut_to_chp().
360 Similar to ec_resume1(), but it allows to pass an argument
361 to the resumed execution. This is only useful if the execution
362 had yielded due to a
369 Similar to ec_resume1(), but allows only integer values to be passed
370 from {\eclipse} to C (otherwise TYPE_ERROR is returned).
374 Similar to ec_resume(), but {\eclipse} is resumed in a separate
379 (only one {\eclipse} thread is allowed to run at any time).
381 PSUCCED. Use ec_resume_status() to wait for termination and
382 to retrieve the results of the execution.
385 This function is supposed to be called after a call to
390 and ec_resume_status() is equivalent to an ec_resume().
393 Similar to ec_resume_status(), but allows an integer to be
394 returned to the caller, as done by ec_resume_long().
397 Similar to ec_resume_status_long(), but waits for the {\eclipse} thread
398 to finish execution. The function returns as soon as the {\eclipse} thread
401 zero, the function is equivalent to ec_resume_status_long().
406 Similar to ec_resume_long(), but posted goals are not executed,
411 succeeded. The argument should have been obtained by a call to
415 Post an event to the {\eclipse} engine. This will lead to the
422 Post an event to the {\eclipse} engine. This will lead to the
440 to {\eclipse}'s input, output and error streams.
444 Data points to the data and size is the number of bytes to write.
449 Buf points to a data buffer and size is the buffer size.
478 variables names within the string to their values after execution.