public void MoveDocument(
DocumentName documentName,
Directory source,
Directory target)
{
var oldPath = PathOfFileInDirectory(documentName.ToString(), source);
var newPath = PathOfFileInDirectory(documentName.ToString(), target);
File.Move(oldPath, newPath);
}
public async Task WriteDocumentAsync(
Directory directory,
DocumentName documentName,
Stream stream)
{
var filePath = PathOfFileInDirectory(documentName.ToString(), directory);
using var fileStream = File.Create(filePath);
await stream.CopyToAsync(fileStream);
fileStream.Close();
}
public async Task <Result> GetResultAsync(DocumentName documentName)
{
var result =
await File.ReadAllTextAsync(
PathOfFileInDirectory(
documentName.ToString() + ".json",
Directory.Result));
var serializableResult =
System.Text.Json.JsonSerializer.Deserialize <SerializableResult>(result);
return(new Result(
serializableResult.status,
serializableResult.text,
DateTimeOffset.FromUnixTimeSeconds(serializableResult.processingStartTime).UtcDateTime,
DateTimeOffset.FromUnixTimeSeconds(serializableResult.processingEndTime).UtcDateTime));
}
