Added htmlfileformat flag.

[splint.git] / src / Headers / llerror.h

diff --git a/src/Headers/llerror.h b/src/Headers/llerror.h
index cf212956bc7d25bdd81bed9805d114d075a94f10..2e6d33e792036fd9fc249e29ecbe300af9dff163 100644 (file)
--- a/src/Headers/llerror.h
+++ b/src/Headers/llerror.h
@@ -121,17 +121,31 @@ extern void llerror (flagcode p_o, /*@only@*/ cstring p_s)
 extern void llgenmsg (/*@only@*/ cstring p_s, fileloc p_fl)
    /*@modifies g_warningstream@*/ ;
 
+extern /*@noreturn@*/ /*@private@*/ 
+void xllfatalerror (char *p_srcFile, int p_srcLine, /*@only@*/ cstring p_s) 
+   /*@modifies g_errorstream@*/ ;
+
 extern /*@noreturn@*/ void llfatalerror (/*@only@*/ cstring p_s) 
    /*@modifies g_errorstream@*/ ;
+# define llfatalerror(p_s) xllfatalerror (__FILE__, __LINE__, p_s)
 
-extern /*@noreturn@*/ void llfatalerrorLoc (/*@only@*/ cstring p_s) 
+extern /*@noreturn@*/ /*@private@*/ void 
+xllfatalerrorLoc (char *p_srcFile, int p_srcLine, /*@only@*/ cstring p_s) 
    /*@globals g_currentloc@*/ 
    /*@modifies g_errorstream@*/ ;
 
-extern void llparseerror (/*@only@*/ cstring p_s) 
-   /*@globals g_errorstream, g_currentloc@*/ 
+extern /*@noreturn@*/ void llfatalerrorLoc (/*@only@*/ cstring p_s) 
+   /*@globals g_currentloc@*/ 
    /*@modifies g_errorstream@*/ ;
+# define llfatalerrorLoc(p_s) xllfatalerrorLoc (__FILE__, __LINE__, p_s)
+
+extern /*@private@*/ void
+   xllparseerror (char *p_srcFile, int p_srcLine, /*@only@*/ cstring p_s)
+   /*@modifies g_warningstream@*/ ;
 
+extern void llparseerror (/*@only@*/ cstring p_s) 
+   /*@globals g_currentloc@*/ ;
+# define llparseerror(p_s) xllparseerror (__FILE__, __LINE__, p_s)
 # ifndef NOLCL
 extern /*@noreturn@*/ void lclplainfatalerror (/*@only@*/ cstring p_msg) /*@modifies g_warningstream@*/ ;
 extern /*@noreturn@*/ void lclfatalbug (/*@temp@*/ char *p_msg) /*@modifies g_warningstream@*/ ;