equal
deleted
inserted
replaced
204 4 => Global(Ascii), |
204 4 => Global(Ascii), |
205 5 => Watch(u32), |
205 5 => Watch(u32), |
206 6 => ToggleServerRegisteredOnly(), |
206 6 => ToggleServerRegisteredOnly(), |
207 7 => SuperPower(), |
207 7 => SuperPower(), |
208 8 => Info(Ascii), |
208 8 => Info(Ascii), |
209 9 => Nick(Ascii), |
209 9 => Nick(Ascii, Option<Ascii>), |
210 10 => Proto(u16), |
210 10 => Proto(u16), |
211 11 => Password(Ascii, Ascii), |
211 11 => Password(Ascii, Ascii), |
212 12 => Checker(u16, Ascii, Ascii), |
212 12 => Checker(u16, Ascii, Ascii), |
213 13 => List(), |
213 13 => List(), |
214 14 => Chat(Ascii), |
214 14 => Chat(Ascii), |
262 } |
262 } |
263 |
263 |
264 pub fn gen_server_msg() -> BoxedStrategy<HwServerMessage> where { |
264 pub fn gen_server_msg() -> BoxedStrategy<HwServerMessage> where { |
265 use HwServerMessage::*; |
265 use HwServerMessage::*; |
266 |
266 |
267 let res = (0..=38).no_shrink().prop_flat_map(|i| { |
267 let res = (0..=39).no_shrink().prop_flat_map(|i| { |
268 proto_msg_match!(i, def = Ping, |
268 proto_msg_match!(i, def = Ping, |
269 0 => Connected(Ascii, u32), |
269 0 => Connected(Ascii, u32), |
270 1 => Redirect(u16), |
270 1 => Redirect(u16), |
271 2 => Ping(), |
271 2 => Ping(), |
272 3 => Pong(), |
272 3 => Pong(), |
302 33 => ServerMessage(Ascii), |
302 33 => ServerMessage(Ascii), |
303 34 => ServerVars(Vec<Ascii>), |
303 34 => ServerVars(Vec<Ascii>), |
304 35 => Notice(Ascii), |
304 35 => Notice(Ascii), |
305 36 => Warning(Ascii), |
305 36 => Warning(Ascii), |
306 37 => Error(Ascii), |
306 37 => Error(Ascii), |
307 38 => Replay(Vec<Ascii>) |
307 38 => Replay(Vec<Ascii>), |
|
308 39 => Token(Ascii) |
308 ) |
309 ) |
309 }); |
310 }); |
310 res.boxed() |
311 res.boxed() |
311 } |
312 } |
312 |
313 |