TransitionCoverage¶

class Cocotec.CocoPlatform.Coco.TransitionCoverage¶

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

bool Covered { }¶

Whether or not the transition is covered

bool IsIgnored { }¶

True if the transition is annotated with an ignoreWarning attribute for reachability

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