hydra.ext.org.w3.owl.syntax.ObjectPropertyAxiom 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 abstract class ObjectPropertyAxiom implements Serializable {
public static final hydra.core.Name TYPE_NAME = new hydra.core.Name("hydra/ext/org/w3/owl/syntax.ObjectPropertyAxiom");
public static final hydra.core.Name FIELD_NAME_ASYMMETRIC_OBJECT_PROPERTY = new hydra.core.Name("asymmetricObjectProperty");
public static final hydra.core.Name FIELD_NAME_DISJOINT_OBJECT_PROPERTIES = new hydra.core.Name("disjointObjectProperties");
public static final hydra.core.Name FIELD_NAME_EQUIVALENT_OBJECT_PROPERTIES = new hydra.core.Name("equivalentObjectProperties");
public static final hydra.core.Name FIELD_NAME_FUNCTIONAL_OBJECT_PROPERTY = new hydra.core.Name("functionalObjectProperty");
public static final hydra.core.Name FIELD_NAME_INVERSE_FUNCTIONAL_OBJECT_PROPERTY = new hydra.core.Name("inverseFunctionalObjectProperty");
public static final hydra.core.Name FIELD_NAME_INVERSE_OBJECT_PROPERTIES = new hydra.core.Name("inverseObjectProperties");
public static final hydra.core.Name FIELD_NAME_IRREFLEXIVE_OBJECT_PROPERTY = new hydra.core.Name("irreflexiveObjectProperty");
public static final hydra.core.Name FIELD_NAME_OBJECT_PROPERTY_DOMAIN = new hydra.core.Name("objectPropertyDomain");
public static final hydra.core.Name FIELD_NAME_OBJECT_PROPERTY_RANGE = new hydra.core.Name("objectPropertyRange");
public static final hydra.core.Name FIELD_NAME_REFLEXIVE_OBJECT_PROPERTY = new hydra.core.Name("reflexiveObjectProperty");
public static final hydra.core.Name FIELD_NAME_SUB_OBJECT_PROPERTY_OF = new hydra.core.Name("subObjectPropertyOf");
public static final hydra.core.Name FIELD_NAME_SYMMETRIC_OBJECT_PROPERTY = new hydra.core.Name("symmetricObjectProperty");
public static final hydra.core.Name FIELD_NAME_TRANSITIVE_OBJECT_PROPERTY = new hydra.core.Name("transitiveObjectProperty");
private ObjectPropertyAxiom () {
}
public abstract R accept(Visitor visitor) ;
public interface Visitor {
R visit(AsymmetricObjectProperty instance) ;
R visit(DisjointObjectProperties instance) ;
R visit(EquivalentObjectProperties instance) ;
R visit(FunctionalObjectProperty instance) ;
R visit(InverseFunctionalObjectProperty instance) ;
R visit(InverseObjectProperties instance) ;
R visit(IrreflexiveObjectProperty instance) ;
R visit(ObjectPropertyDomain instance) ;
R visit(ObjectPropertyRange instance) ;
R visit(ReflexiveObjectProperty instance) ;
R visit(SubObjectPropertyOf instance) ;
R visit(SymmetricObjectProperty instance) ;
R visit(TransitiveObjectProperty instance) ;
}
public interface PartialVisitor extends Visitor {
default R otherwise(ObjectPropertyAxiom instance) {
throw new IllegalStateException("Non-exhaustive patterns when matching: " + (instance));
}
default R visit(AsymmetricObjectProperty instance) {
return otherwise((instance));
}
default R visit(DisjointObjectProperties instance) {
return otherwise((instance));
}
default R visit(EquivalentObjectProperties instance) {
return otherwise((instance));
}
default R visit(FunctionalObjectProperty instance) {
return otherwise((instance));
}
default R visit(InverseFunctionalObjectProperty instance) {
return otherwise((instance));
}
default R visit(InverseObjectProperties instance) {
return otherwise((instance));
}
default R visit(IrreflexiveObjectProperty instance) {
return otherwise((instance));
}
default R visit(ObjectPropertyDomain instance) {
return otherwise((instance));
}
default R visit(ObjectPropertyRange instance) {
return otherwise((instance));
}
default R visit(ReflexiveObjectProperty instance) {
return otherwise((instance));
}
default R visit(SubObjectPropertyOf instance) {
return otherwise((instance));
}
default R visit(SymmetricObjectProperty instance) {
return otherwise((instance));
}
default R visit(TransitiveObjectProperty instance) {
return otherwise((instance));
}
}
public static final class AsymmetricObjectProperty extends hydra.ext.org.w3.owl.syntax.ObjectPropertyAxiom implements Serializable {
public final hydra.ext.org.w3.owl.syntax.AsymmetricObjectProperty value;
public AsymmetricObjectProperty (hydra.ext.org.w3.owl.syntax.AsymmetricObjectProperty value) {
java.util.Objects.requireNonNull((value));
this.value = value;
}
@Override
public boolean equals(Object other) {
if (!(other instanceof AsymmetricObjectProperty)) {
return false;
}
AsymmetricObjectProperty o = (AsymmetricObjectProperty) (other);
return value.equals(o.value);
}
@Override
public int hashCode() {
return 2 * value.hashCode();
}
@Override
public R accept(Visitor visitor) {
return visitor.visit(this);
}
}
public static final class DisjointObjectProperties extends hydra.ext.org.w3.owl.syntax.ObjectPropertyAxiom implements Serializable {
public final hydra.ext.org.w3.owl.syntax.DisjointObjectProperties value;
public DisjointObjectProperties (hydra.ext.org.w3.owl.syntax.DisjointObjectProperties value) {
java.util.Objects.requireNonNull((value));
this.value = value;
}
@Override
public boolean equals(Object other) {
if (!(other instanceof DisjointObjectProperties)) {
return false;
}
DisjointObjectProperties o = (DisjointObjectProperties) (other);
return value.equals(o.value);
}
@Override
public int hashCode() {
return 2 * value.hashCode();
}
@Override
public R accept(Visitor visitor) {
return visitor.visit(this);
}
}
public static final class EquivalentObjectProperties extends hydra.ext.org.w3.owl.syntax.ObjectPropertyAxiom implements Serializable {
public final hydra.ext.org.w3.owl.syntax.EquivalentObjectProperties value;
public EquivalentObjectProperties (hydra.ext.org.w3.owl.syntax.EquivalentObjectProperties value) {
java.util.Objects.requireNonNull((value));
this.value = value;
}
@Override
public boolean equals(Object other) {
if (!(other instanceof EquivalentObjectProperties)) {
return false;
}
EquivalentObjectProperties o = (EquivalentObjectProperties) (other);
return value.equals(o.value);
}
@Override
public int hashCode() {
return 2 * value.hashCode();
}
@Override
public R accept(Visitor visitor) {
return visitor.visit(this);
}
}
public static final class FunctionalObjectProperty extends hydra.ext.org.w3.owl.syntax.ObjectPropertyAxiom implements Serializable {
public final hydra.ext.org.w3.owl.syntax.FunctionalObjectProperty value;
public FunctionalObjectProperty (hydra.ext.org.w3.owl.syntax.FunctionalObjectProperty value) {
java.util.Objects.requireNonNull((value));
this.value = value;
}
@Override
public boolean equals(Object other) {
if (!(other instanceof FunctionalObjectProperty)) {
return false;
}
FunctionalObjectProperty o = (FunctionalObjectProperty) (other);
return value.equals(o.value);
}
@Override
public int hashCode() {
return 2 * value.hashCode();
}
@Override
public R accept(Visitor visitor) {
return visitor.visit(this);
}
}
public static final class InverseFunctionalObjectProperty extends hydra.ext.org.w3.owl.syntax.ObjectPropertyAxiom implements Serializable {
public final hydra.ext.org.w3.owl.syntax.InverseFunctionalObjectProperty value;
public InverseFunctionalObjectProperty (hydra.ext.org.w3.owl.syntax.InverseFunctionalObjectProperty value) {
java.util.Objects.requireNonNull((value));
this.value = value;
}
@Override
public boolean equals(Object other) {
if (!(other instanceof InverseFunctionalObjectProperty)) {
return false;
}
InverseFunctionalObjectProperty o = (InverseFunctionalObjectProperty) (other);
return value.equals(o.value);
}
@Override
public int hashCode() {
return 2 * value.hashCode();
}
@Override
public R accept(Visitor visitor) {
return visitor.visit(this);
}
}
public static final class InverseObjectProperties extends hydra.ext.org.w3.owl.syntax.ObjectPropertyAxiom implements Serializable {
public final hydra.ext.org.w3.owl.syntax.InverseObjectProperties value;
public InverseObjectProperties (hydra.ext.org.w3.owl.syntax.InverseObjectProperties value) {
java.util.Objects.requireNonNull((value));
this.value = value;
}
@Override
public boolean equals(Object other) {
if (!(other instanceof InverseObjectProperties)) {
return false;
}
InverseObjectProperties o = (InverseObjectProperties) (other);
return value.equals(o.value);
}
@Override
public int hashCode() {
return 2 * value.hashCode();
}
@Override
public R accept(Visitor visitor) {
return visitor.visit(this);
}
}
public static final class IrreflexiveObjectProperty extends hydra.ext.org.w3.owl.syntax.ObjectPropertyAxiom implements Serializable {
public final hydra.ext.org.w3.owl.syntax.IrreflexiveObjectProperty value;
public IrreflexiveObjectProperty (hydra.ext.org.w3.owl.syntax.IrreflexiveObjectProperty value) {
java.util.Objects.requireNonNull((value));
this.value = value;
}
@Override
public boolean equals(Object other) {
if (!(other instanceof IrreflexiveObjectProperty)) {
return false;
}
IrreflexiveObjectProperty o = (IrreflexiveObjectProperty) (other);
return value.equals(o.value);
}
@Override
public int hashCode() {
return 2 * value.hashCode();
}
@Override
public R accept(Visitor visitor) {
return visitor.visit(this);
}
}
public static final class ObjectPropertyDomain extends hydra.ext.org.w3.owl.syntax.ObjectPropertyAxiom implements Serializable {
public final hydra.ext.org.w3.owl.syntax.ObjectPropertyDomain value;
public ObjectPropertyDomain (hydra.ext.org.w3.owl.syntax.ObjectPropertyDomain value) {
java.util.Objects.requireNonNull((value));
this.value = value;
}
@Override
public boolean equals(Object other) {
if (!(other instanceof ObjectPropertyDomain)) {
return false;
}
ObjectPropertyDomain o = (ObjectPropertyDomain) (other);
return value.equals(o.value);
}
@Override
public int hashCode() {
return 2 * value.hashCode();
}
@Override
public R accept(Visitor visitor) {
return visitor.visit(this);
}
}
public static final class ObjectPropertyRange extends hydra.ext.org.w3.owl.syntax.ObjectPropertyAxiom implements Serializable {
public final hydra.ext.org.w3.owl.syntax.ObjectPropertyRange value;
public ObjectPropertyRange (hydra.ext.org.w3.owl.syntax.ObjectPropertyRange value) {
java.util.Objects.requireNonNull((value));
this.value = value;
}
@Override
public boolean equals(Object other) {
if (!(other instanceof ObjectPropertyRange)) {
return false;
}
ObjectPropertyRange o = (ObjectPropertyRange) (other);
return value.equals(o.value);
}
@Override
public int hashCode() {
return 2 * value.hashCode();
}
@Override
public R accept(Visitor visitor) {
return visitor.visit(this);
}
}
public static final class ReflexiveObjectProperty extends hydra.ext.org.w3.owl.syntax.ObjectPropertyAxiom implements Serializable {
public final hydra.ext.org.w3.owl.syntax.ReflexiveObjectProperty value;
public ReflexiveObjectProperty (hydra.ext.org.w3.owl.syntax.ReflexiveObjectProperty value) {
java.util.Objects.requireNonNull((value));
this.value = value;
}
@Override
public boolean equals(Object other) {
if (!(other instanceof ReflexiveObjectProperty)) {
return false;
}
ReflexiveObjectProperty o = (ReflexiveObjectProperty) (other);
return value.equals(o.value);
}
@Override
public int hashCode() {
return 2 * value.hashCode();
}
@Override
public R accept(Visitor visitor) {
return visitor.visit(this);
}
}
public static final class SubObjectPropertyOf extends hydra.ext.org.w3.owl.syntax.ObjectPropertyAxiom implements Serializable {
public final hydra.ext.org.w3.owl.syntax.SubObjectPropertyOf value;
public SubObjectPropertyOf (hydra.ext.org.w3.owl.syntax.SubObjectPropertyOf value) {
java.util.Objects.requireNonNull((value));
this.value = value;
}
@Override
public boolean equals(Object other) {
if (!(other instanceof SubObjectPropertyOf)) {
return false;
}
SubObjectPropertyOf o = (SubObjectPropertyOf) (other);
return value.equals(o.value);
}
@Override
public int hashCode() {
return 2 * value.hashCode();
}
@Override
public R accept(Visitor visitor) {
return visitor.visit(this);
}
}
public static final class SymmetricObjectProperty extends hydra.ext.org.w3.owl.syntax.ObjectPropertyAxiom implements Serializable {
public final hydra.ext.org.w3.owl.syntax.SymmetricObjectProperty value;
public SymmetricObjectProperty (hydra.ext.org.w3.owl.syntax.SymmetricObjectProperty value) {
java.util.Objects.requireNonNull((value));
this.value = value;
}
@Override
public boolean equals(Object other) {
if (!(other instanceof SymmetricObjectProperty)) {
return false;
}
SymmetricObjectProperty o = (SymmetricObjectProperty) (other);
return value.equals(o.value);
}
@Override
public int hashCode() {
return 2 * value.hashCode();
}
@Override
public R accept(Visitor visitor) {
return visitor.visit(this);
}
}
public static final class TransitiveObjectProperty extends hydra.ext.org.w3.owl.syntax.ObjectPropertyAxiom implements Serializable {
public final hydra.ext.org.w3.owl.syntax.TransitiveObjectProperty value;
public TransitiveObjectProperty (hydra.ext.org.w3.owl.syntax.TransitiveObjectProperty value) {
java.util.Objects.requireNonNull((value));
this.value = value;
}
@Override
public boolean equals(Object other) {
if (!(other instanceof TransitiveObjectProperty)) {
return false;
}
TransitiveObjectProperty o = (TransitiveObjectProperty) (other);
return value.equals(o.value);
}
@Override
public int hashCode() {
return 2 * value.hashCode();
}
@Override
public R accept(Visitor visitor) {
return visitor.visit(this);
}
}
}