21 #include "SheafSystem/list_index_space_iterator.h" 23 #include "SheafSystem/assert_contract.h" 24 #include "SheafSystem/explicit_index_space_handle.h" 25 #include "SheafSystem/index_space_family.h" 26 #include "SheafSystem/list_index_space_state.h" 87 ensure(
index() == xindex);
96 const std::string& xname)
111 ensure(
name() == xname);
131 (void) explicit_index_space_iterator::operator=(xother);
199 (void) this->
operator=(lother);
228 result = result && (
_itr == lother.
_itr);
256 ensure(*result == *
this);
417 require(xstate != 0);
435 ensure(&
state() == xstate);
456 ensure(is_basic_query);
virtual pod_type index() const
Index of this space.
An abstract iterator over the ids of an id space.
bool _is_done
True if the iteration is finished.
pod_type pod() const
The current id in the iteration.
An list implementation of class gathered_insertion_index_space_state. This representation is intended...
virtual bool operator==(const index_space_iterator &xother) const
True if this is equivalent to xother.
virtual void next()
Makes item() the next id in the iteration.
void invalidate_ids()
Set is_done() and invalidate pod() and hub_pod().
explicit_index_space_state & state()
The explicit state (mutable version).
Abstract base class with useful features for all objects.
std::string name() const
Name of this space.
bool is_done() const
True if iteration is finished.
virtual void attach_to(explicit_index_space_state *xstate)
Attach to the explicit id space state xstate.
An immutable abstract state for a space of alternate integer identifiers (aliases) for a subset of th...
const index_space_family & id_spaces() const
The id space family for this (const version).
to_hub_type * _to_hub
The map to hub ids.
An iterator over an id space in which the equivalence between the ids in the space and the hub id spa...
pod_type _hub_pod
The current hub id in the iteration.
void disable_invariant_check() const
Disable invariant check. Intended for preventing recursive calls to invariant and for suppressing inv...
virtual list_index_space_iterator * clone() const
Virtual constructor, makes a new instance of the same type as this. If the iterator is attached...
virtual bool is_ancestor_of(const any *other) const
Conformance test; true if other conforms to this.
list_index_space_iterator & operator=(const list_index_space_iterator &xother)
Assignment operator.
virtual bool invariant() const
Class invariant.
virtual bool operator==(const index_space_iterator &xother) const
True if this is equivalent to xother.
bool invariant_check() const
True if invariant checking is enabled.
virtual ~list_index_space_iterator()
Destructor.
list_index_space_iterator()
Default constructor.
explicit_index_space_state * _state
The explicit state.
virtual bool invariant() const
Class invariant.
virtual void reset()
Restarts the iteration.
virtual void detach()
Detach this iterator form its state, if any.
pod_type _pod
The current id in the iteration.
Factory and container for a family of id spaces.
pod_index_type pod_type
The "plain old data" index type for this.
SHEAF_DLL_SPEC bool is_valid(pod_index_type xpod_index)
True if an only if xpod_index is valid.
bool is_same_type(const any *other) const
True if other is the same type as this.
void enable_invariant_check() const
Enable invariant checking.
to_hub_type::iterator _itr
The stl iterator over ids.
virtual bool conforms_to_state(explicit_index_space_state *xstate) const
True if this conforms to the iterator type required by the explicit id space state xstate...
virtual bool is_attached() const
True if this iterator is attached to a state.
pod_type hub_pod() const
The current unglued hub id in the iteration. synonym for unglued_hub_pod().