argumentNotFound

fun argumentNotFound(name: String, functionName: String? = null): ContractSpecException

Creates an exception for when a required argument is not provided.

Return

A ContractSpecException with appropriate message

Parameters

name

The argument name that was not found

functionName

Optional function name for context