Rev 2 | Blame | Compare with Previous | Last modification | View Log | RSS feed
<!-- Crown Copyright (c) 1998 -->
<HTML>
<HEAD>
<TITLE>Reserved diagnostic TOKENs</TITLE>
</HEAD>
<BODY TEXT="#000000" BGCOLOR="#FFFFFF" LINK="#0000FF" VLINK="#400080" ALINK="#FF0000">
<H1><A NAME=S44>TDF Diagnostic Specification, Issue 3.0</A></H1>
<H3>January 1998</H3>
<A HREF="diag6.html"><IMG SRC="../images/next.gif" ALT="next section"></A>
<A HREF="diag4.html"><IMG SRC="../images/prev.gif" ALT="previous section"></A>
<A HREF="diag1.html"><IMG SRC="../images/top.gif" ALT="current document"></A>
<A HREF="../index.html"><IMG SRC="../images/home.gif" ALT="TenDRA home page">
</A>
<IMG SRC="../images/no_index.gif" ALT="document index"><P>
<HR>
<DL>
<DT><A HREF="#S45"><B>3.0.1</B> - ~exp_to_source</A><DD>
<DT><A HREF="#S46"><B>3.0.2</B> - ~diag_id_source</A><DD>
<DT><A HREF="#S47"><B>3.0.3</B> - ~diag_type_scope</A><DD>
<DT><A HREF="#S48"><B>3.0.4</B> - ~diag_tag_scope</A><DD>
</DL>
<HR>
<H1><A NAME=0>3. Reserved diagnostic TOKENs</A></H1>
Reserved <CODE>TOKEN</CODE>s were used for diagnostic extensions to
<CODE>EXP</CODE>s, to avoid adding new constructs the contents of
an existing <CODE>UNIT</CODE>. All other parts of the diagnostic system
occur in other <CODE>UNIT</CODE>s.<P>
<H3><A NAME=S45>3.0.1. ~exp_to_source</A></H3>
<PRE>
<I>body</I>: EXP <I>sh</I>
<I>from</I>: SOURCEMARK
<I>to</I>: SOURCEMARK
-> EXP <I>sh</I>
</PRE>
Records that the <CODE>EXP</CODE> <I>body</I> arose from translating
program between <CODE>SOURCEMARK</CODE> <I>from</I> and <CODE>SOURCEMARK</CODE>
<I>to</I> (inclusive).<P>
<H3><A NAME=S46>3.0.2. ~diag_id_source</A></H3>
<PRE>
<I>body</I>: EXP <I>sh</I>
<I>name</I>: TDFSTRING<I>(k, n)</I>
<I>access</I>: EXP POINTER(<I>al</I>)
<I>type</I>: DIAG_TYPE
-> EXP <I>sh</I>
</PRE>
Within the <CODE>EXP</CODE> <I>body</I> a variable named <I>name</I>
of <CODE>DIAG_TYPE</CODE> <I>type</I> can be accessed via the <CODE>EXP</CODE>
<I>access</I>.<P>
<H3><A NAME=S47>3.0.3. ~diag_type_scope</A></H3>
<PRE>
<I>body</I>: EXP <I>sh</I>
<I>name</I>: TDFSTRING<I>(k, n)</I>
<I>type</I>: DIAG_TYPE
-> EXP <I>sh</I>
</PRE>
Within the <CODE>EXP</CODE> <I>body</I> a source language type named
<I>name</I> of <CODE>DIAG_TYPE</CODE> <I>type</I> is valid.<P>
<H3><A NAME=S48>3.0.4. ~diag_tag_scope</A></H3>
<PRE>
<I>body</I>: EXP <I>sh</I>
<I>name</I>: TDFSTRING<I>(k, n)</I>
<I>type</I>: DIAG_TYPE
-> EXP <I>sh</I>
</PRE>
This <CODE>TOKEN</CODE> is obsolete.<P>
<HR>
<P><I>Part of the <A HREF="../index.html">TenDRA Web</A>.<BR>Crown
Copyright © 1998.</I></P>
</BODY>
</HTML>