Recording source file names in output files, allowing output of intermediate results

This commit is contained in:
2021-11-18 15:38:29 -06:00
parent 09aa5961f3
commit 2ab93dd4b7
8 changed files with 73 additions and 29 deletions

View File

@@ -3,13 +3,15 @@ import java.util.List;
import java.util.Map;
public class MatchingResult {
private String sourceFile;
private List<String> comments;
private List<String> headers;
private List<List<String>> allResults;
private Map<Integer, Integer> matchMap;
private Duration time;
public MatchingResult(List<String> comments, List<String> headers, List<List<String>> allResults, Map<Integer, Integer>matchMap, Duration time){
public MatchingResult(String sourceFileName, List<String> comments, List<String> headers, List<List<String>> allResults, Map<Integer, Integer>matchMap, Duration time){
this.sourceFile = sourceFileName;
this.comments = comments;
this.headers = headers;
this.allResults = allResults;
@@ -37,4 +39,8 @@ public class MatchingResult {
public Duration getTime() {
return time;
}
public String getSourceFileName() {
return sourceFile;
}
}