public void ResetSourceFile(string sourceFileName) { ContractUtils.RequiresNotNull(sourceFileName, "sourceFileName"); _sourceFiles.Remove(sourceFileName); }