/*
-** 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.
**
*/
fileloc loc;
/*@relnull@*/ exprData edata;
cstring etext;
- /*@notnull@*/ constraintList requiresConstraints;
+ /*@notnull@*/ constraintList requiresConstraints;
/*@notnull@*/ constraintList ensuresConstraints;
/*
exprNode_unparse (/*@temp@*/ exprNode p_e) /*@*/ ;
extern /*@falsewhennull@*/ bool exprNode_isBlock (exprNode p_e) /*@*/ ;
-extern /*@falsewhennull@*/ bool exprNode_isCharLit (exprNode p_e) /*@*/ ;
-extern /*@falsewhennull@*/ bool exprNode_isNumLit (exprNode p_e) /*@*/ ;
+extern /*@falsewhennull@*/ bool exprNode_isCharLiteral (exprNode p_e) /*@*/ ;
+extern /*@falsewhennull@*/ bool exprNode_isNumLiteral (exprNode p_e) /*@*/ ;
extern exprNode
exprNode_makeInitialization (/*@only@*/ idDecl p_t, /*@only@*/ exprNode p_e);
extern exprNode exprNode_iterNewId (/*@only@*/ cstring p_s);
extern exprNode
exprNode_iterStart (/*@observer@*/ uentry p_name, /*@only@*/ exprNodeList p_alist);
-extern exprNode
- exprNode_numLiteral (ctype p_c, /*@temp@*/ cstring p_t,
- /*@only@*/ fileloc p_loc, long p_val);
+extern exprNode exprNode_numLiteral (ctype p_c, /*@temp@*/ cstring p_t,
+ /*@only@*/ fileloc p_loc, long p_val) /*@*/ ;
extern void exprNode_initMod (void) /*@modifies internalState@*/ ;
extern exprNode exprNode_for (/*@keep@*/ exprNode p_inc, /*@keep@*/ exprNode p_body);
extern exprNode
exprNode_forPred (/*@only@*/ exprNode p_init,
/*@only@*/ exprNode p_test, /*@only@*/ exprNode p_inc);
-extern exprNode
- exprNode_floatLiteral (double p_d, ctype p_ct,
- cstring p_text, /*@only@*/ fileloc p_loc);
+extern exprNode exprNode_floatLiteral (double p_d, ctype p_ct,
+ cstring p_text, /*@only@*/ fileloc p_loc) /*@*/ ;
extern /*@notnull@*/ exprNode exprNode_createId (/*@observer@*/ uentry p_c);
extern /*@notnull@*/ exprNode exprNode_makeConstantString (/*@temp@*/ cstring p_c, /*@only@*/ fileloc p_loc) /*@*/ ;
extern exprNode exprNode_cast (/*@only@*/ lltok p_tok, /*@only@*/ exprNode p_e, /*@only@*/ qtype p_q);
extern void exprNode_destroyMod (void) /*@modifies internalState@*/ ;
extern /*@falsewhennull@*/ bool exprNode_isAssign (exprNode p_e) /*@*/ ;
-/* added 8-15-00
- by DRL */
-extern /*@observer@*/ fileloc exprNode_getfileloc (exprNode p_e) ;
-
/*@-exportlocal@*/
extern bool exprNode_isDefaultMarker (exprNode p_e) /*@*/ ;
extern bool exprNode_isCaseMarker (exprNode p_e) /*@*/ ;