Class MetaRegionBound

A meta-constraint that lifetime 'sup' outlives lifetime 'sub'.

Index

Constructors

Accessors

Methods

toPragma toRegionBound fromPragma

Constructors

constructor

new MetaRegionBound(sup: MetaRegion, sub: MetaRegion): MetaRegionBound
Parameters
- sup: MetaRegion
- sub: MetaRegion
Returns MetaRegionBound
- Defined in coral/src/mir/symbol/region/meta/MetaRegionBound.ts:14

Accessors

sub

get sub(): MetaRegion
Returns MetaRegion
- Defined in coral/src/mir/symbol/region/meta/MetaRegionBound.ts:30

sup

get sup(): MetaRegion
Returns MetaRegion
- Defined in coral/src/mir/symbol/region/meta/MetaRegionBound.ts:26

Methods

toPragma

toPragma(): Pragma
Returns Pragma
- Defined in coral/src/mir/symbol/region/meta/MetaRegionBound.ts:41

toRegionBound

toRegionBound(regionMap: Map<string, Region>): RegionBound
Parameters
- regionMap: Map<string, Region>
Returns RegionBound
- Defined in coral/src/mir/symbol/region/meta/MetaRegionBound.ts:34

`Static`fromPragma

fromPragma(pragma: LifetimeBoundPragma): MetaRegionBound
Parameters
- pragma: LifetimeBoundPragma
Returns MetaRegionBound
- Defined in coral/src/mir/symbol/region/meta/MetaRegionBound.ts:19