Skip to main content

Interface: $Properties

Properties of an ExtensionRangeOptions.

Extended by​

Properties​

declaration?​

optional declaration?: $Properties[] | null

For external users: DO NOT USE. We are in the process of open sourcing extension declaration and executing internal cleanups before it can be used externally.

features?​

optional features?: $Properties | null

Any features defined in the specific edition.

uninterpretedOption?​

optional uninterpretedOption?: $Properties[] | null

The parser stores options it doesn't recognize here. See above.

verification?​

optional verification?: VerificationState | null

The verification state of the range. TODO: flip the default to DECLARATION once all empty ranges are marked as UNVERIFIED.