Class PathVarRef

A direct reference or declaration of a variable, such as x or int y.

Implements

Path

Index

Constructors

Accessors

isVarDecl jp prefixes shallowPrefixes supportingPrefixes ty vardecl

Methods

contains equals toString

Constructors

constructor

new PathVarRef($jp: Varref | Vardecl, ty: Ty): PathVarRef
Parameters
- $jp: Varref | Vardecl
- ty: Ty
Returns PathVarRef
- Defined in coral/src/mir/path/PathVarRef.ts:14

Accessors

isVarDecl

get isVarDecl(): boolean
Returns boolean
- Defined in coral/src/mir/path/PathVarRef.ts:61

jp

get jp(): Varref
Returns Varref
Implementation of Path.jp
- Defined in coral/src/mir/path/PathVarRef.ts:53

prefixes

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

shallowPrefixes

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

supportingPrefixes

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

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/PathVarRef.ts:49

vardecl

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

Methods

contains

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

equals

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

toString

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