faudes::TBaseSet< T, Cmp > Class Template Reference
[State, Event and Transition Set]

STL style set template. More...

#include <cfl_baseset.h>

List of all members.

Classes

class  Iterator
 Iterator class for high-level api to TBaseSet. More...

Public Member Functions

 TBaseSet (void)
 Constructor.
 TBaseSet (const TBaseSet &rOtherSet)
 Copy-constructor.
 TBaseSet (const std::string &rFilename, const std::string &rLabel="BaseSet")
 Constructor from file.
virtual ~TBaseSet (void)
 Virtual destructor.
const std::string & Name (void) const
 Return name of TBaseSet.
void Name (const std::string &rName)
 Set name of TBaseSet.
virtual void Clear (void)
 Clear all set.
Idx Size (void) const
 Get Size of TBaseSet.
bool Empty (void) const
 Test whether if the TBaseSet is Empty.
virtual std::string Str (const T &rElem) const
 Return pretty printable element.
Iterator Begin (void) const
 Iterator to the begin of set.
Iterator End (void) const
 Iterator to the end of set.
virtual bool Valid (const T &rElem) const
 Test validty of candidate element.
virtual bool Erase (const T &rElem)
 Erase element by reference.
virtual Iterator Erase (const Iterator &pos)
 Erase element by iterator.
virtual void EraseSet (const TBaseSet &rOtherSet)
 Erase elements given by other set.
virtual void RestrictSet (const TBaseSet &rOtherSet)
 Restrict elements given by other set.
virtual bool Insert (const T &rElem)
 Insert specified element.
virtual Iterator Inject (const Iterator &pos, const T &rElem)
 Insert specified element.
virtual void Inject (const T &rElem)
 Insert specified element.
virtual void InsertSet (const TBaseSet &rOtherSet)
 Insert elements given by rOtherSet.
virtual void SetUnion (const TBaseSet &rOtherSet)
 Set Union, result is accumulated in this set.
virtual void SetIntersection (const TBaseSet &rOtherSet)
 Set Intersection, result is stored in this set.
bool Exists (const T &rElem) const
 Test existence of element.
Iterator Find (const T &rElem) const
 Find element and return iterator.
TBaseSet operator+ (const TBaseSet &rOtherSet) const
 Set union operator.
TBaseSet operator- (const TBaseSet &rOtherSet) const
 Set difference operator.
TBaseSet operator* (const TBaseSet &rOtherSet) const
 Set intersection operator.
bool operator<= (const TBaseSet &rOtherSet) const
 Test for subset.
bool operator>= (const TBaseSet &rOtherSet) const
 Test for superset.
bool operator< (const TBaseSet &rOtherSet) const
 Order for sorting containers of TBaseSet.
void DValid (const std::string &rMessage="") const
 Some validation of deferred copy mechanism (provoke abort).
virtual void Detach (void) const
 Detach from extern storage (incl allocation and true copy).
virtual void Lock (void) const
 Detach and lock any further reallocation.
virtual const AttributeVoidAttributep (void) const
 Attribute typeinfo.
virtual const AttributeVoidAttribute (void) const
 Attribute typeinfo.
virtual bool AttributeTry (const Type &rAttr) const
 Attribute typeinfo.
virtual TBaseSetAssignWithoutAttributes (const TBaseSet &rSourceSet)
 Attribute access.
virtual void Attributes (const TBaseSet &rOtherSet)
 Attributes access.
virtual Idx AttributesSize (void) const
 Attribute access.
virtual void ClearAttributes (void)
 Attribute access.
virtual bool EqualAttributes (const TBaseSet &rOtherSet) const
 Attribute access.
virtual AttributeVoidAttributep (const T &rElem)
 Attribute access.
virtual const AttributeVoidAttribute (const T &rElem) const
 Attribute access.
virtual void Attribute (const T &rElem, const Type &rAttr)
 Attribute access.
virtual void AttributeTry (const T &rElem, const Type &rAttr)
 Attribute access.
virtual void ClrAttribute (const T &rElem)
 Attribute access.
virtual void XElementTag (const std::string &rTag)
 Configure the element name tag.
virtual const std::string & TypeName (void) const
 Get objects's type name.
virtual void TypeName (const std::string &rType)
 Overwrite faudes-type name.

Protected Types

typedef std::set< T, Cmp >
::iterator 
iterator
 STL iterator, non-const version.
typedef std::set< T, Cmp >
::const_iterator 
const_iterator
 STL iterator, const version.
typedef std::map< T,
AttributeVoid * >::iterator 
aiterator
 STL attribute iterator, non-const version.
typedef std::map< T,
AttributeVoid * >
::const_iterator 
const_aiterator
 STL attribute iterator, const version.

Protected Member Functions

virtual void DoWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const
 Token output, see Type::DWrite for public wrappers.
virtual void DoDWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const
 Token output, debugging see Type::DWrite for public wrappers.
virtual void DoSWrite (TokenWriter &rTw) const
 Token output, see Type::SWrite for public wrappers.
virtual void DoRead (TokenReader &rTr, const std::string &rLabel="", const Type *pContext=0)
 Token input, see Type::Read for public wrappers.
virtual void DoAssign (const TBaseSet &rSourceSet)
 assign my members
virtual bool DoEqual (const TBaseSet &rOtherSet) const
 test equality
TBaseSet< T, Cmp >::Iterator ThisIterator (const typename std::set< T, Cmp >::const_iterator &sit) const
 Convert STL iterator to API iterator.
void RelinkClients (void)
 Ensure that we do not host contents to anyone else.
void AttachClient (TBaseSet *pRef) const
 Record that we provide contents to some other BaseSet.
void DetachClient (TBaseSet *pRef) const
 Record that we stop providing data for some TBaseSet.
void AttachIterator (Iterator *pFit) const
 Record that an iterator refers to this TBaseSet.
void DetachIterator (Iterator *pFit) const
 Record that an iterator stops to refer to this TBaseSet.
virtual const TypeDefinitionTypeDefinitionp (void) const
 Reimplment from type to use chache.
virtual const std::string & XElementTag (void) const
 Get name of elements (used for XML IO).
void FnctUnion (const TBaseSet &rOtherSet, TBaseSet &rRes) const
 static empty STL client list
void FnctDifference (const TBaseSet &rOtherSet, TBaseSet &rRes) const
 Implementation of difference.
void FnctIntersection (const TBaseSet &rOtherSet, TBaseSet &rRes) const
 Implementation of intersection.

Protected Attributes

std::string mMyName
 Name of this BaseSet.
std::set< T, Cmp > * pSet
 Pointer on STL set to operate on.
std::set< T, Cmp > * mpSet
 STL set, if this object hosts data (else NULL).
std::map< T, AttributeVoid * > * pAttributes
 Pointer to attribute map to operate on.
std::map< T, AttributeVoid * > * mpAttributes
 Attribute map, if this object hosts data (else NULL).
TBaseSet< T, Cmp > * pHostSet
 Pointer on BaseSet that hosts our data (THIS if we host).
std::list< TBaseSet< T, Cmp >
* >::iterator 
mClientRecord
 Iterator to the client list that hosts our data (maintained by host).
std::list< TBaseSet< T, Cmp > * > * mpClients
 BaseSets, that use data hosted by us (NULL if we dont host data, emptyset if we host to ourself excl.
bool mDetached
 Indicate "hosts data to myself only".
bool mLocked
 Indicate "dont re-allocate the STL set ever again".
std::set< Iterator * > mIterators
 Iterators that refer to this TBaseSet.

Static Protected Attributes

static std::set< T, Cmp > msEmptySet = std::set<T,Cmp>()
 static empty STL set for default constructor
static std::map< T,
AttributeVoid * > 
msEmptyAttributes = std::map<T,AttributeVoid*>()
 static empty STL map for default constructor

Private Attributes

const TypeDefinitionpTypeDefinition
 TypeDefinition cache (should use guarded pointer here).
std::string mXElementTag
 Current/cached name of elements (used protected accessor method).
std::string mFaudesTypeName
 Current/cached faudes type-name.

Friends

class TaBaseSet
 We implement "protected privacy for template classes" by friendship.

Detailed Description

template<class T, class Cmp = std::less<T>>
class faudes::TBaseSet< T, Cmp >

STL style set template.

This class template is built on top of the STL set template. It provides essentials of the STL interface relevant to libFAUDES plus a deferred copy mechanism, aka copy-on-write. TBaseSet serves as a base class for all libFaudes containers:

The public functions of a TBaseSet provide the high-level api, with the intention to organize the deferred copy machanism in a transparent manner. Since STL iterators refer to a particular STL container, they become invalid when the internal container is copied. Therefor, TBaseSet tracks iterators and fixes them when the actual copy takes place. Clearly, this introduces some overhead, in particular when your application represents subsets as sets of iterators. You may use the public method Lock() to enforce a full copy and to prevent any further re-allocation.

Alternatively to the high-level api, a protected low-level api is provided with direct access to the internal STL set. When using this api, it is up to the derived class to ensure that the BaseSet gets detached from its refernces befor write operations can take place.

The virtual function TBaseSet<T>::Valid() is used to indicate whether a candidate element is valid as a set member. If the macro FAUDES_CHECKED is defined, the attempt to insert an invalid element triggers an exception (id 61). Invalid iterators throw an exception (id 62) when used as an argument to a BaseSet function.

While the TBaseSet itself does not provide any attributes attached to its elements, it does provide an interface to attributes implemented in derived classes. The implementation of the interface behaves as if the attribute type was AttributeVoid. Thus, there is a uniform access to attributes for all faudes container classes. The actual attribute type can be detected via the C++ RTTI.

Note on a boring technical detail: since STL sets are sorted, effectively all set iterators should be const. However, there is a minor issue whether or not the erase function should use a const iterator as argument. SGI derived STL implementations (as used on most GNU systems) avoid this issue by defining const and non-const iterators on sets as identical types. MS implementation (used in VS C++ by default) differ in this aspect. The class TBaseSet::Iterator hides the issue from the faudes API but it is still present internaly: in its current implementation, libfaudes will not compile with MS STL. At this stage we are aware of two workarounds, one simple but on cost of performance, one a little bit awkward. Let us know if MS STL is missioncrititical for your libfaudes application.

Definition at line 96 of file cfl_baseset.h.


Member Typedef Documentation


Constructor & Destructor Documentation

template<class T , class Cmp >
faudes::TBaseSet< T, Cmp >::TBaseSet ( void   )  [inline]

Constructor.

Definition at line 1197 of file cfl_baseset.h.

template<class T , class Cmp >
faudes::TBaseSet< T, Cmp >::TBaseSet ( const TBaseSet< T, Cmp > &  rOtherSet  )  [inline]

Copy-constructor.

Parameters:
rOtherSet Source to copy from

Definition at line 1237 of file cfl_baseset.h.

template<class T , class Cmp >
faudes::TBaseSet< T, Cmp >::TBaseSet ( const std::string &  rFilename,
const std::string &  rLabel = "BaseSet" 
) [inline]

Constructor from file.

This constructor indicates the intended interface for derived classes. The base set itself cannot read from token streams.

Parameters:
rFilename Name of File
rLabel Section for the set in the file;

Definition at line 1216 of file cfl_baseset.h.

template<class T , class Cmp >
faudes::TBaseSet< T, Cmp >::~TBaseSet ( void   )  [inline, virtual]

Virtual destructor.

Definition at line 1259 of file cfl_baseset.h.


Member Function Documentation

template<class T, class Cmp = std::less<T>>
virtual TBaseSet& faudes::TBaseSet< T, Cmp >::AssignWithoutAttributes ( const TBaseSet< T, Cmp > &  rSourceSet  )  [inline, virtual]

Attribute access.

This virtual function provides an interface for derived classes with attributes eg TaIndexSet. It is meant to ignore any attributes. The TBaseSet itself has no attributes, so it calls its Assign method that ignores attributes anyway.

Parameters:
rSourceSet Set to copy from

Reimplemented in faudes::TaBaseSet< T, Attr, Cmp >.

Definition at line 703 of file cfl_baseset.h.

template<class T , class Cmp >
void faudes::TBaseSet< T, Cmp >::AttachClient ( TBaseSet< T, Cmp > *  pRef  )  const [inline, protected]

Record that we provide contents to some other BaseSet.

Definition at line 1537 of file cfl_baseset.h.

template<class T , class Cmp >
void faudes::TBaseSet< T, Cmp >::AttachIterator ( Iterator pFit  )  const [inline, protected]

Record that an iterator refers to this TBaseSet.

Definition at line 1587 of file cfl_baseset.h.

template<class T, class Cmp >
void faudes::TBaseSet< T, Cmp >::Attribute ( const T &  rElem,
const Type rAttr 
) [inline, virtual]

Attribute access.

This virtual function provides an interface for derived classes with attributes eg TaIndexSet. The TBaseSet itself has void attributes and thus formally accepts any nontrivial attribute, however, ignoring any value. Derived classes that provide attributes are meant to set the attribute as specified. Only if the required cast to the actual attribute type fails an exception is thrown.

Parameters:
rElem Element of which the attribute is to be set
rAttr Attribute value to set.
Exceptions:
Exception 
  • Element does not exist (60)
  • Cannot cast attribute type (63)

Reimplemented in faudes::TaBaseSet< T, Attr, Cmp >.

Definition at line 2247 of file cfl_baseset.h.

template<class T, class Cmp >
const AttributeVoid & faudes::TBaseSet< T, Cmp >::Attribute ( const T &  rElem  )  const [inline, virtual]

Attribute access.

This virtual function provides an interface for derived classes with attributes eg TaIndexSet. The TBaseSet has no attributes and thus returns a void attribute. Derived classes that provide attributes are meant to return the attribute specified by rElem.

Parameters:
rElem Element of which the attribute is requested
Returns:
Attribute of specified element

Reimplemented in faudes::TaBaseSet< T, Attr, Cmp >.

Definition at line 2240 of file cfl_baseset.h.

template<class T, class Cmp >
AttributeVoid * faudes::TBaseSet< T, Cmp >::Attributep ( const T &  rElem  )  [inline, virtual]

Attribute access.

This virtual function provides an interface for derived classes with attributes eg TaIndexSet. The TBaseSet has no attributes and thus throws an exception. Derived classes that provide attributes are meant to return a pointer to the attribute specified by rElem.

Parameters:
rElem Element of which the attribute is requested
Returns:
Attribute of specified element
Exceptions:
Exception 
  • No attributes provided (id 63)

Reimplemented in faudes::TaBaseSet< T, Attr, Cmp >.

Definition at line 2230 of file cfl_baseset.h.

template<class T, class Cmp = std::less<T>>
virtual void faudes::TBaseSet< T, Cmp >::Attributes ( const TBaseSet< T, Cmp > &  rOtherSet  )  [inline, virtual]

Attributes access.

This virtual function provides an interface for derived classes with attributes eg TaIndexSet. It is meant to copy attributes from the specified set. The TBaseSet itself has no attributes and thus this function does nothing.

Parameters:
rOtherSet Other BaseSet

Reimplemented in faudes::TaBaseSet< T, Attr, Cmp >.

Definition at line 714 of file cfl_baseset.h.

template<class T, class Cmp = std::less<T>>
virtual Idx faudes::TBaseSet< T, Cmp >::AttributesSize ( void   )  const [inline, virtual]
template<class T, class Cmp = std::less<T>>
virtual void faudes::TBaseSet< T, Cmp >::AttributeTry ( const T &  rElem,
const Type rAttr 
) [inline, virtual]

Attribute access.

This virtual function provides an interface for derived classes with attributes eg TaIndexSet. It is meant to try to set the attribute as specified if the type can be casted. Otherwise it does nothing.

Parameters:
rElem Element of which the attribute is to be set
rAttr Attribute value to set.

Reimplemented in faudes::TaBaseSet< T, Attr, Cmp >.

Definition at line 798 of file cfl_baseset.h.

template<class T, class Cmp = std::less<T>>
virtual bool faudes::TBaseSet< T, Cmp >::AttributeTry ( const Type rAttr  )  const [inline, virtual]

Attribute typeinfo.

This virtual function provides an interface for derived classes with attributes eg TaIndexSet. It is meant to test whether this set accepts the specified attribute type ie whether it can be casted. When not re-implemented, the set accepts any attributes derived from attribute void.

Parameters:
rAttr Attribute type to test.
Returns:
True, if attribute type is accepted.

Reimplemented in faudes::TaBaseSet< T, Attr, Cmp >, faudes::TaBaseSet< Idx, AttributeSimplenetEvent >, faudes::TaBaseSet< Transition, Attr, TransSort::X1EvX2 >, faudes::TaBaseSet< Idx, EventAttr >, faudes::TaBaseSet< Idx, HioEventFlags >, faudes::TaBaseSet< Idx, AttributeSignalEvent >, faudes::TaBaseSet< Idx, DiagLabelSet >, faudes::TaBaseSet< Idx, StateAttr >, faudes::TaBaseSet< Idx, AttributeFailureEvents >, faudes::TaBaseSet< Idx, AttributeSimCondition >, faudes::TaBaseSet< Idx, SimEventAttribute >, faudes::TaBaseSet< Idx, HioStateFlags >, and faudes::TaBaseSet< Idx, Attr >.

Definition at line 692 of file cfl_baseset.h.

template<class T , class Cmp >
TBaseSet< T, Cmp >::Iterator faudes::TBaseSet< T, Cmp >::Begin ( void   )  const [inline]

Iterator to the begin of set.

Returns:
Iterator

Reimplemented in faudes::TTransSet< Cmp >, faudes::TTransSet< TransSort::X1EvX2 >, and faudes::TTransSet< TransSort::EvX2X1 >.

Definition at line 1886 of file cfl_baseset.h.

template<class T, class Cmp = std::less<T>>
virtual void faudes::TBaseSet< T, Cmp >::ClrAttribute ( const T &  rElem  )  [inline, virtual]

Attribute access.

This virtual function provides an interface for derived classes with attributes eg TaIndexSet. It is meant to set the attribute of the specified element to the default value. The TBaseSet itself has no attributes and thus this function does nothing.

Parameters:
rElem Element of which the attribute is to be cleared

Reimplemented in faudes::TaBaseSet< T, Attr, Cmp >.

Definition at line 808 of file cfl_baseset.h.

template<class T , class Cmp >
void faudes::TBaseSet< T, Cmp >::DetachClient ( TBaseSet< T, Cmp > *  pRef  )  const [inline, protected]

Record that we stop providing data for some TBaseSet.

Definition at line 1545 of file cfl_baseset.h.

template<class T , class Cmp >
void faudes::TBaseSet< T, Cmp >::DetachIterator ( Iterator pFit  )  const [inline, protected]

Record that an iterator stops to refer to this TBaseSet.

Definition at line 1594 of file cfl_baseset.h.

template<class T , class Cmp >
void faudes::TBaseSet< T, Cmp >::DoAssign ( const TBaseSet< T, Cmp > &  rSourceSet  )  [inline, protected, virtual]

assign my members

Definition at line 1283 of file cfl_baseset.h.

template<class T , class Cmp >
void faudes::TBaseSet< T, Cmp >::DoDWrite ( TokenWriter rTw,
const std::string &  rLabel = "",
const Type pContext = 0 
) const [inline, protected, virtual]

Token output, debugging see Type::DWrite for public wrappers.

Reimplement this function in derived classes for specific specific template parameters.

Parameters:
rTw Reference to TokenWriter
rLabel Label of section to write, defaults to name of set
pContext Write context to provide contextual information

Reimplemented from faudes::Type.

Reimplemented in faudes::NameSet.

Definition at line 1837 of file cfl_baseset.h.

template<class T , class Cmp >
bool faudes::TBaseSet< T, Cmp >::DoEqual ( const TBaseSet< T, Cmp > &  rOtherSet  )  const [inline, protected, virtual]

test equality

Reimplemented in faudes::TaBaseSet< T, Attr, Cmp >.

Definition at line 2191 of file cfl_baseset.h.

template<class T , class Cmp >
void faudes::TBaseSet< T, Cmp >::DoRead ( TokenReader rTr,
const std::string &  rLabel = "",
const Type pContext = 0 
) [inline, protected, virtual]

Token input, see Type::Read for public wrappers.

Reimplement this function in derived classes for specific specific template parameters. By convention, the default label "" should be translated to some meaningful default, eg "IndexSet" for a set of indices". The pContext pointer can de type-checked and interpreted, ie as a symboltable to provide symbolic names. It is also passed on to attributes.

Parameters:
rTr Reference to TokenReader
rLabel Label of section to read, defaults to name of set
pContext Read context to provide contextual information

Reimplemented from faudes::Type.

Reimplemented in faudes::IndexSet, faudes::NameSet, and faudes::SymbolSet.

Definition at line 1870 of file cfl_baseset.h.

template<class T , class Cmp >
void faudes::TBaseSet< T, Cmp >::DoSWrite ( TokenWriter rTw  )  const [inline, protected, virtual]

Token output, see Type::SWrite for public wrappers.

Statistics include size, name and attributey type. The latter is retrieved from the RTI, if initialized. Dereived sets may reimplement this method.

Parameters:
rTw Reference to TokenWriter

Reimplemented from faudes::Type.

Definition at line 1855 of file cfl_baseset.h.

template<class T , class Cmp >
void faudes::TBaseSet< T, Cmp >::DoWrite ( TokenWriter rTw,
const std::string &  rLabel = "",
const Type pContext = 0 
) const [inline, protected, virtual]

Token output, see Type::DWrite for public wrappers.

Reimplement this function in derived classes for specific specific template parameters. By convention, the default label "" should be translated to a) the name of the set or b) some meaningful default, eg "IndexSet" for a set of indices. The pContext pointer can de type-checked and interpreted, ie as a symboltable to provide symbolic names. It is also passed on to attributes.

Parameters:
rTw Reference to TokenWriter
rLabel Label of section to write, defaults to name of set
pContext Write context to provide contextual information

Reimplemented from faudes::Type.

Reimplemented in faudes::IndexSet, faudes::NameSet, faudes::SymbolSet, faudes::TTransSet< Cmp >, faudes::TTransSet< TransSort::X1EvX2 >, and faudes::TTransSet< TransSort::EvX2X1 >.

Definition at line 1825 of file cfl_baseset.h.

template<class T , class Cmp >
void faudes::TBaseSet< T, Cmp >::DValid ( const std::string &  rMessage = ""  )  const [inline]

Some validation of deferred copy mechanism (provoke abort).

Definition at line 1601 of file cfl_baseset.h.

template<class T , class Cmp >
bool faudes::TBaseSet< T, Cmp >::Empty ( void   )  const [inline]

Test whether if the TBaseSet is Empty.

Returns:
True if empty

Definition at line 1819 of file cfl_baseset.h.

template<class T , class Cmp >
TBaseSet< T, Cmp >::Iterator faudes::TBaseSet< T, Cmp >::End ( void   )  const [inline]
template<class T, class Cmp = std::less<T>>
virtual bool faudes::TBaseSet< T, Cmp >::EqualAttributes ( const TBaseSet< T, Cmp > &  rOtherSet  )  const [inline, virtual]

Attribute access.

This virtual function provides an interface for derived classes with attributes eg TaIndexSet. Derived classes that provide attributes are meant to return true if attributes match for shared elements. The base set returns true as a default.

Parameters:
rOtherSet Other object to compare with.
Returns:
True on match.

Reimplemented in faudes::TaBaseSet< T, Attr, Cmp >.

Definition at line 742 of file cfl_baseset.h.

template<class T , class Cmp >
void faudes::TBaseSet< T, Cmp >::EraseSet ( const TBaseSet< T, Cmp > &  rOtherSet  )  [inline, virtual]

Erase elements given by other set.

Parameters:
rOtherSet Set of elements to erase

Reimplemented in faudes::TaBaseSet< T, Attr, Cmp >.

Definition at line 2033 of file cfl_baseset.h.

template<class T, class Cmp >
bool faudes::TBaseSet< T, Cmp >::Exists ( const T &  rElem  )  const [inline]

Test existence of element.

Parameters:
rElem Element to test
Returns:
True if element exists in set

Reimplemented in faudes::NameSet, faudes::TTransSet< Cmp >, faudes::TTransSet< TransSort::X1EvX2 >, and faudes::TTransSet< TransSort::EvX2X1 >.

Definition at line 2085 of file cfl_baseset.h.

template<class T, class Cmp >
TBaseSet< T, Cmp >::Iterator faudes::TBaseSet< T, Cmp >::Find ( const T &  rElem  )  const [inline]

Find element and return iterator.

Parameters:
rElem Element to find
Returns:
Iterator to element or End() if nonexistent

Reimplemented in faudes::NameSet, faudes::TTransSet< Cmp >, faudes::TTransSet< TransSort::X1EvX2 >, and faudes::TTransSet< TransSort::EvX2X1 >.

Definition at line 2080 of file cfl_baseset.h.

template<class T , class Cmp >
void faudes::TBaseSet< T, Cmp >::FnctDifference ( const TBaseSet< T, Cmp > &  rOtherSet,
TBaseSet< T, Cmp > &  rRes 
) const [inline, protected]

Implementation of difference.

Definition at line 2149 of file cfl_baseset.h.

template<class T , class Cmp >
void faudes::TBaseSet< T, Cmp >::FnctIntersection ( const TBaseSet< T, Cmp > &  rOtherSet,
TBaseSet< T, Cmp > &  rRes 
) const [inline, protected]

Implementation of intersection.

Definition at line 2159 of file cfl_baseset.h.

template<class T , class Cmp >
void faudes::TBaseSet< T, Cmp >::FnctUnion ( const TBaseSet< T, Cmp > &  rOtherSet,
TBaseSet< T, Cmp > &  rRes 
) const [inline, protected]

static empty STL client list

Implementation of union

Definition at line 2140 of file cfl_baseset.h.

template<class T, class Cmp >
void faudes::TBaseSet< T, Cmp >::Inject ( const T &  rElem  )  [inline, virtual]

Insert specified element.

Parameters:
rElem Element to insert
Returns:
Insertion position

Reimplemented in faudes::TTransSet< Cmp >, faudes::TTransSet< TransSort::X1EvX2 >, and faudes::TTransSet< TransSort::EvX2X1 >.

Definition at line 1972 of file cfl_baseset.h.

template<class T, class Cmp >
TBaseSet< T, Cmp >::Iterator faudes::TBaseSet< T, Cmp >::Inject ( const Iterator pos,
const T &  rElem 
) [inline, virtual]

Insert specified element.

Parameters:
pos Insertion hint passed to STL
rElem Element to insert
Returns:
Insertion position

Definition at line 1964 of file cfl_baseset.h.

template<class T , class Cmp >
void faudes::TBaseSet< T, Cmp >::InsertSet ( const TBaseSet< T, Cmp > &  rOtherSet  )  [inline, virtual]

Insert elements given by rOtherSet.

Parameters:
rOtherSet Set of elements to insert

Reimplemented in faudes::TaBaseSet< T, Attr, Cmp >.

Definition at line 1978 of file cfl_baseset.h.

template<class T , class Cmp >
void faudes::TBaseSet< T, Cmp >::Lock ( void   )  const [inline, virtual]

Detach and lock any further reallocation.

Definition at line 1457 of file cfl_baseset.h.

template<class T , class Cmp >
void faudes::TBaseSet< T, Cmp >::Name ( const std::string &  rName  )  [inline, virtual]

Set name of TBaseSet.

Parameters:
rName Name to set

Reimplemented from faudes::Type.

Definition at line 1755 of file cfl_baseset.h.

template<class T , class Cmp >
const std::string & faudes::TBaseSet< T, Cmp >::Name ( void   )  const [inline, virtual]

Return name of TBaseSet.

Returns:
Name of TBaseSet

Reimplemented from faudes::Type.

Definition at line 1750 of file cfl_baseset.h.

template<class T , class Cmp >
TBaseSet< T, Cmp > faudes::TBaseSet< T, Cmp >::operator* ( const TBaseSet< T, Cmp > &  rOtherSet  )  const [inline]

Set intersection operator.

Returns:
Intersection Set

Definition at line 2183 of file cfl_baseset.h.

template<class T , class Cmp >
TBaseSet< T, Cmp > faudes::TBaseSet< T, Cmp >::operator+ ( const TBaseSet< T, Cmp > &  rOtherSet  )  const [inline]

Set union operator.

Returns:
Union Set

Definition at line 2168 of file cfl_baseset.h.

template<class T , class Cmp >
TBaseSet< T, Cmp > faudes::TBaseSet< T, Cmp >::operator- ( const TBaseSet< T, Cmp > &  rOtherSet  )  const [inline]

Set difference operator.

Returns:
Difference Set

Definition at line 2175 of file cfl_baseset.h.

template<class T , class Cmp >
bool faudes::TBaseSet< T, Cmp >::operator< ( const TBaseSet< T, Cmp > &  rOtherSet  )  const [inline]

Order for sorting containers of TBaseSet.

Definition at line 2212 of file cfl_baseset.h.

template<class T , class Cmp >
bool faudes::TBaseSet< T, Cmp >::operator<= ( const TBaseSet< T, Cmp > &  rOtherSet  )  const [inline]

Test for subset.

Definition at line 2200 of file cfl_baseset.h.

template<class T , class Cmp >
bool faudes::TBaseSet< T, Cmp >::operator>= ( const TBaseSet< T, Cmp > &  rOtherSet  )  const [inline]

Test for superset.

Definition at line 2206 of file cfl_baseset.h.

template<class T , class Cmp >
void faudes::TBaseSet< T, Cmp >::RelinkClients ( void   )  [inline, protected]

Ensure that we do not host contents to anyone else.

Definition at line 1488 of file cfl_baseset.h.

template<class T , class Cmp >
void faudes::TBaseSet< T, Cmp >::RestrictSet ( const TBaseSet< T, Cmp > &  rOtherSet  )  [inline, virtual]

Restrict elements given by other set.

Parameters:
rOtherSet Set of elements to keep

Reimplemented in faudes::TaBaseSet< T, Attr, Cmp >.

Definition at line 2055 of file cfl_baseset.h.

template<class T , class Cmp >
void faudes::TBaseSet< T, Cmp >::SetIntersection ( const TBaseSet< T, Cmp > &  rOtherSet  )  [inline, virtual]

Set Intersection, result is stored in this set.

Parameters:
rOtherSet Other TBaseSet

Reimplemented in faudes::TaBaseSet< T, Attr, Cmp >.

Definition at line 2116 of file cfl_baseset.h.

template<class T , class Cmp >
void faudes::TBaseSet< T, Cmp >::SetUnion ( const TBaseSet< T, Cmp > &  rOtherSet  )  [inline, virtual]

Set Union, result is accumulated in this set.

Parameters:
rOtherSet Other TBaseSet

Reimplemented in faudes::TaBaseSet< T, Attr, Cmp >.

Definition at line 2091 of file cfl_baseset.h.

template<class T , class Cmp >
Idx faudes::TBaseSet< T, Cmp >::Size ( void   )  const [inline]

Get Size of TBaseSet.

Returns:
Number of indices in TBaseSet

Definition at line 1814 of file cfl_baseset.h.

template<class T, class Cmp>
TBaseSet< T, Cmp >::Iterator faudes::TBaseSet< T, Cmp >::ThisIterator ( const typename std::set< T, Cmp >::const_iterator sit  )  const [inline, protected]

Convert STL iterator to API iterator.

Definition at line 1881 of file cfl_baseset.h.

template<class T , class Cmp >
const TypeDefinition * faudes::TBaseSet< T, Cmp >::TypeDefinitionp ( void   )  const [inline, protected, virtual]

Reimplment from type to use chache.

Reimplemented from faudes::Type.

Definition at line 1762 of file cfl_baseset.h.

template<class T , class Cmp >
void faudes::TBaseSet< T, Cmp >::TypeName ( const std::string &  rType  )  [inline, virtual]

Overwrite faudes-type name.

This method is used to overwrite the faudes-type identifyer.

Parameters:
rType Faudes-type name to set

Definition at line 1801 of file cfl_baseset.h.

template<class T , class Cmp >
const std::string & faudes::TBaseSet< T, Cmp >::TypeName ( void   )  const [inline, virtual]

Get objects's type name.

Retrieve the faudes-type name from the type registry. Sets allow to overwrite the faudes-type identifier. This is allows for light-weight derived classes that do not need to be registered.

Returns:
Faudes-type name or empty string.

Reimplemented from faudes::Type.

Definition at line 1790 of file cfl_baseset.h.

template<class T, class Cmp >
bool faudes::TBaseSet< T, Cmp >::Valid ( const T &  rElem  )  const [inline, virtual]

Test validty of candidate element.

Reimplement this function for particular type T of elements, eg for an index set with T=Idx indicate 0 an invalid index.

Parameters:
rElem Candidate to test
Returns:
True if element is valid

Reimplemented in faudes::IndexSet, and faudes::SymbolSet.

Definition at line 1945 of file cfl_baseset.h.

template<class T , class Cmp >
const std::string & faudes::TBaseSet< T, Cmp >::XElementTag ( void   )  const [inline, protected, virtual]

Get name of elements (used for XML IO).

Definition at line 1772 of file cfl_baseset.h.

template<class T , class Cmp >
void faudes::TBaseSet< T, Cmp >::XElementTag ( const std::string &  rTag  )  [inline, virtual]

Configure the element name tag.

This method allows to overwrite the tag used for elements in XML IO. For usual, you will register derived class with the run-time-interface and set the elemen tag for XML IO.

Parameters:
rTag Name to set

Definition at line 1784 of file cfl_baseset.h.


Friends And Related Function Documentation

template<class T, class Cmp = std::less<T>>
friend class TaBaseSet [friend]

We implement "protected privacy for template classes" by friendship.

This is used for the pragmatic implemention conversion constructors.

Definition at line 106 of file cfl_baseset.h.


Member Data Documentation

template<class T, class Cmp = std::less<T>>
std::list< TBaseSet<T,Cmp>* >::iterator faudes::TBaseSet< T, Cmp >::mClientRecord [protected]

Iterator to the client list that hosts our data (maintained by host).

Definition at line 957 of file cfl_baseset.h.

template<class T, class Cmp = std::less<T>>
bool faudes::TBaseSet< T, Cmp >::mDetached [protected]

Indicate "hosts data to myself only".

Definition at line 963 of file cfl_baseset.h.

template<class T, class Cmp = std::less<T>>
std::string faudes::TBaseSet< T, Cmp >::mFaudesTypeName [private]

Current/cached faudes type-name.

Definition at line 1021 of file cfl_baseset.h.

template<class T, class Cmp = std::less<T>>
std::set< Iterator* > faudes::TBaseSet< T, Cmp >::mIterators [protected]

Iterators that refer to this TBaseSet.

Definition at line 978 of file cfl_baseset.h.

template<class T, class Cmp = std::less<T>>
bool faudes::TBaseSet< T, Cmp >::mLocked [protected]

Indicate "dont re-allocate the STL set ever again".

Definition at line 966 of file cfl_baseset.h.

template<class T, class Cmp = std::less<T>>
std::string faudes::TBaseSet< T, Cmp >::mMyName [protected]

Name of this BaseSet.

Definition at line 919 of file cfl_baseset.h.

template<class T, class Cmp = std::less<T>>
std::map<T,AttributeVoid*>* faudes::TBaseSet< T, Cmp >::mpAttributes [protected]

Attribute map, if this object hosts data (else NULL).

Definition at line 942 of file cfl_baseset.h.

template<class T, class Cmp = std::less<T>>
std::list< TBaseSet<T,Cmp>* >* faudes::TBaseSet< T, Cmp >::mpClients [protected]

BaseSets, that use data hosted by us (NULL if we dont host data, emptyset if we host to ourself excl.

)

Definition at line 960 of file cfl_baseset.h.

template<class T, class Cmp = std::less<T>>
std::set<T,Cmp>* faudes::TBaseSet< T, Cmp >::mpSet [protected]

STL set, if this object hosts data (else NULL).

Definition at line 925 of file cfl_baseset.h.

template<class T, class Cmp = std::less<T>>
std::map< T, AttributeVoid * > faudes::TBaseSet< T, Cmp >::msEmptyAttributes = std::map<T,AttributeVoid*>() [inline, static, protected]

static empty STL map for default constructor

Definition at line 998 of file cfl_baseset.h.

template<class T, class Cmp = std::less<T>>
std::set< T, Cmp > faudes::TBaseSet< T, Cmp >::msEmptySet = std::set<T,Cmp>() [inline, static, protected]

static empty STL set for default constructor

Definition at line 995 of file cfl_baseset.h.

template<class T, class Cmp = std::less<T>>
std::string faudes::TBaseSet< T, Cmp >::mXElementTag [private]

Current/cached name of elements (used protected accessor method).

Definition at line 1018 of file cfl_baseset.h.

template<class T, class Cmp = std::less<T>>
std::map<T,AttributeVoid*>* faudes::TBaseSet< T, Cmp >::pAttributes [protected]

Pointer to attribute map to operate on.

Definition at line 939 of file cfl_baseset.h.

template<class T, class Cmp = std::less<T>>
TBaseSet<T,Cmp>* faudes::TBaseSet< T, Cmp >::pHostSet [protected]

Pointer on BaseSet that hosts our data (THIS if we host).

Definition at line 954 of file cfl_baseset.h.

template<class T, class Cmp = std::less<T>>
std::set<T,Cmp>* faudes::TBaseSet< T, Cmp >::pSet [protected]

Pointer on STL set to operate on.

Definition at line 922 of file cfl_baseset.h.

template<class T, class Cmp = std::less<T>>
const TypeDefinition* faudes::TBaseSet< T, Cmp >::pTypeDefinition [private]

TypeDefinition cache (should use guarded pointer here).

Definition at line 1015 of file cfl_baseset.h.


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

libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen