loki.types.symbol_table

Representation of symbol tables and scopes in Loki’s internal representation (IR)

Classes

SymbolTable(*args[, case_sensitive])

Lookup table for symbol types that maps symbol names to SymbolAttributes
class SymbolTable(*args, case_sensitive=False, **kwargs)

Bases: dict

Lookup table for symbol types that maps symbol names to SymbolAttributes

It is used to store types for declared variables, defined types or imported symbols within their respective scope. If its associated scope is nested into an enclosing scope, it allows to perform recursive look-ups in parent scopes.

The interface of this table behaves like a dict.

Parameters:

  • parent (SymbolTable, optional) – The symbol table of the parent scope for recursive look-ups.

  • case_sensitive (bool, optional) – Respect the case of symbol names in lookups (default: False).

property parent

The symbol table of the parent scope

Return type:

SymbolTable or None

property case_sensitive

Indicate if the SymbolTable is case-sensitive when looking up names

Return type:

bool

format_lookup_name(name)

Format a variable name for look-up (e.g., convert to lower case if case-insensitive)

Parameters:

name (str) – the name to look up

Returns:

the name used for look-ups

Return type:

str

lookup(name, recursive=True)

Look-up a symbol in the symbol table and return the type or None if not found.

Parameters:

  • name (str) – Name of the type or symbol

  • recursive (bool, optional) – If no entry by that name is found, try to find it in the table of the parent scope

Return type:

SymbolAttributes or None

get(key, default=None)

Get a symbol’s entry without recursive lookup

Parameters:

  • key (str) – Name of the type or symbol

  • default (optional) – Return this value if key is not found in the table

setdefault(key, default=None)

Insert a default value for a key into the table if it does not exist

Parameters:

  • key (str) – Name of the type or symbol

  • default (optional) – The default value to store for the key. Defaults to SymbolAttributes(BasicType.DEFERRED).

update(other)

Update this symbol table with entries from other

clone(**kwargs)

Create a copy of the symbol table with the option to override individual parameters

Parameters:

**kwargs – Any parameters from the constructor of SymbolTable

Returns:

The clone symbol table with copies of all SymbolAttributes

Return type:

SymbolTable