public static void Encode(XdrDataOutputStream stream, SCPHistoryEntry encodedSCPHistoryEntry)
{
stream.WriteInt((int)encodedSCPHistoryEntry.Discriminant);
switch (encodedSCPHistoryEntry.Discriminant)
{
case 0:
SCPHistoryEntryV0.Encode(stream, encodedSCPHistoryEntry.V0);
break;
}
}
public static void Encode(IByteWriter stream, SCPHistoryEntry encodedSCPHistoryEntry)
{
XdrEncoding.EncodeInt32(encodedSCPHistoryEntry.Discriminant, stream);
switch (encodedSCPHistoryEntry.Discriminant)
{
case 0:
SCPHistoryEntryV0.Encode(stream, encodedSCPHistoryEntry.V0);
break;
}
}
