Class Fn

Index

Constructors

Accessors

addedBounds addedMetaRegions baseMetaRegions bounds hasLifetimePragmas jp metaRegions params return

Methods

Constructors

constructor

new Fn(
    $jp: FunctionJp,
    bounds: MetaRegionBound[],
    baseMetaRegions: MetaRegion[],
    addedMetaRegions: MetaRegion[],
    $return: MetaTy,
    params: FnParam[],
    hasLifetimePragmas: boolean,
): Fn
Parameters
- $jp: FunctionJp
- bounds: MetaRegionBound[]
- baseMetaRegions: MetaRegion[]
- addedMetaRegions: MetaRegion[]
- $return: MetaTy
- params: FnParam[]
- hasLifetimePragmas: boolean
Returns Fn
- Defined in coral/src/mir/symbol/Fn.ts:34

Accessors

addedBounds

get addedBounds(): MetaRegionBound[]
Returns MetaRegionBound[]
- Defined in coral/src/mir/symbol/Fn.ts:61

addedMetaRegions

get addedMetaRegions(): MetaRegion[]
Returns MetaRegion[]
- Defined in coral/src/mir/symbol/Fn.ts:77

baseMetaRegions

get baseMetaRegions(): MetaRegion[]
Returns MetaRegion[]
- Defined in coral/src/mir/symbol/Fn.ts:73

bounds

get bounds(): MetaRegionBound[]
Returns MetaRegionBound[]
- Defined in coral/src/mir/symbol/Fn.ts:57

hasLifetimePragmas

get hasLifetimePragmas(): boolean
Returns boolean
- Defined in coral/src/mir/symbol/Fn.ts:89

jp

get jp(): FunctionJp
Returns FunctionJp
- Defined in coral/src/mir/symbol/Fn.ts:53

metaRegions

get metaRegions(): MetaRegion[]
Returns MetaRegion[]
- Defined in coral/src/mir/symbol/Fn.ts:69

params

get params(): FnParam[]
Returns FnParam[]
- Defined in coral/src/mir/symbol/Fn.ts:85

return

get return(): MetaTy
Returns MetaTy
- Defined in coral/src/mir/symbol/Fn.ts:81

Methods

addBound

addBound(bound: MetaRegionBound): void
Parameters
- bound: MetaRegionBound
Returns void
- Defined in coral/src/mir/symbol/Fn.ts:65