Class MetaStructTy

Implements

MetaTy

Index

Constructors

Accessors

isConst jp semantics

Methods

generateLifetimeAssignments toTy

Constructors

constructor

new MetaStructTy(
    $jp: RecordJp,
    structDefs: DefMap,
    regionVarMap: Map<string, MetaRegion>,
    isConst: boolean,
): MetaStructTy
Parameters
- $jp: RecordJp
- structDefs: DefMap
- regionVarMap: Map<string, MetaRegion>
- isConst: boolean
Returns MetaStructTy
- Defined in coral/src/mir/symbol/ty/meta/MetaStructTy.ts:18

Accessors

isConst

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

jp

get jp(): RecordJp
Returns RecordJp
Implementation of MetaTy.jp
- Defined in coral/src/mir/symbol/ty/meta/MetaStructTy.ts:38

semantics

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

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/MetaStructTy.ts:42

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/MetaStructTy.ts:46