/*
-** 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 void usymtab_printTypes (void)
/*@globals internalState@*/
- /*@modifies g_msgstream@*/ ;
+ /*@modifies g_warningstream@*/ ;
extern void usymtab_setMustBreak (void) /*@modifies internalState@*/ ;
extern bool usymtab_inFileScope (void) /*@globals internalState@*/ ;
extern void usymtab_checkFinalScope (bool p_isReturn)
/*@globals internalState@*/
- /*@modifies *g_msgstream@*/ ;
+ /*@modifies *g_warningstream@*/ ;
extern void usymtab_allUsed (void)
/*@globals internalState@*/
- /*@modifies *g_msgstream@*/ ;
+ /*@modifies *g_warningstream@*/ ;
extern void usymtab_allDefined (void)
/*@globals internalState@*/
- /*@modifies *g_msgstream@*/ ;
+ /*@modifies *g_warningstream@*/ ;
extern void usymtab_prepareDump (void)
/*@modifies internalState@*/ ;
extern /*@observer@*/ uentry usymtab_lookupEither (cstring p_k)
/*@globals internalState@*/ ;
-# ifndef NOLCL
extern ctype usymtab_lookupType (cstring p_k)
/*@globals internalState@*/ ;
-# endif
extern bool usymtab_isDefinitelyNull (sRef p_s)
/*@globals internalState@*/ ;
extern bool usymtab_isDefinitelyNullDeep (sRef p_s)
/*@globals internalState@*/ ;
-# ifndef NOLCL
extern usymId usymtab_supExposedTypeEntry (/*@only@*/ uentry p_e, bool p_dodef)
/*@modifies internalState, p_e@*/ ;
-# endif
extern ctype usymtab_supTypeEntry (/*@only@*/ uentry p_e)
/*@modifies internalState, p_e@*/ ;
extern bool usymtab_exists (cstring p_k)
/*@globals internalState@*/ ;
-# ifndef NOLCL
extern bool usymtab_existsVar (cstring p_k)
/*@globals internalState@*/ ;
-# endif
extern bool usymtab_existsGlob (cstring p_k)
/*@globals internalState@*/ ;
extern bool usymtab_existsType (cstring p_k)
/*@globals internalState@*/ ;
-# ifndef NOLCL
extern bool usymtab_existsEither (cstring p_k)
/*@globals internalState@*/ ;
-# endif
extern bool usymtab_existsTypeEither (cstring p_k)
/*@globals internalState@*/ ;
extern usymId usymtab_getId (cstring p_k) /*@globals internalState@*/ ;
-extern usymId usymtab_getTypeId (cstring p_k) /*@globals internalState@*/ ;
+extern typeId usymtab_getTypeId (cstring p_k) /*@globals internalState@*/ ;
extern void usymtab_supEntry (/*@only@*/ uentry p_e)
/*@modifies internalState, p_e@*/ ;
-# ifndef NOLCL
extern void usymtab_replaceEntry (/*@only@*/ uentry p_s)
/*@modifies internalState, p_s@*/ ;
-# endif
extern void usymtab_supEntrySref (/*@only@*/ uentry p_e)
/*@modifies internalState, p_e@*/ ;
extern ctype usymtab_lookupAbstractType (cstring p_k)
/*@globals internalState@*/ /*@modifies nothing@*/ ;
-extern bool usymtab_matchForwardStruct (usymId p_u1, usymId p_u2)
+extern bool usymtab_matchForwardStruct (typeId p_u1, typeId p_u2)
/*@globals internalState@*/ ;
extern bool usymtab_existsEnumTag (cstring p_k)
extern bool usymtab_existsStructTag (cstring p_k)
/*@globals internalState@*/ ;
-extern usymId usymId_fromInt (int p_i) /*@*/ ;
-# define usymId_fromInt(i) ((usymId)(i))
-
-extern bool usymId_isInvalid (usymId p_u) /*@*/ ;
-# define usymId_isInvalid(u) ((u) == USYMIDINVALID)
-
-extern bool usymId_isValid (usymId p_u) /*@*/ ;
-# define usymId_isValid(u) ((u) != USYMIDINVALID)
-
-extern bool typeId_isInvalid (typeId p_u) /*@*/ ;
-# define typeId_isInvalid(u) ((u) == typeId_invalid)
-
-extern bool typeId_isValid (typeId p_u) /*@*/ ;
-# define typeId_isValid(u) ((u) != typeId_invalid)
-
-extern bool typeId_equal (typeId p_u1, typeId p_u2) /*@*/ ;
-# define typeId_equal(u1,u2) ((u1) == (u2))
-
-extern typeId typeId_fromInt (int p_i);
-# define typeId_fromInt(i) ((typeId)(i))
-
/*@iter usymtab_entries (sef usymtab u, yield exposed uentry el); @*/
# define usymtab_entries(x, m_i) \
{ int m_ind; \
extern /*@unused@*/ void usymtab_displayAllUses (void)
/*@globals internalState@*/
- /*@modifies *g_msgstream@*/ ;
+ /*@modifies *g_warningstream@*/ ;
extern /*@unused@*/ void usymtab_printOut (void)
/*@globals internalState@*/
- /*@modifies *g_msgstream@*/ ;
+ /*@modifies *g_warningstream@*/ ;
extern /*@unused@*/ void usymtab_printAll (void)
/*@globals internalState@*/
- /*@modifies *g_msgstream@*/ ;
+ /*@modifies *g_warningstream@*/ ;
extern void usymtab_enterScope (void)
/*@modifies internalState;@*/ ;
/*@globals internalState@*/ ;
extern usymId usymtab_convertId (usymId p_uid) /*@globals internalState@*/ ;
+extern typeId usymtab_convertTypeId (typeId p_uid) /*@globals internalState@*/ ;
extern void usymtab_initMod (void) /*@modifies internalState@*/ ;
+extern void usymtab_destroyMod (void) /*@modifies internalState@*/ ;
extern void usymtab_initBool (void) /*@modifies internalState@*/ ;
extern void usymtab_initGlobalMarker (void) /*@modifies internalState@*/ ;
extern void usymtab_unguard (sRef p_s) /*@modifies internalState@*/ ;
extern bool usymtab_isGuarded (sRef p_s) /*@globals internalState@*/ ;
-extern void usymtab_printGuards (void) /*@globals internalState@*/ /*@modifies *g_msgstream@*/ ;
+extern void usymtab_printGuards (void) /*@globals internalState@*/ /*@modifies *g_warningstream@*/ ;
extern void usymtab_quietPlainExitScope (void) /*@modifies internalState@*/ ;
extern void usymtab_printComplete (void) /*@globals internalState@*/ /*@modifies *stdout@*/ ;
-# ifndef NOLCL
extern bool usymtab_existsGlobEither (cstring p_k) /*@globals internalState@*/ ;
-# endif
extern bool usymtab_isBoolType (typeId p_uid) /*@globals internalState@*/ ;
extern /*@only@*/ cstring usymtab_getTypeEntryName (typeId p_uid)
usymtab_supEntrySrefReturn (/*@only@*/ uentry p_e)
/*@modifies internalState, p_e@*/ ;
-extern int uentry_directParamNo (uentry p_ue)
+extern usymId usymtab_directParamNo (uentry p_ue)
/*@globals internalState@*/ ;
extern bool usymtab_newCase (exprNode p_pred, exprNode p_last)
extern void usymtab_checkDistinctName (uentry p_e, int p_scope)
/*@globals internalState@*/
- /*@modifies *g_msgstream, p_e@*/ ;
+ /*@modifies *g_warningstream, p_e@*/ ;
extern /*@exposed@*/ sRef usymtab_lookupGlobalMarker (void) /*@globals internalState@*/ ;
extern void usymtab_addReallyForceMustAlias (/*@exposed@*/ sRef p_s, /*@exposed@*/ sRef p_al) /*@modifies internalState@*/ ;
extern int usymtab_getCurrentDepth (void) /*@globals internalState@*/ ;
+# ifdef DEBUGSPLINT
+extern void usymtab_checkAllValid (void) /*@modifies g_errorstream@*/ ;
+# endif
+
# else
# error "Multiple include"
# endif