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