The ArkScript AST to IR compiler. More...

#include <ASTLowerer.hpp>

Inheritance diagram for Ark::internal::ASTLowerer:

Collaboration diagram for Ark::internal::ASTLowerer:

Classes
struct	Page

struct	Var

Public Member Functions
	ASTLowerer (unsigned debug)
	Construct a new ASTLowerer object.

void	addToTables (const std::vector< std::string > &symbols, const std::vector< ValTableElem > &constants)
	Pre-fill tables (used by the debugger)

void	offsetPagesBy (std::size_t offset)
	Start bytecode pages at a given offset (by default, 0)

void	process (Node &ast)
	Start the compilation.

const std::vector< IR::Block > &	intermediateRepresentation () const noexcept
	Return the IR blocks (one per scope)

const std::vector< std::string > &	symbols () const noexcept
	Return the symbol table pre-computed.

const std::vector< ValTableElem > &	values () const noexcept
	Return the value table pre-computed.

IR::label_t	lastLabel () const noexcept

Public Member Functions inherited from Ark::internal::Pass
	Pass (std::string name, unsigned debug_level)
	Construct a new Pass object.

virtual	~Pass ()=default

void	configureLogger (std::ostream &os)
	Set a custom output stream for the logger.

Private Types
enum class	ErrorKind { InvalidNodeMacro , InvalidNodeNoReturnValue , InvalidNodeInOperatorNoReturnValue , InvalidNodeInTailCallNoReturnValue }

Private Member Functions
Page	createNewCodePage (PageCreationData &&args=PageCreationData {}) noexcept

IR::Block &	block (const Page page) noexcept

IR::Block::vec_t &	page (const Page page) noexcept
	helper functions to get a temp or finalised code page

bool	isFunctionCallingItself (const std::string &name) noexcept
	Check if we are in a recursive self call.

void	warning (const std::string &message, const Node &node)
	Display a warning message.

void	compileExpression (Node &x, Page p, bool is_result_unused, bool is_terminal, bool can_use_ref)
	Compile an expression (a node) recursively.

void	compileSymbol (const Node &x, Page p, bool is_result_unused, bool can_use_ref)

void	compileListInstruction (Node &x, Page p, bool is_result_unused)

void	compileApplyInstruction (Node &x, Page p, bool is_result_unused)

void	compileIf (Node &x, Page p, bool is_result_unused, bool is_terminal, bool can_use_ref)

void	compileFunction (Node &x, Page p, bool is_result_unused)

void	setFunctionMetadata (Page p, std::size_t arg_count, bool mutates_args)

void	compileLetMutSet (Keyword n, Node &x, Page p, bool is_result_unused)

void	compileWhile (Node &x, Page p)

void	compilePluginImport (const Node &x, Page p)

void	pushFunctionCallArguments (Node &call, Page p, bool is_tail_call)

void	handleCalls (Node &x, Page p, bool is_result_unused, bool is_terminal, bool can_use_ref)

void	handleShortcircuit (Node &x, Page p, bool can_use_ref)

void	handleOperator (Node &x, Page p, Instruction op)

bool	handleFunctionCall (Node &x, Page p, bool is_terminal)

uint16_t	addSymbol (const Node &sym)
	Register a given node in the symbol table.

uint16_t	addValue (const Node &x)
	Register a given node in the value table.

uint16_t	addValue (std::size_t page_id, const Node &current)
	Register a page id (function reference) in the value table.

Static Private Member Functions
static std::optional< Instruction >	getOperator (const std::string &name) noexcept
	Checking if a symbol is an operator.

static std::optional< uint16_t >	getBuiltin (const std::string &name) noexcept
	Checking if a symbol is a builtin.

static std::optional< Instruction >	getListInstruction (const std::string &name) noexcept
	Checking if a symbol is a list instruction.

static bool	isBreakpoint (const Node &node)

static bool	nodeProducesOutput (const Node &node)

static bool	isUnaryInst (Instruction inst) noexcept
	Check if a given instruction is unary (takes only one argument)

static bool	isTernaryInst (Instruction inst) noexcept
	Check if a given instruction is ternary (takes three arguments)

static bool	isRepeatableOperation (Instruction inst) noexcept
	Check if an operator can be repeated.

static void	buildAndThrowError (const std::string &message, const Node &node)
	Throw a nice error message.

static void	makeError (ErrorKind kind, const Node &node, const std::string &additional_ctx)
	Throw a nice error message, using a message builder.

Private Attributes
LocalsLocator	m_locals_locator

std::vector< std::string >	m_symbols

std::vector< ValTableElem >	m_values

std::size_t	m_start_page_at_offset = 0
	Used to offset the page numbers when compiling code in the debugger.

std::vector< IR::Block >	m_code_pages

std::vector< IR::Block >	m_temp_pages
	we need temporary code pages for some compilations passes

IR::label_t	m_current_label = 0

std::stack< Var >	m_opened_vars
	stack of vars we are currently declaring

Additional Inherited Members
Protected Attributes inherited from Ark::internal::Pass
Logger	m_logger

Detailed Description

The ArkScript AST to IR compiler.

Definition at line 48 of file ASTLowerer.hpp.

Member Enumeration Documentation

◆ ErrorKind

enum class Ark::internal::ASTLowerer::ErrorKind

strongprivate

Enumerator
InvalidNodeMacro
InvalidNodeNoReturnValue
InvalidNodeInOperatorNoReturnValue
InvalidNodeInTailCallNoReturnValue

Definition at line 130 of file ASTLowerer.hpp.

Constructor & Destructor Documentation

◆ ASTLowerer()

Ark::internal::ASTLowerer::ASTLowerer ( unsigned debug )

explicit

Construct a new ASTLowerer object.

Parameters

debug the debug level

Definition at line 28 of file ASTLowerer.cpp.

Member Function Documentation

◆ addSymbol()

uint16_t Ark::internal::ASTLowerer::addSymbol ( const Node & sym )

private

Register a given node in the symbol table.

Can throw if the table is full

Parameters

sym

Returns: uint16_t

Definition at line 1040 of file ASTLowerer.cpp.

References buildAndThrowError(), m_symbols, Ark::MaxValue16Bits, and Ark::internal::Node::string().

Referenced by compileExpression(), compileFunction(), compileLetMutSet(), compileSymbol(), and handleFunctionCall().

◆ addToTables()

void Ark::internal::ASTLowerer::addToTables	(	const std::vector< std::string > &	symbols,
		const std::vector< ValTableElem > &	constants )

Pre-fill tables (used by the debugger)

Parameters

symbols
constants

Definition at line 32 of file ASTLowerer.cpp.

References m_symbols, m_values, and symbols().

Referenced by Ark::Welder::generateBytecodeUsingTables().

◆ addValue() [1/2]

uint16_t Ark::internal::ASTLowerer::addValue ( const Node & x )

private

Register a given node in the value table.

Can throw if the table is full

Parameters

x

Returns: uint16_t

Definition at line 1056 of file ASTLowerer.cpp.

References buildAndThrowError(), m_values, and Ark::MaxValue16Bits.

Referenced by compileExpression(), compileFunction(), and compilePluginImport().

◆ addValue() [2/2]

uint16_t Ark::internal::ASTLowerer::addValue	(	std::size_t	page_id,
		const Node &	current )

private

Register a page id (function reference) in the value table.

Can throw if the table is full

Parameters

page_id
current	A reference to the current node, for context

Returns: std::size_t

Definition at line 1072 of file ASTLowerer.cpp.

References buildAndThrowError(), m_values, and Ark::MaxValue16Bits.

◆ block()

IR::Block & Ark::internal::ASTLowerer::block ( const Page page )

inlineprivatenoexcept

Definition at line 157 of file ASTLowerer.hpp.

Referenced by setFunctionMetadata().

◆ buildAndThrowError()

void Ark::internal::ASTLowerer::buildAndThrowError	(	const std::string &	message,
		const Node &	node )

staticprivate

Throw a nice error message.

Parameters

message
node

Definition at line 183 of file ASTLowerer.cpp.

References Ark::internal::Node::filename(), and Ark::internal::Node::position().

Referenced by addSymbol(), addValue(), addValue(), compileApplyInstruction(), compileExpression(), compileFunction(), compileIf(), compileLetMutSet(), compileListInstruction(), compileSymbol(), handleFunctionCall(), handleOperator(), handleShortcircuit(), and makeError().

◆ compileApplyInstruction()

void Ark::internal::ASTLowerer::compileApplyInstruction	(	Node &	x,
		Page	p,
		bool	is_result_unused )

private

Definition at line 442 of file ASTLowerer.cpp.

References buildAndThrowError(), compileExpression(), Ark::internal::Node::constList(), Ark::internal::IR::Entity::Goto(), InvalidNodeNoReturnValue, Ark::internal::IR::Entity::Label(), Ark::internal::Node::list(), m_current_label, makeError(), nodeProducesOutput(), and page().

Referenced by compileExpression().

◆ compileExpression()

void Ark::internal::ASTLowerer::compileExpression	(	Node &	x,
		Page	p,
		bool	is_result_unused,
		bool	is_terminal,
		bool	can_use_ref )

private

Compile an expression (a node) recursively.

Parameters

x	the Node to compile
p	the current page number we're on
is_result_unused
is_terminal
can_use_ref

Definition at line 212 of file ASTLowerer.cpp.

References addSymbol(), addValue(), Ark::internal::Language::Apply, Ark::internal::Namespace::ast, Ark::internal::Begin, buildAndThrowError(), compileApplyInstruction(), compileExpression(), compileFunction(), compileIf(), compileLetMutSet(), compileListInstruction(), compilePluginImport(), compileSymbol(), compileWhile(), Ark::internal::Node::constArkNamespace(), Ark::internal::Node::constList(), Ark::internal::Del, Ark::internal::Field, Ark::internal::Node::filename(), Ark::internal::Fun, getBuiltin(), getListInstruction(), handleCalls(), Ark::internal::If, Ark::internal::Import, isBreakpoint(), Ark::internal::Keyword, Ark::internal::Let, Ark::internal::FilePos::line, Ark::internal::List, Ark::internal::Node::list(), Ark::internal::Mut, Ark::internal::Namespace, Ark::internal::Node::nodeType(), Ark::internal::Number, page(), Ark::internal::Node::position(), Ark::internal::Set, Ark::internal::FileSpan::start, Ark::internal::String, Ark::Value::string(), Ark::internal::Symbol, Ark::internal::typeToString(), Ark::internal::Unused, and Ark::internal::While.

Referenced by compileApplyInstruction(), compileExpression(), compileFunction(), compileIf(), compileLetMutSet(), compileListInstruction(), compileWhile(), handleFunctionCall(), handleOperator(), handleShortcircuit(), process(), and pushFunctionCallArguments().

◆ compileFunction()

void Ark::internal::ASTLowerer::compileFunction	(	Node &	x,
		Page	p,
		bool	is_result_unused )

private

◆ compileIf()

void Ark::internal::ASTLowerer::compileIf	(	Node &	x,
		Page	p,
		bool	is_result_unused,
		bool	is_terminal,
		bool	can_use_ref )

private

Definition at line 468 of file ASTLowerer.cpp.

References buildAndThrowError(), compileExpression(), Ark::internal::Node::constList(), Ark::internal::LocalsLocator::dropVarsForBranch(), Ark::internal::IR::Entity::Goto(), Ark::internal::IR::Entity::GotoIf(), Ark::internal::IR::Entity::Label(), Ark::internal::List, Ark::internal::Node::list(), m_current_label, m_locals_locator, Ark::internal::LocalsLocator::markLastLocalAsUnreachable(), page(), and Ark::internal::LocalsLocator::saveScopeLengthForBranch().

Referenced by compileExpression().

◆ compileLetMutSet()

void Ark::internal::ASTLowerer::compileLetMutSet	(	Keyword	n,
		Node &	x,
		Page	p,
		bool	is_result_unused )

private

◆ compileListInstruction()

void Ark::internal::ASTLowerer::compileListInstruction	(	Node &	x,
		Page	p,
		bool	is_result_unused )

private

Definition at line 361 of file ASTLowerer.cpp.

References buildAndThrowError(), compileExpression(), Ark::internal::Node::constList(), getListInstruction(), InvalidNodeNoReturnValue, Ark::internal::Node::list(), makeError(), Ark::MaxValue16Bits, nodeProducesOutput(), page(), Ark::Value::string(), and warning().

Referenced by compileExpression().

◆ compilePluginImport()

void Ark::internal::ASTLowerer::compilePluginImport	(	const Node &	x,
		Page	p )

private

Definition at line 718 of file ASTLowerer.cpp.

References addValue(), Ark::internal::Node::constList(), Ark::internal::Node::filename(), Ark::internal::FilePos::line, page(), Ark::internal::Node::position(), Ark::internal::FileSpan::start, and Ark::internal::String.

Referenced by compileExpression().

◆ compileSymbol()

void Ark::internal::ASTLowerer::compileSymbol	(	const Node &	x,
		Page	p,
		bool	is_result_unused,
		bool	can_use_ref )

private

◆ compileWhile()

void Ark::internal::ASTLowerer::compileWhile	(	Node &	x,
		Page	p )

private

◆ createNewCodePage()

Page Ark::internal::ASTLowerer::createNewCodePage ( PageCreationData && args = PageCreationData {} )

inlineprivatenoexcept

Definition at line 138 of file ASTLowerer.hpp.

Referenced by compileFunction(), handleFunctionCall(), and process().

◆ getBuiltin()

std::optional< uint16_t > Ark::internal::ASTLowerer::getBuiltin ( const std::string & name )

staticprivatenoexcept

Checking if a symbol is a builtin.

Parameters

name	symbol name

Returns: std::optional<uint16_t> builtin number

Definition at line 81 of file ASTLowerer.cpp.

References Ark::internal::Builtins::builtins.

Referenced by compileExpression(), and compileSymbol().

◆ getListInstruction()

std::optional< Instruction > Ark::internal::ASTLowerer::getListInstruction ( const std::string & name )

staticprivatenoexcept

Checking if a symbol is a list instruction.

Parameters

name

Returns: std::optional<Instruction> list instruction

Definition at line 92 of file ASTLowerer.cpp.

References Ark::internal::Language::listInstructions.

Referenced by compileExpression(), and compileListInstruction().

◆ getOperator()

std::optional< Instruction > Ark::internal::ASTLowerer::getOperator ( const std::string & name )

staticprivatenoexcept

Checking if a symbol is an operator.

Parameters

name	symbol name

Returns: std::optional<Instruction> operator instruction

Definition at line 73 of file ASTLowerer.cpp.

References Ark::internal::FirstOperator, and Ark::internal::Language::operators.

Referenced by compileSymbol(), and handleCalls().

◆ handleCalls()

void Ark::internal::ASTLowerer::handleCalls	(	Node &	x,
		Page	p,
		bool	is_result_unused,
		bool	is_terminal,
		bool	can_use_ref )

private

Definition at line 761 of file ASTLowerer.cpp.

References Ark::internal::Language::And, Ark::internal::Node::constList(), getOperator(), handleFunctionCall(), handleOperator(), handleShortcircuit(), Ark::internal::Node::nodeType(), Ark::internal::Language::Or, page(), Ark::internal::Node::string(), and Ark::internal::Symbol.

Referenced by compileExpression().

◆ handleFunctionCall()

bool Ark::internal::ASTLowerer::handleFunctionCall	(	Node &	x,
		Page	p,
		bool	is_terminal )

private

Definition at line 890 of file ASTLowerer.cpp.

References addSymbol(), buildAndThrowError(), Ark::internal::Builtin, Ark::internal::Builtins::builtins, Ark::internal::Capture, Ark::internal::Classic, compileExpression(), Ark::internal::Node::constList(), createNewCodePage(), Ark::internal::Node::filename(), Ark::internal::IR::Entity::Goto(), isBreakpoint(), isFunctionCallingItself(), Ark::internal::IR::Entity::Label(), Ark::internal::FilePos::line, Ark::internal::Node::list(), m_current_label, m_opened_vars, m_temp_pages, nodeProducesOutput(), Ark::internal::Node::nodeType(), page(), Ark::internal::Node::position(), pushFunctionCallArguments(), Ark::internal::Node::repr(), Ark::internal::SelfNotRecursive, Ark::internal::FileSpan::start, Ark::internal::Node::string(), Ark::internal::Symbol, and Ark::internal::SymbolByIndex.

Referenced by handleCalls().

◆ handleOperator()

void Ark::internal::ASTLowerer::handleOperator	(	Node &	x,
		Page	p,
		Instruction	op )

private

◆ handleShortcircuit()

void Ark::internal::ASTLowerer::handleShortcircuit	(	Node &	x,
		Page	p,
		bool	can_use_ref )

private

Definition at line 794 of file ASTLowerer.cpp.

References Ark::internal::Language::And, buildAndThrowError(), compileExpression(), Ark::internal::Node::constList(), Ark::internal::IR::Entity::Goto(), Ark::internal::IR::Entity::Label(), Ark::internal::Node::list(), m_current_label, nodeProducesOutput(), page(), and Ark::internal::Node::string().

Referenced by handleCalls().

◆ intermediateRepresentation()

const std::vector< IR::Block > & Ark::internal::ASTLowerer::intermediateRepresentation ( ) const

nodiscardnoexcept

Return the IR blocks (one per scope)

Returns: const std::vector<Block>&

Definition at line 58 of file ASTLowerer.cpp.

References m_code_pages.

Referenced by Ark::Welder::generateBytecode().

◆ isBreakpoint()

bool Ark::internal::ASTLowerer::isBreakpoint ( const Node & node )

staticprivate

Checks if a node is a list and is a call to 'breakpoint'

Parameters

node	node to check

Returns: true if the node is a 'breakpoint' call: (breakpoint <cond>); false otherwise

Definition at line 100 of file ASTLowerer.cpp.

References Ark::internal::Node::constList(), Ark::internal::List, Ark::internal::Node::nodeType(), and Ark::internal::Symbol.

Referenced by compileExpression(), handleFunctionCall(), handleOperator(), and pushFunctionCallArguments().

◆ isFunctionCallingItself()

bool Ark::internal::ASTLowerer::isFunctionCallingItself ( const std::string & name )

inlinenodiscardprivatenoexcept

Check if we are in a recursive self call.

Parameters

name	symbol name being compiled

Returns: true if the name passed is the name of the last function we entered

Definition at line 183 of file ASTLowerer.hpp.

Referenced by handleFunctionCall().

◆ isRepeatableOperation()

bool Ark::internal::ASTLowerer::isRepeatableOperation ( Instruction inst )

staticprivatenoexcept

Check if an operator can be repeated.

Parameters

inst

Returns: true the instruction can be repeated, eg (+ 1 2 3) compiles to (+ (+ 1 2) 3), false otherwise

Definition at line 163 of file ASTLowerer.cpp.

Referenced by handleOperator().

◆ isTernaryInst()

bool Ark::internal::ASTLowerer::isTernaryInst ( Instruction inst )

staticprivatenoexcept

Check if a given instruction is ternary (takes three arguments)

Parameters

inst

Returns: true the instruction is ternary, false otherwise

Definition at line 151 of file ASTLowerer.cpp.

Referenced by handleOperator().

◆ isUnaryInst()

bool Ark::internal::ASTLowerer::isUnaryInst ( Instruction inst )

staticprivatenoexcept

Check if a given instruction is unary (takes only one argument)

Parameters

inst

Returns: true the instruction is unary, false otherwise

Definition at line 131 of file ASTLowerer.cpp.

Referenced by handleOperator().

◆ lastLabel()

IR::label_t Ark::internal::ASTLowerer::lastLabel ( ) const

inlinenodiscardnoexcept

Definition at line 101 of file ASTLowerer.hpp.

Referenced by Ark::Welder::generateBytecode().

◆ makeError()

void Ark::internal::ASTLowerer::makeError	(	ErrorKind	kind,
		const Node &	node,
		const std::string &	additional_ctx )

staticprivate

Throw a nice error message, using a message builder.

Parameters

kind	error kind
node	erroneous node
additional_ctx	optional context for the error, e.g. the macro name

Definition at line 188 of file ASTLowerer.cpp.

References buildAndThrowError(), InvalidNodeInOperatorNoReturnValue, InvalidNodeInTailCallNoReturnValue, InvalidNodeMacro, and InvalidNodeNoReturnValue.

Referenced by compileApplyInstruction(), compileFunction(), compileLetMutSet(), compileListInstruction(), compileWhile(), handleOperator(), and pushFunctionCallArguments().

◆ nodeProducesOutput()

bool Ark::internal::ASTLowerer::nodeProducesOutput ( const Node & node )

staticprivate

Checks if a node is a list and has a keyboard as its first node, indicating if it's producing a value on the stack or not

Parameters

node	node to check

Returns: true if the node produces an output on the stack (fun, if, begin); false otherwise (let, mut, set, while, import, del)

Definition at line 107 of file ASTLowerer.cpp.

References Ark::internal::Begin, Ark::internal::Node::constList(), Ark::internal::Fun, Ark::internal::If, Ark::internal::Keyword, Ark::internal::Let, Ark::internal::List, Ark::internal::Mut, nodeProducesOutput(), Ark::internal::Node::nodeType(), Ark::internal::Set, and Ark::internal::Symbol.

Referenced by compileApplyInstruction(), compileListInstruction(), handleFunctionCall(), handleOperator(), handleShortcircuit(), nodeProducesOutput(), and pushFunctionCallArguments().

◆ offsetPagesBy()

void Ark::internal::ASTLowerer::offsetPagesBy ( std::size_t offset )

Start bytecode pages at a given offset (by default, 0)

Parameters

offset

Definition at line 38 of file ASTLowerer.cpp.

References m_start_page_at_offset.

Referenced by Ark::Welder::generateBytecodeUsingTables().

◆ page()

IR::Block::vec_t & Ark::internal::ASTLowerer::page ( const Page page )

inlineprivatenoexcept

helper functions to get a temp or finalised code page

Parameters

page	page descriptor

Returns: std::vector<IR::Entity>&

Definition at line 170 of file ASTLowerer.hpp.

Referenced by compileApplyInstruction(), compileExpression(), compileFunction(), compileIf(), compileLetMutSet(), compileListInstruction(), compilePluginImport(), compileSymbol(), compileWhile(), handleCalls(), handleFunctionCall(), handleOperator(), handleShortcircuit(), and setFunctionMetadata().

◆ process()

void Ark::internal::ASTLowerer::process ( Node & ast )

Start the compilation.

Parameters

ast

Definition at line 43 of file ASTLowerer.cpp.

References compileExpression(), createNewCodePage(), Ark::internal::Pass::m_logger, Ark::internal::Logger::traceEnd(), and Ark::internal::Logger::traceStart().

Referenced by Ark::Welder::generateBytecode().

◆ pushFunctionCallArguments()

void Ark::internal::ASTLowerer::pushFunctionCallArguments	(	Node &	call,
		Page	p,
		bool	is_tail_call )

private

Definition at line 737 of file ASTLowerer.cpp.

References compileExpression(), compileSymbol(), Ark::internal::Node::constList(), InvalidNodeInTailCallNoReturnValue, InvalidNodeNoReturnValue, isBreakpoint(), Ark::internal::Node::list(), makeError(), nodeProducesOutput(), and Ark::internal::Symbol.

Referenced by handleFunctionCall().

◆ setFunctionMetadata()

void Ark::internal::ASTLowerer::setFunctionMetadata	(	Page	p,
		std::size_t	arg_count,
		bool	mutates_args )

private

Definition at line 615 of file ASTLowerer.cpp.

References Ark::internal::IR::Block::Metadata::argument_count, block(), Ark::internal::IR::Block::Metadata::is_mutating_args, Ark::internal::IR::Block::Metadata::is_recursive, Ark::internal::IR::Block::Metadata::is_simple, Ark::internal::IR::Block::metadata, and page().

Referenced by compileFunction().

◆ symbols()

const std::vector< std::string > & Ark::internal::ASTLowerer::symbols ( ) const

nodiscardnoexcept

Return the symbol table pre-computed.

Returns: const std::vector<std::string>&

Definition at line 63 of file ASTLowerer.cpp.

References m_symbols.

Referenced by addToTables(), and Ark::Welder::generateBytecode().

◆ values()

const std::vector< ValTableElem > & Ark::internal::ASTLowerer::values ( ) const

nodiscardnoexcept

Return the value table pre-computed.

Returns: const std::vector<ValTableElem>&

Definition at line 68 of file ASTLowerer.cpp.

References m_values.

Referenced by Ark::Welder::generateBytecode().

◆ warning()

void Ark::internal::ASTLowerer::warning	(	const std::string &	message,
		const Node &	node )

private

Display a warning message.

Parameters

message
node

Definition at line 178 of file ASTLowerer.cpp.

References Ark::internal::Logger::colorize(), Ark::internal::Pass::m_logger, Ark::Diagnostics::makeContextWithNode(), and Ark::internal::Logger::warn().

Referenced by compileFunction(), compileListInstruction(), and compileSymbol().

Member Data Documentation

◆ m_code_pages

std::vector<IR::Block> Ark::internal::ASTLowerer::m_code_pages

private

Definition at line 125 of file ASTLowerer.hpp.

Referenced by intermediateRepresentation().

◆ m_current_label

IR::label_t Ark::internal::ASTLowerer::m_current_label = 0

private

Definition at line 127 of file ASTLowerer.hpp.

Referenced by compileApplyInstruction(), compileIf(), compileWhile(), handleFunctionCall(), and handleShortcircuit().

◆ m_locals_locator

LocalsLocator Ark::internal::ASTLowerer::m_locals_locator

private

Definition at line 119 of file ASTLowerer.hpp.

Referenced by compileFunction(), compileIf(), compileLetMutSet(), compileSymbol(), and compileWhile().

◆ m_opened_vars

std::stack<Var> Ark::internal::ASTLowerer::m_opened_vars

private

stack of vars we are currently declaring

Definition at line 128 of file ASTLowerer.hpp.

Referenced by compileFunction(), compileLetMutSet(), and handleFunctionCall().

◆ m_start_page_at_offset

std::size_t Ark::internal::ASTLowerer::m_start_page_at_offset = 0

private

Used to offset the page numbers when compiling code in the debugger.

Definition at line 124 of file ASTLowerer.hpp.

Referenced by offsetPagesBy().

◆ m_symbols

std::vector<std::string> Ark::internal::ASTLowerer::m_symbols

private

Definition at line 122 of file ASTLowerer.hpp.

Referenced by addSymbol(), addToTables(), and symbols().

◆ m_temp_pages

std::vector<IR::Block> Ark::internal::ASTLowerer::m_temp_pages

private

we need temporary code pages for some compilations passes

Definition at line 126 of file ASTLowerer.hpp.

Referenced by handleFunctionCall().

◆ m_values

std::vector<ValTableElem> Ark::internal::ASTLowerer::m_values

private

Definition at line 123 of file ASTLowerer.hpp.

Referenced by addToTables(), addValue(), addValue(), and values().

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

/Users/fola/Documents/ArkScript/Ark/include/Ark/Compiler/Lowerer/ASTLowerer.hpp
/Users/fola/Documents/ArkScript/Ark/src/arkreactor/Compiler/Lowerer/ASTLowerer.cpp

Classes

Public Member Functions

Private Types

Private Member Functions

Static Private Member Functions

Private Attributes

Additional Inherited Members

Detailed Description

Member Enumeration Documentation

◆ ErrorKind

Constructor & Destructor Documentation

◆ ASTLowerer()

Member Function Documentation

◆ addSymbol()

◆ addToTables()

◆ addValue() [1/2]

◆ addValue() [2/2]

◆ block()

◆ buildAndThrowError()

◆ compileApplyInstruction()

◆ compileExpression()

◆ compileFunction()

◆ compileIf()

◆ compileLetMutSet()

◆ compileListInstruction()

◆ compilePluginImport()

◆ compileSymbol()

◆ compileWhile()

◆ createNewCodePage()

◆ getBuiltin()

◆ getListInstruction()

◆ getOperator()

◆ handleCalls()

◆ handleFunctionCall()

◆ handleOperator()

◆ handleShortcircuit()

◆ intermediateRepresentation()

◆ isBreakpoint()

◆ isFunctionCallingItself()

◆ isRepeatableOperation()

◆ isTernaryInst()

◆ isUnaryInst()

◆ lastLabel()

◆ makeError()

◆ nodeProducesOutput()

◆ offsetPagesBy()

◆ page()

◆ process()

◆ pushFunctionCallArguments()

◆ setFunctionMetadata()

◆ symbols()

◆ values()

◆ warning()

Member Data Documentation

◆ m_code_pages

◆ m_current_label

◆ m_locals_locator

◆ m_opened_vars

◆ m_start_page_at_offset

◆ m_symbols

◆ m_temp_pages

◆ m_values