StateCoverageReport¶

public class StateCoverageReport¶

Constructors¶

StateCoverageReport¶

protected StateCoverageReport(APIClient client)¶

Methods¶

fromProtobuf¶

public static StateCoverageReport fromProtobuf(APIClient client, Out.CocoStateCoverageReport inputValue)¶

getHighlightRange¶

public final io.cocotec.popili.coco.SourceRange getHighlightRange()¶

getIsReachable¶

public final io.cocotec.popili.coco.Coverage getIsReachable()¶

getIsTerminated¶

public final boolean getIsTerminated()¶

getName¶

public final String getName()¶

getState¶

public final io.cocotec.popili.coco.Node getState()¶

getTransitionCoverage¶

public final java.util.ArrayList<io.cocotec.popili.coco.NodeCoverage> getTransitionCoverage()¶