Lev Walkin | cb52391 | 2017-09-30 19:33:23 -0700 | [diff] [blame] | 1 | -- Test encoding/decoding/transcoding of everything concerning the integer. |
| 2 | T ::= INTEGER |
| 3 | T ::= [1] INTEGER -- Tagged integer test |
| 4 | T ::= [300] INTEGER -- Large tag integer |
| 5 | T ::= INTEGER (MIN..MAX) -- Constrained integer |
| 6 | T ::= INTEGER (0..1) -- Constrained integer |
| 7 | T ::= INTEGER (0..255) -- Constrained integer |
| 8 | T ::= INTEGER (-128..127) -- Constrained integer |
| 9 | T ::= INTEGER (-128..127,...) -- Extensible constrained integer |
| 10 | T ::= INTEGER { foo(0), bar(1), baz(2) } |