Class MetaRefTy

Implements

MetaTy

Index

Constructors

Accessors

borrowKind isConst jp semantics

Methods

generateLifetimeAssignments toTy

Constructors

constructor

new MetaRefTy(
    regionVar: MetaRegion,
    referent: MetaTy,
    $jp: PointerType,
    isConst: boolean,
): MetaRefTy
Parameters
- regionVar: MetaRegion
- referent: MetaTy
- $jp: PointerType
- isConst: boolean
Returns MetaRefTy
- Defined in coral/src/mir/symbol/ty/meta/MetaRefTy.ts:17

Accessors

borrowKind

get borrowKind(): Loan.Kind
Returns Loan.Kind
- Defined in coral/src/mir/symbol/ty/meta/MetaRefTy.ts:29

isConst

get isConst(): boolean
Returns boolean
Implementation of MetaTy.isConst
- Defined in coral/src/mir/symbol/ty/meta/MetaRefTy.ts:42

jp

get jp(): PointerType
Returns PointerType
Implementation of MetaTy.jp
- Defined in coral/src/mir/symbol/ty/meta/MetaRefTy.ts:46

semantics

get semantics(): Semantics
Returns Semantics
Implementation of MetaTy.semantics
- Defined in coral/src/mir/symbol/ty/meta/MetaRefTy.ts:33

Methods

generateLifetimeAssignments

generateLifetimeAssignments(
builder: LifetimeAssignmentBuilder,
): [LifetimeAssignmentBuilder, MetaRegion][]
Parameters
- builder: LifetimeAssignmentBuilder
Returns [LifetimeAssignmentBuilder, MetaRegion][]
Implementation of MetaTy.generateLifetimeAssignments
- Defined in coral/src/mir/symbol/ty/meta/MetaRefTy.ts:50

toTy

toTy(regionMap: Map<string, Region>): Ty
Parameters
- regionMap: Map<string, Region>
Returns Ty
Implementation of MetaTy.toTy
- Defined in coral/src/mir/symbol/ty/meta/MetaRefTy.ts:57