David Tolnay | f4bbbd9 | 2016-09-23 14:41:55 -0700 | [diff] [blame] | 1 | /// Literal kind. |
| 2 | /// |
| 3 | /// E.g. `"foo"`, `42`, `12.34` or `bool` |
David Tolnay | 9bf4af8 | 2017-01-07 11:17:46 -0800 | [diff] [blame] | 4 | #[derive(Debug, Clone, Eq, PartialEq, Hash)] |
David Tolnay | f4bbbd9 | 2016-09-23 14:41:55 -0700 | [diff] [blame] | 5 | pub enum Lit { |
| 6 | /// A string literal (`"foo"`) |
| 7 | Str(String, StrStyle), |
| 8 | /// A byte string (`b"foo"`) |
David Tolnay | 4a65840 | 2016-10-24 00:21:41 -0700 | [diff] [blame] | 9 | ByteStr(Vec<u8>, StrStyle), |
David Tolnay | f4bbbd9 | 2016-09-23 14:41:55 -0700 | [diff] [blame] | 10 | /// A byte char (`b'f'`) |
| 11 | Byte(u8), |
| 12 | /// A character literal (`'a'`) |
| 13 | Char(char), |
| 14 | /// An integer literal (`1`) |
| 15 | Int(u64, IntTy), |
| 16 | /// A float literal (`1f64` or `1E10f64` or `1.0E10`) |
| 17 | Float(String, FloatTy), |
| 18 | /// A boolean literal |
| 19 | Bool(bool), |
| 20 | } |
| 21 | |
David Tolnay | 9bf4af8 | 2017-01-07 11:17:46 -0800 | [diff] [blame] | 22 | #[derive(Debug, Copy, Clone, Eq, PartialEq, Hash)] |
David Tolnay | f4bbbd9 | 2016-09-23 14:41:55 -0700 | [diff] [blame] | 23 | pub enum StrStyle { |
| 24 | /// A regular string, like `"foo"` |
| 25 | Cooked, |
| 26 | /// A raw string, like `r##"foo"##` |
| 27 | /// |
| 28 | /// The uint is the number of `#` symbols used |
David Tolnay | daaf774 | 2016-10-03 11:11:43 -0700 | [diff] [blame] | 29 | Raw(usize), |
David Tolnay | f4bbbd9 | 2016-09-23 14:41:55 -0700 | [diff] [blame] | 30 | } |
| 31 | |
Pascal Hertleif | 36342c5 | 2016-10-19 10:31:42 +0200 | [diff] [blame] | 32 | impl From<String> for Lit { |
| 33 | fn from(input: String) -> Lit { |
| 34 | Lit::Str(input, StrStyle::Cooked) |
| 35 | } |
| 36 | } |
| 37 | |
| 38 | impl<'a> From<&'a str> for Lit { |
| 39 | fn from(input: &str) -> Lit { |
| 40 | Lit::Str(input.into(), StrStyle::Cooked) |
| 41 | } |
| 42 | } |
| 43 | |
| 44 | impl From<Vec<u8>> for Lit { |
| 45 | fn from(input: Vec<u8>) -> Lit { |
David Tolnay | 4a65840 | 2016-10-24 00:21:41 -0700 | [diff] [blame] | 46 | Lit::ByteStr(input, StrStyle::Cooked) |
Pascal Hertleif | 36342c5 | 2016-10-19 10:31:42 +0200 | [diff] [blame] | 47 | } |
| 48 | } |
| 49 | |
| 50 | impl<'a> From<&'a [u8]> for Lit { |
| 51 | fn from(input: &[u8]) -> Lit { |
David Tolnay | 4a65840 | 2016-10-24 00:21:41 -0700 | [diff] [blame] | 52 | Lit::ByteStr(input.into(), StrStyle::Cooked) |
Pascal Hertleif | 36342c5 | 2016-10-19 10:31:42 +0200 | [diff] [blame] | 53 | } |
| 54 | } |
| 55 | |
| 56 | impl From<char> for Lit { |
| 57 | fn from(input: char) -> Lit { |
| 58 | Lit::Char(input) |
| 59 | } |
| 60 | } |
| 61 | |
| 62 | impl From<bool> for Lit { |
| 63 | fn from(input: bool) -> Lit { |
| 64 | Lit::Bool(input) |
| 65 | } |
| 66 | } |
| 67 | |
David Tolnay | 9bf4af8 | 2017-01-07 11:17:46 -0800 | [diff] [blame] | 68 | #[derive(Debug, Copy, Clone, Eq, PartialEq, Hash)] |
David Tolnay | f4bbbd9 | 2016-09-23 14:41:55 -0700 | [diff] [blame] | 69 | pub enum IntTy { |
| 70 | Isize, |
| 71 | I8, |
| 72 | I16, |
| 73 | I32, |
| 74 | I64, |
| 75 | Usize, |
| 76 | U8, |
| 77 | U16, |
| 78 | U32, |
| 79 | U64, |
David Tolnay | daaf774 | 2016-10-03 11:11:43 -0700 | [diff] [blame] | 80 | Unsuffixed, |
David Tolnay | f4bbbd9 | 2016-09-23 14:41:55 -0700 | [diff] [blame] | 81 | } |
| 82 | |
David Tolnay | 9bf4af8 | 2017-01-07 11:17:46 -0800 | [diff] [blame] | 83 | #[derive(Debug, Copy, Clone, Eq, PartialEq, Hash)] |
David Tolnay | f4bbbd9 | 2016-09-23 14:41:55 -0700 | [diff] [blame] | 84 | pub enum FloatTy { |
| 85 | F32, |
| 86 | F64, |
| 87 | Unsuffixed, |
| 88 | } |
| 89 | |
Pascal Hertleif | 36342c5 | 2016-10-19 10:31:42 +0200 | [diff] [blame] | 90 | macro_rules! impl_from_for_lit { |
| 91 | (Int, [$($rust_type:ty => $syn_type:expr),+]) => { |
| 92 | $( |
| 93 | impl From<$rust_type> for Lit { |
| 94 | fn from(input: $rust_type) -> Lit { |
| 95 | Lit::Int(input as u64, $syn_type) |
| 96 | } |
| 97 | } |
| 98 | )+ |
| 99 | }; |
| 100 | (Float, [$($rust_type:ty => $syn_type:expr),+]) => { |
| 101 | $( |
| 102 | impl From<$rust_type> for Lit { |
| 103 | fn from(input: $rust_type) -> Lit { |
| 104 | Lit::Float(format!("{}", input), $syn_type) |
| 105 | } |
| 106 | } |
| 107 | )+ |
| 108 | }; |
| 109 | } |
| 110 | |
| 111 | impl_from_for_lit! {Int, [ |
| 112 | isize => IntTy::Isize, |
| 113 | i8 => IntTy::I8, |
| 114 | i16 => IntTy::I16, |
| 115 | i32 => IntTy::I32, |
| 116 | i64 => IntTy::I64, |
| 117 | usize => IntTy::Usize, |
| 118 | u8 => IntTy::U8, |
| 119 | u16 => IntTy::U16, |
| 120 | u32 => IntTy::U32, |
| 121 | u64 => IntTy::U64 |
| 122 | ]} |
| 123 | |
| 124 | impl_from_for_lit! {Float, [ |
| 125 | f32 => FloatTy::F32, |
| 126 | f64 => FloatTy::F64 |
| 127 | ]} |
| 128 | |
David Tolnay | f4bbbd9 | 2016-09-23 14:41:55 -0700 | [diff] [blame] | 129 | #[cfg(feature = "parsing")] |
| 130 | pub mod parsing { |
| 131 | use super::*; |
David Tolnay | fe373a3 | 2016-10-26 23:51:19 -0700 | [diff] [blame] | 132 | use escape::{cooked_byte, cooked_byte_string, cooked_char, cooked_string, raw_string}; |
Michael Layzell | 5bde96f | 2017-01-24 17:59:21 -0500 | [diff] [blame] | 133 | use nom::space::skip_whitespace; |
Michael Layzell | 5e107ff | 2017-01-24 19:58:39 -0500 | [diff] [blame^] | 134 | use nom::IResult; |
David Tolnay | 4f5f60f | 2016-10-24 00:52:58 -0700 | [diff] [blame] | 135 | use unicode_xid::UnicodeXID; |
David Tolnay | f4bbbd9 | 2016-09-23 14:41:55 -0700 | [diff] [blame] | 136 | |
| 137 | named!(pub lit -> Lit, alt!( |
Michael Layzell | 5e107ff | 2017-01-24 19:58:39 -0500 | [diff] [blame^] | 138 | string => { |(value, style)| Lit::Str(value, style) } |
David Tolnay | 56d6213 | 2016-10-01 16:14:54 -0700 | [diff] [blame] | 139 | | |
Michael Layzell | 5e107ff | 2017-01-24 19:58:39 -0500 | [diff] [blame^] | 140 | byte_string => { |(value, style)| Lit::ByteStr(value, style) } |
David Tolnay | 615cf6a | 2016-10-08 23:07:02 -0700 | [diff] [blame] | 141 | | |
Michael Layzell | 5e107ff | 2017-01-24 19:58:39 -0500 | [diff] [blame^] | 142 | byte => { |b| Lit::Byte(b) } |
David Tolnay | 615cf6a | 2016-10-08 23:07:02 -0700 | [diff] [blame] | 143 | | |
Michael Layzell | 5e107ff | 2017-01-24 19:58:39 -0500 | [diff] [blame^] | 144 | character => { |ch| Lit::Char(ch) } |
David Tolnay | f4bbbd9 | 2016-09-23 14:41:55 -0700 | [diff] [blame] | 145 | | |
Michael Layzell | 5e107ff | 2017-01-24 19:58:39 -0500 | [diff] [blame^] | 146 | float => { |(value, suffix)| Lit::Float(value, suffix) } // must be before int |
David Tolnay | 4f5f60f | 2016-10-24 00:52:58 -0700 | [diff] [blame] | 147 | | |
David Tolnay | f4bbbd9 | 2016-09-23 14:41:55 -0700 | [diff] [blame] | 148 | int => { |(value, ty)| Lit::Int(value, ty) } |
David Tolnay | 759d2ff | 2016-10-01 16:18:15 -0700 | [diff] [blame] | 149 | | |
Michael Layzell | 5e107ff | 2017-01-24 19:58:39 -0500 | [diff] [blame^] | 150 | boolean => { |value| Lit::Bool(value) } |
David Tolnay | f4bbbd9 | 2016-09-23 14:41:55 -0700 | [diff] [blame] | 151 | )); |
| 152 | |
Michael Layzell | 5e107ff | 2017-01-24 19:58:39 -0500 | [diff] [blame^] | 153 | named!(pub string -> (String, StrStyle), alt!( |
| 154 | quoted_string => { |s| (s, StrStyle::Cooked) } |
David Tolnay | 210884d | 2016-10-01 08:18:42 -0700 | [diff] [blame] | 155 | | |
| 156 | preceded!( |
| 157 | punct!("r"), |
| 158 | raw_string |
Michael Layzell | 5e107ff | 2017-01-24 19:58:39 -0500 | [diff] [blame^] | 159 | ) => { |(s, n)| (s, StrStyle::Raw(n)) } |
David Tolnay | f4bbbd9 | 2016-09-23 14:41:55 -0700 | [diff] [blame] | 160 | )); |
| 161 | |
David Tolnay | 4260229 | 2016-10-01 22:25:45 -0700 | [diff] [blame] | 162 | named!(pub quoted_string -> String, delimited!( |
| 163 | punct!("\""), |
| 164 | cooked_string, |
| 165 | tag!("\"") |
| 166 | )); |
| 167 | |
Michael Layzell | 5e107ff | 2017-01-24 19:58:39 -0500 | [diff] [blame^] | 168 | named!(pub byte_string -> (Vec<u8>, StrStyle), alt!( |
David Tolnay | 56d6213 | 2016-10-01 16:14:54 -0700 | [diff] [blame] | 169 | delimited!( |
| 170 | punct!("b\""), |
David Tolnay | a73e0f0 | 2016-10-26 23:25:49 -0700 | [diff] [blame] | 171 | cooked_byte_string, |
David Tolnay | 56d6213 | 2016-10-01 16:14:54 -0700 | [diff] [blame] | 172 | tag!("\"") |
Michael Layzell | 5e107ff | 2017-01-24 19:58:39 -0500 | [diff] [blame^] | 173 | ) => { |vec| (vec, StrStyle::Cooked) } |
David Tolnay | 56d6213 | 2016-10-01 16:14:54 -0700 | [diff] [blame] | 174 | | |
| 175 | preceded!( |
| 176 | punct!("br"), |
| 177 | raw_string |
Michael Layzell | 5e107ff | 2017-01-24 19:58:39 -0500 | [diff] [blame^] | 178 | ) => { |(s, n): (String, _)| (s.into_bytes(), StrStyle::Raw(n)) } |
David Tolnay | 56d6213 | 2016-10-01 16:14:54 -0700 | [diff] [blame] | 179 | )); |
| 180 | |
Michael Layzell | 5e107ff | 2017-01-24 19:58:39 -0500 | [diff] [blame^] | 181 | named!(pub byte -> u8, do_parse!( |
David Tolnay | 615cf6a | 2016-10-08 23:07:02 -0700 | [diff] [blame] | 182 | punct!("b") >> |
| 183 | tag!("'") >> |
David Tolnay | fe373a3 | 2016-10-26 23:51:19 -0700 | [diff] [blame] | 184 | b: cooked_byte >> |
David Tolnay | 615cf6a | 2016-10-08 23:07:02 -0700 | [diff] [blame] | 185 | tag!("'") >> |
Michael Layzell | 5e107ff | 2017-01-24 19:58:39 -0500 | [diff] [blame^] | 186 | (b) |
David Tolnay | 615cf6a | 2016-10-08 23:07:02 -0700 | [diff] [blame] | 187 | )); |
| 188 | |
Michael Layzell | 5e107ff | 2017-01-24 19:58:39 -0500 | [diff] [blame^] | 189 | named!(pub character -> char, do_parse!( |
David Tolnay | 615cf6a | 2016-10-08 23:07:02 -0700 | [diff] [blame] | 190 | punct!("'") >> |
| 191 | ch: cooked_char >> |
| 192 | tag!("'") >> |
Michael Layzell | 5e107ff | 2017-01-24 19:58:39 -0500 | [diff] [blame^] | 193 | (ch) |
David Tolnay | 615cf6a | 2016-10-08 23:07:02 -0700 | [diff] [blame] | 194 | )); |
| 195 | |
Michael Layzell | 5e107ff | 2017-01-24 19:58:39 -0500 | [diff] [blame^] | 196 | named!(pub float -> (String, FloatTy), tuple!( |
| 197 | float_string, |
| 198 | alt!( |
David Tolnay | 4f5f60f | 2016-10-24 00:52:58 -0700 | [diff] [blame] | 199 | tag!("f32") => { |_| FloatTy::F32 } |
| 200 | | |
| 201 | tag!("f64") => { |_| FloatTy::F64 } |
| 202 | | |
| 203 | epsilon!() => { |_| FloatTy::Unsuffixed } |
Michael Layzell | 5e107ff | 2017-01-24 19:58:39 -0500 | [diff] [blame^] | 204 | ) |
David Tolnay | 4f5f60f | 2016-10-24 00:52:58 -0700 | [diff] [blame] | 205 | )); |
| 206 | |
David Tolnay | de20622 | 2016-09-30 11:47:01 -0700 | [diff] [blame] | 207 | named!(pub int -> (u64, IntTy), tuple!( |
David Tolnay | def6637 | 2016-10-24 21:51:32 -0700 | [diff] [blame] | 208 | digits, |
David Tolnay | de20622 | 2016-09-30 11:47:01 -0700 | [diff] [blame] | 209 | alt!( |
| 210 | tag!("isize") => { |_| IntTy::Isize } |
| 211 | | |
| 212 | tag!("i8") => { |_| IntTy::I8 } |
| 213 | | |
| 214 | tag!("i16") => { |_| IntTy::I16 } |
| 215 | | |
| 216 | tag!("i32") => { |_| IntTy::I32 } |
| 217 | | |
| 218 | tag!("i64") => { |_| IntTy::I64 } |
| 219 | | |
| 220 | tag!("usize") => { |_| IntTy::Usize } |
| 221 | | |
| 222 | tag!("u8") => { |_| IntTy::U8 } |
| 223 | | |
| 224 | tag!("u16") => { |_| IntTy::U16 } |
| 225 | | |
| 226 | tag!("u32") => { |_| IntTy::U32 } |
| 227 | | |
| 228 | tag!("u64") => { |_| IntTy::U64 } |
| 229 | | |
| 230 | epsilon!() => { |_| IntTy::Unsuffixed } |
David Tolnay | f4bbbd9 | 2016-09-23 14:41:55 -0700 | [diff] [blame] | 231 | ) |
| 232 | )); |
| 233 | |
Michael Layzell | 5e107ff | 2017-01-24 19:58:39 -0500 | [diff] [blame^] | 234 | named!(pub boolean -> bool, alt!( |
| 235 | keyword!("true") => { |_| true } |
David Tolnay | 3ce49d0 | 2016-10-23 22:29:19 -0700 | [diff] [blame] | 236 | | |
Michael Layzell | 5e107ff | 2017-01-24 19:58:39 -0500 | [diff] [blame^] | 237 | keyword!("false") => { |_| false } |
David Tolnay | 3ce49d0 | 2016-10-23 22:29:19 -0700 | [diff] [blame] | 238 | )); |
| 239 | |
David Tolnay | def6637 | 2016-10-24 21:51:32 -0700 | [diff] [blame] | 240 | fn float_string(mut input: &str) -> IResult<&str, String> { |
| 241 | input = skip_whitespace(input); |
| 242 | |
David Tolnay | 4f5f60f | 2016-10-24 00:52:58 -0700 | [diff] [blame] | 243 | let mut chars = input.chars().peekable(); |
| 244 | match chars.next() { |
| 245 | Some(ch) if ch >= '0' && ch <= '9' => {} |
| 246 | _ => return IResult::Error, |
| 247 | } |
| 248 | |
| 249 | let mut len = 1; |
| 250 | let mut has_dot = false; |
| 251 | let mut has_exp = false; |
| 252 | while let Some(&ch) = chars.peek() { |
| 253 | match ch { |
| 254 | '0'...'9' | '_' => { |
| 255 | chars.next(); |
| 256 | len += 1; |
| 257 | } |
| 258 | '.' => { |
| 259 | if has_dot { |
| 260 | break; |
| 261 | } |
| 262 | chars.next(); |
| 263 | if chars.peek() |
| 264 | .map(|&ch| ch == '.' || UnicodeXID::is_xid_start(ch)) |
| 265 | .unwrap_or(false) { |
| 266 | return IResult::Error; |
| 267 | } |
| 268 | len += 1; |
| 269 | has_dot = true; |
| 270 | } |
| 271 | 'e' | 'E' => { |
| 272 | chars.next(); |
| 273 | len += 1; |
| 274 | has_exp = true; |
| 275 | break; |
| 276 | } |
| 277 | _ => break, |
| 278 | } |
| 279 | } |
| 280 | |
| 281 | let rest = &input[len..]; |
| 282 | if !(has_dot || has_exp || rest.starts_with("f32") || rest.starts_with("f64")) { |
| 283 | return IResult::Error; |
| 284 | } |
| 285 | |
| 286 | if has_exp { |
| 287 | let mut has_exp_value = false; |
| 288 | while let Some(&ch) = chars.peek() { |
| 289 | match ch { |
| 290 | '+' | '-' => { |
| 291 | if has_exp_value { |
| 292 | break; |
| 293 | } |
| 294 | chars.next(); |
| 295 | len += 1; |
| 296 | } |
| 297 | '0'...'9' => { |
| 298 | chars.next(); |
| 299 | len += 1; |
| 300 | has_exp_value = true; |
| 301 | } |
| 302 | '_' => { |
| 303 | chars.next(); |
| 304 | len += 1; |
| 305 | } |
| 306 | _ => break, |
| 307 | } |
| 308 | } |
| 309 | if !has_exp_value { |
| 310 | return IResult::Error; |
| 311 | } |
| 312 | } |
| 313 | |
David Tolnay | c7b636a | 2016-10-24 13:01:08 -0700 | [diff] [blame] | 314 | IResult::Done(&input[len..], input[..len].replace("_", "")) |
David Tolnay | 4f5f60f | 2016-10-24 00:52:58 -0700 | [diff] [blame] | 315 | } |
| 316 | |
David Tolnay | 8a19e6d | 2016-10-24 01:23:40 -0700 | [diff] [blame] | 317 | pub fn digits(mut input: &str) -> IResult<&str, u64> { |
David Tolnay | def6637 | 2016-10-24 21:51:32 -0700 | [diff] [blame] | 318 | input = skip_whitespace(input); |
| 319 | |
David Tolnay | 8a19e6d | 2016-10-24 01:23:40 -0700 | [diff] [blame] | 320 | let base = if input.starts_with("0x") { |
| 321 | input = &input[2..]; |
| 322 | 16 |
| 323 | } else if input.starts_with("0o") { |
| 324 | input = &input[2..]; |
| 325 | 8 |
| 326 | } else if input.starts_with("0b") { |
| 327 | input = &input[2..]; |
| 328 | 2 |
| 329 | } else { |
| 330 | 10 |
| 331 | }; |
| 332 | |
David Tolnay | f4bbbd9 | 2016-09-23 14:41:55 -0700 | [diff] [blame] | 333 | let mut value = 0u64; |
| 334 | let mut len = 0; |
David Tolnay | 24b5ff7 | 2016-10-24 01:05:05 -0700 | [diff] [blame] | 335 | let mut empty = true; |
| 336 | for b in input.bytes() { |
David Tolnay | 8a19e6d | 2016-10-24 01:23:40 -0700 | [diff] [blame] | 337 | let digit = match b { |
| 338 | b'0'...b'9' => (b - b'0') as u64, |
| 339 | b'a'...b'f' => 10 + (b - b'a') as u64, |
| 340 | b'A'...b'F' => 10 + (b - b'A') as u64, |
David Tolnay | 24b5ff7 | 2016-10-24 01:05:05 -0700 | [diff] [blame] | 341 | b'_' => { |
David Tolnay | c814a76 | 2016-10-27 23:11:28 -0700 | [diff] [blame] | 342 | if empty && base == 10 { |
David Tolnay | 24b5ff7 | 2016-10-24 01:05:05 -0700 | [diff] [blame] | 343 | return IResult::Error; |
| 344 | } |
David Tolnay | f4bbbd9 | 2016-09-23 14:41:55 -0700 | [diff] [blame] | 345 | len += 1; |
David Tolnay | 8a19e6d | 2016-10-24 01:23:40 -0700 | [diff] [blame] | 346 | continue; |
David Tolnay | f4bbbd9 | 2016-09-23 14:41:55 -0700 | [diff] [blame] | 347 | } |
David Tolnay | fa0edf2 | 2016-09-23 22:58:24 -0700 | [diff] [blame] | 348 | _ => break, |
David Tolnay | 8a19e6d | 2016-10-24 01:23:40 -0700 | [diff] [blame] | 349 | }; |
| 350 | if digit >= base { |
| 351 | return IResult::Error; |
David Tolnay | f4bbbd9 | 2016-09-23 14:41:55 -0700 | [diff] [blame] | 352 | } |
David Tolnay | 8a19e6d | 2016-10-24 01:23:40 -0700 | [diff] [blame] | 353 | value = match value.checked_mul(base) { |
| 354 | Some(value) => value, |
| 355 | None => return IResult::Error, |
| 356 | }; |
| 357 | value = match value.checked_add(digit) { |
| 358 | Some(value) => value, |
| 359 | None => return IResult::Error, |
| 360 | }; |
| 361 | len += 1; |
| 362 | empty = false; |
David Tolnay | f4bbbd9 | 2016-09-23 14:41:55 -0700 | [diff] [blame] | 363 | } |
David Tolnay | 24b5ff7 | 2016-10-24 01:05:05 -0700 | [diff] [blame] | 364 | if empty { |
David Tolnay | fa0edf2 | 2016-09-23 22:58:24 -0700 | [diff] [blame] | 365 | IResult::Error |
David Tolnay | 24b5ff7 | 2016-10-24 01:05:05 -0700 | [diff] [blame] | 366 | } else { |
| 367 | IResult::Done(&input[len..], value) |
David Tolnay | fa0edf2 | 2016-09-23 22:58:24 -0700 | [diff] [blame] | 368 | } |
David Tolnay | f4bbbd9 | 2016-09-23 14:41:55 -0700 | [diff] [blame] | 369 | } |
| 370 | } |
| 371 | |
| 372 | #[cfg(feature = "printing")] |
| 373 | mod printing { |
| 374 | use super::*; |
| 375 | use quote::{Tokens, ToTokens}; |
David Tolnay | 56d6213 | 2016-10-01 16:14:54 -0700 | [diff] [blame] | 376 | use std::{ascii, iter}; |
David Tolnay | f4bbbd9 | 2016-09-23 14:41:55 -0700 | [diff] [blame] | 377 | use std::fmt::{self, Display}; |
David Tolnay | 4a65840 | 2016-10-24 00:21:41 -0700 | [diff] [blame] | 378 | use std::str; |
David Tolnay | f4bbbd9 | 2016-09-23 14:41:55 -0700 | [diff] [blame] | 379 | |
| 380 | impl ToTokens for Lit { |
| 381 | fn to_tokens(&self, tokens: &mut Tokens) { |
| 382 | match *self { |
| 383 | Lit::Str(ref s, StrStyle::Cooked) => s.to_tokens(tokens), |
David Tolnay | 627e3d5 | 2016-10-01 08:27:31 -0700 | [diff] [blame] | 384 | Lit::Str(ref s, StrStyle::Raw(n)) => { |
David Tolnay | 56d6213 | 2016-10-01 16:14:54 -0700 | [diff] [blame] | 385 | tokens.append(&format!("r{delim}\"{string}\"{delim}", |
| 386 | delim = iter::repeat("#").take(n).collect::<String>(), |
| 387 | string = s)); |
| 388 | } |
David Tolnay | 4a65840 | 2016-10-24 00:21:41 -0700 | [diff] [blame] | 389 | Lit::ByteStr(ref v, StrStyle::Cooked) => { |
David Tolnay | 56d6213 | 2016-10-01 16:14:54 -0700 | [diff] [blame] | 390 | let mut escaped = "b\"".to_string(); |
| 391 | for &ch in v.iter() { |
David Tolnay | 289f4c7 | 2016-10-25 00:00:09 -0700 | [diff] [blame] | 392 | match ch { |
| 393 | 0 => escaped.push_str(r"\0"), |
| 394 | b'\'' => escaped.push('\''), |
| 395 | _ => escaped.extend(ascii::escape_default(ch).map(|c| c as char)), |
| 396 | } |
David Tolnay | 627e3d5 | 2016-10-01 08:27:31 -0700 | [diff] [blame] | 397 | } |
David Tolnay | 56d6213 | 2016-10-01 16:14:54 -0700 | [diff] [blame] | 398 | escaped.push('"'); |
| 399 | tokens.append(&escaped); |
David Tolnay | 627e3d5 | 2016-10-01 08:27:31 -0700 | [diff] [blame] | 400 | } |
David Tolnay | 4a65840 | 2016-10-24 00:21:41 -0700 | [diff] [blame] | 401 | Lit::ByteStr(ref vec, StrStyle::Raw(n)) => { |
| 402 | tokens.append(&format!("br{delim}\"{string}\"{delim}", |
| 403 | delim = iter::repeat("#").take(n).collect::<String>(), |
| 404 | string = str::from_utf8(vec).unwrap())); |
| 405 | } |
David Tolnay | 289f4c7 | 2016-10-25 00:00:09 -0700 | [diff] [blame] | 406 | Lit::Byte(b) => { |
| 407 | match b { |
| 408 | 0 => tokens.append(r"b'\0'"), |
| 409 | b'\"' => tokens.append("b'\"'"), |
| 410 | _ => { |
| 411 | let mut escaped = "b'".to_string(); |
| 412 | escaped.extend(ascii::escape_default(b).map(|c| c as char)); |
| 413 | escaped.push('\''); |
| 414 | tokens.append(&escaped); |
| 415 | } |
| 416 | } |
| 417 | } |
David Tolnay | f17fd2f | 2016-10-07 23:38:08 -0700 | [diff] [blame] | 418 | Lit::Char(ch) => ch.to_tokens(tokens), |
David Tolnay | f4bbbd9 | 2016-09-23 14:41:55 -0700 | [diff] [blame] | 419 | Lit::Int(value, ty) => tokens.append(&format!("{}{}", value, ty)), |
David Tolnay | f17fd2f | 2016-10-07 23:38:08 -0700 | [diff] [blame] | 420 | Lit::Float(ref value, ty) => tokens.append(&format!("{}{}", value, ty)), |
David Tolnay | 759d2ff | 2016-10-01 16:18:15 -0700 | [diff] [blame] | 421 | Lit::Bool(true) => tokens.append("true"), |
| 422 | Lit::Bool(false) => tokens.append("false"), |
David Tolnay | f4bbbd9 | 2016-09-23 14:41:55 -0700 | [diff] [blame] | 423 | } |
| 424 | } |
| 425 | } |
| 426 | |
| 427 | impl Display for IntTy { |
| 428 | fn fmt(&self, formatter: &mut fmt::Formatter) -> Result<(), fmt::Error> { |
| 429 | match *self { |
| 430 | IntTy::Isize => formatter.write_str("isize"), |
| 431 | IntTy::I8 => formatter.write_str("i8"), |
| 432 | IntTy::I16 => formatter.write_str("i16"), |
| 433 | IntTy::I32 => formatter.write_str("i32"), |
| 434 | IntTy::I64 => formatter.write_str("i64"), |
| 435 | IntTy::Usize => formatter.write_str("usize"), |
| 436 | IntTy::U8 => formatter.write_str("u8"), |
| 437 | IntTy::U16 => formatter.write_str("u16"), |
| 438 | IntTy::U32 => formatter.write_str("u32"), |
| 439 | IntTy::U64 => formatter.write_str("u64"), |
| 440 | IntTy::Unsuffixed => Ok(()), |
| 441 | } |
| 442 | } |
| 443 | } |
David Tolnay | f17fd2f | 2016-10-07 23:38:08 -0700 | [diff] [blame] | 444 | |
| 445 | impl Display for FloatTy { |
| 446 | fn fmt(&self, formatter: &mut fmt::Formatter) -> Result<(), fmt::Error> { |
| 447 | match *self { |
| 448 | FloatTy::F32 => formatter.write_str("f32"), |
| 449 | FloatTy::F64 => formatter.write_str("f64"), |
| 450 | FloatTy::Unsuffixed => Ok(()), |
| 451 | } |
| 452 | } |
| 453 | } |
David Tolnay | f4bbbd9 | 2016-09-23 14:41:55 -0700 | [diff] [blame] | 454 | } |