Examples with GetIndividualsAction edu.stanford.bmir.protege.web.shared.individualslist.GetIndividualsAction used on opensource projects

Example 1 with GetIndividualsAction

use of edu.stanford.bmir.protege.web.shared.individualslist.GetIndividualsAction in project webprotege by protegeproject.

the class IndividualsListPresenter method updateList.

private void updateList() {
    GetIndividualsAction action = new GetIndividualsAction(projectId, currentType.orElse(DataFactory.getOWLThing()), view.getSearchString(), Optional.of(PageRequest.requestPageWithSize(view.getPageNumber(), PAGE_SIZE)));
    dispatchServiceManager.execute(action, view, result -> {
        view.setListData(result.getIndividuals());
        view.setStatusMessageVisible(true);
        int displayedIndividuals = result.getIndividuals().size();
        int totalIndividuals = result.getTotalIndividuals();
        Page<OWLNamedIndividualData> paginatedResult = result.getPaginatedResult();
        view.setPageCount(paginatedResult.getPageCount());
        view.setPageNumber(paginatedResult.getPageNumber());
        updateStatusLabel(displayedIndividuals, totalIndividuals);
        entityDisplay.setDisplayedEntity(Optional.of(result.getType()));
    });
}

Example 2 with GetIndividualsAction

use of edu.stanford.bmir.protege.web.shared.individualslist.GetIndividualsAction in project webprotege by protegeproject.

the class GetIndividualsActionHandler method execute.

@Nonnull
@Override
public GetIndividualsResult execute(@Nonnull GetIndividualsAction action, @Nonnull ExecutionContext executionContext) {
    Stream<OWLNamedIndividual> stream;
    if (action.getType().isOWLThing()) {
        stream = rootOntology.getIndividualsInSignature(Imports.INCLUDED).stream();
    } else {
        stream = rootOntology.getImportsClosure().stream().flatMap(o -> o.getClassAssertionAxioms(action.getType()).stream()).map(OWLClassAssertionAxiom::getIndividual).filter(OWLIndividual::isNamed).map(OWLIndividual::asOWLNamedIndividual);
    }
    Counter counter = new Counter();
    List<OWLNamedIndividualData> individualsData = stream.peek(i -> counter.increment()).map(renderingManager::getRendering).filter(i -> {
        String searchString = action.getFilterString();
        return searchString.isEmpty() || StringUtils.containsIgnoreCase(i.getBrowserText(), searchString);
    }).distinct().sorted().collect(toList());
    PageRequest pageRequest = action.getPageRequest();
    Pager<OWLNamedIndividualData> pager = Pager.getPagerForPageSize(individualsData, pageRequest.getPageSize());
    Page<OWLNamedIndividualData> page = pager.getPage(pageRequest.getPageNumber());
    OWLClassData type = renderingManager.getRendering(action.getType());
    logger.info(BROWSING, "{} {} retrieved instances of {} ({})", projectId, executionContext.getUserId(), action.getType(), renderingManager.getRendering(action.getType()).getBrowserText());
    return new GetIndividualsResult(type, page, counter.getCount(), individualsData.size());
}