private void RegisterInputs(IEnumerable <string> filePaths)
{
Contract.Requires(filePaths != null);
if (!m_augmentedReporter.TryReportFileReads(filePaths))
{
throw new InvalidOperationException($"Failed at reporting augmented file accesses [${string.Join(", ", filePaths)}]");
}
}
public void RegisterInputs(IEnumerable <string> filePaths)
{
Contract.Requires(filePaths != null);
var finalPaths = filePaths.Where(path => !string.IsNullOrEmpty(path)).Select(path => MakeAbsoluteIfNeeded(path));
if (!m_augmentedReporter.TryReportFileReads(finalPaths))
{
throw new InvalidOperationException($"Failed at reporting augmented file accesses [${string.Join(", ", filePaths)}]");
}
}