public SymDiffInferVerb(SymDiffExtractVerb left, SymDiffExtractVerb right)
{
this.left = left;
this.right = right;
this.abstractId = new AbstractId(this.GetType().Name, version, left.getOutputFile().ToString().ToString()); // Left should suffice to uniquely ID.
}
public SymDiffCombineVerb(SymDiffExtractVerb left, SymDiffExtractVerb right, SymDiffMergeConfigVerb merger)
{
this.left = left;
this.right = right;
this.merger = merger;
abstractId = new AbstractId(this.GetType().Name, version, left.getOutputFile().ToString()); //- Naming one of the files should be sufficient to uniquely identify the combiner
outputFile = mkOutputFile();
}
public SymDiffCombineVerb(SymDiffExtractVerb left, SymDiffExtractVerb right, SymDiffMergeConfigVerb merger)
{
this.left = left;
this.right = right;
this.merger = merger;
// Naming one of the files should be sufficient to uniquely identify the combiner.
this.abstractId = new AbstractId(this.GetType().Name, version, left.getOutputFile().ToString());
////abstractId = String.Format("{0}(#{1},{2},{3},{4})",
//// this.GetType().Name,
//// version,
//// left.getOutputFile(),
//// right.getOutputFile(),
//// merger.getOutputFile());
this.outputFile = this.mkOutputFile();
}
public SymDiffCombineVerb(SymDiffExtractVerb left, SymDiffExtractVerb right, SymDiffMergeConfigVerb merger)
{
this.left = left;
this.right = right;
this.merger = merger;
// Naming one of the files should be sufficient to uniquely identify the combiner.
this.abstractId = new AbstractId(this.GetType().Name, version, left.getOutputFile().ToString());
////abstractId = String.Format("{0}(#{1},{2},{3},{4})",
//// this.GetType().Name,
//// version,
//// left.getOutputFile(),
//// right.getOutputFile(),
//// merger.getOutputFile());
this.outputFile = this.mkOutputFile();
}
private BuildObject mkOutputFile()
{
//- SymDiff always uses the same file name in the working directory
return(new BuildObject(Path.Combine(left.getOutputFile().getDirPath(), MERGED_FILE_NAME)));
}
