tendra / doc / glossary / entries / tspec.xml

Full commit
<?xml version="1.0" standalone="no"?>
<!DOCTYPE glossentry PUBLIC "-//OASIS//DTD DocBook XML V4.4//EN"



      The API checking facilities of the TenDRA compiler are
      implemented by means of abstract interface specifications
      generated using the <emphasis>tspec</emphasis> tool.

      This tool and specifications for a number of common APIs are
      included with the release. Part of the installation process
      consists of pre-compiling the implementations of those APIs
      implemented on the target machine into TDF libraries. This
      is performed automatically using <emphasis>tcc</emphasis> to
      combine the <emphasis>tspec</emphasis> specification with
      the implementation given in the system headers.

  <!-- TODO see also: user/guides/tspec -->
  <glossseealso otherterm="api"/>