An implementation of index_space_interval for an interval of implicit id spaces with a single id and in which the hub ids can be calculated by an offset. More...

#include <constant_index_space_interval.h>

Inheritance diagram for sheaf::constant_index_space_interval:

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

virtual constant_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 bool	contains (pod_type xlocal_id) const =0
	True if this collection contains the id space with local id xlocal_id. More...

virtual bool	contains_family (pod_type xspace_id) const =0
	True if this collection contains the id space with family id xspace_id. 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...

virtual void	remove (pod_type xlocal_id)=0
	Remove the id space with id xlocal_id. More...

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

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

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

virtual pod_type	end (pod_type xlocal_id) const =0
	Ending id of 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...

virtual bool	contains (pod_type xlocal_id, pod_type xid) const =0
	True if the space with id xlocal_id contains id xid. 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...

virtual bool	contains_unglued_hub (pod_type xlocal_id, pod_type xid) const =0
	True if the space with id xlocal_id contains an id equivalent to xid in the unglued hub id space. 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...

virtual bool	contains (pod_type xlocal_id, pod_type xid, pod_type xhub_id) const =0
	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 =0
	The pod index in the space with id xlocal_id equivalent to xid in the hub id space. 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...

virtual pod_type	unglued_hub_pod (pod_type xlocal_id, pod_type xid) const =0
	The pod index in the glued hub id space equivalent to xid in the id space with id xlocal_id. 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...

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

virtual void	new_product_structure (pod_type xlocal_id, const abstract_product_structure &xproduct)=0
	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)=0
	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 =0
	The product structure for the id space with id xlocal_id (const version). More...

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

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

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

virtual index_space_iterator &	get_id_space_iterator (pod_type xlocal_id) const =0
	Allocates an id space iterator from the iterator pool attached to state 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 constant_index_space_interval &xn, bool xinclude_shallow)
	The deep size of constant_index_space_interval& xn. More...

SPACE FACTORY FACET
static const constant_index_space_interval &	new_space (index_space_family &xid_spaces, size_type xub, pod_type xhub_id)
	Create a new interval of id spaces with an constant representation in the id space family xid_spaces with upper bound xub, and hub id xhub_id. Return a reference to the id space interval. More...

CONSTANT_INDEX_SPACE_INTERVAL FACET
pod_type	_hub_id
	The constant hub id. More...

virtual	~constant_index_space_interval ()
	Destructor. More...

pod_type	hub_id () const
	The constant hub id. More...

	constant_index_space_interval ()
	Default constructor. More...

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

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

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

virtual constant_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
list_pool< forwarding_index_space_handle >	_handles
	The handle pool. More...

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
list_pool< constant_implicit_index_space_iterator >	_iterators
	The iterator pool. More...

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...

virtual bool	supports_persistent_id_spaces () const
	True, if this interval supports persistent id spaces. 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...

virtual explicit_index_space_state *	explicit_state (pod_type xlocal_id) const =0
	The explicit id space state for id xlocal_id. Returns null if there is no explicit id space for xlocal_id. 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 implicit id spaces with a single id and in which the hub ids can be calculated by an offset.

Definition at line 55 of file constant_index_space_interval.h.

Constructor & Destructor Documentation

◆ ~constant_index_space_interval()

sheaf::constant_index_space_interval::~constant_index_space_interval ( )

virtual

Destructor.

Definition at line 83 of file constant_index_space_interval.cc.

References hub_id().

Referenced by new_space().

◆ constant_index_space_interval() [1/2]

sheaf::constant_index_space_interval::constant_index_space_interval ( )

protected

Default constructor.

Postcondition

invariant()

Definition at line 118 of file constant_index_space_interval.cc.

References class_name(), and invariant().

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

◆ constant_index_space_interval() [2/2]

sheaf::constant_index_space_interval::constant_index_space_interval ( const constant_index_space_interval & xother )

inlineprotected

Copy constructor; disabled.

Definition at line 112 of file constant_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::constant_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 725 of file constant_index_space_interval.cc.

References _handles, and get_id_space_iterator().

Referenced by release_id_space().

◆ allocated_id_space_iterator()

bool sheaf::constant_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 807 of file constant_index_space_interval.cc.

References _iterators, and is_ancestor_of().

Referenced by release_id_space_iterator().

◆ begin()

sheaf::index_space_collection::pod_type sheaf::constant_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

Definition at line 359 of file constant_index_space_interval.cc.

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

Referenced by new_space().

◆ class_name()

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

virtual

The name of this class.

Reimplemented from sheaf::index_space_interval.

Definition at line 156 of file constant_index_space_interval.cc.

References clone().

Referenced by constant_index_space_interval().

◆ clone()

sheaf::constant_index_space_interval * sheaf::constant_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 164 of file constant_index_space_interval.cc.

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

Referenced by class_name().

◆ contains() [1/2]

bool sheaf::constant_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

Definition at line 401 of file constant_index_space_interval.cc.

References contains_unglued_hub().

Referenced by begin(), contains(), contains_unglued_hub(), ct(), delete_product_structure(), end(), get_id_space(), get_id_space_iterator(), has_product_structure(), is_persistent(), new_product_structure(), pod(), product_structure(), remove(), and unglued_hub_pod().

◆ contains() [2/2]

bool sheaf::constant_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

Definition at line 443 of file constant_index_space_interval.cc.

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

◆ contains_unglued_hub()

bool sheaf::constant_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

Definition at line 422 of file constant_index_space_interval.cc.

References _hub_id, and contains().

Referenced by contains(), and unglued_hub_pod().

◆ ct()

sheaf::size_type sheaf::constant_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

Definition at line 338 of file constant_index_space_interval.cc.

References sheaf::index_space_interval::begin(), and contains().

Referenced by remove().

◆ deep_size()

sheaf::size_type sheaf::constant_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 239 of file constant_index_space_interval.cc.

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

◆ delete_product_structure()

void sheaf::constant_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)

Todo:: Implement.

Not Implemented.

Postcondition

!has_product_structure(xlocal_id)

Definition at line 565 of file constant_index_space_interval.cc.

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

Referenced by new_product_structure().

◆ end()

sheaf::index_space_collection::pod_type sheaf::constant_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

Definition at line 380 of file constant_index_space_interval.cc.

References contains().

Referenced by new_space().

◆ explicit_state()

sheaf::explicit_index_space_state * sheaf::constant_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.

Todo:: Check to see if there is an override.

Postcondition

is_basic_query

Definition at line 287 of file constant_index_space_interval.cc.

References remove().

Referenced by operator=().

◆ get_id_space()

sheaf::index_space_handle & sheaf::constant_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()

Definition at line 676 of file constant_index_space_interval.cc.

References _handles, sheaf::index_space_handle::attach_to(), 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::constant_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()

Definition at line 758 of file constant_index_space_interval.cc.

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

Referenced by allocated_id_space().

◆ has_product_structure()

bool sheaf::constant_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)

Todo:: Implement.

Not Implemented.

Postcondition

is_basic_query

Definition at line 640 of file constant_index_space_interval.cc.

References contains(), and get_id_space().

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

◆ hub_id()

sheaf::constant_index_space_interval::pod_type sheaf::constant_index_space_interval::hub_id ( ) const

The constant hub id.

Postcondition

is_basic_query

Definition at line 100 of file constant_index_space_interval.cc.

References _hub_id, and constant_index_space_interval().

Referenced by sheaf::constant_implicit_index_space_iterator::attach_to(), new_space(), and ~constant_index_space_interval().

◆ invariant()

bool sheaf::constant_index_space_interval::invariant ( ) const

virtual

Class invariant.

Invariant

index_space_interval::invariant()

Reimplemented from sheaf::index_space_interval.

Definition at line 861 of file constant_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 constant_index_space_interval(), is_ancestor_of(), and operator=().

◆ is_ancestor_of()

bool sheaf::constant_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 840 of file constant_index_space_interval.cc.

References invariant().

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

◆ is_persistent()

bool sheaf::constant_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

Definition at line 509 of file constant_index_space_interval.cc.

References contains(), and new_product_structure().

Referenced by unglued_hub_pod().

◆ new_product_structure()

void sheaf::constant_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)

Todo:: Implement.

Not Implemented.

Postcondition

has_product_structure(xlocal_id)

Definition at line 541 of file constant_index_space_interval.cc.

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

Referenced by is_persistent().

◆ new_space()

const sheaf::constant_index_space_interval & sheaf::constant_index_space_interval::new_space	(	index_space_family &	xid_spaces,
		size_type	xub,
		pod_type	xhub_id
	)

static

Create a new interval of id spaces with an constant representation in the id space family xid_spaces with upper bound xub, and hub id xhub_id. Return a reference to the id space interval.

Precondition