Package hydra.owl.syntax

Class ClassExpression.DataMaxCardinality

java.lang.Object

hydra.owl.syntax.ClassExpression

hydra.owl.syntax.ClassExpression.DataMaxCardinality

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<ClassExpression>

Enclosing class:

ClassExpression

public static final class ClassExpression.DataMaxCardinality
extends ClassExpression
implements java.io.Serializable

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class hydra.owl.syntax.ClassExpression

ClassExpression.Class_, ClassExpression.DataAllValuesFrom, ClassExpression.DataExactCardinality, ClassExpression.DataHasValue, ClassExpression.DataMaxCardinality, ClassExpression.DataMinCardinality, ClassExpression.DataSomeValuesFrom, ClassExpression.ObjectAllValuesFrom, ClassExpression.ObjectExactCardinality, ClassExpression.ObjectHasSelf, ClassExpression.ObjectHasValue, ClassExpression.ObjectIntersectionOf, ClassExpression.ObjectMaxCardinality, ClassExpression.ObjectMinCardinality, ClassExpression.ObjectOneOf, ClassExpression.ObjectSomeValuesFrom, ClassExpression.ObjectUnionOf, ClassExpression.PartialVisitor<R>, ClassExpression.Visitor<R>

Field Summary

Fields

Modifier and Type	Field	Description
DataMaxCardinality	value

Fields inherited from class hydra.owl.syntax.ClassExpression

CLASS, DATA_ALL_VALUES_FROM, DATA_EXACT_CARDINALITY, DATA_HAS_VALUE, DATA_MAX_CARDINALITY, DATA_MIN_CARDINALITY, DATA_SOME_VALUES_FROM, OBJECT_ALL_VALUES_FROM, OBJECT_EXACT_CARDINALITY, OBJECT_HAS_SELF, OBJECT_HAS_VALUE, OBJECT_INTERSECTION_OF, OBJECT_MAX_CARDINALITY, OBJECT_MIN_CARDINALITY, OBJECT_ONE_OF, OBJECT_SOME_VALUES_FROM, OBJECT_UNION_OF, TYPE_

Constructor Summary

Constructors

Constructor	Description
DataMaxCardinality(DataMaxCardinality value)	Constructs an immutable ClassExpression.DataMaxCardinality.

Method Summary

Modifier and Type	Method	Description
<R> R	accept(ClassExpression.Visitor<R> visitor)	Dispatch to visitor.
int	compareTo(ClassExpression other)
boolean	equals(java.lang.Object other)
int	hashCode()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Field Detail

value

public final DataMaxCardinality value

Constructor Detail

DataMaxCardinality

public DataMaxCardinality(DataMaxCardinality value)

Constructs an immutable ClassExpression.DataMaxCardinality.

Method Detail

equals

public boolean equals(java.lang.Object other)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

compareTo

public int compareTo(ClassExpression other)

Specified by:

compareTo in interface java.lang.Comparable<ClassExpression>

accept

public <R> R accept(ClassExpression.Visitor<R> visitor)

Dispatch to visitor.

Specified by:

accept in class ClassExpression