Reusable lexical symbol table with stable ids and scope tracking. More...

#include <Compiler_Symbol_Bindings.H>

Collaboration diagram for Aleph::Compiler_Symbol_Bindings:

Public Member Functions
void	clear () noexcept
	Clears all scopes and previously recorded symbols.

size_t	depth () const noexcept
	Returns the current lexical depth.

size_t	symbol_count () const noexcept
	Returns the number of recorded symbols.

size_t	enter_scope ()
	Enters one nested lexical scope.

void	leave_scope ()
	Leaves the current lexical scope.

const Compiler_Symbol_Id *	lookup (const std::string &name) const noexcept
	Looks up one visible symbol id by name.

const Compiler_Symbol_Id *	lookup_local (const std::string &name) const noexcept
	Looks up one symbol id only in the current scope.

Compiler_Symbol_Declare_Result	declare (const Compiler_Symbol_Kind kind, const std::string &name, const Source_Span &span)
	Declares one symbol in the current scope.

const Compiler_Symbol &	symbol (const Compiler_Symbol_Id id) const
	Returns one symbol by its stable 1-based identifier.

std::string	dump_symbols () const
	Dumps the current symbol table in deterministic text form.

Private Member Functions
Compiler_Symbol_Id	append_symbol (const Compiler_Symbol_Kind kind, const std::string &name, const Source_Span &span)

Private Attributes
DynArray< Compiler_Symbol >	symbols_

Scope< std::string, Compiler_Symbol_Id >	scopes_

Detailed Description

Reusable lexical symbol table with stable ids and scope tracking.

Definition at line 129 of file Compiler_Symbol_Bindings.H.

Member Function Documentation

◆ append_symbol()

Compiler_Symbol_Id Aleph::Compiler_Symbol_Bindings::append_symbol	(	const Compiler_Symbol_Kind	kind,
		const std::string &	name,
		const Source_Span &	span
	)

inlineprivate

Definition at line 134 of file Compiler_Symbol_Bindings.H.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::Scope< Key, Value >::depth(), Aleph::Compiler_Symbol::id, scopes_, and symbols_.

Referenced by declare().

◆ clear()

void Aleph::Compiler_Symbol_Bindings::clear ( )

inlinenoexcept

Clears all scopes and previously recorded symbols.

Definition at line 150 of file Compiler_Symbol_Bindings.H.

References Aleph::Scope< Key, Value >::clear(), scopes_, and symbols_.

Referenced by Aleph::Compiler_Semantic_Analyzer::clear().

◆ declare()

Compiler_Symbol_Declare_Result Aleph::Compiler_Symbol_Bindings::declare	(	const Compiler_Symbol_Kind	kind,
		const std::string &	name,
		const Source_Span &	span
	)

inline

Declares one symbol in the current scope.

Duplicate declarations in the current scope do not insert a new symbol. Shadowing of outer scopes does insert a new symbol and is reported in the returned status so callers can decide whether it is allowed.

Definition at line 198 of file Compiler_Symbol_Bindings.H.

References ah_runtime_error_unless, append_symbol(), Aleph::blossom_maximum_cardinality_matching(), Aleph::Scope< Key, Value >::depth(), Aleph::Duplicate_Local, Aleph::Scope< Key, Value >::insert(), Aleph::Inserted, Aleph::Inserted_Shadowing, Aleph::Scope< Key, Value >::lookup(), Aleph::Scope< Key, Value >::lookup_local(), and scopes_.