Replace all [here] positioning arguments with the more compatible [h].
[dwarf-doc.git] / dwarf5 / latexdoc / programscope.tex
index 85d72b8..537fdbb 100644 (file)
@@ -106,9 +106,7 @@ of the machine instructions generated for the compilation
 unit (see Section \refersec{chap:codeaddressesandranges}).
   
 A \DWATlowpc{} attribute 
-may also
-be specified 
-in combination 
+may also be specified in combination 
 \addtoindexx{ranges attribute}
 with 
 \DWATranges{} to specify the
@@ -361,7 +359,7 @@ Section \refersec{chap:entryaddress}).
 \needlines{8}
 \item A \DWATstroffsetsbaseDEFN\addtoindexx{string offset base attribute}
 \hypertarget{chap:DWATstroffsetbaseforindirectstringtable}{} 
-attribute, whose value is a reference
+attribute, whose value is of class \CLASSstroffsetsptr
 This attribute points to the first string
 offset of the compilation unit's contribution to the
 \dotdebugstroffsets{} (or \dotdebugstroffsetsdwo{}) section. 
@@ -370,9 +368,9 @@ Indirect string references
 interpreted as indices relative to this base.
 
 \needlines{6}
-\item A \DWATaddrbaseNAME\addtoindexx{address table base attribute}
+\item A \DWATaddrbaseDEFN\addtoindexx{address table base attribute}
 \hypertarget{chap:DWATaddrbaseforaddresstable}{}
-attribute, whose value is a reference.
+attribute, whose value is of class \CLASSaddrptr.
 This attribute points to the beginning of the compilation
 unit's contribution to the \dotdebugaddr{} section.
 Indirect references (using \DWFORMaddrx, \DWOPaddrx, 
@@ -383,7 +381,7 @@ interpreted as indices relative to this base.
 \needlines{5}
 \item A \DWATrangesbaseDEFN\addtoindexx{ranges table base attribute}
 \hypertarget{chap:DWATrangesbaseforrangelists}{}
-attribute, whose value is a reference.
+attribute, whose value is of class \CLASSrangelistptr.
 This attribute points to the beginning of the compilation
 unit's contribution to the \dotdebugranges{} section.
 References to range lists (using \DWFORMsecoffset)
@@ -442,11 +440,14 @@ compilation unit.
 
 \item
 \livetarg{chap:DWATdwoidforunit}{}
-A \DWATdwoidDEFN{} attribute\addtoindexx{unit signature attribute}
-whose value is an 8-byte
-unsigned hash of the full compilation unit.  This hash
-value is computed by the method described in 
-Section \refersec{datarep:typesignaturecomputation}.
+A \DWATdwoidDEFN{} attribute\addtoindexx{unit identification attribute}
+whose implementation-defined integer constant value
+provides unique identification of this compilation unit
+as well as the associated compilation unit in the
+split DWARF object file named in the \DWATdwoname{}
+attribute. For simplicity, the skeleton compilation
+unit and the split DWARF object file must use the same
+form to encode this identification value.
 
 \needlines{6}
 \item
@@ -521,14 +522,6 @@ language used to define the type. The set of language names
 and their meanings are given in Table \refersec{tab:languagenames}.
 
 \needlines{4}
-\item A 
-\DWATstroffsetsbase\addtoindexx{string base offset attribute}
-attribute, whose value is a reference. This attribute points
-to the first string offset of the type unit's contribution to
-the \dotdebugstroffsets{} section. Indirect string references
-(using \DWFORMstrx) within the type unit must be interpreted
-as indices relative to this base.
-
 \item A \DWATstmtlist{} attribute\addtoindexx{statement list attribute}
 whose value of class \CLASSlineptr{} points to the line number 
 information for this type unit.
@@ -544,11 +537,12 @@ type unit entries can simply refer to the line number table
 used by the compilation unit. 
 \item In a \splitDWARFobjectfile, where
 the type units are located in a separate DWARF object file,
-the \DWATstmtlist{} attribute refers to a "specialized"
+the \DWATstmtlistNAME{} attribute refers to a "specialized"
 line number table in the \dotdebuglinedwo{} section, which
 contains only the list of directories and file names. All
-type unit entries in a \splitDWARFobjectfile{} may (but are not
-required to) refer to the same \addtoindex{specialized line number table}.
+type unit entries in a \splitDWARFobjectfile{} may (but are 
+not required to) refer to the same 
+\addtoindex{specialized line number table}.
 \end{itemize}
 
 \item A \DWATuseUTFeight{} attribute, which is a flag
@@ -557,6 +551,14 @@ unit entry, its children, and its associated
 \addtoindex{specialized line number table}, 
 are represented using the UTF-8 representation.
 
+\item A 
+\DWATstroffsetsbase\addtoindexx{string base offset attribute}
+attribute, whose value is a reference. This attribute points
+to the first string offset of the type unit's contribution to
+the \dotdebugstroffsets{} section. Indirect string references
+(using \DWFORMstrx) within the type unit are interpreted
+as indices relative to this base.
+
 \end{enumerate}
 
 A \addtoindex{type unit} entry for a given type T owns a debugging
@@ -842,8 +844,8 @@ imported declaration entry has no name attribute but it does
 have a \DWATimportDEFN{} attribute that refers to the entry for the
 entity being imported. (\addtoindex{C++} 
 provides no means to \doublequote{rename}
-an imported entity, other than a namespace).
-}
+an imported entity, other than a namespace).}
+
 
 \textit{A \addtoindex{Fortran} use statement 
 \addtoindexx{Fortran!use statement}
@@ -921,6 +923,7 @@ series of individual imported declaration entries as described
 in Section \refersec{chap:importedorrenameddeclarationentries}.
 }
 
+\needlines{5}
 \textit{A \addtoindex{Fortran} use statement for an entity in a module that is
 \addtoindexx{Fortran!use statement}
 itself imported by a use statement without an explicit mention
@@ -1512,7 +1515,7 @@ a
 set of values for the \DWATinline{} attribute is given in
 Table \refersec{tab:inlinecodes}.
 
-\begin{table}[here]
+\begin{table}[h]
 \centering
 \caption{Inline codes}
 \label{tab:inlinecodes}
@@ -2342,7 +2345,7 @@ the with statement.
 \needlines{6}
 \section{Try and Catch Block Entries}
 \label{chap:tryandcatchblockentries}
-\livetargi{chap:tryandcatchblockentries}{}
+\livetarg{chap:tryandcatchblockentries}{}
 \textit{In \addtoindex{C++}, a \livelink{chap:lexicalblock}{lexical block} may be 
 designated as a \doublequote{catch \nolink{block}.} 
 A catch \nolink{block} is an exception handler that 
@@ -2351,11 +2354,11 @@ handles exceptions thrown by an immediately preceding
 A catch \nolink{block} 
 designates the type of the exception that it can handle.}
 
-A \livetargi{chap:tryblock}{try block}{try block} is represented 
+A \livetarg{chap:tryblock}{try block} is represented 
 by a debugging information entry
 \addtoindexx{try block entry}
 with the tag \DWTAGtryblockTARG.  
-A \livetargi{chap:catchblock}{catch block} is represented by
+A \livetarg{chap:catchblock}{catch block} is represented by
 a debugging information entry
 \addtoindexx{catch block entry}
 with the tag \DWTAGcatchblockTARG.
@@ -2371,7 +2374,7 @@ a
 \DWATranges{} attribute 
 \addtoindexx{ranges attribute}
 whose values encode the contiguous
-or non\dash contiguous address ranges, respectively, of the
+or non-contiguous address ranges, respectively, of the
 machine instructions generated for the \nolink{block}
 (see Section \refersec{chap:codeaddressesandranges}).
 
@@ -2393,7 +2396,7 @@ that catch \nolink{block}.
 This child entry has one of the tags
 \DWTAGformalparameter{}\addtoindexx{formal parameter entry!in catch block}
 or
-\DWTAGunspecifiedparameters,\addtoindexx{unspecified parameters entry!in catch block}
+\DWTAGunspecifiedparameters{},\addtoindexx{unspecified parameters entry!in catch block}
 and will have the same form as other parameter entries.
 
 The siblings immediately following a try \nolink{block}