Package org.variantsync.diffdetective.experiments.thesis_bm

Class ConstructionValidation

java.lang.Object

org.variantsync.diffdetective.experiments.thesis_bm.ConstructionValidation

All Implemented Interfaces:

Analysis.Hooks

public class ConstructionValidation
extends Object
implements Analysis.Hooks

Validates, evaluates and benchmarks the construction of VariationDiffs using Gumtree. This experiment computes the variation diff from

1. a line matching (Viegener's algorithm
2. a tree matching computed by Gumtree (GumTreeDiff.diffUsingMatching(org.variantsync.diffdetective.variation.tree.VariationTree<L>, org.variantsync.diffdetective.variation.tree.VariationTree<L>)
3. a hybrid matching (GumTreeDiff.improveMatching(org.variantsync.diffdetective.variation.diff.DiffNode<L>, com.github.gumtreediff.matchers.Matcher))

compares them using some quality metrics and stores timing statistics.

Author:

Benjamin Moosherr

See Also:

• "Constructing Variation Diffs Using Tree Diffing Algorithms"

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final class	ConstructionValidation.ComparisonResult	Timing of a variation diff construction with a specific matching algorithm and quality results compared to another variation diff.
static final class	ConstructionValidation.Result	Aggregate of the results of the three comparisons.
private class	ConstructionValidation.Statistics
private class	ConstructionValidation.VariationDiffStatistics

Field Summary

Fields

Modifier and Type	Field	Description
private BufferedWriter	destination
private final EditClassCatalogue	editClasses
private final com.github.gumtreediff.matchers.Matcher	matcher
static final AnalysisResult.ResultKey<ConstructionValidation.Result>	RESULT

Constructor Summary

Constructors

Constructor	Description
ConstructionValidation(com.github.gumtreediff.matchers.Matcher matcher, EditClassCatalogue editClasses)

Method Summary

Modifier and Type	Method	Description
boolean	analyzeVariationDiff(Analysis analysis)	The main hook for analyzing non-empty diff trees.
private com.github.gumtreediff.matchers.Matcher	augmentedMatcher(ConstructionValidation.VariationDiffStatistics statistics)
void	beginBatch(Analysis analysis)
private <L extends Label> ConstructionValidation.ComparisonResult	compare(VariationDiff<L> a, VariationDiff<L> b)
private void	counts(VariationDiff<DiffLinesLabel> tree, ConstructionValidation.VariationDiffStatistics statistics)
void	endBatch(Analysis analysis)
void	initializeResults(Analysis analysis)	Initialization hook for Analysis.getResult().
static void	main(String[] args)	Main method to start the validation.
private <L extends Label> void	parallelPreOrderWalk(Projection<L> nodeA, Projection<L> nodeB, BiConsumer<DiffNode<L>,DiffNode<L>> consumer, Set<DiffNode<L>> visited)
private <L extends Label> void	parallelPreOrderWalk(VariationDiff<L> nodeA, VariationDiff<L> nodeB, BiConsumer<DiffNode<L>,DiffNode<L>> consumer)
private VariationDiff<DiffLinesLabel>	parseVariationTree(Analysis analysis, org.eclipse.jgit.revwalk.RevCommit commit)
private void	writeCsvCell(Writer destination, Object o)

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.analysis.Analysis.Hooks

beginCommit, beginPatch, endCommit, endPatch, onFailedCommit, onFailedParse, onParsedCommit

Field Details

RESULT

public static final AnalysisResult.ResultKey<ConstructionValidation.Result> RESULT

matcher

private final com.github.gumtreediff.matchers.Matcher matcher

editClasses

private final EditClassCatalogue editClasses

destination

private BufferedWriter destination

Constructor Details

ConstructionValidation

public ConstructionValidation(com.github.gumtreediff.matchers.Matcher matcher,
 EditClassCatalogue editClasses)

Method Details

main

public static void main(String[] args)
                 throws IOException

Main method to start the validation.

Parameters:

args - Command-line options.

Throws:

IOException - When copying the log file fails.

writeCsvCell

private void writeCsvCell(Writer destination,
 Object o)
                   throws IOException

Throws:

IOException

initializeResults

public void initializeResults(Analysis analysis)

Description copied from interface: Analysis.Hooks

Initialization hook for Analysis.getResult(). All result types should be appended with a neutral value using Analysis.append(org.variantsync.diffdetective.analysis.AnalysisResult.ResultKey<T>, T). No other side effects should be performed during this methods as it might be called an arbitrary amount of times.

Specified by:

initializeResults in interface Analysis.Hooks

beginBatch

public void beginBatch(Analysis analysis)
                throws IOException

Specified by:

beginBatch in interface Analysis.Hooks

Throws:

IOException

analyzeVariationDiff

public boolean analyzeVariationDiff(Analysis analysis)
                             throws Exception,
DiffParseException

Description copied from interface: Analysis.Hooks

The main hook for analyzing non-empty diff trees. Called at most once during the patch phase.

Specified by:

analyzeVariationDiff in interface Analysis.Hooks

Throws:

Exception

DiffParseException

endBatch

public void endBatch(Analysis analysis)
              throws IOException

Specified by:

endBatch in interface Analysis.Hooks

Throws:

IOException

counts

private void counts(VariationDiff<DiffLinesLabel> tree,
 ConstructionValidation.VariationDiffStatistics statistics)

parseVariationTree

private VariationDiff<DiffLinesLabel> parseVariationTree(Analysis analysis,
 org.eclipse.jgit.revwalk.RevCommit commit)
                                                  throws IOException,
DiffParseException

Throws:

IOException

DiffParseException

compare

private <L extends Label>
ConstructionValidation.ComparisonResult compare(VariationDiff<L> a,
 VariationDiff<L> b)

parallelPreOrderWalk

private <L extends Label> void parallelPreOrderWalk(VariationDiff<L> nodeA,
 VariationDiff<L> nodeB,
 BiConsumer<DiffNode<L>,DiffNode<L>> consumer)

parallelPreOrderWalk

private <L extends Label> void parallelPreOrderWalk(Projection<L> nodeA,
 Projection<L> nodeB,
 BiConsumer<DiffNode<L>,DiffNode<L>> consumer,
 Set<DiffNode<L>> visited)

augmentedMatcher

private com.github.gumtreediff.matchers.Matcher augmentedMatcher(ConstructionValidation.VariationDiffStatistics statistics)