public static PacketField <char[]> ReadCharsField(this IncomingPacket packet, string name, int count) { Contract.Requires(packet != null); Contract.Requires(name != null); Contract.Requires(count >= 0); Contract.Ensures(Contract.Result <PacketField <char[]> >().Value != null); return(new PacketField <char[]>(PacketFieldType.Chars, packet.ReadChars(count), name)); }