avail/avail.optimizer/L2ControlFlowGraph/ZoneType/DEAD_END

DEAD_END

A zone used to visually indicate a dead end, such as a failed read from a variable, or a failed return type check.

Properties

val bgcolor: String

A string indicating the fill color for this zone.

val color: String

A string indicating the boundary color for this zone.

val name: String

val ordinal: Int

Functions

fun createZone(zoneName: String): L2ControlFlowGraph.Zone

Create a new Zone of this type, with an optional descriptive (non-unique) name.