public Filter(Deserializer rd) { long count = rd.DeserializeLong(); Tablenames = new HashSet<string>(); while (count > 0) { Tablenames.Add(rd.DeserializeString()); count--; } }
public Quit(Deserializer rd) { Message = rd.DeserializeString(); }
public TablePos(Deserializer rd) { Table = rd.DeserializeString(); Pos = rd.DeserializeULong(); }
public Id(Deserializer rd) { DatabaseName = rd.DeserializeString(); Guid = rd.DeserializeString(); FirstUserOid = rd.DeserializeULong(); LastUserOid = rd.DeserializeULong(); }