*** empty log message ***

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

diff --git a/src/Headers/context.h b/src/Headers/context.h
index 5cd75052da096bb44fd87c53b3c3c434f277bac0..1f64901092dc4d149ceda15ad6633e13b8e74c0a 100644 (file)
--- a/src/Headers/context.h
+++ b/src/Headers/context.h
@@ -35,6 +35,7 @@ extern void context_setLibrary (flagcode) /*@modifies internalState@*/ ;
 extern void context_setPreprocessing (void) /*@modifies internalState@*/;
 extern void context_clearPreprocessing (void) /*@modifies internalState@*/;
 extern bool context_isPreprocessing (void) /*@*/;
+extern bool context_loadingLibrary (void) /*@*/ ;
 
 extern void context_setInCommandLine (void) /*@modifies internalState@*/ ;
 extern void context_clearInCommandLine (void) /*@modifies internalState@*/ ;
@@ -324,10 +325,10 @@ extern void context_addAnnotation (/*@only@*/ annotationInfo)
 extern void context_addMetaState (/*@only@*/ cstring, /*@only@*/ metaStateInfo)
      /*@modifies internalState@*/ ;
 
-extern valueTable context_createValueTable (sRef p_s)
+extern valueTable context_createValueTable (sRef p_s, /*@only@*/ stateInfo p_sinfo)
      /*@globals internalState@*/ ;
 
-extern valueTable context_createGlobalMarkerValueTable (void)
+extern valueTable context_createGlobalMarkerValueTable (/*@only@*/ stateInfo p_sinfo)
      /*@globals internalState@*/ ;
 
 extern int context_getBugsLimit (void) /*@*/ ;