Interface VariationDiffLabelFormat

All Superinterfaces:
LinegraphFormat
All Known Implementing Classes:
CommitDiffVariationDiffLabelFormat, IndexedTreeFormat, RWCompositePatternTreeFormat

public interface VariationDiffLabelFormat extends LinegraphFormat
Reads and writes Source from and to line graph.
Author:
Paul Bittner, Kevin Jedelhauser
  • Method Details

    • fromLabel

      Source fromLabel(String label)
      Converts a label of line graph into a Source.
      Parameters:
      label - A string containing the label of the Source
      Returns:
      The Source described by this label.
    • toLabel

      String toLabel(Source variationDiffSource)
      Converts a Source label of line graph.
      Parameters:
      variationDiffSource - The Source to be converted
      Returns:
      The corresponding line graph line
    • fromLineGraphLine

      default Source fromLineGraphLine(String lineGraphLine)
      Converts a line describing a graph (starting with "t # ") in line graph format into a Source.
      Parameters:
      lineGraphLine - A line from a line graph file starting with "t #"
      Returns:
      The Source descibed by the label of this line.
    • toLineGraphLine

      default String toLineGraphLine(Source variationDiffSource)
      Prepends the tree declaration to a label and return an entire line graph line.
      Parameters:
      variationDiffSource - The Source to be converted
      Returns:
      The entire line graph line of a Source.