/* */
/* lineinfo.h */
/* */
-/* Source file line info structure */
+/* Source file line info management */
/* */
/* */
/* */
-/* Note: The line infos kept here are additional line infos supplied by the
- * ".dbg line" command. The native line infos are always kept in the fragments
- * itself (because one fragment always originates from one line). The
- * additional line infos (which may not exist if none are supplied in the
- * source) may have several fragments attached (as is the case with sources
- * generated by the C compiler).
- */
-
-
-
#ifndef LINEINFO_H
#define LINEINFO_H
* FIFO order.
*/
-void GenLineInfo (unsigned Slot, unsigned File, unsigned long Line, unsigned Col);
+void GenLineInfo (unsigned Slot, const FilePos* Pos);
/* Generate a new line info in the given slot */
void ClearLineInfo (unsigned Slot);