/*
-** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
** See ../LICENSE for license information.
**
*/
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);
extern void context_enterMTfile (void) /*@modifies internalState@*/ ;
extern void context_exitMTfile (void) /*@modifies internalState@*/ ;
-# ifndef NOLCL
extern void context_enterLCLfile (void);
extern void context_exitLCLfile (void);
extern void context_enterImport (void) ;
extern bool context_inLCLLib (void) /*@globals internalState@*/ ;
extern bool context_inImport (void) /*@globals internalState@*/ ;
extern void context_resetSpecLines (void) /*@modifies internalState@*/ ;
-# endif
extern void context_exitMacroCache (void);
-extern void context_enterSuppressRegion (void);
-extern void context_exitSuppressRegion (void);
+extern void context_enterSuppressRegion (fileloc);
+extern void context_exitSuppressRegion (fileloc);
extern void context_enterMacroFile (void);
extern typeIdSet context_fileAccessTypes (void);
extern void context_addFileAccessType (typeId p_t);
extern int context_getIndentSpaces (void) /*@*/ ;
# define context_getIndentSpaces() ((int)context_getValue(FLG_INDENTSPACES))
+extern int context_getLocIndentSpaces (void) /*@*/ ;
+# define context_getLocIndentSpaces() ((int)context_getValue(FLG_LOCINDENTSPACES))
+
extern int context_getValue (flagcode p_flag) /*@*/ ;
extern void context_setValueAndFlag (flagcode p_flag, int p_val)
/*@modifies internalState@*/ ;
extern void context_setString (flagcode p_flag, /*@only@*/ cstring p_val)
/*@modifies internalState@*/ ;
-extern bool context_getDebug (flagcode p_d);
-# define context_getDebug(p_d) context_getFlag(p_d)
-
extern void context_userSetFlag (flagcode p_f, bool p_b);
extern int context_getExpect (void) /*@*/ ;
/*@globals fileloc g_currentloc; @*/
/*@modifies g_currentloc@*/ ;
-extern void context_fileSetFlag (flagcode p_f, ynm p_set);
+extern void context_fileSetFlag (flagcode p_f, ynm p_set, fileloc p_loc);
extern /*@unused@*/ /*@only@*/ cstring context_unparseAccess (void) /*@*/ ;
extern bool context_inFunction(void) /*@*/ ;
extern void context_destroyMod (void) /*@modifies internalState@*/ ;
extern void context_addMacroCache (/*@only@*/ cstring p_def);
extern void context_processAllMacros (void);
-extern void context_addComment (/*@only@*/ cstring p_def);
-extern void context_enterSuppressLine (int p_count);
+extern void context_addComment (/*@only@*/ cstring p_def, fileloc p_loc);
+extern void context_enterSuppressLine (int p_count, fileloc p_loc);
extern bool context_inSuppressZone (fileloc p_fl) /*@*/ ;
extern void context_dumpModuleAccess (FILE *p_fout);
extern void context_loadModuleAccess (FILE *p_in);
extern bool context_msgBoolInt (void) /*@*/ ;
extern bool context_msgCharInt (void) /*@*/ ;
extern bool context_msgEnumInt (void) /*@*/ ;
+extern bool context_msgLongInt (void) /*@*/ ;
+extern bool context_msgShortInt (void) /*@*/ ;
extern bool context_msgPointerArith (void) /*@*/ ;
extern bool context_msgStrictOps (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);
extern /*@observer@*/ cstring context_moduleName (void) /*@*/ ;
extern void context_recordFileGlobals (/*@dependent@*/ globSet p_mods);
-extern void context_checkSuppressCounts (void) /*@modifies g_msgstream@*/ ;
+extern void context_checkSuppressCounts (void) /*@modifies g_warningstream@*/ ;
extern bool context_inFunctionHeader (void) /*@globals internalState@*/ ;
extern void context_enterFunctionHeader (void) /*@modifies internalState@*/ ;
extern void context_addMetaState (/*@only@*/ cstring, /*@only@*/ metaStateInfo)
/*@modifies internalState@*/ ;
-extern valueTable context_createValueTable (sRef p_s, /*@only@*/ stateInfo p_sinfo)
+extern valueTable context_createValueTable (sRef p_s, /*@only@*/ stateInfo p_info)
/*@globals internalState@*/ ;
-extern valueTable context_createGlobalMarkerValueTable (/*@only@*/ stateInfo p_sinfo)
+extern valueTable context_createGlobalMarkerValueTable (/*@only@*/ stateInfo p_info)
/*@globals internalState@*/ ;
extern int context_getBugsLimit (void) /*@*/ ;
# define context_getBugsLimit() ((int)context_getValue(FLG_BUGSLIMIT))
+/*drl added 2/4/2002*/
+
+extern bool context_inOldStyleScope (void) /*@*/ ;
+
+/*drl added 3/5/2003*/
+
+extern bool context_inSizeof (void);
+extern void context_enterSizeof (void);
+extern void context_leaveSizeof (void);
+
# else
# error "Multiple include"
# endif