edu.stanford.protege.webprotege.change.description.RemovedPropertyDomain 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.0.2-WHO

Show newest version

package edu.stanford.protege.webprotege.change.description;

import com.google.auto.value.AutoValue;
import org.semanticweb.owlapi.model.OWLObject;
import org.semanticweb.owlapi.model.OWLProperty;

import javax.annotation.Nonnull;

/**
 * Matthew Horridge
 * Stanford Center for Biomedical Informatics Research
 * 2018-12-10
 */
@AutoValue
public abstract class RemovedPropertyDomain implements StructuredChangeDescription {

    public static RemovedPropertyDomain get(@Nonnull OWLProperty property,
                                           @Nonnull OWLObject range) {
        return new AutoValue_RemovedPropertyDomain(property, range);
    }

    @Nonnull
    @Override
    public String getTypeName() {
        return "RemovedPropertyDomain";
    }

    @Nonnull
    public abstract OWLProperty getProperty();

    @Nonnull
    public abstract OWLObject getDomain();

}