]> andersk Git - splint.git/blob - src/Headers/basic.h
5fd921a1cad34acb1e832108f64761418f357f93
[splint.git] / src / Headers / basic.h
1 /*
2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
3 ** See ../LICENSE for license information.
4 **
5 */
6
7 # ifndef BASIC_H
8 # define BASIC_H
9
10 # ifdef HAVE_CONFIG_H
11 # ifdef WIN32
12
13 /* Win32 uses its own hand-generated config file */
14 # include "../../winconfig.h"
15 # else 
16 # include "../../config.h"
17 # endif
18 # else
19 # error "No config.h file!"
20 # endif
21
22 # include <stdlib.h>
23 # include <stdio.h>
24
25 # ifndef WIN32
26 /* Microsoft VC++ still doesn't support ISO C99... */
27 # include <stdbool.h>
28 # endif
29
30 # include <string.h>
31 # include <ctype.h>
32 # include <float.h>
33 # include <limits.h>
34 # include "general.h"
35 # include "ynm.h"
36 # include "message.h" 
37 # include "fileloc.h"
38 # include "globals.h"
39 # include "cpp.h"
40 # include "cstringSList.h"
41 # include "cstringList.h"
42 # include "flag_codes.h"
43 # include "flags.h"
44 # include "flagSpec.h"
45 # include "qual.h"
46 # include "lltok.h"
47 # include "clause.h"
48 # include "globalsClause.h"
49 # include "modifiesClause.h"
50 # include "warnClause.h"
51 # include "functionClause.h"
52 # include "functionClauseList.h"
53 # include "llerror.h" 
54 # include "fileLib.h"
55 # include "inputStream.h"
56 # include "qualList.h"
57 # include "pointers.h"
58 # include "code.h"
59 # include "mapping.h"
60 # include "sort.h"
61 # include "lclctypes.h"
62 # include "paramNode.h"
63 # include "paramNodeList.h"
64 # include "lsymbol.h"
65 # include "abstract.h"
66 # include "symtable.h"
67 # include "exprNodeList.h"
68 # include "cprim.h"
69 # include "cstringTable.h"
70 # include "genericTable.h"
71 # include "filelocList.h"
72 # include "enumNameList.h"
73 # include "enumNameSList.h"
74 # include "varKinds.h"
75 # include "sRefSet.h"
76 # include "ekind.h"
77 # include "usymId.h"
78 # include "typeId.h"
79 # include "usymIdSet.h"
80 # include "sRefList.h"
81 # include "uentryList.h"
82 # include "globSet.h"
83 # include "ctypeList.h"
84 # include "aliasTable.h"
85 # include "reader.h"
86 # include "usymtab.h"
87 # include "lctype.h"
88 # include "qtype.h"
89 # include "idDecl.h"
90 # include "multiVal.h"
91 # include "stateClause.h"
92 # include "stateClauseList.h"
93 # include "uentry.h"
94 # include "stateInfo.h"
95 # include "stateValue.h"
96 # include "valueTable.h"
97 # include "sRef.h"
98 # include "guardSet.h"
99 # include "constraintTerm.h"
100 # include "constraintExprData.h"
101 # include "constraintExpr.h"
102 # include "constraint.h"
103 # include "constraintList.h"
104 # include "exprNode.h"
105 # include "exprData.h"
106 # include "typeIdSet.h"
107 # include "idDeclList.h"
108 # include "clabstract.h"
109 # include "sRefSetList.h"
110 # include "flagMarker.h"
111 # include "flagMarkerList.h"
112 # include "macrocache.h"
113 # include "fileTable.h"
114 # include "messageLog.h"
115 # include "clauseStack.h"
116 # include "stateCombinationTable.h"
117 # include "mtincludes.h"
118 # include "functionConstraint.h"
119 # include "fileIdList.h"
120 # include "context.h"
121 # include "constants.h"
122 # include "llglobals.h"
123
124 # else
125 # error "Multiple include"
126 # endif
127
This page took 0.032377 seconds and 3 git commands to generate.