Skip List based implementation of the map interface. More...

#include <maps.h>

Inheritance diagram for original::JMap< K_TYPE, V_TYPE, Compare, ALLOC >:

Collaboration diagram for original::JMap< K_TYPE, V_TYPE, Compare, ALLOC >:

Classes
class	Iterator
	Forward iterator for JMap. More...

Public Member Functions
	JMap (Compare comp=Compare{}, ALLOC alloc=ALLOC{})
	Constructs empty JMap.

	JMap (const JMap &other)
	Copy constructor.

JMap &	operator= (const JMap &other)
	Copy assignment operator.

	JMap (JMap &&other) noexcept
	Move constructor.

JMap &	operator= (JMap &&other) noexcept
	Move assignment operator.

void	swap (JMap &other) noexcept
	Swaps contents with another JMap.

u_integer	size () const override
	Gets number of elements.

bool	contains (const couple< const K_TYPE, V_TYPE > &e) const override
	Checks if key-value pair exists.

bool	add (const K_TYPE &k, const V_TYPE &v) override
	Adds new key-value pair.

bool	remove (const K_TYPE &k) override
	Removes key-value pair.

bool	containsKey (const K_TYPE &k) const override
	Checks if key exists.

V_TYPE	get (const K_TYPE &k) const override
	Gets value for key.

bool	update (const K_TYPE &key, const V_TYPE &value) override
	Updates value for existing key.

const V_TYPE &	operator[] (const K_TYPE &k) const override
	Const element access.

V_TYPE &	operator[] (const K_TYPE &k) override
	Non-const element access.

Iterator *	begins () const override
	Gets begin iterator.

Iterator *	ends () const override
	Gets end iterator.

std::string	className () const override
	Gets class name.

std::string	toString (bool enter) const override
	Converts to string representation.

	~JMap () override
	Destructor.

Public Member Functions inherited from original::iterable< couple< const K_TYPE, V_TYPE > >
iterAdaptor	begin ()
	Returns an iterator adapter pointing to the beginning of the container.

iterAdaptor	begin () const
	Returns a const iterator adapter pointing to the beginning of the container.

iterAdaptor	end ()
	Returns an iterator adapter pointing to the end sentinel of the container.

iterAdaptor	end () const
	Returns a const iterator adapter pointing to the end sentinel of the container.

iterAdaptor	first ()
	Returns an iterator adapter pointing to the first element.

iterAdaptor	first () const
	Returns a const iterator adapter pointing to the first element.

iterAdaptor	last ()
	Returns an iterator adapter pointing to the last element.

iterAdaptor	last () const
	Returns a const iterator adapter pointing to the last element.

void	forEach (Callback operation=Callback{})
	Applies a given operation to each element in the iterable container.

void	forEach (const Callback &operation=Callback{}) const
	Applies a given operation to each element in the iterable container (const version).

auto	forEach (Callback operation) -> void

auto	forEach (const Callback &operation) const -> void

coroutine::generator< T >	generator () const
	Creates a coroutine generator that yields elements from this container.

Public Member Functions inherited from original::printable
	operator std::string () const
	Explicit conversion to std::string.

	operator const char * () const
	Explicit conversion to C-style string.

const char *	toCString (bool enter) const
	Direct C-string access with formatting control.

template<typename TYPE >
auto	formatString (const TYPE &t) -> std::string

template<typename TYPE >
auto	formatCString (const TYPE &t) -> const char *

template<typename TYPE >
auto	formatEnum (const TYPE &t) -> std::string

template<typename TYPE >
auto	formatString (TYPE *const &ptr) -> std::string

Friends
class	Iterator

Additional Inherited Members
Public Types inherited from original::iterable< couple< const K_TYPE, V_TYPE > >
using	T = std::remove_const_t< couple< const K_TYPE, V_TYPE > >

Static Public Member Functions inherited from original::printable
template<typename TYPE >
static std::string	formatString (const TYPE &t)
	Universal value-to-string conversion with type-specific formatting.

template<Printable TYPE>
static std::string	formatString (const TYPE &t)
	Specialization for types deriving from printable.

template<EnumType TYPE>
static std::string	formatString (const TYPE &t)
	Specialization for enum types with type-safe formatting.

template<typename TYPE >
static std::string	formatString (TYPE *const &ptr)
	Pointer-specific formatting with null safety.

template<typename TYPE >
static const char *	formatCString (const TYPE &t)
	C-string cache for temporary usage with static storage.

template<typename TYPE >
static std::string	formatEnum (const TYPE &t)
	Enum formatting utility with underlying value extraction.

template<>
auto	formatString (const char &t) -> std::string

template<>
auto	formatString (const bool &t) -> std::string

template<>
auto	formatString (const char *const &ptr) -> std::string

Detailed Description

template<typename K_TYPE, typename V_TYPE, typename Compare = increaseComparator<K_TYPE>, typename ALLOC = allocator<couple<const K_TYPE, V_TYPE>>>
class original::JMap< K_TYPE, V_TYPE, Compare, ALLOC >

Skip List based implementation of the map interface.

Template Parameters

K_TYPE	Key type (must be comparable)
V_TYPE	Value type
Compare	Comparison function type (default: increaseComparator<K_TYPE>)
ALLOC	Allocator type (default: allocator<couple<const K_TYPE, V_TYPE>>)

This class provides a concrete implementation of the map interface using a probabilistic skip list. It combines the functionality of:

map (interface)
skipList (storage)
iterable (iteration support)

Performance Characteristics:

Insertion: Average O(log n), Worst O(n)
Lookup: Average O(log n), Worst O(n)
Deletion: Average O(log n), Worst O(n)

The implementation guarantees:

Elements sorted by key according to comparator
Unique keys (no duplicates)
Type safety
Exception safety (basic guarantee)
Iterator validity unless modified

Constructor & Destructor Documentation

◆ JMap() [1/3]

template<typename K_TYPE , typename V_TYPE , typename Compare , typename ALLOC >

original::JMap< K_TYPE, V_TYPE, Compare, ALLOC >::JMap	(	Compare	comp = `Compare{}`,
		ALLOC	alloc = `ALLOC{}`
	)

explicit

Constructs empty JMap.

Parameters

comp	Comparison function to use
alloc	Allocator to use

◆ JMap() [2/3]

template<typename K_TYPE , typename V_TYPE , typename Compare , typename ALLOC >

original::JMap< K_TYPE, V_TYPE, Compare, ALLOC >::JMap ( const JMap< K_TYPE, V_TYPE, Compare, ALLOC > & other )

Copy constructor.

Parameters

other JMap to copy

Performs deep copy of all elements and skip list structure

Note: Allocator is copied if propagate_on_container_copy_assignment is true

◆ JMap() [3/3]

template<typename K_TYPE , typename V_TYPE , typename Compare , typename ALLOC >

original::JMap< K_TYPE, V_TYPE, Compare, ALLOC >::JMap ( JMap< K_TYPE, V_TYPE, Compare, ALLOC > && other )

noexcept

Move constructor.

Parameters

other JMap to move from

Transfers ownership of resources from other

Note: Leaves other in valid but unspecified state

◆ ~JMap()

template<typename K_TYPE , typename V_TYPE , typename Compare , typename ALLOC >

original::JMap< K_TYPE, V_TYPE, Compare, ALLOC >::~JMap ( )

overridedefault

Destructor.

Cleans up all skip list nodes and allocated memory

Member Function Documentation

◆ add()

template<typename K_TYPE , typename V_TYPE , typename Compare , typename ALLOC >

bool original::JMap< K_TYPE, V_TYPE, Compare, ALLOC >::add	(	const K_TYPE &	k,
		const V_TYPE &	v
	)

override

Adds new key-value pair.

Parameters

k	Key to add
v	Value to associate

Returns: true if added, false if key existed

◆ begins()

template<typename K_TYPE , typename V_TYPE , typename Compare , typename ALLOC >

original::JMap< K_TYPE, V_TYPE, Compare, ALLOC >::Iterator * original::JMap< K_TYPE, V_TYPE, Compare, ALLOC >::begins ( ) const

overridevirtual

Gets begin iterator.

Returns: New iterator at first element (minimum key)

Implements original::iterable< couple< const K_TYPE, V_TYPE > >.

◆ className()

template<typename K_TYPE , typename V_TYPE , typename Compare , typename ALLOC >

std::string original::JMap< K_TYPE, V_TYPE, Compare, ALLOC >::className ( ) const

overridevirtual

Gets class name.

Returns: "JMap"

Reimplemented from original::printable.

◆ contains()

template<typename K_TYPE , typename V_TYPE , typename Compare , typename ALLOC >

bool original::JMap< K_TYPE, V_TYPE, Compare, ALLOC >::contains ( const couple< const K_TYPE, V_TYPE > & e ) const

override

Checks if key-value pair exists.

Parameters

e	Pair to check

Returns: true if both key exists and value matches

◆ containsKey()

template<typename K_TYPE , typename V_TYPE , typename Compare , typename ALLOC >

bool original::JMap< K_TYPE, V_TYPE, Compare, ALLOC >::containsKey ( const K_TYPE & k ) const

override

Checks if key exists.

Parameters

k	Key to check

Returns: true if key exists

◆ ends()

template<typename K_TYPE , typename V_TYPE , typename Compare , typename ALLOC >

original::JMap< K_TYPE, V_TYPE, Compare, ALLOC >::Iterator * original::JMap< K_TYPE, V_TYPE, Compare, ALLOC >::ends ( ) const

overridevirtual

Gets end iterator.

Returns: New iterator at last element (maximum key)

Implements original::iterable< couple< const K_TYPE, V_TYPE > >.

◆ get()

template<typename K_TYPE , typename V_TYPE , typename Compare , typename ALLOC >

V_TYPE original::JMap< K_TYPE, V_TYPE, Compare, ALLOC >::get ( const K_TYPE & k ) const

override

Gets value for key.

Parameters

k	Key to lookup

Returns: Associated value

Exceptions

noElementError if key doesn't exist

◆ operator=() [1/2]

template<typename K_TYPE , typename V_TYPE , typename Compare , typename ALLOC >

original::JMap< K_TYPE, V_TYPE, Compare, ALLOC > & original::JMap< K_TYPE, V_TYPE, Compare, ALLOC >::operator= ( const JMap< K_TYPE, V_TYPE, Compare, ALLOC > & other )

Copy assignment operator.

Parameters

other JMap to copy

Returns: Reference to this JMap

Performs deep copy of all elements and skip list structure

Note: Allocator is copied if propagate_on_container_copy_assignment is true

◆ operator=() [2/2]

template<typename K_TYPE , typename V_TYPE , typename Compare , typename ALLOC >

original::JMap< K_TYPE, V_TYPE, Compare, ALLOC > & original::JMap< K_TYPE, V_TYPE, Compare, ALLOC >::operator= ( JMap< K_TYPE, V_TYPE, Compare, ALLOC > && other )

noexcept

Move assignment operator.

Parameters

other JMap to move from

Returns: Reference to this JMap

Transfers ownership of resources from other

Note: Leaves other in valid but unspecified state; Allocator is moved if propagate_on_container_move_assignment is true

◆ operator[]() [1/2]

template<typename K_TYPE , typename V_TYPE , typename Compare , typename ALLOC >

const V_TYPE & original::JMap< K_TYPE, V_TYPE, Compare, ALLOC >::operator[] ( const K_TYPE & k ) const

override

Const element access.

Parameters

k	Key to access

Returns: const reference to value

Exceptions

noElementError if key doesn't exist

◆ operator[]() [2/2]

template<typename K_TYPE , typename V_TYPE , typename Compare , typename ALLOC >

V_TYPE & original::JMap< K_TYPE, V_TYPE, Compare, ALLOC >::operator[] ( const K_TYPE & k )

override

Non-const element access.

Parameters

k	Key to access

Returns: reference to value

Note: Inserts default-constructed value if key doesn't exist

◆ remove()

template<typename K_TYPE , typename V_TYPE , typename Compare , typename ALLOC >

bool original::JMap< K_TYPE, V_TYPE, Compare, ALLOC >::remove ( const K_TYPE & k )

override

Removes key-value pair.

Parameters

k	Key to remove

Returns: true if removed, false if key didn't exist

◆ size()

template<typename K_TYPE , typename V_TYPE , typename Compare , typename ALLOC >

original::u_integer original::JMap< K_TYPE, V_TYPE, Compare, ALLOC >::size ( ) const

override

Gets number of elements.

Returns: Current size

◆ swap()

template<typename K_TYPE , typename V_TYPE , typename Compare , typename ALLOC >

void original::JMap< K_TYPE, V_TYPE, Compare, ALLOC >::swap ( JMap< K_TYPE, V_TYPE, Compare, ALLOC > & other )

noexcept

Swaps contents with another JMap.

Parameters

other JMap to swap with

Note: No-throw guarantee if element swap and allocator swap are noexcept

Efficiently exchanges all internal resources between two JMaps:

Head nodes of the skip lists (entire multi-level structures)
Size counters
Comparison function instances
Allocators (if ALLOC::propagate_on_container_swap::value is true)

Performance: O(1) - pointer and integer swaps only, no node reconstruction Memory: No additional memory allocation during swap Iterator Invalidation: All iterators from both maps are invalidated

Allocator Handling:

If ALLOC::propagate_on_container_swap::value is true, allocators are swapped
Otherwise, each skip list retains its original allocator
Behavior designed for consistency with other map implementations

Warning: All existing iterators, pointers, and references to elements in both containers are invalidated by this operation

Note: The skip list level structures and ordering are preserved in both maps

See also: std::swap For the standard swap algorithm; JMap::operator= For copy and move assignment alternatives

◆ toString()

template<typename K_TYPE , typename V_TYPE , typename Compare , typename ALLOC >

std::string original::JMap< K_TYPE, V_TYPE, Compare, ALLOC >::toString ( bool enter ) const

overridevirtual

Converts to string representation.

Parameters

enter Add newline if true

Returns: String representation of key-value pairs

Reimplemented from original::printable.

◆ update()

template<typename K_TYPE , typename V_TYPE , typename Compare , typename ALLOC >

bool original::JMap< K_TYPE, V_TYPE, Compare, ALLOC >::update	(	const K_TYPE &	key,
		const V_TYPE &	value
	)

override

Updates value for existing key.

Parameters

key	Key to update
value	New value

Returns: true if updated, false if key didn't exist

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

src/core/maps.h

Classes

Public Member Functions

Friends

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ JMap() [1/3]

◆ JMap() [2/3]

◆ JMap() [3/3]

◆ ~JMap()

Member Function Documentation

◆ add()

◆ begins()

◆ className()

◆ contains()

◆ containsKey()

◆ ends()

◆ get()

◆ operator=() [1/2]

◆ operator=() [2/2]

◆ operator[]() [1/2]

◆ operator[]() [2/2]

◆ remove()

◆ size()

◆ swap()

◆ toString()

◆ update()