fileloc loc;
/*@relnull@*/ exprData edata;
cstring etext;
- /*@notnull@*/ constraintList requiresConstraints;
+ /*@notnull@*/ constraintList requiresConstraints;
/*@notnull@*/ constraintList ensuresConstraints;
/*
extern long exprNode_getLongValue (exprNode p_e) /*@*/ ;
extern /*@observer@*/ cstring exprNode_unparseFirst (exprNode p_e) /*@*/ ;
+extern void exprNode_revealState (exprNode p_e) /*@modifies g_messagestream@*/ ;
+
extern /*@observer@*/ guardSet exprNode_getForGuards (exprNode p_pred) /*@*/ ;
extern bool exprNode_loopMustExec (exprNode p_forPred) /*@*/ ;
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) /*@*/ ;