put

fun put(key: String, value: String)(source)
fun put(key: String, value: Provider<String>)(source)
fun put(key: String, value: Boolean)(source)

Puts a given key with value in rawOptions.


fun put(key: String, severity: DiagnosticSeverity)(source)

Puts a given diagnostic option key with severity in rawOptions.