Fixed problem with shadow parameters.

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

diff --git a/src/Headers/context.h b/src/Headers/context.h
index 4d5929ec1866516f67bc7fa0fdfde55f9b1c9029..546ee562949841b06d5a3079558253466500f7e7 100644 (file)
--- a/src/Headers/context.h
+++ b/src/Headers/context.h
@@ -58,6 +58,8 @@ extern /*@observer@*/ cstring context_getTrueName (void) /*@*/ ;
 extern /*@observer@*/ cstring context_getLarchPath (void) /*@*/ ;
 extern /*@observer@*/ cstring context_getLCLImportDir (void) /*@*/ ;
 
+extern constraintList context_getImplicitFcnConstraints (uentry p_ue) /*@*/ ;
+
 extern bool context_checkExport (uentry p_e) /*@*/ ;
 extern bool context_checkGlobMod (sRef p_el) /*@*/ ;
 extern bool context_checkGlobUse (uentry p_glob);
@@ -295,6 +297,10 @@ extern clause context_nextBreakClause (void);
 extern bool context_anyErrors (void) /*@globals internalState@*/ ;
 extern void context_hasError (void) /*@modifies internalState@*/ ;
 extern int context_numErrors (void) /*@globals internalState@*/ ;
+
+extern void context_recordBug (void) /*@modifies internalState@*/ ;
+extern int context_numBugs (void) /*@globals internalState@*/ ;
+
 extern bool context_neednl (void);
 extern void context_setNeednl (void);
 
@@ -340,13 +346,9 @@ extern valueTable context_createGlobalMarkerValueTable (/*@only@*/ stateInfo p_i
 extern int context_getBugsLimit (void) /*@*/ ;
 # define context_getBugsLimit()  ((int)context_getValue(FLG_BUGSLIMIT))
 
-extern ctype context_setLastStruct (/*@returned@*/ ctype p_s) /*@modifies internalState@*/;
-extern ctype context_getLastStruct (/*@returned@*/ /*ctype p_s*/) /*@modifies internalState@*/;
-
 /*drl added 2/4/2002*/
 
 extern bool context_inOldStyleScope (void) /*@*/ ;
-extern void context_setGlobalStructInfo (ctype p_ct, constraintList p_list) /*@modifies internalState@*/ ;
 
 /*drl added 3/5/2003*/