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