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