An implementation of index_space_interval for an interval of explicit id spaces. More...

#include <explicit_index_space_interval.h>

Inheritance diagram for sheaf::explicit_index_space_interval:

Public Member Functions
virtual const std::string &	class_name () const
	The name of this class. More...

virtual explicit_index_space_interval *	clone () const
	Virtual constructor; create a new instance of the same type at this. More...

Public Member Functions inherited from sheaf::index_space_interval
virtual	~index_space_interval ()
	Destructor. More...

pod_type	begin () const
	Beginning space id of this interval in the id space family scope. More...

pod_type	end () const
	Ending space id of this interval in the id space family scope. More...

bool	in_bounds (pod_type xspace_id) const
	True if id xspace_id is in the bounds [begin(), end()). More...

virtual const index_space_family &	id_spaces () const
	The id space family for this (const version). More...

virtual index_space_family &	id_spaces ()
	The id space family for this (mutable version). More...

virtual bool	contains (pod_type xlocal_id) const
	True if this collection contains the id space with local id xlocal_id. More...

virtual bool	contains_family (pod_type xspace_id) const
	True if this collection contains the id space with family id xspace_id. More...

virtual pod_type	local_scope (pod_type xspace_id) const
	Id relative to this collection equivalent to the id space family id xspace_id. More...

virtual pod_type	family_scope (pod_type xlocal_id) const
	Id relative to the id space family equivalent to the local id xlocal_id. More...

Public Member Functions inherited from sheaf::index_space_collection
virtual	~index_space_collection ()
	Destructor. More...

virtual pod_type	local_scope (pod_type xspace_id) const =0
	Id relative to this collection equivalent to the id space family id xspace_id. More...

virtual pod_type	family_scope (pod_type xlocal_id) const =0
	Id relative to the id space family equivalent to the local id xlocal_id. More...

const hub_index_space_handle &	hub_id_space () const
	The hub id space. More...

bool	is_empty (pod_type xlocal_id) const
	True if there are no ids in the space with id xlocal_id. More...

bool	is_gathered (pod_type xlocal_id) const
	True if begin(xlocal_id) == 0 and end(xlocal_id) == ct(xlocal_id). More...

bool	contains (pod_type xlocal_id, const scoped_index &xid) const
	True if the space with id xlocal_id contains an id equivalent to xid. synonym for contains_hub(xlocal_id, xid.hub_pod()). More...

bool	contains_hub (pod_type xlocal_id, pod_type xid) const
	True if the space with id xlocal_id contains an id equivalent to xid in the hub id space. synonym for contains_unglued_hub(xlocal_id, xid) More...

bool	contains_glued_hub (pod_type xlocal_id, pod_type xid) const
	True if the space with id xlocal_id contains an id equivalent to xid in the glued hub id space. More...

bool	contains (pod_type xlocal_id, pod_type xid, const scoped_index &xhub_id) const
	True if the space with id xlocal_id contains an id xid equivalent to xhub_id in the hub id space. synonym for contains(xlocal_id, xid, xhub_id.hub_pod()). More...

pod_type	pod (pod_type xlocal_id, const scoped_index &xid) const
	The pod index in the space with id xlocal_id equivalent to xid. synonym for pod(xlocal_id, id.hub_pod()). More...

pod_type	hub_pod (pod_type xlocal_id, pod_type xid) const
	The pod index in the glued hub id space equivalent to xid in the id space with id xlocal_id. synonym for unglued_hub_pod(xlocal_id, xid). More...

pod_type	glued_hub_pod (pod_type xlocal_id, pod_type xid) const
	The pod index in the unglued hub id space equivalent to xid in the id space with id xlocal_id. More...

Public Member Functions inherited from sheaf::any
bool	is_same_type (const any *other) const
	True if other is the same type as this. More...

virtual	~any ()
	Destructor. More...

bool	invariant_check () const
	True if invariant checking is enabled. More...

void	enable_invariant_check () const
	Enable invariant checking. More...

void	disable_invariant_check () const
	Disable invariant check. Intended for preventing recursive calls to invariant and for suppressing invariant checking during multi-phase initialization. More...

int	disable_invariance_check_request_depth () const
	Number of times disable_invariant_check has been called without matching call to enable_invariant_check. More...

Friends
class	namespace_poset

SHEAF_DLL_SPEC size_t	deep_size (const explicit_index_space_interval &xn, bool xinclude_shallow)
	The deep size of explicit_index_space_interval& xn. More...

SPACE FACTORY FACET
static const explicit_index_space_interval &	new_space (index_space_family &xid_spaces, size_type xub)
	Create a new interval of id spaces for explicit id spaces in the id space family xid_spaces with upper bound xub. Return a reference to the id space interval. More...

EXPLICIT_INDEX_SPACE_INTERVAL FACET
typedef auto_block< explicit_index_space_state , zero_block_initialization_policy< explicit_index_space_state > >	explicit_states_type
	Type of the explicit state block. More...

explicit_states_type	_states
	The block of explicit_index_space_state. More...

virtual	~explicit_index_space_interval ()
	Destructor. More...

void	insert (explicit_index_space_state &xid_space)
	Insert the explicit id space xid_space into this interval. More...

	explicit_index_space_interval ()
	Default constructor. More...

	explicit_index_space_interval (const explicit_index_space_interval &xother)
	Copy constructor; disabled. More...

INDEX_SPACE_INTERVAL FACET
virtual bool	supports_persistent_id_spaces () const
	True, if this interval supports persistent id spaces. More...

INDEX_SPACE_COLLECTION FACET
virtual bool	operator== (const index_space_collection &xother) const
	True if this is equivalent to xother. More...

virtual bool	contains (pod_type xlocal_id) const
	True if this collection contains the id space with local id xlocal_id. More...

virtual bool	contains_family (pod_type xspace_id) const
	True if this collection contains the id space with family id xspace_id. More...

virtual size_type	deep_size (bool xinclude_shallow) const
	The deep size of this. More...

virtual explicit_index_space_interval &	operator= (const index_space_collection &xother)
	Assignment operator. More...

virtual explicit_index_space_state *	explicit_state (pod_type xlocal_id) const
	The explicit id space state for id xlocal_id. Returns null if there is no explicit id space for xlocal_id. More...

INDEX SPACE FACET
virtual void	remove (pod_type xlocal_id)
	Remove the id space with id xlocal_id. More...

virtual size_type	ct (pod_type xlocal_id) const
	The number of members for the id space with id xlocal_id. More...

virtual pod_type	begin (pod_type xlocal_id) const
	Beginning id of the space with id xlocal_id. More...

virtual pod_type	end (pod_type xlocal_id) const
	Ending id of the space with id xlocal_id. More...

virtual bool	contains (pod_type xlocal_id, pod_type xid) const
	True if the space with id xlocal_id contains id xid. More...

virtual bool	contains_unglued_hub (pod_type xlocal_id, pod_type xid) const
	True if the space with id xlocal_id contains an id equivalent to xid in the unglued hub id space. More...

virtual bool	contains (pod_type xlocal_id, pod_type xid, pod_type xhub_id) const
	True if the space with id xlocal_id contains an id xid equivalent to xhub_id in the hub id space. More...

virtual pod_type	pod (pod_type xlocal_id, pod_type xid) const
	The pod index in the space with id xlocal_id equivalent to xid in the hub id space. More...

virtual pod_type	unglued_hub_pod (pod_type xlocal_id, pod_type xid) const
	The pod index in the unglued hub id space equivalent to xid in the id space with id xlocal_id. More...

virtual bool	is_persistent (pod_type xlocal_id) const
	True if the id space with id xlocal_id should be written to disk. More...

PRODUCT STRUCTURE FACET
virtual void	new_product_structure (pod_type xlocal_id, const abstract_product_structure &xproduct)
	Creates a new product structure for the id space with id xlocal_id by cloning the product structure, xproduct. More...

virtual void	delete_product_structure (pod_type xlocal_id)
	Deletes the product structure for the id space with id xlocal_id. More...

virtual const abstract_product_structure &	product_structure (pod_type xlocal_id) const
	The product structure for the id space with id xlocal_id (const version). More...

virtual abstract_product_structure &	product_structure (pod_type xlocal_id)
	The product structure for the id space with id xlocal_id (mutable version). More...

virtual bool	has_product_structure (pod_type xlocal_id) const
	True if the id space with id xlocal_id has a product structure. More...

HANDLE POOL FACET
virtual index_space_handle &	get_id_space (pod_type xlocal_id) const
	Allocates an id space handle from the handle pool attached to state with id xlocal_id. More...

virtual void	release_id_space (index_space_handle &xid_space) const
	Returns the id space handle xid_space to the handle pool. More...

virtual bool	allocated_id_space (const index_space_handle &xid_space) const
	True if and only if id space handle xid_space was allocated by the handle pool. More...

ITERATOR POOL FACET
virtual index_space_iterator &	get_id_space_iterator (pod_type xlocal_id) const
	Allocates an id space iterator from the iterator pool attached to state with id xlocal_id. More...

virtual void	release_id_space_iterator (index_space_iterator &xitr) const
	Returns the id space iterator xitr to the iterator pool. More...

virtual bool	allocated_id_space_iterator (const index_space_iterator &xitr) const
	True if and only if id space iterator xitr was allocated by the iterator pool. More...

ANY FACET
virtual bool	is_ancestor_of (const any *other) const
	Conformance test; true if other conforms to this. More...

virtual bool	invariant () const
	Class invariant. More...

Additional Inherited Members
Public Types inherited from sheaf::index_space_collection
typedef pod_index_type	pod_type
	The "plain old data" index type for this. More...

Static Public Member Functions inherited from sheaf::index_space_interval
static factory< index_space_interval > &	id_space_interval_factory ()
	A factory for making descendants of this class. More...

Protected Member Functions inherited from sheaf::index_space_interval
	index_space_interval ()
	Default constructor. More...

	index_space_interval (const index_space_interval &xother)
	Copy constructor; disabled. More...

void	new_state (index_space_family &xid_spaces, size_type xub)
	Create a new id space interval in the id space family xid_spaces with upper bound xub. More...

Protected Member Functions inherited from sheaf::index_space_collection
	index_space_collection ()
	Default constructor. More...

	index_space_collection (const index_space_collection &xother)
	Copy constructor; disabled. More...

Protected Member Functions inherited from sheaf::any
	any ()
	default constructor More...

Protected Attributes inherited from sheaf::index_space_interval
pod_type	_begin
	Beginning space id of this interval in the id space family scope. More...

pod_type	_end
	Ending space id of this interval in the id space family scope. More...

index_space_family *	_id_spaces
	The index space family of this collection. More...

Detailed Description

An implementation of index_space_interval for an interval of explicit id spaces.

Definition at line 45 of file explicit_index_space_interval.h.

Member Typedef Documentation

◆ explicit_states_type

typedef auto_block<explicit_index_space_state*, zero_block_initialization_policy<explicit_index_space_state*> > sheaf::explicit_index_space_interval::explicit_states_type

protected

Type of the explicit state block.

Definition at line 96 of file explicit_index_space_interval.h.

Constructor & Destructor Documentation

◆ ~explicit_index_space_interval()

sheaf::explicit_index_space_interval::~explicit_index_space_interval ( )

virtual

Destructor.

Definition at line 80 of file explicit_index_space_interval.cc.

References _states, insert(), and sheaf::auto_block< T, S >::ub().

Referenced by new_space().

◆ explicit_index_space_interval() [1/2]

sheaf::explicit_index_space_interval::explicit_index_space_interval ( )

protected

Default constructor.

Postcondition

invariant()

Definition at line 128 of file explicit_index_space_interval.cc.

References invariant(), and supports_persistent_id_spaces().

Referenced by clone(), insert(), and new_space().

◆ explicit_index_space_interval() [2/2]

sheaf::explicit_index_space_interval::explicit_index_space_interval ( const explicit_index_space_interval & xother )

inlineprotected

Copy constructor; disabled.

Definition at line 106 of file explicit_index_space_interval.h.

References sheaf::index_space_interval::begin(), sheaf::index_space_interval::contains(), sheaf::deep_size(), sheaf::index_space_interval::end(), and sheaf::operator==().

Member Function Documentation

◆ allocated_id_space()

bool sheaf::explicit_index_space_interval::allocated_id_space ( const index_space_handle & xid_space ) const

virtual

True if and only if id space handle xid_space was allocated by the handle pool.

Postcondition

is_basic_query

Implements sheaf::index_space_collection.

Definition at line 771 of file explicit_index_space_interval.cc.

References _states, contains(), get_id_space_iterator(), sheaf::index_space_handle::index(), and sheaf::index_space_interval::local_scope().

Referenced by release_id_space().

◆ allocated_id_space_iterator()

bool sheaf::explicit_index_space_interval::allocated_id_space_iterator ( const index_space_iterator & xitr ) const

virtual

True if and only if id space iterator xitr was allocated by the iterator pool.

Postcondition

is_basic_query

Implements sheaf::index_space_collection.

Definition at line 846 of file explicit_index_space_interval.cc.

References _states, contains(), sheaf::index_space_iterator::index(), is_ancestor_of(), and sheaf::index_space_interval::local_scope().

Referenced by release_id_space_iterator().

◆ begin()

sheaf::index_space_collection::pod_type sheaf::explicit_index_space_interval::begin ( pod_type xlocal_id ) const

virtual

Beginning id of the space with id xlocal_id.

Precondition

contains(xlocal_id)

Postcondition

is_basic_query

Implements sheaf::index_space_collection.

Definition at line 429 of file explicit_index_space_interval.cc.

References _states, contains(), and sheaf::index_space_interval::end().

Referenced by sheaf::explicit_crg_interval::initialize_lower_covers(), sheaf::explicit_crg_interval::initialize_upper_covers(), new_space(), and sheaf::index_space_family::reserve_next_explicit_id().

◆ class_name()

const std::string & sheaf::explicit_index_space_interval::class_name ( ) const

virtual

The name of this class.

Reimplemented from sheaf::index_space_interval.

Definition at line 183 of file explicit_index_space_interval.cc.

References clone().

Referenced by supports_persistent_id_spaces().

◆ clone()

sheaf::explicit_index_space_interval * sheaf::explicit_index_space_interval::clone ( ) const

virtual

Virtual constructor; create a new instance of the same type at this.

Postcondition

result != 0

is_same_type(result)

Implements sheaf::index_space_interval.

Definition at line 191 of file explicit_index_space_interval.cc.

References explicit_index_space_interval(), sheaf::index_space_interval::id_space_interval_factory(), sheaf::any::is_same_type(), and operator==().

Referenced by class_name().

◆ contains() [1/3]

bool sheaf::explicit_index_space_interval::contains ( pod_type xlocal_id ) const

virtual

True if this collection contains the id space with local id xlocal_id.

Postcondition

is_basic_query

Implements sheaf::index_space_collection.

Definition at line 266 of file explicit_index_space_interval.cc.

References sheaf::index_space_interval::_begin, sheaf::index_space_interval::_end, _states, and contains_family().

Referenced by allocated_id_space(), allocated_id_space_iterator(), begin(), contains(), contains_unglued_hub(), ct(), delete_product_structure(), end(), explicit_state(), get_id_space(), get_id_space_iterator(), has_product_structure(), insert(), is_persistent(), new_product_structure(), operator==(), pod(), product_structure(), remove(), and unglued_hub_pod().

◆ contains() [2/3]

bool sheaf::explicit_index_space_interval::contains	(	pod_type	xlocal_id,
		pod_type	xid
	)		const

virtual

True if the space with id xlocal_id contains id xid.

Precondition

contains(xlocal_id)

Postcondition

is_basic_query

Implements sheaf::index_space_collection.

Definition at line 471 of file explicit_index_space_interval.cc.

References _states, contains(), and contains_unglued_hub().

◆ contains() [3/3]

bool sheaf::explicit_index_space_interval::contains	(	pod_type	xlocal_id,
		pod_type	xid,
		pod_type	xhub_id
	)		const

virtual

True if the space with id xlocal_id contains an id xid equivalent to xhub_id in the hub id space.

Precondition

contains(xlocal_id)

Postcondition

is_basic_query

Implements sheaf::index_space_collection.

Definition at line 513 of file explicit_index_space_interval.cc.

References _states, contains(), and pod().

◆ contains_family()

bool sheaf::explicit_index_space_interval::contains_family ( pod_type xspace_id ) const

virtual

True if this collection contains the id space with family id xspace_id.

Postcondition

is_basic_query

Implements sheaf::index_space_collection.

Definition at line 290 of file explicit_index_space_interval.cc.

References sheaf::index_space_interval::_begin, sheaf::index_space_interval::_end, _states, and deep_size.

Referenced by contains().

◆ contains_unglued_hub()

bool sheaf::explicit_index_space_interval::contains_unglued_hub	(	pod_type	xlocal_id,
		pod_type	xid
	)		const

virtual

True if the space with id xlocal_id contains an id equivalent to xid in the unglued hub id space.

Precondition

contains(xlocal_id)

Postcondition

is_basic_query

Implements sheaf::index_space_collection.

Definition at line 492 of file explicit_index_space_interval.cc.

References _states, and contains().

Referenced by contains(), and unglued_hub_pod().

◆ ct()

sheaf::size_type sheaf::explicit_index_space_interval::ct ( pod_type xlocal_id ) const

virtual

The number of members for the id space with id xlocal_id.

Precondition

contains(xlocal_id)

Postcondition

is_basic_query

Implements sheaf::index_space_collection.

Definition at line 408 of file explicit_index_space_interval.cc.

References _states, sheaf::index_space_interval::begin(), contains(), and sheaf::auto_block< T, S >::ct().

Referenced by remove().

◆ deep_size()

sheaf::size_type sheaf::explicit_index_space_interval::deep_size ( bool xinclude_shallow ) const

virtual

The deep size of this.

Postcondition

result >= 0

Implements sheaf::index_space_collection.

Definition at line 312 of file explicit_index_space_interval.cc.

References sheaf::deep_size(), and operator=().

◆ delete_product_structure()

void sheaf::explicit_index_space_interval::delete_product_structure ( pod_type xlocal_id )

virtual

Deletes the product structure for the id space with id xlocal_id.

Precondition

contains(xlocal_id)

Postcondition

!has_product_structure(xlocal_id)

Implements sheaf::index_space_collection.

Definition at line 630 of file explicit_index_space_interval.cc.

References _states, contains(), has_product_structure(), and product_structure().

Referenced by new_product_structure().

◆ end()

sheaf::index_space_collection::pod_type sheaf::explicit_index_space_interval::end ( pod_type xlocal_id ) const

virtual

Ending id of the space with id xlocal_id.

Precondition

contains(xlocal_id)

Postcondition

is_basic_query

Implements sheaf::index_space_collection.

Definition at line 450 of file explicit_index_space_interval.cc.

References _states, and contains().

Referenced by new_space(), and sheaf::index_space_family::reserve_next_explicit_id().

◆ explicit_state()

sheaf::explicit_index_space_state * sheaf::explicit_index_space_interval::explicit_state ( pod_type xlocal_id ) const

protectedvirtual

The explicit id space state for id xlocal_id. Returns null if there is no explicit id space for xlocal_id.

Postcondition

is_basic_query

Implements sheaf::index_space_collection.

Definition at line 360 of file explicit_index_space_interval.cc.

References _states, contains(), and remove().

Referenced by operator=().

◆ get_id_space()

sheaf::index_space_handle & sheaf::explicit_index_space_interval::get_id_space ( pod_type xlocal_id ) const

virtual

Allocates an id space handle from the handle pool attached to state with id xlocal_id.

Precondition

contains(xlocal_id)

Postcondition

result.is_attached()

Implements sheaf::index_space_collection.

Definition at line 729 of file explicit_index_space_interval.cc.

References _states, contains(), sheaf::index_space_handle::is_attached(), and release_id_space().

Referenced by has_product_structure().

◆ get_id_space_iterator()

sheaf::index_space_iterator & sheaf::explicit_index_space_interval::get_id_space_iterator ( pod_type xlocal_id ) const

virtual

Allocates an id space iterator from the iterator pool attached to state with id xlocal_id.

Precondition

contains(xlocal_id)

Postcondition

result.is_attached()

Implements sheaf::index_space_collection.

Definition at line 804 of file explicit_index_space_interval.cc.

References _states, contains(), sheaf::index_space_iterator::is_attached(), and release_id_space_iterator().

Referenced by allocated_id_space().

◆ has_product_structure()

bool sheaf::explicit_index_space_interval::has_product_structure ( pod_type xlocal_id ) const

virtual

True if the id space with id xlocal_id has a product structure.

Precondition

contains(xlocal_id)

Postcondition

is_basic_query

Implements sheaf::index_space_collection.

Definition at line 697 of file explicit_index_space_interval.cc.

References _states, contains(), and get_id_space().

Referenced by delete_product_structure(), new_product_structure(), and product_structure().

◆ insert()

void sheaf::explicit_index_space_interval::insert ( explicit_index_space_state & xid_space )

Insert the explicit id space xid_space into this interval.

Precondition

!contains(local_scope(xid_space.index()))

in_bounds(xid_space.index())

Postcondition

contains(local_scope(xid_space.index()))

Definition at line 105 of file explicit_index_space_interval.cc.

References sheaf::index_space_interval::_begin, _states, contains(), explicit_index_space_interval(), sheaf::index_space_interval::in_bounds(), sheaf::explicit_index_space_state::index(), sheaf::index_space_interval::local_scope(), and sheaf::auto_block< T, S >::set_item().

Referenced by sheaf::explicit_index_space_state::new_state(), and ~explicit_index_space_interval().

◆ invariant()

bool sheaf::explicit_index_space_interval::invariant ( ) const

virtual

Class invariant.

Invariant

index_space_interval::invariant()

Reimplemented from sheaf::index_space_interval.

Definition at line 900 of file explicit_index_space_interval.cc.

References sheaf::deep_size(), sheaf::any::disable_invariant_check(), sheaf::any::enable_invariant_check(), sheaf::index_space_interval::invariant(), and sheaf::any::invariant_check().

Referenced by explicit_index_space_interval(), is_ancestor_of(), and operator=().

◆ is_ancestor_of()

bool sheaf::explicit_index_space_interval::is_ancestor_of ( const any * other ) const

virtual

Conformance test; true if other conforms to this.

Precondition

other != 0

Reimplemented from sheaf::index_space_interval.

Definition at line 879 of file explicit_index_space_interval.cc.

References invariant().

Referenced by allocated_id_space_iterator(), operator=(), and operator==().

◆ is_persistent()

bool sheaf::explicit_index_space_interval::is_persistent ( pod_type xlocal_id ) const

virtual

True if the id space with id xlocal_id should be written to disk.

Precondition

contains(xlocal_id)

Postcondition

is_basic_query

Implements sheaf::index_space_collection.

Definition at line 576 of file explicit_index_space_interval.cc.

References _states, contains(), and new_product_structure().

Referenced by unglued_hub_pod().

◆ new_product_structure()

void sheaf::explicit_index_space_interval::new_product_structure	(	pod_type	xlocal_id,
		const abstract_product_structure &	xproduct
	)

virtual

Creates a new product structure for the id space with id xlocal_id by cloning the product structure, xproduct.

Precondition

contains(xlocal_id)

Postcondition

has_product_structure(xlocal_id)

Implements sheaf::index_space_collection.

Definition at line 608 of file explicit_index_space_interval.cc.

References _states, contains(), delete_product_structure(), and has_product_structure().

Referenced by is_persistent().

◆ new_space()

const sheaf::explicit_index_space_interval & sheaf::explicit_index_space_interval::new_space	(	index_space_family &	xid_spaces,
		size_type	xub
	)

static

Create a new interval of id spaces for explicit id spaces in the id space family xid_spaces with upper bound xub. Return a reference to the id space interval.

Precondition