Fixed problem with NULL being changed.

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

diff --git a/src/Headers/constants.h b/src/Headers/constants.h
index 8e882f4dec08b0d255368fb94e66a18697505b69..90dd9a356483705100a84d5f852d7084493d4db4 100644 (file)
--- a/src/Headers/constants.h
+++ b/src/Headers/constants.h
@@ -1,5 +1,5 @@
 /*
-** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
 ** See ../LICENSE for license information.
 **
 */
@@ -8,7 +8,7 @@
 */
 
 /*
- * This is constants.h from Mike Smith's Win32 port of lclint.
+ * This is constants.h from Mike Smith's Win32 port of splint.
  * Modified by Herbert 04/19/97:
  * added conditional 'OS2' to conditional 'MSDOS'
  */
@@ -34,10 +34,10 @@
 # define LCLIMPORTDIR           "LCLIMPORTDIR"
 
 /*@constant observer char *LLSTDLIBS_NAME; @*/
-# define LLSTDLIBS_NAME          "ansi"
+# define LLSTDLIBS_NAME          "standard"
 
 /*@constant observer char *LLSTRICTLIBS_NAME; @*/
-# define LLSTRICTLIBS_NAME      "ansistrict"
+# define LLSTRICTLIBS_NAME      "standardstrict"
 
 /*@constant observer char *LLUNIXLIBS_NAME; @*/
 # define LLUNIXLIBS_NAME        "unix"
@@ -70,7 +70,7 @@
 # define LIBRARY_MARKER ";;; Splint Library "
 
 /*@constant int MAX_NAME_LENGTH=256; @*/
-# define MAX_NAME_LENGTH 256
+# define MAX_NAME_LENGTH 1024
 
 /*@constant int MAX_LINE_LENGTH=1024; @*/
 # define MAX_LINE_LENGTH 1024
@@ -96,8 +96,13 @@
 /*@constant observer char *PPMRCODE; @*/
 # define PPMRCODE "@@MR@@"  
 
+# ifdef OS2
+/*@constant observer char *DEFAULT_SYSTEMDIR; @*/
+# define DEFAULT_SYSTEMDIR "/os2/"
+# else                            
 /*@constant observer char *DEFAULT_SYSTEMDIR; @*/
 # define DEFAULT_SYSTEMDIR "/usr/"
+# endif
 
 /*@constant char DEFAULT_COMMENTCHAR; @*/
 # define DEFAULT_COMMENTCHAR '@'
@@ -111,6 +116,14 @@
 /*@constant int DEFAULT_INDENTSPACES=3; @*/
 # define DEFAULT_INDENTSPACES 3
 
+/*
+** Setting this to 0 means emacs compile mode will
+** jump to the locations in message hints.
+*/
+
+/*@constant int DEFAULT_LOCINDENTSPACES=3; @*/
+# define DEFAULT_LOCINDENTSPACES 3
+
 /*
 ** These constants are based on implementation limits in ANSI standard,
 ** Section 3.1. 
@@ -190,11 +203,11 @@
 # define PFX_ANYLETTERDIGIT '/'
          
 /*
-** Note: this name is wired into ansi.h!
+** _Bool is defined by ISO C99 (replaced old lltx_Bool)
 */
 
 /*@constant observer char *DEFAULT_BOOLTYPE;@*/
-# define DEFAULT_BOOLTYPE "lltX_bool"
+# define DEFAULT_BOOLTYPE "_Bool"
 
 /*@constant observer char *PRAGMA_EXPAND; @*/
 # define PRAGMA_EXPAND "expand"
@@ -205,13 +218,6 @@
 /*@constant int MAX_PRAGMA_LEN; @*/
 # define MAX_PRAGMA_LEN PRAGMA_LEN_EXPAND
 
-/*
-** Minimum version with compatible libraries.
-*/
-
-/*@constant float LCLINT_LIBVERSION; @*/
-# define LCLINT_LIBVERSION 2.6
-
 /*
 ** Flex doesn't pre-process input, so remember to copy these manually
 ** to cscanner.l.