|
public CreateTextFile ( string name ) : |
||
| name | string | Name of the new file |
| return | ||
public TextWriter CreateTextFile(string name)
{
Contract.Requires(!String.IsNullOrWhiteSpace(name));
Contract.Ensures(Contract.Result<TextWriter>() != null);
Contract.Ensures(Files.Any(f => f.Equals(name, StringComparison.InvariantCultureIgnoreCase)));
return null; // dummy value
}
