AwaitCoverageReport

public class AwaitCoverageReport

Represents the coverage of a given await in a ReachabilityCounterexample.

Constructors

AwaitCoverageReport

protected AwaitCoverageReport(APIClient client)

Internal constructor

Methods

fromProtobuf

public static AwaitCoverageReport fromProtobuf(APIClient client, Out.CocoAwaitCoverageReport inputValue)

Internal constructor

getAwaitNode

public final io.cocotec.coco.platform.coco.Node getAwaitNode()

Wrapper for the AST node for this state

getClauseCoverage

public final java.util.ArrayList<io.cocotec.coco.platform.coco.NodeCoverage> getClauseCoverage()

All of the transitions from this state that are reachable

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