Merged code tree with Dave Evans's version. Many changes to numberous to list....

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

diff --git a/src/Headers/basic.h b/src/Headers/basic.h
index a43fe7a7a9e19ff926c208638ed84ac63f752828..384bec6a1a86da1acf1624b32a3bbc5a156bae39 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-2000.
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
 ** See ../LICENSE for license information.
 **
 */
@@ -7,8 +7,8 @@
 # ifndef BASIC_H
 # define BASIC_H
 
-# include <stdio.h>
 # include <stdlib.h>
+# include <stdio.h>
 # include <string.h>
 # include <ctype.h>
 # include <float.h>
@@ -17,15 +17,22 @@
 # include "message.h" 
 # include "fileloc.h"
 # include "globals.h"
+# include "flag_codes.h"
+# include "flags.h"
+# include "flagSpec.h"
 # include "qual.h"
 # include "lltok.h"
 # include "clause.h"
+# include "globalsClause.h"
+# include "modifiesClause.h"
+# include "warnClause.h"
+# include "functionClause.h"
+# include "functionClauseList.h"
 # include "cstringSList.h"
 # include "cstringList.h"
-# include "flag_codes.h"
-# include "flags.h"
 # include "llerror.h" 
-# include "source.h"
+# include "fileLib.h"
+# include "inputStream.h"
 # include "qualList.h"
 
 # ifndef NOLCL
@@ -42,7 +49,8 @@
 
 # include "exprNodeList.h"
 # include "cprim.h"
-# include "hashTable.h"
+# include "cstringTable.h"
+# include "genericTable.h"
 # include "filelocList.h"
 # include "enumNameList.h"
 # include "enumNameSList.h"
@@ -50,17 +58,23 @@
 # include "sRefSet.h"
 # include "ekind.h"
 # include "usymIdSet.h"
+# include "sRefList.h"
 # include "uentryList.h"
 # include "globSet.h"
 # include "ctypeList.h"
 # include "aliasTable.h"
+# include "reader.h"
 # include "usymtab.h"
 # include "lctype.h"
 # include "qtype.h"
 # include "idDecl.h"
 # include "multiVal.h"
-# include "specialClauses.h"
+# include "stateClause.h"
+# include "stateClauseList.h"
 # include "uentry.h"
+# include "stateInfo.h"
+# include "stateValue.h"
+# include "valueTable.h"
 # include "sRef.h"
 # include "guardSet.h"
 # include "constraintTerm.h"
@@ -80,11 +94,16 @@
 # include "fileTable.h"
 # include "messageLog.h"
 # include "clauseStack.h"
+# include "stateCombinationTable.h"
+# include "metaStateInfo.h"
+# include "metaStateTable.h"
+# include "annotationInfo.h"
+# include "annotationTable.h"
+
 # include "context.h"
 # include "constants.h"
 # include "local_constants.h"
 
-
 # else
 # error "Multiple include"
 # endif