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¶
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¶
getIsTerminated¶
-
public final boolean
getIsTerminated
()¶ True if this is the implicit Terminated state