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)}]"); } }