Note

You are not reading the most recent version of this documentation. 1.4.7 is the latest version available.

SpecIllegalMismatchCounterexample

public class SpecIllegalMismatchCounterexample extends BaseTraceRefinementCounterexample

Indicates that an event was declared as illegal by the spec, but was legal in the implementation.

Constructors

SpecIllegalMismatchCounterexample

protected SpecIllegalMismatchCounterexample(APIClient client)

Internal constructor

Methods

fromProtobuf

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

Internal constructor