The encoding consists of an index to the enumeration choices encoded as a Base-128 64-bit Little Endian variable-length unsigned integer. More...
Public Attributes | |
| std::vector< sourcemeta::core::JSON > | choices |
| The set of choice values. | |
The encoding consists of an index to the enumeration choices encoded as a Base-128 64-bit Little Endian variable-length unsigned integer.
| Option | Type | Description |
|---|---|---|
choices | any[] | The set of choice values |
| Condition | Description |
|---|---|
len(choices) > 0 | The choices array must not be empty |
value in choices | The input value must be included in the set of choices |
Given an enumeration with 1000 members and an input value that equals the 300th enumeration value, the encoding results in the Base-128 64-bit Little Endian variable-length unsigned integer 300: