Experiment with synchronized DAT

pouryafard75 · pouryafard75 · commit 46fc23567fe6 · 2024-07-01T23:29:24.000-04:00
diff --git a/src/main/java/dat/GridSearch.java b/src/main/java/dat/GridSearch.java
@@ -182,7 +182,7 @@ private BaseDiffComparisonResult makeStats(ASTDiff generated) {
         }
         return fileDiffComparisonResult;
     }
-    private Diff makeDiff(Matcher matcher, GumtreeProperties properties) {
+    private synchronized Diff makeDiff(Matcher matcher, GumtreeProperties properties) {
         try {
             CompositeMatchers.CompositeMatcher cm = (CompositeMatchers.CompositeMatcher) matcher;
             cm.configure(properties);

Original file line number	Diff line number	Diff line change
`@@ -182,7 +182,7 @@ private BaseDiffComparisonResult makeStats(ASTDiff generated) {`
`182`	`182`	`}`
`183`	`183`	`return fileDiffComparisonResult;`
`184`	`184`	`}`
`185`		`- private Diff makeDiff(Matcher matcher, GumtreeProperties properties) {`
	`185`	`+ private synchronized Diff makeDiff(Matcher matcher, GumtreeProperties properties) {`
`186`	`186`	`try {`
`187`	`187`	`CompositeMatchers.CompositeMatcher cm = (CompositeMatchers.CompositeMatcher) matcher;`
`188`	`188`	`cm.configure(properties);`