Class ExistentialRestrictionExpression
java.lang.Object
org.geneontology.obographs.core.model.axiom.AbstractExistentialRestrictionExpression
org.geneontology.obographs.core.model.axiom.ExistentialRestrictionExpression
- All Implemented Interfaces:
Comparable<AbstractExistentialRestrictionExpression>,Expression
@ParametersAreNonnullByDefault
@Generated("org.immutables.processor.ProxyProcessor")
@Immutable
public final class ExistentialRestrictionExpression
extends AbstractExistentialRestrictionExpression
Corresponds to an axiom of the form C = X1 and ... and Xn,
Where X_i is either a named class or OWL Restriction
- Author:
- cjm
-
Nested Class Summary
Nested ClassesModifier and TypeClassDescriptionstatic final classBuilds instances of typeExistentialRestrictionExpression. -
Method Summary
Modifier and TypeMethodDescriptionCreates an immutable copy of aAbstractExistentialRestrictionExpressionvalue.booleanThis instance is equal to all instances ofExistentialRestrictionExpressionthat have equal attribute values.inthashCode()Computes a hash code from attributes:propertyId,fillerId.toString()Prints the immutable valueExistentialRestrictionExpressionwith attribute values.withFillerId(String value) Copy the current immutable object by setting a value for thefillerIdattribute.withPropertyId(String value) Copy the current immutable object by setting a value for thepropertyIdattribute.Methods inherited from class org.geneontology.obographs.core.model.axiom.AbstractExistentialRestrictionExpression
compareTo
-
Method Details
-
getPropertyId
- Specified by:
getPropertyIdin classAbstractExistentialRestrictionExpression- Returns:
- the propertyId
-
getFillerId
- Specified by:
getFillerIdin classAbstractExistentialRestrictionExpression- Returns:
- the representativeNodeId
-
withPropertyId
Copy the current immutable object by setting a value for thepropertyIdattribute. An equals check used to prevent copying of the same value by returningthis.- Parameters:
value- A new value for propertyId- Returns:
- A modified copy of the
thisobject
-
withFillerId
Copy the current immutable object by setting a value for thefillerIdattribute. An equals check used to prevent copying of the same value by returningthis.- Parameters:
value- A new value for fillerId- Returns:
- A modified copy of the
thisobject
-
equals
This instance is equal to all instances ofExistentialRestrictionExpressionthat have equal attribute values. -
hashCode
public int hashCode()Computes a hash code from attributes:propertyId,fillerId. -
toString
Prints the immutable valueExistentialRestrictionExpressionwith attribute values. -
copyOf
public static ExistentialRestrictionExpression copyOf(AbstractExistentialRestrictionExpression instance) Creates an immutable copy of aAbstractExistentialRestrictionExpressionvalue. Uses accessors to get values to initialize the new immutable instance. If an instance is already immutable, it is returned as is.- Parameters:
instance- The instance to copy- Returns:
- A copied immutable ExistentialRestrictionExpression instance
-