Thetype exposes the following members.
Indicates whether a region completes normally. Return true if and only if the end of the last statement in a region is reachable or the region contains no statements.
The set of statements inside the region what are the destination of branches outside the region.
The set of statements inside a region that jump to locations outside the region.
The set of return statements found within a region.
Returns true iff analysis was successful. Analysis can fail if the region does not properly span a single expression, a single statement, or a contiguous series of statements within the enclosing block.