|
131 | 131 | "value": "type My_Record is tagged record\n I : Integer := 1;\nend record\n with Alignment => (8);", |
132 | 132 | "language": "ada" |
133 | 133 | }, |
134 | | - "at foo.adb (3:4)" |
| 134 | + "at foo.adb (3:4)", |
| 135 | + { |
| 136 | + "language": "ada", |
| 137 | + "value": " Alignment => (8)" |
| 138 | + } |
135 | 139 | ] |
136 | 140 | } |
137 | 141 | } |
|
163 | 167 | "value": "type My_New_Record is new My_Record with\n Record\n J : Integer := 2;\n K : Integer := 3;\n end record with Alignment => (8);", |
164 | 168 | "language": "ada" |
165 | 169 | }, |
166 | | - "at foo.adb (8:4)" |
| 170 | + "at foo.adb (8:4)", |
| 171 | + { |
| 172 | + "language": "ada", |
| 173 | + "value": " Alignment => (8)" |
| 174 | + } |
| 175 | + |
167 | 176 | ] |
168 | 177 | } |
169 | 178 | } |
|
227 | 236 | "value": "My_Int : Integer := 42 with Atomic;", |
228 | 237 | "language": "ada" |
229 | 238 | }, |
230 | | - "at foo.adb (14:4)" |
| 239 | + "at foo.adb (14:4)", |
| 240 | + { |
| 241 | + "language": "ada", |
| 242 | + "value": " Atomic" |
| 243 | + } |
231 | 244 | ] |
232 | 245 | } |
233 | 246 | } |
|
288 | 301 | "result": { |
289 | 302 | "contents": [ |
290 | 303 | { |
291 | | - "value": "procedure Bar (V : in out My_Record)\nwith\n Pre => V.I > 0,\n Post => V.I > 0", |
| 304 | + "value": "procedure Bar (V : in out My_Record)", |
292 | 305 | "language": "ada" |
293 | 306 | }, |
294 | | - "at foo.adb (17:4)" |
| 307 | + "at foo.adb (17:4)", |
| 308 | + { |
| 309 | + "language": "ada", |
| 310 | + "value": " Pre => V.I > 0,\n Post => V.I > 0" |
| 311 | + } |
295 | 312 | ] |
296 | 313 | } |
297 | 314 | } |
|
320 | 337 | "result": { |
321 | 338 | "contents": [ |
322 | 339 | { |
323 | | - "value": "procedure FooBar (V : in out My_New_Record)\nwith\n Pre =>\n V.I > 0\n and then (V.J > V.K\n and then V.K > V.I),\n Post => V.I = 0", |
| 340 | + "value": "procedure FooBar (V : in out My_New_Record)", |
324 | 341 | "language": "ada" |
325 | 342 | }, |
326 | | - "at foo.adb (22:4)" |
| 343 | + "at foo.adb (22:4)", |
| 344 | + { |
| 345 | + "language": "ada", |
| 346 | + "value": " Pre =>\n V.I > 0\n and then (V.J > V.K\n and then V.K > V.I),\n Post => V.I = 0" |
| 347 | + } |
327 | 348 | ] |
328 | 349 | } |
329 | 350 | } |
|
352 | 373 | "result": { |
353 | 374 | "contents": [ |
354 | 375 | { |
355 | | - "value": "procedure Bar (V : in out My_Record)\nwith\n Pre => V.I > 0,\n Post => V.I > 0", |
| 376 | + "value": "procedure Bar (V : in out My_Record)", |
356 | 377 | "language": "ada" |
357 | 378 | }, |
358 | | - "at foo.adb (17:4)" |
| 379 | + "at foo.adb (17:4)", |
| 380 | + { |
| 381 | + "language": "ada", |
| 382 | + "value": " Pre => V.I > 0,\n Post => V.I > 0" |
| 383 | + } |
359 | 384 | ] |
360 | 385 | } |
361 | 386 | } |
|
384 | 409 | "result": { |
385 | 410 | "contents": [ |
386 | 411 | { |
387 | | - "value": "procedure FooBar (V : in out My_New_Record)\nwith\n Pre =>\n V.I > 0\n and then (V.J > V.K\n and then V.K > V.I),\n Post => V.I = 0", |
| 412 | + "value": "procedure FooBar (V : in out My_New_Record)", |
388 | 413 | "language": "ada" |
389 | 414 | }, |
390 | | - "at foo.adb (22:4)" |
| 415 | + "at foo.adb (22:4)", |
| 416 | + { |
| 417 | + "language": "ada", |
| 418 | + "value": " Pre =>\n V.I > 0\n and then (V.J > V.K\n and then V.K > V.I),\n Post => V.I = 0" |
| 419 | + } |
391 | 420 | ] |
392 | 421 | } |
393 | 422 | } |
|
419 | 448 | "value": "type My_Record is tagged record\n I : Integer := 1;\nend record\n with Alignment => (8);", |
420 | 449 | "language": "ada" |
421 | 450 | }, |
422 | | - "at foo.adb (3:4)" |
| 451 | + "at foo.adb (3:4)", |
| 452 | + { |
| 453 | + "language": "ada", |
| 454 | + "value": " Alignment => (8)" |
| 455 | + } |
423 | 456 | ] |
424 | 457 | } |
425 | 458 | } |
|
451 | 484 | "value": "type My_New_Record is new My_Record with\n Record\n J : Integer := 2;\n K : Integer := 3;\n end record with Alignment => (8);", |
452 | 485 | "language": "ada" |
453 | 486 | }, |
454 | | - "at foo.adb (8:4)" |
| 487 | + "at foo.adb (8:4)", |
| 488 | + { |
| 489 | + "language": "ada", |
| 490 | + "value": " Alignment => (8)" |
| 491 | + } |
455 | 492 | ] |
456 | 493 | } |
457 | 494 | } |
|
0 commit comments