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

plusAssign

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

repeated string problem = 3;

Parameters

value

The problem to add.

@JvmName(name = "plusAssignAllProblem")
inline operator fun DslList<String, DomainVerificationKt.Dsl.ProblemProxy>.plusAssign(values: Iterable<String>)
Problem messages to resolve verification.
Content copied to clipboard

repeated string problem = 3;

Parameters

values

The problem to add.