edu.stanford.protege.webprotege.individuals.GetIndividualsPageContainingIndividualResult Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of webprotege-backend-api Show documentation

There is a newer version: 2.1.0

Show newest version

package edu.stanford.protege.webprotege.individuals;

import com.fasterxml.jackson.annotation.JsonProperty;
import com.fasterxml.jackson.annotation.JsonTypeName;
import com.google.common.collect.ImmutableSet;
import edu.stanford.protege.webprotege.common.Page;
import edu.stanford.protege.webprotege.dispatch.Result;
import edu.stanford.protege.webprotege.entity.EntityNode;
import org.semanticweb.owlapi.model.OWLNamedIndividual;

import javax.annotation.Nonnull;

/**
 * Matthew Horridge
 * Stanford Center for Biomedical Informatics Research
 * 19 Sep 2018
 */


@JsonTypeName("webprotege.entities.GetIndividualsPageContainingIndividual")
public record GetIndividualsPageContainingIndividualResult(@JsonProperty("individual") @Nonnull OWLNamedIndividual individual,
                                                           @JsonProperty("page") @Nonnull Page page,
                                                           @JsonProperty("actualType") @Nonnull EntityNode actualType,
                                                           @JsonProperty("actualMode") @Nonnull InstanceRetrievalMode actualMode,
                                                           @JsonProperty("types") @Nonnull ImmutableSet types) implements Result {

}