BEGIN_REIFICATION_FOR_LABEL

BEGIN_REIFICATION_FOR_LABEL("#e0d090/604010", "#ffe0b0/302010")

A zone used for reifying the call stack to create an A_Continuation to be used as a label.

Functions

Link copied to clipboard
fun createZone(zoneName: String): L2ControlFlowGraph.Zone

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

Properties

Link copied to clipboard
val bgcolor: String

A string indicating the fill color for this zone.

Link copied to clipboard
val color: String

A string indicating the boundary color for this zone.

Link copied to clipboard
val name: String
Link copied to clipboard
val ordinal: Int