class CaseListPresenter extends RecordListPresenter {

    @Override
    public int calculateDisplayedIndex() {
        List<Case> cases = caseService.getAll();
        return cases.isEmpty() ? HAVE_NO_RESULT : HAVE_RESULT_LIST;
    }

    @Inject public  CaseListPresenter(CaseService caseService, CaseFormService caseFormService, RecordService recordService);

}