/*
-** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2000.
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
** See ../LICENSE for license information.
*/
-struct _termNode
+struct s_termNode
{
int wrapped; /* the number of matched parentheses around this term */
termKIND kind;
bool error_reported; /* to prevent multiple sort checking error messages */
lslOpSet possibleOps; /* only for TRM_ZEROARY and TRM_APPLICATION */
/* should make a union but skip this for now */
- /*@null@*/ struct _nameNode *name;
+ /*@null@*/ nameNode name;
termNodeList args; /* in order */
/*@reldef@*/ ltoken literal; /* for TRM_LITERAL, TRM_UNCHANGEDALL,
TRM_SIZEOF, LCLvariableKIND,
/*@reldef@*/ lclTypeSpecNode sizeofField; /* only for TRM_SIZEOF */
} ;
-extern /*@falsenull@*/ bool termNode_isDefined (/*@null@*/ termNode p_t) /*@*/ ;
+extern /*@falsewhennull@*/ bool termNode_isDefined (/*@null@*/ termNode p_t) /*@*/ ;
# define termNode_isDefined(t) ((t) != NULL)
extern termNode termNode_copySafe (termNode p_t) /*@*/ ;