IllegalMonitoredEventCounterexample

public class IllegalMonitoredEventCounterexample extends IllegalCounterexample

Constructors

IllegalMonitoredEventCounterexample

protected IllegalMonitoredEventCounterexample(APIClient client)

Internal constructor

Methods

fromProtobuf

public static IllegalMonitoredEventCounterexample fromProtobuf(APIClient client, Out.CocoCounterexample inputValue)

Internal constructor

monitorInstance

public io.cocotec.coco.platform.coco.BehaviouralInstance monitorInstance()

The monitor that emitted the exception