ExceptionCounterexample

public class ExceptionCounterexample extends PropertyCounterexample

A counterexample where one participant in the system encounters a runtime error.

Constructors

ExceptionCounterexample

protected ExceptionCounterexample(APIClient client)

Internal constructor

Methods

errorInstance

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

The instance that emitted the exception.

errorInstanceState

public io.cocotec.coco.platform.coco.Thread errorInstanceState()

The state of the stack of the erroneous instance at the time of the exception.

exception

public io.cocotec.coco.platform.coco.Exception exception()

The exception that was raised.

fromProtobuf

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

Internal constructor