OLD | NEW |
(Empty) | |
| 1 >>> (indent 4) preemption follows constraints |
| 2 main() { |
| 3 assert(invariant(node, identical(name, '+') || |
| 4 identical(name, '=') || |
| 5 identical(name, '-') || |
| 6 identical(name, '*') || |
| 7 identical(name, '/') || |
| 8 identical(name, '%') || |
| 9 identical(name, '~/') || |
| 10 identical(name, '|') || |
| 11 identical(name, '&') || |
| 12 identical(name, '^') || |
| 13 identical(name, '~') || |
| 14 identical(name, '<<') || |
| 15 identical(name, '>>') || |
| 16 identical(name, '<') || |
| 17 identical(name, '>') || |
| 18 identical(name, '<=') || |
| 19 identical(name, '>=') || |
| 20 identical(name, '[]'), message: 'Unexpected operator $name')); |
| 21 } |
| 22 <<< |
| 23 main() { |
| 24 assert(invariant( |
| 25 node, |
| 26 identical(name, '+') || |
| 27 identical(name, '=') || |
| 28 identical(name, '-') || |
| 29 identical(name, '*') || |
| 30 identical(name, '/') || |
| 31 identical(name, '%') || |
| 32 identical(name, '~/') || |
| 33 identical(name, '|') || |
| 34 identical(name, '&') || |
| 35 identical(name, '^') || |
| 36 identical(name, '~') || |
| 37 identical(name, '<<') || |
| 38 identical(name, '>>') || |
| 39 identical(name, '<') || |
| 40 identical(name, '>') || |
| 41 identical(name, '<=') || |
| 42 identical(name, '>=') || |
| 43 identical(name, '[]'), |
| 44 message: 'Unexpected operator $name')); |
| 45 } |
OLD | NEW |