A class to handle the VM scope more efficiently. More...

#include <ScopeView.hpp>

Collaboration diagram for Ark::internal::ScopeView:

Public Types
using	pair_t = std::pair<uint16_t, Value>

Public Member Functions
	ScopeView ()=delete
	Deleted constructor to avoid creating ScopeViews pointing to nothing. Helps catch bugs at compile time.

ARK_ALWAYS_INLINE	ScopeView (pair_t *storage, const std::size_t start) noexcept
	Create a new ScopeView.

ARK_ALWAYS_INLINE void	pushBack (uint16_t id, Value &&val) noexcept
	Put a value in the scope.

ARK_ALWAYS_INLINE void	pushBack (uint16_t id, const Value &val) noexcept
	Put a value in the scope.

void	insertFront (const std::vector< pair_t > &values) noexcept
	Insert one or more pairs at the beginning of the scope.

ARK_ALWAYS_INLINE bool	maybeHas (const uint16_t id) const noexcept
	Check if the scope maybe holds a specific symbol in memory.

ARK_ALWAYS_INLINE Value *	operator[] (const uint16_t id_to_look_for) noexcept
	Get a value from its symbol id.

ARK_ALWAYS_INLINE const Value *	operator[] (const uint16_t id_to_look_for) const noexcept
	Get a value from its symbol id.

uint16_t	idFromValue (const Value &val) const noexcept
	Get the id of a variable based on its value ; used for debug only.

ARK_ALWAYS_INLINE const pair_t &	atPos (const std::size_t i) const noexcept
	Return the element at index in scope.

ARK_ALWAYS_INLINE pair_t &	atPosReverse (const std::size_t i) const noexcept
	Return the element at index, starting from the end.

ARK_ALWAYS_INLINE void	reset () noexcept
	Reset size, min and max id for the scope, to signify it's empty.

ARK_ALWAYS_INLINE std::size_t	size () const noexcept
	Return the size of the scope.

ARK_ALWAYS_INLINE std::size_t	storageEnd () const noexcept
	Compute the position of the first free slot in the shared storage, after this scope.

Private Attributes
pair_t *	m_storage

std::size_t	m_start

std::size_t	m_size

uint16_t	m_min_id
	Minimum stored ID, used for a basic bloom filter.

uint16_t	m_max_id
	Maximum stored ID, used for a basic bloom filter.

Friends
class	Ark::VM

ARK_API bool	operator== (const ScopeView &A, const ScopeView &B)

Detailed Description

A class to handle the VM scope more efficiently.

Definition at line 26 of file ScopeView.hpp.

Member Typedef Documentation

◆ pair_t

using Ark::internal::ScopeView::pair_t = std::pair<uint16_t, Value>

Definition at line 29 of file ScopeView.hpp.

Constructor & Destructor Documentation

◆ ScopeView() [1/2]

Ark::internal::ScopeView::ScopeView ( )

delete

Deleted constructor to avoid creating ScopeViews pointing to nothing. Helps catch bugs at compile time.

◆ ScopeView() [2/2]

ARK_ALWAYS_INLINE Ark::internal::ScopeView::ScopeView	(	pair_t *	storage,
		const std::size_t	start )

inlinenoexcept

Create a new ScopeView.

Parameters

storage	pointer to the shared scope storage
start	first free starting position

Definition at line 42 of file ScopeView.hpp.

Member Function Documentation

◆ atPos()

ARK_ALWAYS_INLINE const pair_t & Ark::internal::ScopeView::atPos ( const std::size_t i ) const

inlinenodiscardnoexcept

Return the element at index in scope.

Returns: const pair_t&

Definition at line 153 of file ScopeView.hpp.

Referenced by Ark::VM::backtrace().

◆ atPosReverse()

ARK_ALWAYS_INLINE pair_t & Ark::internal::ScopeView::atPosReverse ( const std::size_t i ) const

inlinenodiscardnoexcept

Return the element at index, starting from the end.

Returns: const pair_t&

Definition at line 163 of file ScopeView.hpp.

Referenced by Ark::internal::Debugger::showLocals().

◆ idFromValue()

uint16_t Ark::internal::ScopeView::idFromValue ( const Value & val ) const

nodiscardnoexcept

Get the id of a variable based on its value ; used for debug only.

Parameters

val

Returns: uint16_t

Definition at line 37 of file ScopeView.cpp.

References Ark::MaxValue16Bits.

◆ insertFront()

void Ark::internal::ScopeView::insertFront ( const std::vector< pair_t > & values )

noexcept

Insert one or more pairs at the beginning of the scope.

This can ONLY be called on the last known scope, otherwise it will override the data of the next scope!

Parameters

values

Definition at line 7 of file ScopeView.cpp.

References Ark::Reference.

◆ maybeHas()

ARK_ALWAYS_INLINE bool Ark::internal::ScopeView::maybeHas ( const uint16_t id ) const

inlinenodiscardnoexcept

Check if the scope maybe holds a specific symbol in memory.

Parameters

id	The id of the symbol

Returns: true On success; false Otherwise

Definition at line 95 of file ScopeView.hpp.

◆ operator[]() [1/2]

ARK_ALWAYS_INLINE const Value * Ark::internal::ScopeView::operator[] ( const uint16_t id_to_look_for ) const

inlinenodiscardnoexcept

Get a value from its symbol id.

Parameters

id_to_look_for

Returns: const Value* Returns nullptr if the value can not be found

Definition at line 126 of file ScopeView.hpp.

◆ operator[]() [2/2]

ARK_ALWAYS_INLINE Value * Ark::internal::ScopeView::operator[] ( const uint16_t id_to_look_for )

inlinenodiscardnoexcept

Get a value from its symbol id.

Parameters

id_to_look_for

Returns: Value* Returns nullptr if the value can not be found

Definition at line 106 of file ScopeView.hpp.

◆ pushBack() [1/2]

ARK_ALWAYS_INLINE void Ark::internal::ScopeView::pushBack	(	uint16_t	id,
		const Value &	val )

inlinenoexcept

Put a value in the scope.

Parameters

id	The symbol id of the variable
val	The value linked to the symbol

Definition at line 69 of file ScopeView.hpp.

◆ pushBack() [2/2]

ARK_ALWAYS_INLINE void Ark::internal::ScopeView::pushBack	(	uint16_t	id,
		Value &&	val )

inlinenoexcept

Put a value in the scope.

Parameters

id	The symbol id of the variable
val	The value linked to the symbol

Definition at line 52 of file ScopeView.hpp.

Referenced by Ark::internal::ClosureScope::mergeRefInto().

◆ reset()

ARK_ALWAYS_INLINE void Ark::internal::ScopeView::reset ( )

inlinenoexcept

Reset size, min and max id for the scope, to signify it's empty.

Definition at line 171 of file ScopeView.hpp.

References Ark::MaxValue16Bits.

◆ size()

ARK_ALWAYS_INLINE std::size_t Ark::internal::ScopeView::size ( ) const

inlinenodiscardnoexcept

Return the size of the scope.

Returns: const std::size_t

Definition at line 183 of file ScopeView.hpp.

Referenced by Ark::VM::backtrace(), and Ark::internal::Debugger::showLocals().

◆ storageEnd()

ARK_ALWAYS_INLINE std::size_t Ark::internal::ScopeView::storageEnd ( ) const

inlinenodiscardnoexcept

Compute the position of the first free slot in the shared storage, after this scope.

Returns: std::size_t

Definition at line 193 of file ScopeView.hpp.

Friends And Related Symbol Documentation

◆ Ark::VM

friend class Ark::VM

friend

Definition at line 200 of file ScopeView.hpp.

◆ operator==

ARK_API bool operator==	(	const ScopeView &	A,
		const ScopeView &	B )

friend

Definition at line 48 of file ScopeView.cpp.

Member Data Documentation

◆ m_max_id

uint16_t Ark::internal::ScopeView::m_max_id

private

Maximum stored ID, used for a basic bloom filter.

Definition at line 207 of file ScopeView.hpp.

◆ m_min_id

uint16_t Ark::internal::ScopeView::m_min_id

private

Minimum stored ID, used for a basic bloom filter.

Definition at line 206 of file ScopeView.hpp.

◆ m_size

std::size_t Ark::internal::ScopeView::m_size

private

Definition at line 205 of file ScopeView.hpp.

◆ m_start

std::size_t Ark::internal::ScopeView::m_start

private

Definition at line 204 of file ScopeView.hpp.

◆ m_storage

pair_t* Ark::internal::ScopeView::m_storage

private

Definition at line 203 of file ScopeView.hpp.

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

/Users/fola/Documents/ArkScript/Ark/include/Ark/VM/ScopeView.hpp
/Users/fola/Documents/ArkScript/Ark/src/arkreactor/VM/ScopeView.cpp

Public Types

Public Member Functions

Private Attributes

Friends

Detailed Description

Member Typedef Documentation

◆ pair_t

Constructor & Destructor Documentation

◆ ScopeView() [1/2]

◆ ScopeView() [2/2]

Member Function Documentation

◆ atPos()

◆ atPosReverse()

◆ idFromValue()

◆ insertFront()

◆ maybeHas()

◆ operator[]() [1/2]

◆ operator[]() [2/2]

◆ pushBack() [1/2]

◆ pushBack() [2/2]

◆ reset()

◆ size()

◆ storageEnd()

Friends And Related Symbol Documentation

◆ Ark::VM

◆ operator==

Member Data Documentation

◆ m_max_id

◆ m_min_id

◆ m_size

◆ m_start

◆ m_storage