Class RefTy

Implements

Ty

Index

Constructors

Accessors

isConst jp loanKind referent regionVar regionVars semantics

Methods

Constructors

constructor

new RefTy(
    regionVar: Region,
    referent: Ty,
    $jp: PointerType,
    isConst: boolean,
): RefTy
Parameters
- regionVar: Region
- referent: Ty
- $jp: PointerType
- isConst: boolean
Returns RefTy
- Defined in coral/src/mir/symbol/ty/RefTy.ts:12

Accessors

isConst

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

jp

get jp(): PointerType
Returns PointerType
Implementation of Ty.jp
- Defined in coral/src/mir/symbol/ty/RefTy.ts:48

loanKind

get loanKind(): Loan.Kind
Returns Loan.Kind
- Defined in coral/src/mir/symbol/ty/RefTy.ts:31

referent

get referent(): Ty
Returns Ty
- Defined in coral/src/mir/symbol/ty/RefTy.ts:23

regionVar

get regionVar(): Region
Returns Region
- Defined in coral/src/mir/symbol/ty/RefTy.ts:19

regionVars

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

semantics

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

Methods

toString

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