public IEnumerable<TargetRelativePath> GetAllResultsIn(TargetRelativePath targetDir) { Contract.Requires(targetDir != null); Contract.Ensures(Contract.Result<IEnumerable<TargetRelativePath>>() != null); return null; // dummy }