hydra.ext.org.w3.owl.syntax.FunctionalObjectProperty Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of hydra-ext Show documentation
Show all versions of hydra-ext Show documentation
Hydra language extensions in Java; models, coders, and utilities
// Note: this is an automatically generated file. Do not edit.
package hydra.ext.org.w3.owl.syntax;
import java.io.Serializable;
public class FunctionalObjectProperty implements Serializable {
public static final hydra.core.Name TYPE_NAME = new hydra.core.Name("hydra/ext/org/w3/owl/syntax.FunctionalObjectProperty");
public static final hydra.core.Name FIELD_NAME_ANNOTATIONS = new hydra.core.Name("annotations");
public static final hydra.core.Name FIELD_NAME_PROPERTY = new hydra.core.Name("property");
public final java.util.List annotations;
public final hydra.ext.org.w3.owl.syntax.ObjectPropertyExpression property;
public FunctionalObjectProperty (java.util.List annotations, hydra.ext.org.w3.owl.syntax.ObjectPropertyExpression property) {
java.util.Objects.requireNonNull((annotations));
java.util.Objects.requireNonNull((property));
this.annotations = annotations;
this.property = property;
}
@Override
public boolean equals(Object other) {
if (!(other instanceof FunctionalObjectProperty)) {
return false;
}
FunctionalObjectProperty o = (FunctionalObjectProperty) (other);
return annotations.equals(o.annotations) && property.equals(o.property);
}
@Override
public int hashCode() {
return 2 * annotations.hashCode() + 3 * property.hashCode();
}
public FunctionalObjectProperty withAnnotations(java.util.List annotations) {
java.util.Objects.requireNonNull((annotations));
return new FunctionalObjectProperty(annotations, property);
}
public FunctionalObjectProperty withProperty(hydra.ext.org.w3.owl.syntax.ObjectPropertyExpression property) {
java.util.Objects.requireNonNull((property));
return new FunctionalObjectProperty(annotations, property);
}
}