| | 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 | |
andersk / splint.git / blame_incremental