graalvm/tools.elide.meta/GuestConfigurationKt/Dsl/set

set

@JvmName(name = "setGeneral")
operator fun DslList<GeneralLanguageSettings, GuestConfigurationKt.Dsl.GeneralProxy>.set(index: Int, value: GeneralLanguageSettings)
General and default settings to apply as part of this suite of policies.
Content copied to clipboard

repeated .elide.meta.GeneralLanguageSettings general = 2;

Parameters

index

The index to set the value at.

value

The general to set.

@JvmName(name = "setSettings")
operator fun DslList<GuestSettings, GuestConfigurationKt.Dsl.SettingsProxy>.set(index: Int, value: GuestSettings)
Settings stanzas, each of which describe general and language-specific settings for a given guest language.
Content copied to clipboard

repeated .elide.meta.GuestSettings settings = 3;

Parameters

index

The index to set the value at.

value

The settings to set.