]> andersk Git - splint.git/blame - src/Headers/context.h
andersk / splint.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
Updating to use the LEnsures and LRequires instead of the ensures requires so
[splint.git] / src / Headers / context.h
CommitLineData
885824d3 1/*
2** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2000.
3** See ../LICENSE for license information.
4**
5*/
6/*
7** context.h
8*/
9
10# ifndef CONTEXT_H
11# define CONTEXT_H
12
13extern void context_pushLoc (void);
14extern void context_popLoc (void);
15
16extern bool context_doMerge (void);
17extern bool context_doDump (void);
18
19extern void context_resetAllFlags (void);
20
21extern /*@unused@*/ cstring context_unparseFlagMarkers (void) /*@*/ ;
22
23extern void context_enterDoWhileClause (void) /*@modifies internalState@*/ ;
24
25extern bool context_hasMods (void);
26
27extern bool context_isSystemDir (cstring p_dir) /*@*/ ;
28
29extern /*@observer@*/ char *context_selectedLibrary (void) /*@*/ ;
30extern bool context_usingPosixLibrary (void) /*@*/ ;
31extern bool context_usingAnsiLibrary (void) /*@*/ ;
32extern flagcode context_getLibrary (void) /*@*/ ;
33extern void context_setLibrary (flagcode) /*@modifies internalState@*/ ;
34
35extern void context_setPreprocessing (void) /*@modifies internalState@*/;
36extern void context_clearPreprocessing (void) /*@modifies internalState@*/;
37extern bool context_isPreprocessing (void) /*@*/;
38
39extern void context_setInCommandLine (void) /*@modifies internalState@*/ ;
40extern void context_clearInCommandLine (void) /*@modifies internalState@*/ ;
41extern bool context_isInCommandLine (void) /*@*/ ;
42
43extern void context_resetErrors (void);
44
45extern int context_getLinesProcessed (void) /*@*/ ;
46extern int context_getSpecLinesProcessed (void) /*@*/ ;
47
48extern bool context_setBoolName (void) /*@*/ ;
49extern /*@observer@*/ cstring context_getBoolName (void) /*@*/ ;
50extern /*@observer@*/ cstring context_printBoolName (void) /*@*/ ;
51extern /*@observer@*/ cstring context_getFalseName (void) /*@*/ ;
52extern /*@observer@*/ cstring context_getTrueName (void) /*@*/ ;
53extern /*@observer@*/ cstring context_getLarchPath (void) /*@*/ ;
54extern /*@observer@*/ cstring context_getLCLImportDir (void) /*@*/ ;
55
56extern bool context_checkExport (uentry p_e) /*@*/ ;
57extern bool context_checkGlobMod (sRef p_el) /*@*/ ;
58extern bool context_checkGlobUse (uentry p_glob);
59extern bool context_checkAliasGlob (uentry p_glob);
60extern bool context_checkInternalUse (void);
61extern void context_recordFileModifies (/*@dependent@*/ sRefSet p_mods);
62extern void context_clearJustPopped (void);
63extern bool context_justPopped (void);
64
65extern void context_enterTrueClause (exprNode p_e);
66extern void context_enterFalseClause (exprNode p_e);
67extern void context_exitClause (exprNode p_pred,
68 exprNode p_tbranch, exprNode p_fbranch);
69extern void context_exitInnerSafe (void);
70extern void context_exitInnerPlain (void) /*@modifies internalState@*/ ;
71
72extern bool context_inGlobalScope (void);
73extern bool context_inInnerScope (void);
74extern void context_setProtectVars (void);
75
76extern int context_getLimit (void) /*@*/ ;
77extern bool context_unlimitedMessages (void) /*@*/ ;
78
79extern void context_releaseVars (void);
80extern void context_sizeofReleaseVars (void);
81extern bool context_inProtectVars (void);
82
83extern bool context_hasFileAccess (typeId p_t);
84
85extern void context_hideShowscan (void);
86extern void context_unhideShowscan (void);
87
88extern void context_setMode (cstring p_s);
89extern void context_exitAllClauses (void);
90extern bool context_inHeader (void);
91
92extern /*@dependent@*/ /*@exposed@*/ fileTable context_fileTable (void) /*@*/ ;
93
94extern /*@exposed@*/ messageLog context_messageLog (void);
95extern /*@dependent@*/ /*@observer@*/ cstring context_tmpdir (void);
96
97# ifndef NOLCL
98extern void context_enterLCLfile (void);
99extern void context_exitLCLfile (void);
100extern void context_enterImport (void) ;
101extern void context_leaveImport (void) ;
102extern void context_processedSpecLine (void) /*@modifies internalState@*/ ;
103extern int context_getLCLExpect (void) /*@*/ ;
104extern bool context_msgLh (void) /*@*/ ;
105extern bool context_inLCLLib (void) /*@globals internalState@*/ ;
106extern bool context_inImport (void) /*@globals internalState@*/ ;
107extern void context_resetSpecLines (void) /*@modifies internalState@*/ ;
108# endif
109
110extern void context_exitMacroCache (void);
111extern void context_enterSuppressRegion (void);
112extern void context_exitSuppressRegion (void);
113extern void context_enterMacroFile (void);
114extern typeIdSet context_fileAccessTypes (void);
115extern void context_addFileAccessType (typeId p_t);
116extern void context_removeFileAccessType (typeId p_t);
117extern /*@observer@*/ uentryList context_getParams (void);
118
119extern bool context_isSpecialFile (cstring p_fname);
120extern /*@observer@*/ cstring context_inFunctionName (void) /*@*/ ;
121extern ctype context_currentFunctionType (void) /*@*/ ;
122extern void context_exitFile (void);
123extern void context_enterConstantMacro (/*@dependent@*/ /*@exposed@*/ uentry p_e);
124extern void context_enterMacro (/*@observer@*/ uentry p_e);
125extern void context_enterFunction (/*@exposed@*/ uentry p_e);
126extern void context_exitFunction (void);
127extern void context_initMod (void) /*@modifies internalState@*/ ;
128extern void context_enterInnerContext(void);
129extern void context_exitInner (exprNode p_exp);
130extern bool context_globAccess (sRef p_s);
131extern /*@observer@*/ globSet context_getUsedGlobs (void);
132extern bool context_hasAccess (typeId p_t);
133extern bool context_couldHaveAccess (typeId p_t);
134extern /*@only@*/ cstring context_unparse (void);
135extern void context_setFunctionDefined (fileloc p_loc);
136extern void context_setFlagTemp (flagcode p_f, bool p_b);
137
a0a162cd 138extern /*@unused@*/ void context_showFilelocStack (void) ;
139
885824d3 140extern bool context_getFlag (flagcode p_d) /*@*/ ;
141extern int context_getLineLen (void) /*@*/ ;
142# define context_getLineLen() ((int)context_getValue(FLG_LINELEN))
143
144extern int context_getValue (flagcode p_flag) /*@*/ ;
145extern void context_setValueAndFlag (flagcode p_flag, int p_val)
146 /*@modifies internalState@*/ ;
147
148extern /*@unused@*/ int context_getCounter (flagcode p_flag) /*@*/ ;
149extern /*@unused@*/ void context_incCounter (flagcode p_flag)
150 /*@modifies internalState@*/ ;
151extern /*@unused@*/ void context_decCounter (flagcode p_flag)
152 /*@modifies internalState@*/ ;
153
154extern bool context_maybeSet (flagcode p_d) /*@*/ ;
155
156extern /*@observer@*/ cstring context_getString (flagcode p_flag) /*@*/ ;
157extern void context_setString (flagcode p_flag, /*@only@*/ cstring p_val)
158 /*@modifies internalState@*/ ;
159
160extern bool context_getDebug (flagcode p_d);
161# define context_getDebug(p_d) context_getFlag(p_d)
162
163extern void context_userSetFlag (flagcode p_f, bool p_b);
164
165extern int context_getExpect (void) /*@*/ ;
166
167extern /*@observer@*/ sRefSet context_modList(void);
168extern /*@exposed@*/ uentry context_getHeader(void) /*@*/;
169extern void context_usedGlobal (sRef p_el);
170extern void context_resetModeFlags (void);
171extern ctype context_typeofZero (void);
172extern ctype context_typeofOne (void);
173extern void context_enterFile (void);
174extern void context_enterUnknownMacro (/*@dependent@*/ /*@observer@*/ uentry p_e);
175extern char context_getCommentMarkerChar (void);
176extern void context_setCommentMarkerChar (char p_c);
177extern bool context_inMacroConstant (void) /*@*/ ;
178extern void context_returnFunction (void);
179extern bool context_processingMacros (void);
180
181extern void context_saveLocation (void);
182extern /*@only@*/ fileloc context_getSaveLocation (void);
183
184extern void context_setFileId (fileId p_s);
185extern void context_setFilename(fileId p_fid, int p_lineno)
186 /*@globals fileloc g_currentloc; @*/
187 /*@modifies g_currentloc@*/ ;
188
189extern void context_fileSetFlag (flagcode p_f, ynm p_set);
190
191extern /*@unused@*/ /*@only@*/ cstring context_unparseAccess (void) /*@*/ ;
192extern bool context_inFunction(void) /*@*/ ;
193extern bool context_inFunctionLike (void) /*@*/ ;
194
195extern void context_setMacroMissingParams (void);
196extern void context_resetMacroMissingParams (void);
197extern bool context_isMacroMissingParams (void) /*@*/ ;
198extern bool context_inMacroUnknown (void) /*@*/ ;
199
200/*@observer@*/ cstring context_getDump (void) /*@*/ ;
201/*@observer@*/ cstring context_getMerge (void) /*@*/ ;
202
203extern void context_incLineno (void);
204extern bool context_inSuppressRegion (void) /*@*/ ;
205extern void context_exitTrueClause (exprNode p_pred, exprNode p_tbranch);
206extern void context_destroyMod (void) /*@modifies internalState@*/ ;
207extern void context_addMacroCache (/*@only@*/ cstring p_def);
208extern void context_processAllMacros (void);
209extern void context_addComment (/*@only@*/ cstring p_def);
210extern void context_enterSuppressLine (int p_count);
211extern bool context_inSuppressZone (fileloc p_fl) /*@*/ ;
212extern void context_dumpModuleAccess (FILE *p_fout);
213extern void context_loadModuleAccess (FILE *p_in);
214extern bool context_inIterDef (void) /*@*/ ;
215extern bool context_inMacro (void) /*@*/ ;
216extern bool context_inIterEnd (void) /*@*/ ;
217extern ctype context_getRetType (void) /*@*/ ;
218
219extern void context_enterIterDef (/*@observer@*/ uentry p_le);
220extern void context_enterIterEnd (/*@observer@*/ uentry p_le);
221extern void context_addBoolAccess (void);
222extern bool context_canAccessBool (void);
223extern void context_quietExitFunction (void);
224
225/* speedy shortcuts for frequently used flags */
226
227extern bool context_msgBoolInt (void) /*@*/ ;
228extern bool context_msgCharInt (void) /*@*/ ;
229extern bool context_msgEnumInt (void) /*@*/ ;
230extern bool context_msgPointerArith (void) /*@*/ ;
231extern bool context_msgStrictOps (void) /*@*/ ;
232
233extern void context_exitStructInnerContext (void);
234extern void context_enterStructInnerContext (void);
235extern bool context_inRealFunction (void) /*@*/ ;
236extern void context_exitOrClause (exprNode p_pred, exprNode p_tbranch);
237extern void context_exitAndClause (exprNode p_pred, exprNode p_tbranch);
238extern void context_enterOrClause (exprNode p_e);
239extern void context_enterAndClause (exprNode p_e);
240
241extern void context_enterForClause (exprNode p_e);
242extern void context_enterWhileClause (exprNode p_e);
243
244extern void context_enterIterClause (void);
245extern void context_exitIterClause (exprNode p_body);
246
247extern void context_exitWhileClause (exprNode p_pred, exprNode p_body);
248extern void context_exitDoWhileClause (exprNode p_pred);
249extern void context_exitForClause (exprNode p_forPred, exprNode p_body);
250
251extern /*@only@*/ cstring context_unparseClauses (void) /*@*/ ;
252extern /*@observer@*/ globSet context_getGlobs (void) /*@*/ ;
253
254extern /*@only@*/ cstring context_getMessageAnnote (void);
255extern void context_clearMessageAnnote (void);
256extern bool context_hasMessageAnnote (void);
257extern void context_setMessageAnnote (/*@only@*/ cstring p_s);
258extern bool context_suppressFlagMsg (flagcode p_flag, fileloc p_fl);
259extern bool context_suppressNotFlagMsg (flagcode p_flag, fileloc p_fl);
260extern void context_enterCaseClause (exprNode p_e);
261extern void context_enterSwitch (exprNode p_e);
262extern void context_exitSwitch (exprNode p_e, bool p_allpaths);
263
264extern bool context_showFunction (void);
265extern void context_setShownFunction (void);
266
267extern void context_clearAliasAnnote (void);
268extern cstring context_getAliasAnnote (void);
269extern bool context_hasAliasAnnote (void);
270extern void context_setAliasAnnote (/*@observer@*/ sRef p_s, /*@observer@*/ sRef p_t);
271
272extern bool context_inDeepLoop (void) /*@globals internalState@*/ ;
273extern bool context_inDeepLoopSwitch (void) /*@globals internalState@*/ ;
274extern bool context_inConditional (void) /*@globals internalState@*/ ;
275extern bool context_inDeepSwitch (void) /*@globals internalState@*/ ;
276
277extern clause context_breakClause (void);
278extern clause context_nextBreakClause (void);
279
280extern bool context_anyErrors (void) /*@globals internalState@*/ ;
281extern void context_hasError (void) /*@modifies internalState@*/ ;
282extern int context_numErrors (void) /*@globals internalState@*/ ;
283extern bool context_neednl (void);
284extern void context_setNeednl (void);
285
286extern bool context_inGlobalContext (void) /*@globals internalState@*/ ;
287extern bool context_inMacroFunction (void) /*@globals internalState@*/ ;
288
289extern /*@observer@*/ cstring context_moduleName (void) /*@*/ ;
290extern void context_recordFileGlobals (/*@dependent@*/ globSet p_mods);
291extern void context_checkSuppressCounts (void) /*@modifies g_msgstream@*/ ;
292
293extern bool context_inFunctionDecl (void) /*@globals internalState@*/ ;
294extern void context_enterFunctionDecl (void) /*@modifies internalState@*/ ;
295extern void context_exitFunctionDecl (void) /*@modifies internalState@*/ ;
296
a0a162cd 297extern ctype context_boolImplementationType (void) /*@*/ ;
298
885824d3 299# else
300# error "Multiple include"
301# endif
302
303
304
305
306
307
308
309
git-cvsimport mirror of splint
This page took 0.584285 seconds and 5 git commands to generate.