ImplIllegalMismatchCounterexample

public class ImplIllegalMismatchCounterexample extends BaseTraceRefinementCounterexample

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

Constructors

ImplIllegalMismatchCounterexample

protected ImplIllegalMismatchCounterexample(APIClient client)

Internal constructor

Methods

fromProtobuf

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

Internal constructor