edu.stanford.protege.webprotege.change.description.SetDataPropertyFunctional Maven / Gradle / Ivy

Go to download

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

The newest version!

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

import com.google.auto.value.AutoValue;
import edu.stanford.protege.webprotege.owlapi.OWLObjectStringFormatter;
import org.semanticweb.owlapi.model.OWLDataProperty;

import javax.annotation.Nonnull;

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

    public static SetDataPropertyFunctional get(@Nonnull OWLDataProperty property) {
        return new AutoValue_SetDataPropertyFunctional(property);
    }

    @Nonnull
    public abstract OWLDataProperty getProperty();

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

    @Nonnull
    @Override
    public String formatDescription(@Nonnull OWLObjectStringFormatter formatter) {
        return formatter.formatString("Made property %s functional", getProperty());
    }
}