EmptySpontaneousCounterexample¶

public class EmptySpontaneousCounterexample extends LoopCounterexample ¶: A counterexample for a port assertion that indicates a spontaneous might not do anything.

Constructors¶

EmptySpontaneousCounterexample¶

protected EmptySpontaneousCounterexample(APIClient client)¶: Internal constructor

Methods¶

fromProtobuf¶

public static EmptySpontaneousCounterexample fromProtobuf(APIClient client, Out.CocoCounterexample inputValue)¶: Internal constructor