public ObligationPolicyDatabaseEntry addParameterDeletesObligationDatabaseEntry(XMethod xmethod,Obligation obligation,ObligationPolicyDatabaseEntryType entryType){
  ObligationPolicyDatabaseEntry entry=new MatchMethodEntry(xmethod,ObligationPolicyDatabaseActionType.DEL,entryType,obligation);
  addEntry(entry);
  return entry;
}

public ObligationPolicyDatabaseEntry addParameterDeletesObligationDatabaseEntry ( XMethod xmethod , Obligation obligation , ObligationPolicyDatabaseEntryType entryType ) { ObligationPolicyDatabaseEntry entry = new MatchMethodEntry ( xmethod , ObligationPolicyDatabaseActionType . DEL , entryType , obligation ) ; addEntry ( entry ) ; return entry ; }
add an appropriate policy database entry for parameters marked with the willclose annotation .
