ExtensionRangeOptions

Types

Link copied to clipboard
interface Declaration
Link copied to clipboard
sealed class VerificationState(val number: Int)

The verification state of the extension range.

Properties

Link copied to clipboard

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.

Link copied to clipboard
abstract val features: FeatureSet

Any features defined in the specific edition.

Link copied to clipboard
Link copied to clipboard

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

Link copied to clipboard

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

Functions

Link copied to clipboard
fun ExtensionRangeOptions.copy(body: ERROR CLASS: Symbol not found for ExtensionRangeOptions.Builder.() -> Unit = {}): ExtensionRangeOptions

Copies the original message, including unknown fields.