Class FunctionCall

Index

Constructors

Accessors

bounds jp paramTys returnTy

Constructors

constructor

new FunctionCall(
    $jp: Call,
    fn: Fn,
    regions: Map<string, Region>,
    returnTy: Ty,
    paramTys: Ty[],
): FunctionCall
Parameters
- $jp: Call
- fn: Fn
- regions: Map<string, Region>
- returnTy: Ty
- paramTys: Ty[]
Returns FunctionCall
- Defined in coral/src/mir/action/FunctionCall.ts:14

Accessors

bounds

get bounds(): RegionBound[]
Returns RegionBound[]
- Defined in coral/src/mir/action/FunctionCall.ts:40

jp

get jp(): Call
Returns Call
- Defined in coral/src/mir/action/FunctionCall.ts:28

paramTys

get paramTys(): Ty[]
Returns Ty[]
- Defined in coral/src/mir/action/FunctionCall.ts:36

returnTy

get returnTy(): Ty
Returns Ty
- Defined in coral/src/mir/action/FunctionCall.ts:32