-void
- setFunctionStateSpecialClause (lltok stok, specialClauseKind kind,
- sRefSet s,
- /*@unused@*/ lltok etok)
-{
- int tok = lltok_getTok (stok);
-
- switch (tok)
- {
- case QPRECLAUSE:
- specClauses = specialClauses_add (specClauses,
- specialClause_create (TK_BEFORE, kind, s));
- break;
- case QPOSTCLAUSE:
- specClauses = specialClauses_add (specClauses,
- specialClause_create (TK_AFTER, kind, s));
- break;
- default:
- sRefSet_free (s);
- BADBRANCH;
- }
-
- DPRINTF (("Added to specclauses: %s", specialClauses_unparse (specClauses)));
-}
-
-void setFunctionSpecialClause (lltok stok, sRefSet s,
- /*@unused@*/ lltok etok)
-{
- int tok = lltok_getTok (stok);
-
- switch (tok)
- {
- case QUSES:
- specClauses = specialClauses_add (specClauses, specialClause_createUses (s));
- break;
- case QDEFINES:
- specClauses = specialClauses_add (specClauses, specialClause_createDefines (s));
- break;
- case QALLOCATES:
- specClauses = specialClauses_add (specClauses, specialClause_createAllocates (s));
- break;
- case QSETS:
- specClauses = specialClauses_add (specClauses, specialClause_createSets (s));
- break;
- case QRELEASES:
- specClauses = specialClauses_add (specClauses, specialClause_createReleases (s));
- break;
- default:
- sRefSet_free (s);
- BADBRANCH;
- }
-
- DPRINTF (("Added to specclauses: %s", specialClauses_unparse (specClauses)));
-}
-
-/*drl
- */
-constraintList getFunctionConstraints (void)
-{
- return constraintList_copy (fcnConstraints);
-}
-
-
-constraintList getEnsuresConstraints (void)
-{
- return constraintList_copy (fcnEnsuresConstraints);
-}
-
-void setEnsuresConstraints (constraintList c)
-{
- #warning m leak
- fcnEnsuresConstraints = constraintList_copy (c);
-}
-
-void setFunctionConstraints (constraintList c)
-{
- #warning m leak
- fcnConstraints = constraintList_copy (c);
-}
-/* end drl*/
-
-void setFunctionModifies (sRefSet s)
-{
- sRefSet_free (fcnModifies);
- fcnModifies = s;
-}
-