internal static WriteFile InternalDeserialize(PipReader reader) { return(new WriteFile( reader.ReadFileArtifact(), reader.ReadPipData(), (WriteFileEncoding)reader.ReadByte(), reader.ReadReadOnlyArray(reader1 => reader1.ReadStringId()), reader.ReadPipProvenance(), reader.ReadWriteFileOptions())); }