aesi-eclipse / com.virtlink.aesi.eclipse / Contract

Contract

class Contract

Pre- and post-conditions.

Constructors

<init>

Contract() Pre- and post-conditions.

Functions

require	static fun require(argumentName: String, condition: Boolean): Unit Requires that the condition holds for the argument with the specified name.
requireNotNull	static fun <T : Any> requireNotNull(argumentName: String, obj: T): Unit Requires that the object is not null.