| 2 |
7u83 |
1 |
<!-- Crown Copyright (c) 1998 -->
|
|
|
2 |
<HTML>
|
|
|
3 |
<HEAD>
|
|
|
4 |
<TITLE>Reserved diagnostic TOKENs</TITLE>
|
|
|
5 |
</HEAD>
|
|
|
6 |
<BODY TEXT="#000000" BGCOLOR="#FFFFFF" LINK="#0000FF" VLINK="#400080" ALINK="#FF0000">
|
|
|
7 |
|
|
|
8 |
<H1><A NAME=S44>TDF Diagnostic Specification, Issue 3.0</A></H1>
|
|
|
9 |
<H3>January 1998</H3>
|
|
|
10 |
<A HREF="diag6.html"><IMG SRC="../images/next.gif" ALT="next section"></A>
|
|
|
11 |
<A HREF="diag4.html"><IMG SRC="../images/prev.gif" ALT="previous section"></A>
|
|
|
12 |
<A HREF="diag1.html"><IMG SRC="../images/top.gif" ALT="current document"></A>
|
|
|
13 |
<A HREF="../index.html"><IMG SRC="../images/home.gif" ALT="TenDRA home page">
|
|
|
14 |
</A>
|
|
|
15 |
<IMG SRC="../images/no_index.gif" ALT="document index"><P>
|
|
|
16 |
<HR>
|
|
|
17 |
<DL>
|
|
|
18 |
<DT><A HREF="#S45"><B>3.0.1</B> - ~exp_to_source</A><DD>
|
|
|
19 |
<DT><A HREF="#S46"><B>3.0.2</B> - ~diag_id_source</A><DD>
|
|
|
20 |
<DT><A HREF="#S47"><B>3.0.3</B> - ~diag_type_scope</A><DD>
|
|
|
21 |
<DT><A HREF="#S48"><B>3.0.4</B> - ~diag_tag_scope</A><DD>
|
|
|
22 |
</DL>
|
|
|
23 |
<HR>
|
|
|
24 |
<H1><A NAME=0>3. Reserved diagnostic TOKENs</A></H1>
|
|
|
25 |
Reserved <CODE>TOKEN</CODE>s were used for diagnostic extensions to
|
|
|
26 |
<CODE>EXP</CODE>s, to avoid adding new constructs the contents of
|
|
|
27 |
an existing <CODE>UNIT</CODE>. All other parts of the diagnostic system
|
|
|
28 |
occur in other <CODE>UNIT</CODE>s.<P>
|
|
|
29 |
|
|
|
30 |
<H3><A NAME=S45>3.0.1. ~exp_to_source</A></H3>
|
|
|
31 |
<PRE>
|
|
|
32 |
<I>body</I>: EXP <I>sh</I>
|
|
|
33 |
<I>from</I>: SOURCEMARK
|
|
|
34 |
<I>to</I>: SOURCEMARK
|
|
|
35 |
-> EXP <I>sh</I>
|
|
|
36 |
</PRE>
|
|
|
37 |
Records that the <CODE>EXP</CODE> <I>body</I> arose from translating
|
|
|
38 |
program between <CODE>SOURCEMARK</CODE> <I>from</I> and <CODE>SOURCEMARK</CODE>
|
|
|
39 |
<I>to</I> (inclusive).<P>
|
|
|
40 |
|
|
|
41 |
<H3><A NAME=S46>3.0.2. ~diag_id_source</A></H3>
|
|
|
42 |
<PRE>
|
|
|
43 |
<I>body</I>: EXP <I>sh</I>
|
|
|
44 |
<I>name</I>: TDFSTRING<I>(k, n)</I>
|
|
|
45 |
<I>access</I>: EXP POINTER(<I>al</I>)
|
|
|
46 |
<I>type</I>: DIAG_TYPE
|
|
|
47 |
-> EXP <I>sh</I>
|
|
|
48 |
</PRE>
|
|
|
49 |
Within the <CODE>EXP</CODE> <I>body</I> a variable named <I>name</I>
|
|
|
50 |
of <CODE>DIAG_TYPE</CODE> <I>type</I> can be accessed via the <CODE>EXP</CODE>
|
|
|
51 |
<I>access</I>.<P>
|
|
|
52 |
|
|
|
53 |
<H3><A NAME=S47>3.0.3. ~diag_type_scope</A></H3>
|
|
|
54 |
<PRE>
|
|
|
55 |
<I>body</I>: EXP <I>sh</I>
|
|
|
56 |
<I>name</I>: TDFSTRING<I>(k, n)</I>
|
|
|
57 |
<I>type</I>: DIAG_TYPE
|
|
|
58 |
-> EXP <I>sh</I>
|
|
|
59 |
</PRE>
|
|
|
60 |
Within the <CODE>EXP</CODE> <I>body</I> a source language type named
|
|
|
61 |
<I>name</I> of <CODE>DIAG_TYPE</CODE> <I>type</I> is valid.<P>
|
|
|
62 |
|
|
|
63 |
<H3><A NAME=S48>3.0.4. ~diag_tag_scope</A></H3>
|
|
|
64 |
<PRE>
|
|
|
65 |
<I>body</I>: EXP <I>sh</I>
|
|
|
66 |
<I>name</I>: TDFSTRING<I>(k, n)</I>
|
|
|
67 |
<I>type</I>: DIAG_TYPE
|
|
|
68 |
-> EXP <I>sh</I>
|
|
|
69 |
</PRE>
|
|
|
70 |
This <CODE>TOKEN</CODE> is obsolete.<P>
|
|
|
71 |
<HR>
|
|
|
72 |
<P><I>Part of the <A HREF="../index.html">TenDRA Web</A>.<BR>Crown
|
|
|
73 |
Copyright © 1998.</I></P>
|
|
|
74 |
</BODY>
|
|
|
75 |
</HTML>
|