class IsdaCdsTradePricer {

  public AccrualOnDefaultFormula getAccrualOnDefaultFormula() {
    return productPricer.getAccrualOnDefaultFormula();
  }

  public  IsdaCdsTradePricer();
  public  IsdaCdsTradePricer(AccrualOnDefaultFormula formula);

}