edu.stanford.protege.webprotege.individuals.GetIndividualsResult Maven / Gradle / Ivy
package edu.stanford.protege.webprotege.individuals;
import com.fasterxml.jackson.annotation.JsonProperty;
import com.fasterxml.jackson.annotation.JsonTypeName;
import edu.stanford.protege.webprotege.common.Page;
import edu.stanford.protege.webprotege.dispatch.Result;
import edu.stanford.protege.webprotege.entity.EntityNode;
import edu.stanford.protege.webprotege.entity.OWLClassData;
import java.util.Optional;
/**
* Author: Matthew Horridge
* Stanford University
* Bio-Medical Informatics Research Group
* Date: 12/09/2013
*/
@JsonTypeName("webprotege.entities.GetIndividuals")
public record GetIndividualsResult(@JsonProperty("type") Optional type,
@JsonProperty("individuals") Page result) implements Result {
}