*** empty log message ***

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

diff --git a/src/Headers/context.h b/src/Headers/context.h
index 29e4cf7ac34d5793ccce21152da1713499a167b5..7ecb9b3eac138391ef4a51b1ab8c2c666565cdee 100644 (file)
--- a/src/Headers/context.h
+++ b/src/Headers/context.h
@@ -308,6 +308,8 @@ extern void context_exitFunctionHeader (void) /*@modifies internalState@*/ ;
 extern bool context_inFunctionDeclaration (void) /*@globals internalState@*/ ;
 extern void context_enterFunctionDeclaration (/*@exposed@*/ uentry) /*@modifies internalState@*/ ;
 extern void context_exitFunctionDeclaration (void) /*@modifies internalState@*/ ;
+extern void context_enterOldStyleScope (void) /*@modifies internalState@*/ ;
+extern void context_completeOldStyleFunction (/*@exposed@*/ uentry p_e) /*@modifies internalState@*/ ;
 
 extern ctype context_boolImplementationType (void) /*@*/ ;
 extern /*@observer@*/ /*@null@*/ annotationInfo 
@@ -325,10 +327,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) /*@*/ ;