/*
-** 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.
*/
/*
/*@constant null metaStateTable metaStateTable_undefined; @*/
# define metaStateTable_undefined genericTable_undefined
-extern /*@falsenull@*/ bool metaStateTable_isDefined(metaStateTable) /*@*/ ;
+extern /*@falsewhennull@*/ bool metaStateTable_isDefined(metaStateTable) /*@*/ ;
# define metaStateTable_isDefined(p_h) (genericTable_isDefined ((genericTable) (p_h)))
-extern /*@truenull@*/ bool metaStateTable_isUndefined(metaStateTable) /*@*/ ;
+extern /*@nullwhentrue@*/ bool metaStateTable_isUndefined(metaStateTable) /*@*/ ;
# define metaStateTable_isUndefined(p_h) (genericTable_isDefined ((genericTable) (p_h)))
/*@constant int DEFAULT_MSTABLE_SIZE@*/
extern /*@null@*/ /*@dependent@*/ /*@exposed@*/ metaStateInfo
metaStateTable_lookup (metaStateTable p_h, cstring p_key) /*@*/ ;
+/*@access metaStateInfo@*/
# define metaStateTable_lookup(p_h,p_key) \
- (/*@i523@*/ /*@access metaStateInfo@*/ (metaStateInfo) genericTable_lookup ((genericTable) (p_h), p_key) /*@noaccess metaStateInfo@*/)
+ ((metaStateInfo) genericTable_lookup ((genericTable) (p_h), p_key))
+/*@noaccess metaStateInfo@*/
extern bool metaStateTable_contains (metaStateTable p_h, cstring p_key) /*@*/ ;
# define metaStateTable_contains(p_h,p_key) \