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

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

diff --git a/src/Headers/basic.h b/src/Headers/basic.h
index 384bec6a1a86da1acf1624b32a3bbc5a156bae39..d6ba7ffdcbe5c7fa29472288b4586e6457e86211 100644 (file)
--- a/src/Headers/basic.h
+++ b/src/Headers/basic.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.
 **
 */
@@ -7,16 +7,33 @@
 # ifndef BASIC_H
 # define BASIC_H
 
+# ifdef HAVE_CONFIG_H
+# ifdef WIN32
+
+/* Win32 uses its own hand-generated config file */
+# include "../../winconfig.h"
+# else 
+# include "../../config.h"
+# endif
+# else
+# error "No config.h file!"
+# endif
+
 # include <stdlib.h>
 # include <stdio.h>
+# include <stdbool.h>
 # include <string.h>
 # include <ctype.h>
 # include <float.h>
+# include <limits.h>
 # include "general.h"
 # include "ynm.h"
 # include "message.h" 
 # include "fileloc.h"
 # include "globals.h"
+# include "cpp.h"
+# include "cstringSList.h"
+# include "cstringList.h"
 # include "flag_codes.h"
 # include "flags.h"
 # include "flagSpec.h"
@@ -28,14 +45,11 @@
 # include "warnClause.h"
 # include "functionClause.h"
 # include "functionClauseList.h"
-# include "cstringSList.h"
-# include "cstringList.h"
 # include "llerror.h" 
 # include "fileLib.h"
 # include "inputStream.h"
 # include "qualList.h"
-
-# ifndef NOLCL
+# include "pointers.h"
 # include "code.h"
 # include "mapping.h"
 # include "sort.h"
@@ -45,8 +59,6 @@
 # include "lsymbol.h"
 # include "abstract.h"
 # include "symtable.h"
-# endif
-
 # include "exprNodeList.h"
 # include "cprim.h"
 # include "cstringTable.h"
@@ -57,6 +69,8 @@
 # include "varKinds.h"
 # include "sRefSet.h"
 # include "ekind.h"
+# include "usymId.h"
+# include "typeId.h"
 # include "usymIdSet.h"
 # include "sRefList.h"
 # include "uentryList.h"
@@ -95,14 +109,12 @@
 # include "messageLog.h"
 # include "clauseStack.h"
 # include "stateCombinationTable.h"
-# include "metaStateInfo.h"
-# include "metaStateTable.h"
-# include "annotationInfo.h"
-# include "annotationTable.h"
-
+# include "mtincludes.h"
+# include "functionConstraint.h"
+# include "fileIdList.h"
 # include "context.h"
 # include "constants.h"
-# include "local_constants.h"
+# include "llglobals.h"
 
 # else
 # error "Multiple include"