Interface: IExtensionRangeOptions

Properties of an ExtensionRangeOptions.

Extends

• $Properties

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.

Inherited from

$Properties.declaration

---

features?

optional features?: $Properties | null

Any features defined in the specific edition.

Inherited from

$Properties.features

---

uninterpretedOption?

optional uninterpretedOption?: $Properties[] | null

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

Inherited from

$Properties.uninterpretedOption

---

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.

Inherited from

$Properties.verification