public BuildObject getMutualSummary()
{
// SymDiff files need to go into their own directory.
BuildObject normalName = BeatExtensions.makeOutputObject(basmInput, MUTUAL_SUMMARY_EXTN);
BuildObject dirExtendedName = new BuildObject(Path.Combine(normalName.getDirPath(), dirName, normalName.getFileName()));
return(dirExtendedName);
}
public BuildObject getMutualSummary()
{
//- SymDiff files need to go into their own directory
BuildObject normalName = BeatExtensions.makeOutputObject(basmInput, MUTUAL_SUMMARY_EXTN);
BuildObject dirExtendedName = new BuildObject(Path.Combine(normalName.getDirPath(), Util.mungeClean(getAbstractIdentifier().ToString()), normalName.getFileName()));
return(dirExtendedName);
}
public override BuildObject outputFile()
{
if (buildSymDiffMutualSummary)
{
// SymDiff files need to go into their own directory
BuildObject normalName = BeatExtensions.makeOutputObject(basmInput, SYMDIFF_EXTN);
dirName = normalName.getFileName() + SYMDIFF_DIR_EXTN;
BuildObject dirExtendedName = new BuildObject(Path.Combine(normalName.getDirPath(), dirName, normalName.getFileName()));
return(dirExtendedName);
}
else
{
return(BeatExtensions.makeOutputObject(basmInput, BoogieVerb.BPL_EXTN));
}
}
public override BuildObject outputFile()
{
if (buildSymDiffMutualSummary)
{
//- SymDiff files need to go into their own directory
BuildObject normalName = BeatExtensions.makeOutputObject(basmInput, SYMDIFF_EXTN);
//- The following produces file names that are too long in the failures directory.
//- The OS then truncates them, causing filename collisions.
//-BuildObject dirExtendedName = new BuildObject(Path.Combine(normalName.getDirPath(), Util.mungeClean(getAbstractIdentifier()), normalName.getFileName()));
//- Try naming the directory after the file instead
BuildObject dirExtendedName = new BuildObject(Path.Combine(normalName.getDirPath(), normalName.getFileName() + SYMDIFF_DIR_EXTN, normalName.getFileName()));
return(dirExtendedName);
}
else
{
return(BeatExtensions.makeOutputObject(basmInput, BoogieVerb.BPL_EXTN));
}
}
public override BuildObject getOutputFile()
{
return BeatExtensions.makeOutputObject(bplInput, BPL_EXTN + VerificationResultVerb.VERIFICATION_RESULT_EXTN);
}
