Package org.variantsync.diffdetective.mining.formats

Class DirectedEdgeLabelFormat

java.lang.Object

org.variantsync.diffdetective.variation.diff.serialize.edgeformat.EdgeLabelFormat<DiffLinesLabel>

org.variantsync.diffdetective.mining.formats.DirectedEdgeLabelFormat

All Implemented Interfaces:

LinegraphFormat

public final class DirectedEdgeLabelFormat
extends EdgeLabelFormat<DiffLinesLabel>

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private static final record	DirectedEdgeLabelFormat.Edge<L extends DiffLinesLabel>

Nested classes/interfaces inherited from class org.variantsync.diffdetective.variation.diff.serialize.edgeformat.EdgeLabelFormat

EdgeLabelFormat.Direction

Field Summary

Fields

Modifier and Type	Field	Description
private static final String	LABEL_SEPARATOR
private final MiningNodeFormat	nodeFormatter
private final boolean	useDirectionHeuristic

Constructor Summary

Constructors

Constructor	Description
DirectedEdgeLabelFormat(MiningNodeFormat nodeFormatter)
DirectedEdgeLabelFormat(MiningNodeFormat nodeFormatter, boolean useDirectionHeuristic, EdgeLabelFormat.Direction direction)

Method Summary

Modifier and Type	Method	Description
protected <L extends DiffLinesLabel> void	connectAccordingToLabel(DiffNode<L> child, DiffNode<L> parent, String edgeLabel)	Adds the given child node as the child of the given parent node for all times described by the given label (via DiffNode.addChild(DiffNode, Time)) In particular, this method checks if the given edge label starts with LineGraphConstants.BEFORE_PARENT, LineGraphConstants.AFTER_PARENT, or LineGraphConstants.BEFORE_AND_AFTER_PARENT and connects both nodes accordingly.
String	getIdentifier()	Name of the format that uniquely identifies the format.
<L extends DiffLinesLabel> String	labelOf(StyledEdge<L> edge)	Converts a StyledEdge into a label suitable for exporting.
private <L extends DiffLinesLabel> DirectedEdgeLabelFormat.Edge<L>	recoverEdgeDirectionFromLabelIfPossible(DiffNode<L> hypothesizedFrom, DiffNode<L> hypothesizedTo, String edgeLabel)

Methods inherited from class org.variantsync.diffdetective.variation.diff.serialize.edgeformat.EdgeLabelFormat

connect, getEdgeDirection, multilineLabelOf, setEdgeDirection

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.variantsync.diffdetective.variation.diff.serialize.LinegraphFormat

getShortName

Field Details

LABEL_SEPARATOR

private static final String LABEL_SEPARATOR

See Also:

• Constant Field Values

nodeFormatter

private final MiningNodeFormat nodeFormatter

useDirectionHeuristic

private final boolean useDirectionHeuristic

Constructor Details

DirectedEdgeLabelFormat

public DirectedEdgeLabelFormat(MiningNodeFormat nodeFormatter)

DirectedEdgeLabelFormat

public DirectedEdgeLabelFormat(MiningNodeFormat nodeFormatter,
 boolean useDirectionHeuristic,
 EdgeLabelFormat.Direction direction)

Method Details

recoverEdgeDirectionFromLabelIfPossible

private <L extends DiffLinesLabel>
DirectedEdgeLabelFormat.Edge<L> recoverEdgeDirectionFromLabelIfPossible(DiffNode<L> hypothesizedFrom,
 DiffNode<L> hypothesizedTo,
 String edgeLabel)

connectAccordingToLabel

protected <L extends DiffLinesLabel> void connectAccordingToLabel(DiffNode<L> child,
 DiffNode<L> parent,
 String edgeLabel)

Description copied from class: EdgeLabelFormat

Adds the given child node as the child of the given parent node for all times described by the given label (via DiffNode.addChild(DiffNode, Time)) In particular, this method checks if the given edge label starts with LineGraphConstants.BEFORE_PARENT, LineGraphConstants.AFTER_PARENT, or LineGraphConstants.BEFORE_AND_AFTER_PARENT and connects both nodes accordingly.

Overrides:

connectAccordingToLabel in class EdgeLabelFormat<DiffLinesLabel>

Parameters:

child - The node that should be the child of the given parent at the times described by the label.

parent - The node that should be the parent of the given child at the times described by the label.

edgeLabel - The label that describes the time, the edge exists at, by being prefixed with one of the LineGraphConstants described above.

labelOf

public <L extends DiffLinesLabel> String labelOf(StyledEdge<L> edge)

Description copied from class: EdgeLabelFormat

Converts a StyledEdge into a label suitable for exporting. This may be human readable text or machine parseable metadata.

Specified by:

labelOf in class EdgeLabelFormat<DiffLinesLabel>

Parameters:

edge - The StyledEdge to be labeled

Returns:

a label for edge

getIdentifier

public String getIdentifier()

Description copied from interface: LinegraphFormat

Name of the format that uniquely identifies the format.