Class Loan

Index

Constructors

Accessors

isReborrow kind leftTy path region rightTy

Methods

Constructors

constructor

new Loan(path: Path, region: Region, reborrow: boolean, leftTy: RefTy): Loan
Parameters
- path: Path
- region: Region
- reborrow: boolean
- leftTy: RefTy
Returns Loan
- Defined in coral/src/mir/action/Loan.ts:12

Accessors

isReborrow

get isReborrow(): boolean
Returns boolean
- Defined in coral/src/mir/action/Loan.ts:33

kind

get kind(): Loan.Kind
Returns Loan.Kind
- Defined in coral/src/mir/action/Loan.ts:29

leftTy

get leftTy(): RefTy
Returns RefTy
- Defined in coral/src/mir/action/Loan.ts:45

path

get path(): Path
Returns Path
- Defined in coral/src/mir/action/Loan.ts:37

region

get region(): Region
Returns Region
- Defined in coral/src/mir/action/Loan.ts:41

rightTy

get rightTy(): RefTy
Returns RefTy
- Defined in coral/src/mir/action/Loan.ts:49

Methods

toString

toString(): string
Returns string
- Defined in coral/src/mir/action/Loan.ts:25