public static SequenceNumber decode(XdrDataInputStream stream) throws IOException {
SequenceNumber decodedSequenceNumber = new SequenceNumber();
decodedSequenceNumber.SequenceNumber = Uint64.decode(stream);
return decodedSequenceNumber;
}
public static void encode(XdrDataOutputStream stream, SequenceNumber encodedSequenceNumber)
throws IOException {
Uint64.encode(stream, encodedSequenceNumber.SequenceNumber);
}
