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