Class PathDeref

A dereference of a path, such as *x.

Implements

Path

Index

Constructors

Accessors

inner innerTy jp prefixes shallowPrefixes supportingPrefixes ty vardecl

Methods

contains equals toString

Constructors

constructor

new PathDeref($jp: UnaryOp, inner: Path): PathDeref
Parameters
- $jp: UnaryOp
- inner: Path
Returns PathDeref
- Defined in coral/src/mir/path/PathDeref.ts:21

Accessors

inner

get inner(): Path
Returns Path
- Defined in coral/src/mir/path/PathDeref.ts:34

innerTy

get innerTy(): RefTy
Returns RefTy
- Defined in coral/src/mir/path/PathDeref.ts:38

jp

get jp(): UnaryOp
Returns UnaryOp
Implementation of Path.jp
- Defined in coral/src/mir/path/PathDeref.ts:74

prefixes

get prefixes(): Path[]
Returns Path[]
Implementation of Path.prefixes
- Defined in coral/src/mir/path/PathDeref.ts:54

shallowPrefixes

get shallowPrefixes(): Path[]
Returns Path[]
Implementation of Path.shallowPrefixes
- Defined in coral/src/mir/path/PathDeref.ts:58

supportingPrefixes

get supportingPrefixes(): Path[]
Returns Path[]
Implementation of Path.supportingPrefixes
- Defined in coral/src/mir/path/PathDeref.ts:62

ty

get ty(): Ty
Retrieve the type of the value at this path.

Returns Ty
Implementation of Path.ty
- Defined in coral/src/mir/path/PathDeref.ts:70

vardecl

get vardecl(): Vardecl
Returns Vardecl
Implementation of Path.vardecl
- Defined in coral/src/mir/path/PathDeref.ts:78

Methods

contains

contains(other: Path): boolean
Parameters
- other: Path
Returns boolean
Implementation of Path.contains
- Defined in coral/src/mir/path/PathDeref.ts:50

equals

equals(other: Path): boolean
Parameters
- other: Path
Returns boolean
Implementation of Path.equals
- Defined in coral/src/mir/path/PathDeref.ts:46

toString

toString(): string
Returns string
Implementation of Path.toString
- Defined in coral/src/mir/path/PathDeref.ts:42