| 6 |
7u83 |
1 |
<?xml version="1.0" standalone="no"?>
|
|
|
2 |
<!DOCTYPE glossentry PUBLIC "-//OASIS//DTD DocBook XML V4.4//EN"
|
|
|
3 |
"http://www.oasis-open.org/docbook/xml/4.4/docbookx.dtd">
|
|
|
4 |
|
|
|
5 |
<!--
|
|
|
6 |
$Id$
|
|
|
7 |
-->
|
|
|
8 |
|
|
|
9 |
<glossentry>
|
|
|
10 |
<glossterm>tspec</glossterm>
|
|
|
11 |
|
|
|
12 |
<glossdef>
|
|
|
13 |
<para>
|
|
|
14 |
The API checking facilities of the TenDRA compiler are
|
|
|
15 |
implemented by means of abstract interface specifications
|
|
|
16 |
generated using the <emphasis>tspec</emphasis> tool.
|
|
|
17 |
</para>
|
|
|
18 |
|
|
|
19 |
<para>
|
|
|
20 |
This tool and specifications for a number of common APIs are
|
|
|
21 |
included with the release. Part of the installation process
|
|
|
22 |
consists of pre-compiling the implementations of those APIs
|
|
|
23 |
implemented on the target machine into TDF libraries. This
|
|
|
24 |
is performed automatically using <emphasis>tcc</emphasis> to
|
|
|
25 |
combine the <emphasis>tspec</emphasis> specification with
|
|
|
26 |
the implementation given in the system headers.
|
|
|
27 |
</para>
|
|
|
28 |
|
|
|
29 |
<!-- TODO see also: user/guides/tspec -->
|
|
|
30 |
<glossseealso otherterm="api"/>
|
|
|
31 |
</glossdef>
|
|
|
32 |
</glossentry>
|