Class FunctionSymbolTable

Index

Constructors

Accessors

regions returnTy staticRegion universalRegions

Methods

addRegion generateExistentialRegion get register

Constructors

constructor

new FunctionSymbolTable(fileTable: FileSymbolTable): FunctionSymbolTable
Parameters
- fileTable: FileSymbolTable
Returns FunctionSymbolTable
- Defined in coral/src/symbol/FunctionSymbolTable.ts:19

Accessors

regions

get regions(): Iterable<Region, any, any>
Returns Iterable<Region, any, any>
- Defined in coral/src/symbol/FunctionSymbolTable.ts:30

returnTy

get returnTy(): Ty
Returns Ty
- Defined in coral/src/symbol/FunctionSymbolTable.ts:70
set returnTy($return: Ty): void
Parameters
- $return: Ty
Returns void
- Defined in coral/src/symbol/FunctionSymbolTable.ts:66

staticRegion

get staticRegion(): Region
Returns Region
- Defined in coral/src/symbol/FunctionSymbolTable.ts:26

universalRegions

get universalRegions(): Iterable<Region, any, any>
Returns Iterable<Region, any, any>
- Defined in coral/src/symbol/FunctionSymbolTable.ts:34

Methods

addRegion

addRegion(name: string, kind: Region.Kind): Region
Parameters
- name: string
- kind: Region.Kind
Returns Region
- Defined in coral/src/symbol/FunctionSymbolTable.ts:59

generateExistentialRegion

generateExistentialRegion(): Region
Returns Region
- Defined in coral/src/symbol/FunctionSymbolTable.ts:55

get

get($decl: Vardecl): Ty
Parameters
- $decl: Vardecl
Returns Ty
- Defined in coral/src/symbol/FunctionSymbolTable.ts:38
get($decl: RecordJp): Def
Parameters
- $decl: RecordJp
Returns Def
- Defined in coral/src/symbol/FunctionSymbolTable.ts:39
get($decl: FunctionJp): Fn
Parameters
- $decl: FunctionJp
Returns Fn
- Defined in coral/src/symbol/FunctionSymbolTable.ts:40
get($decl: RecordJp | FunctionJp | Vardecl): Ty | Fn | Def
Parameters
- $decl: RecordJp | FunctionJp | Vardecl
Returns Ty | Fn | Def
- Defined in coral/src/symbol/FunctionSymbolTable.ts:41

register

register($decl: Vardecl, ty: Ty): void
Parameters
- $decl: Vardecl
- ty: Ty
Returns void
- Defined in coral/src/symbol/FunctionSymbolTable.ts:51