Package org.geneontology.obographs.core.model.axiom

Class LogicalDefinitionAxiom

java.lang.Object

org.geneontology.obographs.core.model.axiom.AbstractLogicalDefinitionAxiom

org.geneontology.obographs.core.model.axiom.LogicalDefinitionAxiom

All Implemented Interfaces:

Comparable<AbstractLogicalDefinitionAxiom>, Axiom

@ParametersAreNonnullByDefault
@Generated("org.immutables.processor.ProxyProcessor")
@Immutable
@CheckReturnValue
public final class LogicalDefinitionAxiom
extends AbstractLogicalDefinitionAxiom

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 Classes

Modifier and Type	Class	Description
static class	LogicalDefinitionAxiom.Builder	Builds instances of type LogicalDefinitionAxiom.

Method Summary

Modifier and Type	Method	Description
static LogicalDefinitionAxiom	copyOf(AbstractLogicalDefinitionAxiom instance)	Creates an immutable copy of a AbstractLogicalDefinitionAxiom value.
boolean	equals(Object another)	This instance is equal to all instances of LogicalDefinitionAxiom that have equal attribute values.
String	getDefinedClassId()
com.google.common.collect.ImmutableList<String>	getGenusIds()
Meta	getMeta()
com.google.common.collect.ImmutableList<ExistentialRestrictionExpression>	getRestrictions()
int	hashCode()	Computes a hash code from attributes: meta, definedClassId, genusIds, restrictions.
String	toString()	Prints the immutable value LogicalDefinitionAxiom with attribute values.
LogicalDefinitionAxiom	withDefinedClassId(String value)	Copy the current immutable object by setting a value for the definedClassId attribute.
LogicalDefinitionAxiom	withGenusIds(Iterable<String> elements)	Copy the current immutable object with elements that replace the content of genusIds.
LogicalDefinitionAxiom	withGenusIds(String... elements)	Copy the current immutable object with elements that replace the content of genusIds.
LogicalDefinitionAxiom	withMeta(Meta value)	Copy the current immutable object by setting a value for the meta attribute.
LogicalDefinitionAxiom	withRestrictions(Iterable<? extends ExistentialRestrictionExpression> elements)	Copy the current immutable object with elements that replace the content of restrictions.
LogicalDefinitionAxiom	withRestrictions(ExistentialRestrictionExpression... elements)	Copy the current immutable object with elements that replace the content of restrictions.

Methods inherited from class org.geneontology.obographs.core.model.axiom.AbstractLogicalDefinitionAxiom

compareTo

Methods inherited from class java.lang.Object

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

Method Detail

getMeta

@Nullable
public Meta getMeta()

Returns:

the meta

getDefinedClassId

public String getDefinedClassId()

Specified by:

getDefinedClassId in class AbstractLogicalDefinitionAxiom

Returns:

the representativeNodeId

getGenusIds

public com.google.common.collect.ImmutableList<String> getGenusIds()

Specified by:

getGenusIds in class AbstractLogicalDefinitionAxiom

Returns:

the nodeIds

getRestrictions

public com.google.common.collect.ImmutableList<ExistentialRestrictionExpression> getRestrictions()

Specified by:

getRestrictions in class AbstractLogicalDefinitionAxiom

Returns:

the restrictions

withMeta

public final LogicalDefinitionAxiom withMeta(@Nullable
                                             Meta value)

Copy the current immutable object by setting a value for the meta attribute. A shallow reference equality check is used to prevent copying of the same value by returning this.

Parameters:

value - A new value for meta (can be null)

Returns:

A modified copy of the this object

withDefinedClassId

public final LogicalDefinitionAxiom withDefinedClassId(String value)

Copy the current immutable object by setting a value for the definedClassId attribute. An equals check used to prevent copying of the same value by returning this.

Parameters:

value - A new value for definedClassId

Returns:

A modified copy of the this object

withGenusIds

public final LogicalDefinitionAxiom withGenusIds(String... elements)

Copy the current immutable object with elements that replace the content of genusIds.

Parameters:

elements - The elements to set

Returns:

A modified copy of this object

withGenusIds

public final LogicalDefinitionAxiom withGenusIds(Iterable<String> elements)

Copy the current immutable object with elements that replace the content of genusIds. A shallow reference equality check is used to prevent copying of the same value by returning this.

Parameters:

elements - An iterable of genusIds elements to set

Returns:

A modified copy of this object

withRestrictions

public final LogicalDefinitionAxiom withRestrictions(ExistentialRestrictionExpression... elements)

Copy the current immutable object with elements that replace the content of restrictions.

Parameters:

elements - The elements to set

Returns:

A modified copy of this object

withRestrictions

public final LogicalDefinitionAxiom withRestrictions(Iterable<? extends ExistentialRestrictionExpression> elements)

Copy the current immutable object with elements that replace the content of restrictions. A shallow reference equality check is used to prevent copying of the same value by returning this.

Parameters:

elements - An iterable of restrictions elements to set

Returns:

A modified copy of this object

equals

public boolean equals(@Nullable
                      Object another)

This instance is equal to all instances of LogicalDefinitionAxiom that have equal attribute values.

Overrides:

equals in class Object

Returns:

true if this is equal to another instance

hashCode

public int hashCode()

Computes a hash code from attributes: meta, definedClassId, genusIds, restrictions.

Overrides:

hashCode in class Object

Returns:

hashCode value

toString

public String toString()

Prints the immutable value LogicalDefinitionAxiom with attribute values.

Overrides:

toString in class Object

Returns:

A string representation of the value

copyOf

public static LogicalDefinitionAxiom copyOf(AbstractLogicalDefinitionAxiom instance)

Creates an immutable copy of a AbstractLogicalDefinitionAxiom value. 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 LogicalDefinitionAxiom instance