NodeCoverage¶

class Cocotec.CocoPlatform.Coco.NodeCoverage¶

Pair of AST node for an event transition, and a flag denoting whether it is reachable

Properties

Cocotec.CocoPlatform.Coco.Node Transition { }¶

The AST node for the transition

Cocotec.CocoPlatform.Coco.Coverage Covered { }¶

Whether or not the transition is covered

Cocotec.CocoPlatform.Coco.SourceRange HighlightRange { }¶

The source lines that should be highlighted to show the reachability of this transition

string Name { }¶

The name of this transition