+
+/*drl7x*/
+constraintList uentry_getFcnPreconditions (uentry ue)
+{
+ if (uentry_isValid (ue))
+ {
+ {
+ if (uentry_isVariable (ue) && ctype_isFunction (uentry_getType (ue)))
+ {
+ uentry_makeVarFunction (ue);
+ }
+
+ //llassert (uentry_isFunction (ue));
+ //llassert ((ue->info->fcn->preconditions));
+ //llassert ((ue->info->fcn->preconditions));
+ if (!uentry_isFunction (ue))
+ {
+ TPRINTF ( (message ("called uentry_getFcnPreconditions on nonfunction %s",
+ uentry_unparse (ue) ) ) );
+ if (!uentry_isSpecified (ue) )
+ {
+ TPRINTF((message ("called uentry_getFcnPreconditions on nonfunction %s",
+ uentry_unparse (ue) ) ));
+ return constraintList_undefined;
+ }
+
+
+ return constraintList_undefined;
+ }
+
+ if (ue->info->fcn->preconditions)
+ {
+ return constraintList_copy (ue->info->fcn->preconditions);
+ }
+ else
+ {
+ return NULL;
+ }
+ }
+
+ }
+
+ return constraintList_undefined;
+
+}
+
+
+/*drl
+ 12/28/2000
+*/
+constraintList uentry_getFcnPostconditions (uentry ue)
+{
+ if (uentry_isValid (ue))
+ {
+ {
+ if (uentry_isVariable (ue) && ctype_isFunction (uentry_getType (ue)))
+ {
+ uentry_makeVarFunction (ue);
+ }
+
+ //llassert (uentry_isFunction (ue));
+ //llassert ((ue->info->fcn->preconditions));
+ /* if (!uentry_isSpecified (ue) )
+ {
+ TPRINTF((message ("called uentry_getFcnPostconditions on nonfunction %s",
+ uentry_unparse (ue) ) ));
+ // return constraintList_undefined;
+ }*/
+
+ if (!uentry_isFunction (ue))
+ {
+ /*llcontbug*/ TPRINTF( (message ("called uentry_getFcnPostconditions on nonfunction %s",
+ uentry_unparse (ue) ) ) );
+ return constraintList_undefined;
+ }
+
+ if (ue->info->fcn->postconditions)
+ {
+ return constraintList_copy (ue->info->fcn->postconditions);
+ }
+ else
+ {
+ return NULL;
+ }
+ }
+
+ }
+
+ return constraintList_undefined;
+
+}
+
+