public class DelinquentInvoiceSpecification {
   // W tym miejscu podstawowy kod klasy DelinquentInvoiceSpecification 
   public Set satisfyingElementsFrom(
                     InvoiceRepository repository) {
      //Reguła wymagalności jest zdefiniowana jako:
      // "okres karencji jest w danym dniu przekroczony"
      return repository.selectWhereGracePeriodPast(currentDate);
   }
}
