edu.stanford.protege.webprotege.change.description.SetObjectPropertyCharacteristic 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

The newest version!

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

import com.google.auto.value.AutoValue;
import edu.stanford.protege.webprotege.frame.ObjectPropertyCharacteristic;
import org.semanticweb.owlapi.model.OWLObjectProperty;

import javax.annotation.Nonnull;

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

    public SetObjectPropertyCharacteristic get(@Nonnull OWLObjectProperty property,
                                               @Nonnull ObjectPropertyCharacteristic characteristic) {
        return new AutoValue_SetObjectPropertyCharacteristic(property, characteristic);
    }

    @Nonnull
    public abstract OWLObjectProperty getProperty();

    @Nonnull
    public abstract ObjectPropertyCharacteristic getCharacteristic();

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

}