Class Region

Index

Constructors

Accessors

Methods

add addEnd constrain has missingBounds reset toString

Constructors

constructor

new Region(kind: Region.Kind, name: string): Region
Parameters
- kind: Region.Kind
- name: string
Returns Region
- Defined in coral/src/mir/symbol/Region.ts:13

Accessors

kind

get kind(): Region.Kind
Returns Region.Kind
- Defined in coral/src/mir/symbol/Region.ts:20

name

get name(): string
Returns string
- Defined in coral/src/mir/symbol/Region.ts:24

Methods

add

add(point: CoralCfgNode.Class): boolean
Parameters
- point: CoralCfgNode.Class
Returns boolean
- Defined in coral/src/mir/symbol/Region.ts:28

addEnd

addEnd(region: Region): boolean
Parameters
- region: Region
Returns boolean
- Defined in coral/src/mir/symbol/Region.ts:41

constrain

constrain(region: Region, node: CoralCfgNode.Class): boolean
Parameters
- region: Region
- node: CoralCfgNode.Class
Returns boolean
- Defined in coral/src/mir/symbol/Region.ts:75

has

has(point: CoralCfgNode.Class): boolean
Parameters
- point: CoralCfgNode.Class
Returns boolean
- Defined in coral/src/mir/symbol/Region.ts:36

missingBounds

missingBounds(
    bounds: MetaRegionBound[],
): [
    MetaRegionBound,
    CoralCfgNode.Class<CoralCfgNode.Data, CoralCfgNode.ScratchData>,
][]
Parameters
- bounds: MetaRegionBound[]
Returns [
MetaRegionBound,
CoralCfgNode.Class<CoralCfgNode.Data, CoralCfgNode.ScratchData>,
][]
[bound, cause] where bound is the missing bound and cause is the node that caused it.
- Defined in coral/src/mir/symbol/Region.ts:58

reset

reset(): void
Returns void
- Defined in coral/src/mir/symbol/Region.ts:66

toString

toString(): string
Returns string
- Defined in coral/src/mir/symbol/Region.ts:106