NodeCoverage¶
-
public class
NodeCoverage
¶ Pair of AST node for an event transition, and a flag denoting whether it is reachable
Methods¶
fromProtobuf¶
-
public static NodeCoverage
fromProtobuf
(APIClient client, Out.CocoNodeCoverage inputValue)¶ Internal constructor
getCovered¶
getHighlightRange¶
-
public final io.cocotec.coco.platform.coco.SourceRange
getHighlightRange
()¶ The source lines that should be highlighted to show the reachability of this transition