Added support for ISO C99 _Bool and stdbool bool/true/false. The

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

diff --git a/src/Headers/constants.h b/src/Headers/constants.h
index bf69ee25567978e66f307e989a236f9aff615c44..9c0ef2af648484bc4218a83ad37a64523240b0d0 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
@@ -111,31 +111,64 @@
 /*@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. 
 */
 
-/*@constant int DEFAULT_EXTERNALNAMELEN=6; @*/
-# define DEFAULT_EXTERNALNAMELEN 6
+/*@constant int ANSI89_EXTERNALNAMELEN=6; @*/
+# define ANSI89_EXTERNALNAMELEN 6
+
+/*@constant int ANSI89_INTERNALNAMELEN=31; @*/
+# define ANSI89_INTERNALNAMELEN 31
+
+/*@constant int ANSI89_CONTROLNESTDEPTH=15; @*/
+# define ANSI89_CONTROLNESTDEPTH 15
+
+/*@constant int ANSI89_STRINGLITERALLEN=509; @*/
+# define ANSI89_STRINGLITERALLEN 509
+
+/*@constant int ANSI89_INCLUDENEST=8; @*/
+# define ANSI89_INCLUDENEST 8
+
+/*@constant int ANSI89_NUMSTRUCTFIELDS=127; @*/
+# define ANSI89_NUMSTRUCTFIELDS 127
+
+/*@constant int ANSI89_NUMENUMMEMBERS=127; @*/
+# define ANSI89_NUMENUMMEMBERS 127
+
+/*
+** From ISO C99 5.2.4.1
+*/
+
+/*@constant int ISO99_EXTERNALNAMELEN=31; @*/
+# define ISO99_EXTERNALNAMELEN 31
 
-/*@constant int DEFAULT_INTERNALNAMELEN=31; @*/
-# define DEFAULT_INTERNALNAMELEN 31
+/*@constant int ISO99_INTERNALNAMELEN=63; @*/
+# define ISO99_INTERNALNAMELEN 63
 
-/*@constant int DEFAULT_CONTROLNESTDEPTH=15; @*/
-# define DEFAULT_CONTROLNESTDEPTH 15
+/*@constant int ISO99_CONTROLNESTDEPTH=63; @*/
+# define ISO99_CONTROLNESTDEPTH 63
 
-/*@constant int DEFAULT_STRINGLITERALLEN=509; @*/
-# define DEFAULT_STRINGLITERALLEN 509
+/*@constant int ISO99_STRINGLITERALLEN=4095; @*/
+# define ISO99_STRINGLITERALLEN 4095
 
-/*@constant int DEFAULT_INCLUDENEST=8; @*/
-# define DEFAULT_INCLUDENEST 8
+/*@constant int ISO99_INCLUDENEST=63; @*/
+# define ISO99_INCLUDENEST 63
 
-/*@constant int DEFAULT_NUMSTRUCTFIELDS=127; @*/
-# define DEFAULT_NUMSTRUCTFIELDS 127
+/*@constant int ISO99_NUMSTRUCTFIELDS=1023 @*/
+# define ISO99_NUMSTRUCTFIELDS 1023
 
-/*@constant int DEFAULT_NUMENUMMEMBERS=127; @*/
-# define DEFAULT_NUMENUMMEMBERS 127
+/*@constant int ISO99_NUMENUMMEMBERS=1023 @*/
+# define ISO99_NUMENUMMEMBERS 1023
 
 /*@constant int DEFAULT_LIMIT=-1; @*/
 # define DEFAULT_LIMIT -1    /* unlimited messages */
@@ -165,11 +198,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"
@@ -180,13 +213,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.