aesi-eclipse / com.virtlink.aesi.eclipse / Contract / require
require
static fun require(argumentName: String, condition: Boolean): Unit
Requires that the condition holds for the argument with the specified name.
Parameters
argumentName - The argument name.
condition - The condition to check.