extraData

open val extraData: Term? = null

Parameters

extraData

The possible extra data to be carried with the error