graalvm/tools.elide.app/DomainVerificationKt/Dsl/set

set

@JvmName(name = "setProblem")
operator fun DslList<String, DomainVerificationKt.Dsl.ProblemProxy>.set(index: Int, value: String)
Problem messages to resolve verification.
Content copied to clipboard

repeated string problem = 3;

Parameters

index

The index to set the value at.

value

The problem to set.