StateCoverageReport¶

public class StateCoverageReport¶: Represents the coverage of a given state in a ReachabilityCounterexample For a non-execution state, the coverage of the transition functions is also denoted

Constructors¶

StateCoverageReport¶

protected StateCoverageReport(APIClient client)¶: Internal constructor

Methods¶

fromProtobuf¶

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

getHighlightRange¶

public final io.cocotec.coco.platform.coco.SourceRange getHighlightRange()¶: The source lines that should be highlighted to show the reachability of this state

getIsReachable¶

public final io.cocotec.coco.platform.coco.Coverage getIsReachable()¶: True if this state is itself reachable

getIsTerminated¶

public final boolean getIsTerminated()¶: True if this is the implicit Terminated state

getName¶

public final String getName()¶: The state name

getState¶

public final io.cocotec.coco.platform.coco.Node getState()¶: Wrapper for the AST node for this state

getTransitionCoverage¶

public final java.util.ArrayList<io.cocotec.coco.platform.coco.NodeCoverage> getTransitionCoverage()¶: All of the transitions from this state that are reachable