NodeCoverage¶

public class NodeCoverage¶: Pair of AST node for an event transition, and a flag denoting whether it is reachable

Constructors¶

NodeCoverage¶

protected NodeCoverage(APIClient client)¶: Internal constructor

Methods¶

fromProtobuf¶

public static NodeCoverage fromProtobuf(APIClient client, Out.CocoNodeCoverage inputValue)¶: Internal constructor

getCovered¶

public final io.cocotec.coco.platform.coco.Coverage getCovered()¶: Whether or not the transition is covered

getHighlightRange¶

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

getName¶

public final String getName()¶: The name of this transition

getTransition¶

public final io.cocotec.coco.platform.coco.Node getTransition()¶: The AST node for the transition