Record Class FormalTreeGraph.Edge<L extends Label>
java.lang.Object
java.lang.Record
org.variantsync.diffdetective.variation.tree.graph.FormalTreeGraph.Edge<L>
- Enclosing class:
FormalTreeGraph<L extends Label>
public static record FormalTreeGraph.Edge<L extends Label>(VariationTreeNode<L extends Label> child, VariationTreeNode<L extends Label> parent)
extends Record
-
Field Summary
Modifier and TypeFieldDescriptionprivate final VariationTreeNode<L>
The field for thechild
record component.private final VariationTreeNode<L>
The field for theparent
record component. -
Constructor Summary
ConstructorDescriptionEdge
(VariationTreeNode<L> child, VariationTreeNode<L> parent) Creates an instance of aEdge
record class. -
Method Summary
Modifier and TypeMethodDescriptionchild()
Returns the value of thechild
record component.final boolean
Indicates whether some other object is "equal to" this one.final int
hashCode()
Returns a hash code value for this object.parent()
Returns the value of theparent
record component.final String
toString()
Returns a string representation of this record class.
-
Field Details
-
child
The field for thechild
record component. -
parent
The field for theparent
record component.
-
-
Constructor Details
-
Edge
Creates an instance of aEdge
record class.- Parameters:
child
- the value for thechild
record componentparent
- the value for theparent
record component
-
-
Method Details
-
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. -
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. -
equals
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 withObjects::equals(Object,Object)
. -
child
Returns the value of thechild
record component.- Returns:
- the value of the
child
record component
-
parent
Returns the value of theparent
record component.- Returns:
- the value of the
parent
record component
-