Class StructTy

Implements

Ty

Index

Constructors

Accessors

dropFunction fields isComplete isConst jp regionVarMap regionVars semantics

Methods

Constructors

constructor

new StructTy(
    def: Def,
    regionVarMap: Map<string, Region>,
    isConst: boolean,
): StructTy
Parameters
- def: Def
- regionVarMap: Map<string, Region>
- isConst: boolean
Returns StructTy
- Defined in coral/src/mir/symbol/ty/StructTy.ts:11

Accessors

dropFunction

get dropFunction(): FunctionJp | undefined
Returns FunctionJp | undefined
- Defined in coral/src/mir/symbol/ty/StructTy.ts:50

fields

get fields(): Map<string, Ty>
Returns Map<string, Ty>
- Defined in coral/src/mir/symbol/ty/StructTy.ts:41

isComplete

get isComplete(): boolean
Returns boolean
- Defined in coral/src/mir/symbol/ty/StructTy.ts:33

isConst

get isConst(): boolean
Returns boolean
Implementation of Ty.isConst
- Defined in coral/src/mir/symbol/ty/StructTy.ts:25

jp

get jp(): RecordJp
Returns RecordJp
Implementation of Ty.jp
- Defined in coral/src/mir/symbol/ty/StructTy.ts:29

regionVarMap

get regionVarMap(): Map<string, Region>
Returns Map<string, Region>
- Defined in coral/src/mir/symbol/ty/StructTy.ts:37

regionVars

get regionVars(): Region[]
Returns Region[]
Implementation of Ty.regionVars
- Defined in coral/src/mir/symbol/ty/StructTy.ts:17

semantics

get semantics(): Semantics
Returns Semantics
Implementation of Ty.semantics
- Defined in coral/src/mir/symbol/ty/StructTy.ts:21

Methods

toString

toString(): string
Returns string
Implementation of Ty.toString
- Defined in coral/src/mir/symbol/ty/StructTy.ts:54