Data Type Features

INTEGER

Value specification

Y

MyType ::= INTEGER(1|2|3|4)

Value specification with names

Y

MyType ::= INTEGER { a(0), b(1), c(2) }

ENUMERATED

Enumeration of specified values

Y

MyType ::= ENUMERATED { a, b, c(3), d }

Hybrid use of extension and enumeration of specified values

Y

MyType ::= ENUMERATED { a, b, ..., c(10) }

REAL

Binary encoding

Y

RealBase2 ::= REAL (WITH COMPONENTS { ... , base(2)})

Decimal encoding

N

RealBase10 ::= REAL (WITH COMPONENTS { ... , base(10)})

Special value: positive infinity

Y

RealVal RealBase2 ::= PLUS-INFINITY

Special value: negative infinity

Y

RealVal RealBase2 ::= MINUS-INFINITY

Special value: NaN

Y

RealVal RealBase2 ::= NOT-A-NUMBER

Special value: negative 0

Y

RealVal RealBase2 ::= -0.0

Triplet

N

RealVal RealBase2 ::= {314159, 10, -5}

BIT STRING

Bit string type with named bits

Y

Rights ::= BIT STRING { user-read(0), user-write(1), group-read(2), group-write(3), other-read(4), other-write(5) }

BIT STRING

Bit string assignment using named bits

N

group Rights ::= { group-read, group-write }

SEQUENCE

Optional field

Y

MyType ::= SEQUENCE { a INTEGER OPTIONAL, b BOOLEAN }

Default value

Y

MyType ::= SEQUENCE { a INTEGER DEFAULT 1, b BOOLEAN }

Only non-combination types are supported.

Extension addition groups

Y

MyType ::= SEQUENCE { a BOOLEAN, ..., b BOOLEAN, [[c BOOLEAN]], [[d BOOLEAN]] }

CHOICE

Extension addition groups

Y

MyType ::= CHOICE { a INTEGER, ..., [[b BOOLEAN]] }

VisibleString

Permitted alphabet constraint

N

MyType ::= VisibleString(FROM("a".."z" | "A".."Z" | "0".."9" |".-"))