Record Class StatedNavigationDeriver.Summary

java.lang.Object

java.lang.Record

network.ike.knowledge.provider.StatedNavigationDeriver.Summary

Record Components:

conceptsConsidered - the concepts with an active stated definition or named as a parent

semanticsUpdated - existing stated navigation semantics that received a new version

semanticsCreated - stated navigation semantics minted for concepts that had none

Enclosing class:

StatedNavigationDeriver

public static record StatedNavigationDeriver.Summary(int conceptsConsidered, int semanticsUpdated, int semanticsCreated)
extends Record

What one derivation did.

Constructor Summary

Constructors

Constructor	Description
Summary(int conceptsConsidered, int semanticsUpdated, int semanticsCreated)	Creates an instance of a Summary record class.

Method Summary

Modifier and Type	Method	Description
int	conceptsConsidered()	Returns the value of the conceptsConsidered record component.
final boolean	equals(Object o)	Indicates whether some other object is "equal to" this one.
final int	hashCode()	Returns a hash code value for this object.
int	semanticsCreated()	Returns the value of the semanticsCreated record component.
int	semanticsUpdated()	Returns the value of the semanticsUpdated record component.
final String	toString()	Returns a string representation of this record class.
boolean	wroteAnything()	Whether the derivation wrote anything.

Methods inherited from class Object

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

Constructor Details

Summary

public Summary(int conceptsConsidered,
 int semanticsUpdated,
 int semanticsCreated)

Creates an instance of a Summary record class.

Parameters:

conceptsConsidered - the value for the conceptsConsidered record component

semanticsUpdated - the value for the semanticsUpdated record component

semanticsCreated - the value for the semanticsCreated record component

Method Details

wroteAnything

public boolean wroteAnything()

Whether the derivation wrote anything.

toString

public final String toString()

Returns a string representation of this record class. The representation contains the name of the class, followed by the name and value of each of the record components.

Specified by:

toString in class Record

Returns:

a string representation of this object

hashCode

public final int hashCode()

Returns a hash code value for this object. The value is derived from the hash code of each of the record components.

Specified by:

hashCode in class Record

Returns:

a hash code value for this object

equals

public final boolean equals(Object o)

Indicates whether some other object is "equal to" this one. The objects are equal if the other object is of the same class and if all the record components are equal. All components in this record class are compared with the compare method from their corresponding wrapper classes.

Specified by:

equals in class Record

Parameters:

o - the object with which to compare

Returns:

true if this object is the same as the o argument; false otherwise.

conceptsConsidered

public int conceptsConsidered()

Returns the value of the conceptsConsidered record component.

Returns:

the value of the conceptsConsidered record component

semanticsUpdated

public int semanticsUpdated()

Returns the value of the semanticsUpdated record component.

Returns:

the value of the semanticsUpdated record component

semanticsCreated

public int semanticsCreated()

Returns the value of the semanticsCreated record component.

Returns:

the value of the semanticsCreated record component