/*
-** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2000.
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
** See ../LICENSE for license information.
**
*/
typedef lclTypeSpecNode lcltsp;
-typedef struct _lclconj
+typedef struct
{
lcltsp a;
lcltsp b;
} *lclconj;
-struct _lclTypeSpecNode {
+struct s_lclTypeSpecNode {
lclTypeSpecKind kind;
qualList quals;
union {
/*@null@*/ enumSpecNode enumspec;
lclconj conj;
} content;
- int pointers;
+ pointers pointers;
} ;
/*@constant null lclTypeSpecNode lclTypeSpecNode_undefined; @*/
# define lclTypeSpecNode_undefined ((lclTypeSpecNode) 0)
-extern /*@falsenull@*/ bool lclTypeSpecNode_isDefined (lclTypeSpecNode p_x) /*@*/ ;
+extern /*@falsewhennull@*/ bool lclTypeSpecNode_isDefined (lclTypeSpecNode p_x) /*@*/ ;
# define lclTypeSpecNode_isDefined(x) ((x) != lclTypeSpecNode_undefined)
extern /*@null@*/ /*@only@*/ lclTypeSpecNode