Record Class FormalTreeGraph<L extends Label>
java.lang.Object
java.lang.Record
org.variantsync.diffdetective.variation.tree.graph.FormalTreeGraph<L>
- Record Components:
nodes
- The set of all nodes in a VariationDiff.edges
- The set of all edges in a VariationDiff.
public record FormalTreeGraph<L extends Label>(Set<VariationTreeNode<L extends Label>> nodes, Set<FormalTreeGraph.Edge<L extends Label>> edges)
extends Record
A view on a VariationTree that shows the VariationTree as a list of nodes and edges.
The view invalidates as soon as the viewed VariationTree is altered as the view
will not update itself.
- Author:
- Paul Bittner
-
Nested Class Summary
-
Field Summary
Modifier and TypeFieldDescriptionprivate final Set<FormalTreeGraph.Edge<L>>
The field for theedges
record component.private final Set<VariationTreeNode<L>>
The field for thenodes
record component. -
Constructor Summary
ConstructorDescriptionFormalTreeGraph
(Set<VariationTreeNode<L>> nodes, Set<FormalTreeGraph.Edge<L>> edges) Creates an instance of aFormalTreeGraph
record class. -
Method Summary
Modifier and TypeMethodDescriptionedges()
Returns the value of theedges
record component.boolean
Indicates whether some other object is "equal to" this one.static <L extends Label>
FormalTreeGraph<L>fromTree
(VariationTree<L> t) Creates a GraphView for a given VariationTree.int
hashCode()
Returns a hash code value for this object.nodes()
Returns the value of thenodes
record component.final String
toString()
Returns a string representation of this record class.
-
Field Details
-
Constructor Details
-
Method Details
-
fromTree
Creates a GraphView for a given VariationTree. The produced view reflects the state of the given VariationTree as is. This means, the view is invalid as soon as the given VariationTree gets modified elsewhere.- Parameters:
t
- The VariationTree to view as a list of nodes and edges.- Returns:
- the graph view
-
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)
. -
hashCode
public int hashCode()Returns a hash code value for this object. The value is derived from the hash code of each of the record components. -
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. -
nodes
Returns the value of thenodes
record component.- Returns:
- the value of the
nodes
record component
-
edges
Returns the value of theedges
record component.- Returns:
- the value of the
edges
record component
-