*** empty log message ***

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

diff --git a/src/Headers/context.h b/src/Headers/context.h
index 1ea7c923748eb76f92ea025bcac929053b383897..2a1ebb093092c70d385f3faaaa4d8d045180d596 100644 (file)
--- a/src/Headers/context.h
+++ b/src/Headers/context.h
@@ -340,6 +340,28 @@ extern valueTable context_createGlobalMarkerValueTable (/*@only@*/ stateInfo p_s
 extern int context_getBugsLimit (void) /*@*/ ;
 # define context_getBugsLimit()  ((int)context_getValue(FLG_BUGSLIMIT))
 
+/*drl 12/30/2001 these are some ugly functions that were added to facilitate struct annotations */
+
+
+extern bool hasInvariants (ctype p_ct);
+
+/*drl 1/6/2001: I didn't think these functions were solid enough to include in the
+  stable  release of splint.  I coomented them out so that they won't break anything
+  but didn't delete them because they will be fixed and included later
+*/
+
+/*extern void  setGlobalStructInfo(ctype p_ct, constraintList p_list); */
+
+/*extern constraintList getInvariants (ctype p_ct); */
+
+/* static int getSref (ctype ct, sRef s); */
+
+/* sRef fixSref (ctype p_ct, sRef p_base, sRef p_fix); */
+
+ctype context_setLastStruct (/*@returned@*/ ctype p_s) /*@modifies internalState@*/;
+ctype context_getLastStruct (/*@returned@*/ /*ctype p_s*/) /*@modifies internalState@*/;
+
+
 # else
 # error "Multiple include"
 # endif