-- Test encoding/decoding/transcoding of everything concerning the integer. | |
T ::= INTEGER | |
T ::= [1] INTEGER -- Tagged integer test | |
T ::= [300] INTEGER -- Large tag integer | |
T ::= INTEGER (MIN..MAX) -- Constrained integer | |
T ::= INTEGER (0..1) -- Constrained integer | |
T ::= INTEGER (0..255) -- Constrained integer | |
T ::= INTEGER (-128..127) -- Constrained integer | |
T ::= INTEGER (-128..127,...) -- Extensible constrained integer | |
T ::= INTEGER { foo(0), bar(1), baz(2) } |