Aleph-w 3.0
A C++ Library for Data Structures and Algorithms
Loading...
Searching...
No Matches
Classes | Public Member Functions | Private Types | Private Member Functions | Static Private Member Functions | Private Attributes | List of all members
Aleph::Compiler_Line_Frontend Class Referencefinal

Small example frontend for a line-oriented language. More...

#include <Compiler_Line_Frontend.H>

Inheritance diagram for Aleph::Compiler_Line_Frontend:
[legend]
Collaboration diagram for Aleph::Compiler_Line_Frontend:
[legend]

Classes

struct  Function_Definition
 
struct  Let_Definition
 
struct  Operand
 
struct  Parsed_Source
 

Public Member Functions

 Compiler_Line_Frontend (const size_t arena_size=1<< 20)
 Constructs a line-oriented frontend with reusable HIR/IR arena storage.
 
const char * name () const noexcept override
 Returns the stable frontend name.
 
void clear () noexcept override
 Resets all frontend-owned state so the instance can be reused.
 
bool load_sources (const DynArray< Compiler_Driver_Source > &inputs) override
 Registers ordered in-memory sources for the next compilation run.
 
bool parse () override
 Parses all registered sources, builds module descriptors and metadata, resolves import order, and records a parse artifact.
 
bool analyze () override
 Performs semantic validation: duplicate declarations, module linking, name binding, and operand resolution.
 
bool lower_hir () override
 Lowers the analyzed line program into a reusable HIR module.
 
bool lower_ir () override
 Lowers the analyzed line program into a reusable flat IR module.
 
Diagnostic_Engine * diagnostic_engine () noexcept override
 Returns the mutable diagnostic engine for this frontend.
 
const Diagnostic_Engine * diagnostic_engine () const noexcept override
 Returns the read-only diagnostic engine for this frontend.
 
const Compiler_Type_Context * type_context () const noexcept override
 Returns the shared type context used by the line frontend.
 
const Compiler_HIR_Module * hir_module () const noexcept override
 Returns the HIR module produced by the last lower_hir() call.
 
const Compiler_IR_Module * ir_module () const noexcept override
 Returns the IR module produced by the last lower_ir() call.
 
const DynArray< Compiler_Module_Descriptor > & module_descriptors () const noexcept override
 Returns the module descriptors built during parse().
 
const DynArray< size_t > & module_merge_order () const noexcept override
 Returns the dependency-resolved merge order from the last parse().
 
const DynArray< Compiler_Module_Metadata > & module_metadata () const noexcept override
 Returns the module metadata built during parse().
 
const DynArray< Compiler_Driver_Artifact > & artifacts () const noexcept override
 Returns all frontend-produced artifacts from the last run.
 
const Compiler_Driver_Artifact * find_artifact (std::string_view label) const noexcept override
 Finds one frontend artifact by exact label (last-write wins).
 
const DynArray< std::string > & errors () const noexcept override
 Returns hard frontend-level errors collected outside the diagnostic engine.
 
const DynArray< std::string > & warnings () const noexcept override
 Returns non-fatal frontend-level warnings.
 
- Public Member Functions inherited from Aleph::Compiler_Frontend
virtual ~Compiler_Frontend ()=default
 

Private Types

enum class  Operand_Kind { Integer , Variable }
 

Private Member Functions

void append_error (const std::string &text)
 
void record_text_artifact (const std::string &label, std::string text)
 
void emit_error (const Source_Span &span, const std::string &code, const std::string &message)
 
size_t find_source_index (std::string_view name) const noexcept
 
bool parse_import_line (Parsed_Source &parsed, const DynArray< std::string > &tokens, const Source_Span &line_span)
 
bool parse_function_line (Parsed_Source &parsed, const DynArray< std::string > &tokens, const Source_Span &line_span)
 
bool parse_let_line (Parsed_Source &parsed, const DynArray< std::string > &tokens, const Source_Span &line_span)
 
bool parse_source_file (Parsed_Source &parsed)
 
void flatten_program_in_import_order ()
 
void record_import_order_artifact ()
 
bool resolve_import_order ()
 
std::string dump_parsed_program () const
 
std::string dump_semantic_state () const
 
bool validate_top_level_calls (const Compiler_Module_Name_Table &table, const Compiler_Module_Semantic_Environment &env)
 
bool validate_operand_in_function (const Operand &operand, const Function_Definition &function, const Compiler_Symbol_Bindings &bindings)
 
bool validate_top_level_operand (const Operand &operand, const Source_Span &span)
 
Compiler_HIR_Expr * build_hir_operand (Compiler_HIR_Builder &builder, const Operand &operand) const
 
Compiler_IR_Value_Id build_ir_operand (Compiler_IR_Builder &builder, Compiler_IR_Function &function, const Compiler_IR_Block_Id block_id, const Operand &operand, const Compiler_IR_Local_Slot_Id left_slot, const Compiler_IR_Local_Slot_Id right_slot, const Function_Definition &definition) const
 

Static Private Member Functions

static std::string trim_copy (std::string_view text)
 
static std::string trim_quotes_copy (std::string_view text)
 
static DynArray< std::string > split_tokens (std::string_view text)
 
static bool parse_integer (std::string_view text, long long &value) noexcept
 
static bool is_identifier_start (const unsigned char ch) noexcept
 
static bool is_identifier_continue (const unsigned char ch) noexcept
 
static bool parse_identifier (std::string_view text) noexcept
 
static Compiler_Operator_Kind parse_operator_name (std::string_view text) noexcept
 
static bool parse_operand (std::string_view text, const Source_Span &span, Operand &out)
 

Private Attributes

Source_Manager sources_
 
Diagnostic_Engine diagnostics_
 
Compiler_Type_Context types_
 
Compiler_HIR_Context hir_ctx_
 
Compiler_IR_Context ir_ctx_
 
size_t arena_bytes_ = 0
 
DynArray< std::string > source_names_
 
DynArray< Source_File_Id > source_ids_
 
DynArray< Compiler_Module_Descriptor > module_descriptors_
 
DynArray< Compiler_Module_Metadata > module_metadata_
 
DynArray< Parsed_Source > parsed_sources_
 
DynArray< Function_Definition > functions_
 
DynArray< Let_Definition > lets_
 
DynArray< size_t > merge_order_
 
DynArray< Compiler_Driver_Artifact > artifacts_
 
DynArray< std::string > errors_
 
DynArray< std::string > warnings_
 
Compiler_HIR_Module * hir_module_ = nullptr
 
Compiler_IR_Module * ir_module_ = nullptr
 

Detailed Description

Small example frontend for a line-oriented language.

The frontend is intentionally conservative and only supports integer values plus fixed-arity binary functions. Its main purpose is to show how a completely different frontend can plug into Compiler_Generic_Driver without depending on the MVP parser or typed AST.

Definition at line 80 of file Compiler_Line_Frontend.H.

Member Enumeration Documentation

◆ Operand_Kind

enum class Aleph::Compiler_Line_Frontend::Operand_Kind
strongprivate
Enumerator
Integer 
Variable 

Definition at line 82 of file Compiler_Line_Frontend.H.

Constructor & Destructor Documentation

◆ Compiler_Line_Frontend()

Aleph::Compiler_Line_Frontend::Compiler_Line_Frontend ( const size_t  arena_size = 1 << 20)
inlineexplicit

Constructs a line-oriented frontend with reusable HIR/IR arena storage.

Parameters
arena_sizeByte capacity for each of the HIR and IR arenas (default: 1 MiB).
Note
Not thread-safe.

Definition at line 659 of file Compiler_Line_Frontend.H.

Member Function Documentation

◆ analyze()

bool Aleph::Compiler_Line_Frontend::analyze ( )
inlineoverridevirtual

Performs semantic validation: duplicate declarations, module linking, name binding, and operand resolution.

Returns
true if no semantic errors were produced; false otherwise.
Precondition
parse() must have completed without errors.
Note
Not thread-safe.

Implements Aleph::Compiler_Frontend.

Definition at line 797 of file Compiler_Line_Frontend.H.

References Aleph::DynArray< T >::access(), Aleph::blossom_maximum_cardinality_matching(), Aleph::compiler_bind_module_surfaces(), Aleph::compiler_build_module_name_table(), Aleph::compiler_build_module_semantic_environment(), Aleph::compiler_link_module_surfaces(), Aleph::Compiler_Symbol_Bindings::declare(), Aleph::Compiler_Symbol_Bindings::enter_scope(), Aleph::Diagnostic_Engine::has_errors(), Aleph::DynArray< T >::size(), and Aleph::Compiler_Symbol_Bindings::symbol().

◆ append_error()

void Aleph::Compiler_Line_Frontend::append_error ( const std::string &  text)
inlineprivate

Definition at line 236 of file Compiler_Line_Frontend.H.

References Aleph::DynArray< T >::append(), and errors_.

Referenced by load_sources().

◆ artifacts()

const DynArray< Compiler_Driver_Artifact > & Aleph::Compiler_Line_Frontend::artifacts ( ) const
inlineoverridevirtualnoexcept

Returns all frontend-produced artifacts from the last run.

Returns
Reference to the internal artifact array (may be empty before any pipeline stage is run).
Note
noexcept; reference is valid until the next clear() call.

Implements Aleph::Compiler_Frontend.

Definition at line 1124 of file Compiler_Line_Frontend.H.

◆ build_hir_operand()

Compiler_HIR_Expr * Aleph::Compiler_Line_Frontend::build_hir_operand ( Compiler_HIR_Builder &  builder,
const Operand &  operand 
) const
inlineprivate

Definition at line 626 of file Compiler_Line_Frontend.H.

References Aleph::blossom_maximum_cardinality_matching(), Integer, Aleph::Compiler_Type_Context::integer_type(), Aleph::Compiler_Line_Frontend::Operand::integer_value, Aleph::Compiler_Line_Frontend::Operand::kind, Aleph::Compiler_Line_Frontend::Operand::span, Aleph::Compiler_Line_Frontend::Operand::text, and types_.

◆ build_ir_operand()

Compiler_IR_Value_Id Aleph::Compiler_Line_Frontend::build_ir_operand ( Compiler_IR_Builder &  builder,
Compiler_IR_Function &  function,
const Compiler_IR_Block_Id  block_id,
const Operand &  operand,
const Compiler_IR_Local_Slot_Id  left_slot,
const Compiler_IR_Local_Slot_Id  right_slot,
const Function_Definition &  definition 
) const
inlineprivate

Definition at line 633 of file Compiler_Line_Frontend.H.

References Aleph::blossom_maximum_cardinality_matching(), Integer, Aleph::Compiler_Type_Context::integer_type(), Aleph::Compiler_Line_Frontend::Operand::integer_value, Aleph::Compiler_Line_Frontend::Operand::kind, Aleph::Compiler_Line_Frontend::Operand::span, Aleph::Compiler_Line_Frontend::Operand::text, and types_.

◆ clear()

void Aleph::Compiler_Line_Frontend::clear ( )
inlineoverridevirtualnoexcept

Resets all frontend-owned state so the instance can be reused.

After this call source registrations, parsed declarations, HIR/IR modules, artifacts, diagnostics, and type context are all discarded.

Note
noexcept. Not thread-safe.

Implements Aleph::Compiler_Frontend.

Definition at line 680 of file Compiler_Line_Frontend.H.

References artifacts_, Aleph::Diagnostic_Engine::clear(), Aleph::Compiler_Type_Context::clear(), Aleph::DynArray< T >::clear(), diagnostics_, errors_, functions_, hir_ctx_, hir_module_, ir_ctx_, ir_module_, lets_, merge_order_, module_descriptors_, module_metadata_, parsed_sources_, Aleph::Compiler_HIR_Context::reset(), Aleph::Compiler_IR_Context::reset(), source_ids_, source_names_, sources_, types_, and warnings_.

◆ diagnostic_engine() [1/2]

const Diagnostic_Engine * Aleph::Compiler_Line_Frontend::diagnostic_engine ( ) const
inlineoverridevirtualnoexcept

Returns the read-only diagnostic engine for this frontend.

Returns
Non-null pointer to the internal Diagnostic_Engine.
Note
noexcept; never returns nullptr.

Implements Aleph::Compiler_Frontend.

Definition at line 1053 of file Compiler_Line_Frontend.H.

◆ diagnostic_engine() [2/2]

Diagnostic_Engine * Aleph::Compiler_Line_Frontend::diagnostic_engine ( )
inlineoverridevirtualnoexcept

Returns the mutable diagnostic engine for this frontend.

Returns
Non-null pointer to the internal Diagnostic_Engine.
Note
noexcept; never returns nullptr.

Implements Aleph::Compiler_Frontend.

Definition at line 1043 of file Compiler_Line_Frontend.H.

◆ dump_parsed_program()

std::string Aleph::Compiler_Line_Frontend::dump_parsed_program ( ) const
inlineprivate

Definition at line 531 of file Compiler_Line_Frontend.H.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::compiler_operator_name(), functions_, Aleph::Compiler_Line_Frontend::Let_Definition::Integer, lets_, and out.

◆ dump_semantic_state()

std::string Aleph::Compiler_Line_Frontend::dump_semantic_state ( ) const
inlineprivate

Definition at line 554 of file Compiler_Line_Frontend.H.

References functions_, lets_, and out.

◆ emit_error()

void Aleph::Compiler_Line_Frontend::emit_error ( const Source_Span &  span,
const std::string &  code,
const std::string &  message 
)
inlineprivate

Definition at line 246 of file Compiler_Line_Frontend.H.

References Aleph::Diagnostic_Builder::code(), Aleph::code(), diagnostics_, Aleph::Diagnostic_Builder::emit(), Aleph::Diagnostic_Engine::error(), and Aleph::message().

Referenced by parse_function_line(), parse_import_line(), parse_let_line(), parse_source_file(), resolve_import_order(), validate_operand_in_function(), and validate_top_level_operand().

◆ errors()

const DynArray< std::string > & Aleph::Compiler_Line_Frontend::errors ( ) const
inlineoverridevirtualnoexcept

Returns hard frontend-level errors collected outside the diagnostic engine.

Returns
Reference to the array of error strings (empty if no errors).
Note
noexcept; reference is valid until the next clear() call.

Implements Aleph::Compiler_Frontend.

Definition at line 1148 of file Compiler_Line_Frontend.H.

◆ find_artifact()

const Compiler_Driver_Artifact * Aleph::Compiler_Line_Frontend::find_artifact ( std::string_view  label) const
inlineoverridevirtualnoexcept

Finds one frontend artifact by exact label (last-write wins).

Parameters
labelExact label string to search for.
Returns
Pointer to the matching artifact, or nullptr if not found.
Note
noexcept; searches in reverse insertion order.

Implements Aleph::Compiler_Frontend.

Definition at line 1135 of file Compiler_Line_Frontend.H.

References Aleph::DynArray< T >::access(), and Aleph::DynArray< T >::size().

◆ find_source_index()

size_t Aleph::Compiler_Line_Frontend::find_source_index ( std::string_view  name) const
inlineprivatenoexcept

Definition at line 251 of file Compiler_Line_Frontend.H.

References Aleph::DynArray< T >::access(), name(), Aleph::DynArray< T >::size(), and source_names_.

Referenced by load_sources().

◆ flatten_program_in_import_order()

void Aleph::Compiler_Line_Frontend::flatten_program_in_import_order ( )
inlineprivate

Definition at line 481 of file Compiler_Line_Frontend.H.

References Aleph::DynArray< T >::access(), Aleph::blossom_maximum_cardinality_matching(), functions_, lets_, merge_order_, parsed_sources_, and Aleph::DynArray< T >::size().

◆ hir_module()

const Compiler_HIR_Module * Aleph::Compiler_Line_Frontend::hir_module ( ) const
inlineoverridevirtualnoexcept

Returns the HIR module produced by the last lower_hir() call.

Returns
Non-null pointer if lower_hir() succeeded; nullptr otherwise.
Note
noexcept.

Implements Aleph::Compiler_Frontend.

Definition at line 1073 of file Compiler_Line_Frontend.H.

◆ ir_module()

const Compiler_IR_Module * Aleph::Compiler_Line_Frontend::ir_module ( ) const
inlineoverridevirtualnoexcept

Returns the IR module produced by the last lower_ir() call.

Returns
Non-null pointer if lower_ir() succeeded; nullptr otherwise.
Note
noexcept.

Implements Aleph::Compiler_Frontend.

Definition at line 1083 of file Compiler_Line_Frontend.H.

◆ is_identifier_continue()

static bool Aleph::Compiler_Line_Frontend::is_identifier_continue ( const unsigned char  ch)
inlinestaticprivatenoexcept

Definition at line 206 of file Compiler_Line_Frontend.H.

References Aleph::blossom_maximum_cardinality_matching().

Referenced by parse_identifier().

◆ is_identifier_start()

static bool Aleph::Compiler_Line_Frontend::is_identifier_start ( const unsigned char  ch)
inlinestaticprivatenoexcept

Definition at line 201 of file Compiler_Line_Frontend.H.

References Aleph::blossom_maximum_cardinality_matching().

Referenced by parse_identifier().

◆ load_sources()

bool Aleph::Compiler_Line_Frontend::load_sources ( const DynArray< Compiler_Driver_Source > &  inputs)
inlineoverridevirtual

Registers ordered in-memory sources for the next compilation run.

Parameters
inputsNon-empty array of named source texts; duplicate names are rejected.
Returns
true on success; false if inputs is empty or contains a duplicate name (an error is appended via append_error in both cases).
Note
Not thread-safe.

Implements Aleph::Compiler_Frontend.

Definition at line 710 of file Compiler_Line_Frontend.H.

References Aleph::Source_Manager::add_virtual_file(), Aleph::DynArray< T >::append(), append_error(), Aleph::blossom_maximum_cardinality_matching(), find_source_index(), source_ids_, source_names_, and sources_.

◆ lower_hir()

bool Aleph::Compiler_Line_Frontend::lower_hir ( )
inlineoverridevirtual

Lowers the analyzed line program into a reusable HIR module.

Returns
true if a non-null HIR module was produced; false otherwise.
Precondition
analyze() must have completed without errors.
Postcondition
hir_module() returns a non-null pointer on success.
Note
Not thread-safe.

Implements Aleph::Compiler_Frontend.

Definition at line 863 of file Compiler_Line_Frontend.H.

References Aleph::DynArray< T >::access(), Aleph::blossom_maximum_cardinality_matching(), Aleph::compiler_dump_hir_module(), Aleph::Compiler_Type_Context::integer_type(), Aleph::Compiler_Type_Context::make_function_type(), and Aleph::DynArray< T >::size().

◆ lower_ir()

bool Aleph::Compiler_Line_Frontend::lower_ir ( )
inlineoverridevirtual

Lowers the analyzed line program into a reusable flat IR module.

Returns
true if IR was produced and passed validation; false otherwise.
Precondition
analyze() must have completed without errors.
Postcondition
ir_module() returns a non-null pointer on success.
Note
Not thread-safe.

Implements Aleph::Compiler_Frontend.

Definition at line 923 of file Compiler_Line_Frontend.H.

References Aleph::DynArray< T >::access(), Aleph::DynArray< T >::append(), Aleph::blossom_maximum_cardinality_matching(), Aleph::compiler_dump_ir_module(), Aleph::compiler_ir_invalid_id(), Aleph::exit(), Aleph::Compiler_IR_Module::functions, Aleph::Compiler_Type_Context::integer_type(), Aleph::DynArray< T >::is_empty(), Aleph::Compiler_Type_Context::make_function_type(), Aleph::Compiler_Driver_Detail::merge_report(), Aleph::DynArray< T >::size(), Aleph::validate_ir_module(), and value.

◆ module_descriptors()

const DynArray< Compiler_Module_Descriptor > & Aleph::Compiler_Line_Frontend::module_descriptors ( ) const
inlineoverridevirtualnoexcept

Returns the module descriptors built during parse().

Returns
Reference to the internal array of Compiler_Module_Descriptor.
Note
noexcept; the reference is valid until the next clear() call.

Reimplemented from Aleph::Compiler_Frontend.

Definition at line 1093 of file Compiler_Line_Frontend.H.

◆ module_merge_order()

const DynArray< size_t > & Aleph::Compiler_Line_Frontend::module_merge_order ( ) const
inlineoverridevirtualnoexcept

Returns the dependency-resolved merge order from the last parse().

Returns
Reference to the array of module indices in dependency-first order.
Note
noexcept; the reference is valid until the next clear() call.

Reimplemented from Aleph::Compiler_Frontend.

Definition at line 1103 of file Compiler_Line_Frontend.H.

◆ module_metadata()

const DynArray< Compiler_Module_Metadata > & Aleph::Compiler_Line_Frontend::module_metadata ( ) const
inlineoverridevirtualnoexcept

Returns the module metadata built during parse().

Returns
Reference to the internal array of Compiler_Module_Metadata.
Note
noexcept; the reference is valid until the next clear() call.

Reimplemented from Aleph::Compiler_Frontend.

Definition at line 1113 of file Compiler_Line_Frontend.H.

◆ name()

const char * Aleph::Compiler_Line_Frontend::name ( ) const
inlineoverridevirtualnoexcept

Returns the stable frontend name.

Returns
The literal string "line".
Note
noexcept; never returns nullptr.

Implements Aleph::Compiler_Frontend.

Definition at line 668 of file Compiler_Line_Frontend.H.

Referenced by find_source_index().

◆ parse()

bool Aleph::Compiler_Line_Frontend::parse ( )
inlineoverridevirtual

Parses all registered sources, builds module descriptors and metadata, resolves import order, and records a parse artifact.

Returns
true if no parse errors were produced; false otherwise.
Precondition
load_sources() must have been called successfully.
Note
Not thread-safe.

Implements Aleph::Compiler_Frontend.

Definition at line 741 of file Compiler_Line_Frontend.H.

References Aleph::DynArray< T >::access(), Aleph::blossom_maximum_cardinality_matching(), Aleph::DynArray< T >::clear(), Aleph::Function, functions_, Aleph::Global, lets_, merge_order_, module_descriptors_, module_metadata_, Aleph::Compiler_Line_Frontend::Parsed_Source::name, Aleph::Compiler_Module_Metadata::name, Aleph::Compiler_Module_Descriptor::name, parse_source_file(), parsed_sources_, Aleph::DynArray< T >::size(), source_ids_, and source_names_.

◆ parse_function_line()

bool Aleph::Compiler_Line_Frontend::parse_function_line ( Parsed_Source &  parsed,
const DynArray< std::string > &  tokens,
const Source_Span &  line_span 
)
inlineprivate

Definition at line 294 of file Compiler_Line_Frontend.H.

References Aleph::DynArray< T >::access(), Aleph::blossom_maximum_cardinality_matching(), emit_error(), Aleph::Invalid, Aleph::Compiler_Line_Frontend::Function_Definition::left_param, Aleph::Compiler_Line_Frontend::Function_Definition::lhs, Aleph::Compiler_Line_Frontend::Function_Definition::module_name, Aleph::Compiler_Line_Frontend::Function_Definition::name, Aleph::Compiler_Line_Frontend::Function_Definition::name_span, Aleph::Compiler_Line_Frontend::Function_Definition::op, parse_identifier(), parse_operand(), parse_operator_name(), Aleph::Compiler_Line_Frontend::Function_Definition::rhs, Aleph::Compiler_Line_Frontend::Function_Definition::right_param, Aleph::DynArray< T >::size(), and Aleph::Compiler_Line_Frontend::Function_Definition::span.

Referenced by parse_source_file().

◆ parse_identifier()

static bool Aleph::Compiler_Line_Frontend::parse_identifier ( std::string_view  text)
inlinestaticprivatenoexcept

Definition at line 211 of file Compiler_Line_Frontend.H.

References Aleph::blossom_maximum_cardinality_matching(), is_identifier_continue(), and is_identifier_start().

Referenced by parse_function_line(), parse_let_line(), and parse_operand().

◆ parse_import_line()

bool Aleph::Compiler_Line_Frontend::parse_import_line ( Parsed_Source &  parsed,
const DynArray< std::string > &  tokens,
const Source_Span &  line_span 
)
inlineprivate

Definition at line 280 of file Compiler_Line_Frontend.H.

References Aleph::DynArray< T >::access(), Aleph::blossom_maximum_cardinality_matching(), emit_error(), Aleph::DynArray< T >::size(), and trim_quotes_copy().

Referenced by parse_source_file().

◆ parse_integer()

static bool Aleph::Compiler_Line_Frontend::parse_integer ( std::string_view  text,
long long &  value 
)
inlinestaticprivatenoexcept

Definition at line 190 of file Compiler_Line_Frontend.H.

References Aleph::and, and value.

Referenced by parse_let_line(), and parse_operand().

◆ parse_let_line()

bool Aleph::Compiler_Line_Frontend::parse_let_line ( Parsed_Source &  parsed,
const DynArray< std::string > &  tokens,
const Source_Span &  line_span 
)
inlineprivate

Definition at line 356 of file Compiler_Line_Frontend.H.

References Aleph::DynArray< T >::access(), Aleph::Compiler_Line_Frontend::Let_Definition::arg1, Aleph::Compiler_Line_Frontend::Let_Definition::arg2, Aleph::blossom_maximum_cardinality_matching(), Aleph::Compiler_Line_Frontend::Let_Definition::Call, Aleph::Compiler_Line_Frontend::Let_Definition::callee, emit_error(), Aleph::Compiler_Line_Frontend::Let_Definition::Integer, Aleph::Compiler_Line_Frontend::Let_Definition::integer_value, Aleph::Compiler_Line_Frontend::Let_Definition::kind, Aleph::Compiler_Line_Frontend::Let_Definition::module_name, Aleph::Compiler_Line_Frontend::Let_Definition::name, Aleph::Compiler_Line_Frontend::Let_Definition::name_span, parse_identifier(), parse_integer(), parse_operand(), Aleph::DynArray< T >::size(), Aleph::Compiler_Line_Frontend::Let_Definition::span, and value.

Referenced by parse_source_file().

◆ parse_operand()

static bool Aleph::Compiler_Line_Frontend::parse_operand ( std::string_view  text,
const Source_Span &  span,
Operand &  out 
)
inlinestaticprivate

Definition at line 259 of file Compiler_Line_Frontend.H.

References Aleph::blossom_maximum_cardinality_matching(), Integer, out, parse_identifier(), parse_integer(), value, and Variable.

Referenced by parse_function_line(), and parse_let_line().

◆ parse_operator_name()

static Compiler_Operator_Kind Aleph::Compiler_Line_Frontend::parse_operator_name ( std::string_view  text)
inlinestaticprivatenoexcept

Definition at line 223 of file Compiler_Line_Frontend.H.

References Aleph::Invalid, Aleph::Minus, Aleph::Plus, Aleph::Slash, and Aleph::Star.

Referenced by parse_function_line().

◆ parse_source_file()

bool Aleph::Compiler_Line_Frontend::parse_source_file ( Parsed_Source &  parsed)
inlineprivate

Definition at line 437 of file Compiler_Line_Frontend.H.

References Aleph::and, Aleph::blossom_maximum_cardinality_matching(), diagnostics_, emit_error(), Aleph::Source_Span::file_id, Aleph::Source_Manager::file_text(), Aleph::Diagnostic_Engine::has_errors(), parse_function_line(), parse_import_line(), parse_let_line(), sources_, split_tokens(), and trim_copy().

Referenced by parse().

◆ record_import_order_artifact()

void Aleph::Compiler_Line_Frontend::record_import_order_artifact ( )
inlineprivate

Definition at line 496 of file Compiler_Line_Frontend.H.

References Aleph::compiler_render_module_order(), merge_order_, module_descriptors_, and record_text_artifact().

◆ record_text_artifact()

void Aleph::Compiler_Line_Frontend::record_text_artifact ( const std::string &  label,
std::string  text 
)
inlineprivate

Definition at line 241 of file Compiler_Line_Frontend.H.

References Aleph::Compiler_Driver_Detail::append_artifact(), and artifacts_.

Referenced by record_import_order_artifact().

◆ resolve_import_order()

bool Aleph::Compiler_Line_Frontend::resolve_import_order ( )
inlineprivate

Definition at line 502 of file Compiler_Line_Frontend.H.

References Aleph::and, Aleph::DynArray< T >::append(), Aleph::blossom_maximum_cardinality_matching(), Aleph::DynArray< T >::clear(), Aleph::compiler_resolve_module_order(), diagnostics_, emit_error(), Aleph::Diagnostic_Engine::has_errors(), Aleph::DynArray< T >::is_empty(), merge_order_, Aleph::Missing_Dependency, module_descriptors_, and parsed_sources_.

◆ split_tokens()

static DynArray< std::string > Aleph::Compiler_Line_Frontend::split_tokens ( std::string_view  text)
inlinestaticprivate

Definition at line 180 of file Compiler_Line_Frontend.H.

References Aleph::DynArray< T >::append(), and Aleph::blossom_maximum_cardinality_matching().

Referenced by parse_source_file().

◆ trim_copy()

static std::string Aleph::Compiler_Line_Frontend::trim_copy ( std::string_view  text)
inlinestaticprivate

Definition at line 160 of file Compiler_Line_Frontend.H.

References Aleph::and.

Referenced by parse_source_file().

◆ trim_quotes_copy()

static std::string Aleph::Compiler_Line_Frontend::trim_quotes_copy ( std::string_view  text)
inlinestaticprivate

Definition at line 173 of file Compiler_Line_Frontend.H.

References Aleph::and.

Referenced by parse_import_line().

◆ type_context()

const Compiler_Type_Context * Aleph::Compiler_Line_Frontend::type_context ( ) const
inlineoverridevirtualnoexcept

Returns the shared type context used by the line frontend.

Returns
Non-null pointer to the internal Compiler_Type_Context.
Note
noexcept; never returns nullptr.

Implements Aleph::Compiler_Frontend.

Definition at line 1063 of file Compiler_Line_Frontend.H.

◆ validate_operand_in_function()

bool Aleph::Compiler_Line_Frontend::validate_operand_in_function ( const Operand &  operand,
const Function_Definition &  function,
const Compiler_Symbol_Bindings &  bindings 
)
inlineprivate

Definition at line 598 of file Compiler_Line_Frontend.H.

References emit_error(), Integer, Aleph::Compiler_Line_Frontend::Operand::kind, Aleph::Compiler_Symbol_Bindings::lookup(), Aleph::Compiler_Line_Frontend::Function_Definition::name, Aleph::Compiler_Line_Frontend::Operand::span, and Aleph::Compiler_Line_Frontend::Operand::text.

◆ validate_top_level_calls()

bool Aleph::Compiler_Line_Frontend::validate_top_level_calls ( const Compiler_Module_Name_Table &  table,
const Compiler_Module_Semantic_Environment &  env 
)
inlineprivate

Definition at line 563 of file Compiler_Line_Frontend.H.

References Aleph::and, Aleph::blossom_maximum_cardinality_matching(), Aleph::Compiler_Line_Frontend::Let_Definition::Call, Aleph::compiler_emit_module_name_resolution_diagnostic(), Aleph::compiler_lookup_module_value(), Aleph::compiler_resolve_module_name(), diagnostics_, Aleph::Function, Aleph::Diagnostic_Engine::has_errors(), lets_, resolution, Aleph::Resolved, validate_top_level_operand(), and value.

◆ validate_top_level_operand()

bool Aleph::Compiler_Line_Frontend::validate_top_level_operand ( const Operand &  operand,
const Source_Span &  span 
)
inlineprivate

Definition at line 615 of file Compiler_Line_Frontend.H.

References emit_error(), Integer, and Aleph::Compiler_Line_Frontend::Operand::kind.

Referenced by validate_top_level_calls().

◆ warnings()

const DynArray< std::string > & Aleph::Compiler_Line_Frontend::warnings ( ) const
inlineoverridevirtualnoexcept

Returns non-fatal frontend-level warnings.

Returns
Reference to the array of warning strings (empty if no warnings).
Note
noexcept; reference is valid until the next clear() call.

Implements Aleph::Compiler_Frontend.

Definition at line 1158 of file Compiler_Line_Frontend.H.

Member Data Documentation

◆ arena_bytes_

size_t Aleph::Compiler_Line_Frontend::arena_bytes_ = 0
private

Definition at line 143 of file Compiler_Line_Frontend.H.

◆ artifacts_

DynArray<Compiler_Driver_Artifact> Aleph::Compiler_Line_Frontend::artifacts_
private

Definition at line 153 of file Compiler_Line_Frontend.H.

Referenced by clear(), and record_text_artifact().

◆ diagnostics_

Diagnostic_Engine Aleph::Compiler_Line_Frontend::diagnostics_
private

Definition at line 139 of file Compiler_Line_Frontend.H.

Referenced by clear(), emit_error(), parse_source_file(), resolve_import_order(), and validate_top_level_calls().

◆ errors_

DynArray<std::string> Aleph::Compiler_Line_Frontend::errors_
private

Definition at line 154 of file Compiler_Line_Frontend.H.

Referenced by append_error(), and clear().

◆ functions_

DynArray<Function_Definition> Aleph::Compiler_Line_Frontend::functions_
private

Definition at line 150 of file Compiler_Line_Frontend.H.

Referenced by clear(), dump_parsed_program(), dump_semantic_state(), flatten_program_in_import_order(), and parse().

◆ hir_ctx_

Compiler_HIR_Context Aleph::Compiler_Line_Frontend::hir_ctx_
private

Definition at line 141 of file Compiler_Line_Frontend.H.

Referenced by clear().

◆ hir_module_

Compiler_HIR_Module* Aleph::Compiler_Line_Frontend::hir_module_ = nullptr
private

Definition at line 157 of file Compiler_Line_Frontend.H.

Referenced by clear().

◆ ir_ctx_

Compiler_IR_Context Aleph::Compiler_Line_Frontend::ir_ctx_
private

Definition at line 142 of file Compiler_Line_Frontend.H.

Referenced by clear().

◆ ir_module_

Compiler_IR_Module* Aleph::Compiler_Line_Frontend::ir_module_ = nullptr
private

Definition at line 158 of file Compiler_Line_Frontend.H.

Referenced by clear().

◆ lets_

DynArray<Let_Definition> Aleph::Compiler_Line_Frontend::lets_
private

Definition at line 151 of file Compiler_Line_Frontend.H.

Referenced by clear(), dump_parsed_program(), dump_semantic_state(), flatten_program_in_import_order(), parse(), and validate_top_level_calls().

◆ merge_order_

DynArray<size_t> Aleph::Compiler_Line_Frontend::merge_order_
private

Definition at line 152 of file Compiler_Line_Frontend.H.

Referenced by clear(), flatten_program_in_import_order(), parse(), record_import_order_artifact(), and resolve_import_order().

◆ module_descriptors_

DynArray<Compiler_Module_Descriptor> Aleph::Compiler_Line_Frontend::module_descriptors_
private

Definition at line 147 of file Compiler_Line_Frontend.H.

Referenced by clear(), parse(), record_import_order_artifact(), and resolve_import_order().

◆ module_metadata_

DynArray<Compiler_Module_Metadata> Aleph::Compiler_Line_Frontend::module_metadata_
private

Definition at line 148 of file Compiler_Line_Frontend.H.

Referenced by clear(), and parse().

◆ parsed_sources_

DynArray<Parsed_Source> Aleph::Compiler_Line_Frontend::parsed_sources_
private

Definition at line 149 of file Compiler_Line_Frontend.H.

Referenced by clear(), flatten_program_in_import_order(), parse(), and resolve_import_order().

◆ source_ids_

DynArray<Source_File_Id> Aleph::Compiler_Line_Frontend::source_ids_
private

Definition at line 146 of file Compiler_Line_Frontend.H.

Referenced by clear(), load_sources(), and parse().

◆ source_names_

DynArray<std::string> Aleph::Compiler_Line_Frontend::source_names_
private

Definition at line 145 of file Compiler_Line_Frontend.H.

Referenced by clear(), find_source_index(), load_sources(), and parse().

◆ sources_

Source_Manager Aleph::Compiler_Line_Frontend::sources_
private

Definition at line 138 of file Compiler_Line_Frontend.H.

Referenced by clear(), load_sources(), and parse_source_file().

◆ types_

Compiler_Type_Context Aleph::Compiler_Line_Frontend::types_
private

Definition at line 140 of file Compiler_Line_Frontend.H.

Referenced by build_hir_operand(), build_ir_operand(), and clear().

◆ warnings_

DynArray<std::string> Aleph::Compiler_Line_Frontend::warnings_
private

Definition at line 155 of file Compiler_Line_Frontend.H.

Referenced by clear().

The documentation for this class was generated from the following file: