documents/embedding/embed.tex

6 % in compliance with the License.  You may obtain a copy of the License
38 communicate with it. Code examples are given in C++.
45 This section is about the prerequisites for working with
86 A make file "Makefile.external" can be found together with the libraries.
94 When delivering an application you will have to include with it the
130 This will link your application with the shared library \verb+libeclipse.so+.
142 with \verb+ec_init+.
148 %to link statically for some reason, you have to link explicitly with
163 % with {\eclipse} library calls looks similar to this:
167 % The linking of an executable with embedded {\eclipse} looks like
197 using the \verb+lib.exe+ or \verb+link.exe+ tool (which comes with the
226 with \verb+ec_init+.
285 with each other, and with any previously posted goals that have
327 will fail back into the previous set of goals and these will succeed with
385 When \verb.EC_resume(). is called with an \verb.EC_ref. argument, this
423 control to the C++ level. This is done with the
447 refer to \verb.out(1,2).. If then we resumed execution with:
458 \verb.EC_resume(). can be called with two optional arguments. An
613 make it hard to construct terms with uninitialised sub-terms, which is
614 what you would need if you were to construct the list starting with
622 structures. A number of different functions each with a different
624 which would be the case if we defined a function with variable
633 The above interface is convenient for terms with small fixed arities,
661 declare a variable with that type. For fixed size data types
694 Care has to be taken with strings, these pointers point to the internal
733 that have been registered with the {\eclipse} engine and which do
838 permanent copy was explicitly removed with built-ins like
852 with terms that contain an object of this type.