cfl_basevector.h

Go to the documentation of this file.

/** @file cfl_basevector.h @brief Class TBaseVector */
 
 
/* FAU Discrete Event Systems Library (libFAUDES)
 
   Copyright (C) 2009, 2025  Thomas Moor
 
   This library is free software; you can redistribute it and/or
   modify it under the terms of the GNU Lesser General Public
   License as published by the Free Software Foundation; either
   version 2.1 of the License, or (at your option) any later version.
 
   This library is distributed in the hope that it will be useful,
   but WITHOUT ANY WARRANTY; without even the implied warranty of
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
   Lesser General Public License for more details.
 
   You should have received a copy of the GNU Lesser General Public
   License along with this library; if not, write to the Free Software
   Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301  USA 
*/
 
 
 
#ifndef FAUDES_BASEVECTOR_H
#define FAUDES_BASEVECTOR_H
 
#include "cfl_definitions.h"
#include "cfl_tokenwriter.h"
#include "cfl_tokenreader.h"
#include "cfl_types.h"
#include "cfl_attributes.h"
#include <vector>
#include <algorithm>
 
// fix mingw toochain
#ifdef THIS
#undef THIS
#endif  
 
namespace faudes {
 
/** @addtogroup ContainerClasses */
/** @{*/
 
/**
 * Vector bass class.
 *
 * This class is designed as a random access container for a small number of 
 * comperatively large objects, eg a vector of generators to model a decentralized DES. 
 * The API is restricted to simple positional access and there are no explicit 
 * iterators nor is there a deferred copy mechanism. As with other faudes containers,
 * vBaseVector is the universal base class for all faudes vector data types. The latter
 * explicitely refer to the element data type and are implemented as templates.
 *
 * Internally, the vBaseVector template uses STL vector of pointers to the individual entries. 
 * When adding an entry, you may either do so be refernce or by pointer. When setting
 * by reference, the vector takes a copy and owns the new entry. When setting by a pointer,
 * the vector only records the reference. The vector tracks ownership of each entry in order
 * to properly destruct entries. 
 *
 * vBaseVector serves as a base class for all libFaudes vectors: 
 * - GeneratorVector (vector or generators) 
 * - EventSetVector (vector of event sets) 
 *
 * Token io assumes that the type parameter is a faudes type, ie. entries of the vector
 * provide token io themselfs. To derive a vector class with non-faudes-type entries,
 * you will need to reimplement token io. As a convenience feature, the vector keeps a record
 * of filenames associated with individual entries. You can inspect and edit this record via
 * the FilenameAt members. When writing the vector to a file and all entries have an associated filename,
 * output will be to the individual files.
 *
 */
 
class FAUDES_API vBaseVector : public ExtType {
 
FAUDES_TYPE_DECLARATION(Void,vBaseVector,ExtType)
 
public:
 
  using ExtType::operator=;
  using ExtType::operator==;
  using ExtType::operator!=;
 
  /**
   * Constructor. 
   */
  vBaseVector(void);
 
  /**
   * Copy-constructor. 
   *
   * This will copy the actual elements and we will take ownership of
   * the copies. If the elements are fauddes sets, the performance penalty
   * will only show oncle we write to an element.
   *
   * @param rOtherVector 
   *    Source to copy from.
   */
  vBaseVector(const vBaseVector& rOtherVector);
 
  /**
   * Constructor from file.
   *
   * @param rFilename
   *   Name of File
   * @param rLabel
   *   Section for the set in the file; 
   */
  vBaseVector(const std::string& rFilename, const std::string& rLabel = "Vector");
 
  /**
   * Virtual destructor
   */
  virtual ~vBaseVector(void);
 
  /**
   * Copy by reference
   *
   * This method will take references from the source entry, i.e., it will not take
   * copies and will not attain ownership. The caller is hence responsible for the
   * livetime of the elements. To obtain a full copy, use the copy constror or Copy()
   * instead.
   */
  void CopyByReference(vBaseVector& rSourceVector);
 
  /**
   * Prototype for vector entries.
   * The virtual base vBaseVector will provide a plain Type object.
   * Derived vector classes are meant to reimplement this function.
   * 
   * @return 
   *    Element protoype
   */
  virtual const Type* Elementp(void) const;
 
  /**
   * Prototype for vector entries.
   * This is a convenience wrapper for Elementp.
   *
   * @return 
   *    Element protoype
   */
  virtual const Type& Element(void) const;
 
  /**
   * Factory method for vector entries.
   * This is a convenience wrapper using Elementp.
   *
   * @return 
   *    New element allocated on heap
   */
  virtual Type* NewElement(void);
 
  /**
   * Test whether the specified element is acceptebla for this vector.
   * This is a convenience wrapper for Elementp.
   *
   * @param rElement
   *   Element to type check.
   * @return 
   *   True, if provided element is accepted by this vector.
   */
  virtual bool ElementTry(const Type& rElement) const;
 
  /** 
   * Clear all vector
   */
  virtual void Clear(void);
      
  /**
   * Get size of vector.
   *
   * @return 
   *   Number of entries.
   */
  Idx Size(void) const;
 
  /**
   * Set size of vector.
   * If the new size is smaller than the current size,
   * the vector is truncated. If it is larger, default members
   * are inserted at the end.
   *
   * @param len
   *   Number of entries in vector
   */
  void Size(Idx len);
 
  /** 
   * Check for default configuration aka empty
   *
   * @return 
   *   True if empty
   */
  bool IsDefault(void) const;
 
  /** 
   * Check if the vBaseVector is Empty
   * (amounts to the default configuration)
   *
   * @return 
   *   True if empty
   */
  bool Empty(void) const;
 
  /**
   * convenience typedef for positions (must be unsigned)
   */
  typedef size_t Position;
 
  /** 
   * Access element.
   *
   * @param pos
   *    Specify entry to access
   * @exception Exception
   *   - Position out of range (id 69)
   */
  virtual const Type& At(const Position& pos) const; 
 
  /** 
   * Access element.
   *
   * @param pos
   *    Specify entry to access
   * @exception Exception
   *   - Position out of range (id 69)
   */
  virtual Type& At(const Position& pos); 
 
 
  /** 
   * Replace specified entry.
   * This method takes a copy of the entry to replace and the
   * vector becomes the owner of the copy.
   *
   * @param pos
   *    Position to replace
   * @param rElem
   *    New entry 
   * @exception Exception
   *   - Position out of range (id 69)
   *   - Cannot cast element type (63)
   */
  virtual void Replace(const Position& pos, const Type& rElem);
 
  /** 
   * Replace specified entry.
   * This method avoids to copy the entry to replace and only records the reference.
   * The vector does not take ownership of the new entry. I.e., when the vector is destroyed, or the
   * entry is deleted from the vector, the entry itself remains allocated.
   *
   * @param pos
   *    Position to replace
   * @param pElem
   *    New entry
   * @exception Exception
   *   - Position out of range (id 69)
   *   - Cannot cast element type (63)
   */
  virtual void Replace(const Position& pos, Type* pElem);
 
  /** 
   * Replace specified entry.
   * This method reads the sepcified entry from file and the
   * vector becomes the owner of the new entry.
   *
   * @param pos
   *    Position to replace
   * @param rFileName
   *    New entry to be read from file
   * @exception Exception
   *   - Position out of range (id 69)
   */
  virtual void Replace(const Position& pos, const std::string& rFileName);
 
 
  /** 
   * Erase entry by position. 
   * If the vector owns the entry, it will be destructed.
   *
   * @param pos
   *    Specify entry to erase
   * @exception Exception
   *   - Position out of range (id 69)
   */
  virtual void Erase(const Position& pos); 
 
  /** 
   * Insert specified entry.
   * This method takes a copy of the entry to be inserted and the
   * vector becomes the owner of the copy.
   *
   * @param pos
   *    Position at which to insert
   * @param rElem
   *    Element to insert
   * @exception Exception
   *   - Position out of range (id 69)
   *   - Cannot cast element type (63)
   */
  virtual void Insert(const Position& pos, const Type& rElem);
 
  /**
   * Insert specified entry.
   * This method avoids to make a copy and inserts only a reference. The caller
   * remains the owner and is responsable for destruction.
   *
   * @param pos
   *    Position at which to insert
   * @param rElem
   *    Element to insert
   * @exception Exception
   *   - Position out of range (id 69)
   *   - Cannot cast element type (63)
   */
  virtual void Insert(const Position& pos, Type* pElem);
  
  /** 
   * Insert specified entry.
   * This method reads the sepcified entry from file and the
   * vector becomes the owner of the new entry.
   *
   * @param pos
   *    Position at which to insert
   * @param rFileName
   *    Element to insert
   * @exception Exception
   *   - Position out of range (id 69)
   */
  virtual void Insert(const Position& pos, const std::string& rFileName);
 
  /** 
   * Append specified entry.
   * This method takes a copy of the entry to replace and the
   * vector becomes the owner of the copy.
   *
   * @param rElem
   *    Element to append
   * @exception Exception
   *   - Cannot cast element type (63)
   */
  virtual void PushBack(const Type& rElem);
 
  /** 
   * Append specified entry.
   * This method avoids to copy the entry to replace and only records the reference.
   * The vector does not take ownership of the new entry. I.e., when the vector is destroyed, or the
   * entry is deleted from the vector, the entry itself remains allocated.
   *
   *
   * @param rElem
   *    Element to insert
   * @exception Exception
   *   - Cannot cast element type (63)
   */
  virtual void PushBack(Type* rElem);
 
  /** 
   * Append specified entry.
   * This method reads the sepcified entry from file and the
   * vector becomes the owner of the new entry.
   *
   * @param rFileName
   *    Element to insert
   */
  virtual void PushBack(const std::string& rFileName);
 
  /** 
   * Append specified entry.
   * Synonymous for PushBack.
   * This method takes a copy of the entry to replace and the
   * vector becomes the owner of the copy.
   *
   * @param rElem
   *    Element to append
   * @exception Exception
   *   - Cannot cast element type (63)
   */
  virtual void Append(const Type& rElem);
 
  /** 
   * Append specified entry.
   * Synonymous for PushBack.
   * This method avoids to copy the entry to replace and only records the reference.
   * The vector does not take ownership of the new entry. I.e., when the vector is destroyed, or the
   * entry is deleted from the vector, the entry itself remains allocated.
   *
   *
   * @param rElem
   *    Element to insert
   * @exception Exception
   *   - Cannot cast element type (63)
   */
  virtual void Append(Type* rElem);
 
  /** 
   * Append specified entry.
   * Synonymous for PushBack.
   * This method reads the sepcified entry from file and the
   * vector becomes the owner of the new entry.
   *
   * @param rFileName
   *    Element to insert
   */
  virtual void Append(const std::string& rFileName);
 
  /** 
   * Find element.
   * This method iterates through the vector to find a matching element. This is
   * generally inefficient, consider to use an ordered set instead.
   *
   * @param rElem
   *    Element to serach for
   * @return
   *    Position on success (or >= Size() for not found)
   * @exception Exception
   *   - Cannot cast element type (63)
   */
  virtual Position  Find(const Type& rElem);
 
  /**
   * Cnsolidate by removing doublets.
   * This method iterates through the vector to find ad eliminate semantical doublets; i.e., it
   * refers to equality as implementyed by the faudes type method DoEqual. This is
   * generally inefficient, consider to use an ordered set instead.
   */
  virtual void EraseDoublets(void);
 
  /** 
   * Specify a filename.
   * When each entry has a filename specified,
   * file io of the vector will be to individual files.
   *
   * @param pos
   *    Position of entry
   * @param rFileName
   *    Filename relative to vector file
   * @exception Exception
   *   - Position out of range (id 69)
   */
  void FilenameAt(const Position& pos, const std::string& rFileName);
 
  /** 
   * Get filename of entry.
   *
   * @param pos
   *    Position of entry
   * @return 
   *    Filename assoiated with entry
   * @exception Exception
   *   - Position out of range (id 69)
   */
  const std::string& FilenameAt(const Position& pos) const;
 
  /**
   * Take ownership of all entries.
   * This method will take ownership of all entries, including those, that
   * have been set by pointer reference. When the vector is destructed, all
   * entries will be destructed, too. However, write access may invalidate 
   * element pointers.
   *
   */
  void TakeOwnership(void);
 
  /**
   * Take local copies of all entries.
   * This method will construct local copies of all entries not previously
   * owned. 
   */
  void TakeCopies(void);
 
protected:
 
 
  /** 
   * Token output, debugging see Type::DWrite for public wrappers.
   * The method assumes that the type parameter is a faudes type and uses
   * the provide write method per entry. Reimplement this function in derived 
   * classes for non-faudes type vectors.
   * @param rTw
   *   Reference to TokenWriter
   * @param rLabel
   *   Label of section to write, defaults to name of set
   * @param pContext
   *   Write context to provide contextual information
   */
  virtual void DoDWrite(TokenWriter& rTw,const std::string& rLabel="", const Type* pContext=0) const;
 
  /**
   * Token output, see Type::SWrite for public wrappers.
   * The method assumes that the type parameter is a faudes type and uses
   * the provide write method per entry. Reimplement this function in derived 
   * classes for non-faudes type vectors.
   *
   * @param rTw
   *   Reference to TokenWriter
   *
   * @exception Exception 
   *   - IO errors (id 2)
   */
  virtual void DoSWrite(TokenWriter& rTw) const;
 
  /** 
   * Token output, see Type::Write for public wrappers.
   * The method assumes that the type parameter is a faudes type and uses
   * the provide write method per entry. Reimplement this function in derived 
   * classes for non-faudes type vectors.
   *
   * @param rTw
   *   Reference to TokenWriter
   * @param rLabel
   *   Label of section to write, defaults to name of set
   * @param pContext
   *   Write context to provide contextual information
   */
  virtual void DoWrite(TokenWriter& rTw, const std::string& rLabel="", const Type* pContext=0) const;
 
  /** 
   * Token output strict XML, see Type::XWrite for public wrappers.
   * The method assumes that the type parameter is a faudes type and uses
   * the provide writed method per entry. Reimplement this function in derived 
   * classes for non-faudes type vectors.
   *
   * @param rTw
   *   Reference to TokenWriter
   * @param rLabel
   *   Label of section to write, defaults to name of set
   * @param pContext
   *   Write context to provide contextual information
   */
  virtual void DoXWrite(TokenWriter& rTw, const std::string& rLabel="", const Type* pContext=0) const;
 
  /**
   * Token input, see Type::Read for public wrappers.
   * The method assumes that the type parameter is a faudes type and uses
   * the provide read method per entry. Reimplement this function in derived 
   * classes for non-faudes type vectors.
   * By convention, the default label "" should be translated to some meaningful default, 
   * eg "GeneratorVector" for a vector of generators. The pContext pointer can be type-checked
   * and interpreted, ie as a symboltable to provide symbolic names. It is also
   * passed on to vector entries.
   *
   * @param rTr
   *   Reference to TokenReader
   * @param rLabel
   *   Label of section to read, defaults to name of set
   * @param pContext
   *   Read context to provide contextual information
   */
  virtual void DoRead(TokenReader& rTr, const std::string& rLabel = "", const Type* pContext=0);
 
  /** Copyment method  (we will take copies and own all those thereafter) */
  void DoCopy(const vBaseVector& rSourceVector);
 
  /**
   * Test equality of configuration data.
   *
   * To be equal, all elements must match.
   * 
   * @param rOther 
   *    Other object to compare with.
   * @return 
   *   True on match.
   */
  bool DoEqual(const vBaseVector& rOther) const;
 
 
  /** Internal entry data type */
  class ElementRecord {
  public:
    Type* pElement;
    std::string mFileName;
    bool mMine;
  };
 
  /** STL vector of element */
  std::vector<ElementRecord> mVector;
 
  /** convenience typedef */
  typedef std::vector<ElementRecord>::iterator iterator;
 
private:
 
  /** Current/cached faudes type-name */
  std::string  mFaudesTypeName;
 
  /** Current/cached name of elements (use protected accessor methods for caching) */
  std::string  mElementTag;
 
protected:  
 
  /** Defauft name of elements (if not over written by registry) */
  std::string  mElementTagDef;
 
private:
 
  /** Name of TBaseVector */
  std::string mMyName;
 
};
 
 
/** @} doxygen group */
 
 
/** @addtogroup ContainerClasses */
/** @{*/
 
/**
 * Vector template.
 *
 * The vector templates specializes the bass vBaseVector in that it uses the template
 * parameter to specify the type of its entries. See vBaseVector for element access
 * methods.
 *
 * TBaseVector is used to implement the libFAUDES vectors
 * - GeneratorVector (vector or generators) 
 * - SytemVector     (vector or generators) 
 * - EventSetVector  (vector of event sets) 
 * - AlphabetVector  (vector of event sets) 
 *
 *
 */
 
template<class T>
class FAUDES_TAPI TBaseVector : public vBaseVector {
 
FAUDES_TYPE_TDECLARATION(Void,TBaseVector,vBaseVector)
 
public:
 
  using vBaseVector::operator=;
  using vBaseVector::operator==;
  using vBaseVector::operator!=;
  using vBaseVector::Insert;
  using vBaseVector::Erase;
 
  /**
   * Constructor. 
   */
  TBaseVector(void);
 
  /**
   * Copy-constructor. 
   *
   * @param rOtherSet 
   *    Source to copy from
   */
  TBaseVector(const TBaseVector& rOtherSet);
 
  /**
   * Copy-constructor. This version takes any vector as source,
   * but throughs an exception, if element types dont match.
   *
   * @param rOtherSet 
   *    Source to copy from
   * @exception Exception
   *   - Cannot cast elements (63)
   */
  TBaseVector(const vBaseVector& rOtherSet);
 
  /**
   * Constructor from file.
   *
   * @param rFilename
   *   Name of File
   * @param rLabel
   *   Section for the set in the file; 
   */
  TBaseVector(const std::string& rFilename, const std::string& rLabel = "BaseVector");
 
  /**
   * Virtual destructor
   */
  virtual ~TBaseVector(void);
 
 
  /**
   * Prototype for vector entries.
   * This template class uses the virtual function to know its element type.
   * 
   * @return 
   *    Element protoype
   */
  virtual const T* Elementp(void) const;
 
  /**
   * Test whether the specified element is acceptebla for this vector.
   * This is a convenience wrapper for Elementp.
   *
   * @param rElement
   *   Element to type check.
   * @return 
   *   True, if provided element is accepted by this vector.
   */
  virtual bool ElementTry(const Type& rElement) const;
 
  /**
   * convenience typedef for positions
   */
  typedef std::vector<int>::size_type Position;
 
  /** 
   * Access element.
   *
   * @param pos
   *    Specify entry to access
   * @exception Exception
   *   - Position out of range (id 69)
   */
  virtual const T& At(const Position& pos) const; 
 
  /** 
   * Access element.
   *
   * @param pos
   *    Specify entry to access
   * @exception Exception
   *   - Position out of range (id 69)
   */
  virtual T& At(const Position& pos); 
 
  /** 
   * Iterator class for high-level API similar to TBaseSet.
   *
   */
  class Iterator;
  class CIterator;
 
  /** 
   * Iterator to the begin of set
   *
   * @return 
   *   Iterator
   */
  Iterator Begin(void);
        
  /** 
   * Iterator to the begin of set, const variant
   *
   * @return 
   *   Iterator
   */
  CIterator Begin(void) const;
        
  /** 
   * Iterator to the end of set
   *
   * @return 
   *   Iterator
   */
  Iterator End(void);
 
  /** 
   * Iterator to the end of set, const variant
   *
   * @return 
   *   Iterator
   */
  CIterator End(void) const;
 
  /** 
   * Insert specified entry.
   *
   * Insert with no position defaults to Append/PushBack
   *
   *
   * @param pos
   *    Position at which to insert
   * @param rElem
   *    Element to insert
   * @exception Exception
   *   - Position out of range (id 69)
   *   - Cannot cast element type (63)
   */
  virtual void Insert(const T& rElem);
 
  /** 
   * Erase specified entry.
   *
   * @param vit
   *    Iterator to element to erase
   */
  virtual Iterator Erase(const Iterator& vit);
 
   /** 
   * Iterator class, ie add one layer of dereferencing.
   */
   class Iterator : public std::vector<ElementRecord>::iterator {
     public:
     /** Default contructor */
     Iterator(void) : std::vector<ElementRecord>::iterator() {}; 
     /** Copy constructor  */
     Iterator(const Iterator& fit) : std::vector<ElementRecord>::iterator(fit) {};
     /** Copy constructor from STL itertor */
     Iterator(const typename std::vector<ElementRecord>::iterator& sit) : std::vector<ElementRecord>::iterator(sit) {};
     /** Get as STL iterator */
     const typename std::vector<ElementRecord>::iterator& StlIterator(void) const {return *this;};
     /** Reimplement dereference */ 
     T* operator-> (void) const {
       return dynamic_cast<T*>(std::vector<ElementRecord>::iterator::operator*().pElement);
     };
     /** Reimplement derefernce */
     T& operator* (void) const {
       return *( dynamic_cast<T*>(std::vector<ElementRecord>::iterator::operator*().pElement) );
     };
   };
 
  /** 
   * Iterator class, const variant
   */
   class CIterator : public std::vector<ElementRecord>::const_iterator {
     public:
     /** Default contructor */
     CIterator(void) : std::vector<ElementRecord>::const_iterator() {}; 
     /** Copy constructor  */
     CIterator(const Iterator& fit) : std::vector<ElementRecord>::const_iterator(fit) {};
     /** Copy constructor from STL itertor */
     CIterator(const typename std::vector<ElementRecord>::const_iterator& sit) : std::vector<ElementRecord>::const_iterator(sit) {};
     /** Reimplement dereference */ 
     const T* operator-> (void) const {
       return dynamic_cast<const T*>(std::vector<ElementRecord>::const_iterator::operator*().pElement);
     };
     /** Reimplement derefernce */
     const T& operator* (void) const {
       return *( dynamic_cast<const T*>(std::vector<ElementRecord>::const_iterator::operator*().pElement) );
     };
   };
 
 
 protected:
 
  /** Copyment method  */
  void DoCopy(const TBaseVector<T>& rSourceVector);
 
 
};
 
 
/** @} doxygen group */
 
 
 
/*
******************************************************************************************
******************************************************************************************
******************************************************************************************
 
Implementation of TBaseVector
 
******************************************************************************************
******************************************************************************************
******************************************************************************************
*/
 
/* convenience access to relevant scopes */
#define THIS TBaseVector<T> 
#define TEMP template<class T>
#define BASE vBaseVector
 
 
// faudes type std
FAUDES_TYPE_TIMPLEMENTATION(Void,THIS,vBaseVector,TEMP)
 
// TBaseVector()
TEMP THIS::TBaseVector(void) :
  vBaseVector()
{
  FD_DC("TBaseVector(" << this << ")::TBaseVector()");
}
 
  
// TBaseVector(filename)
TEMP THIS::TBaseVector(const std::string& rFileName, const std::string& rLabel)  :
  vBaseVector()
{
  FD_DC("TBaseVector(" << this << ")::TBaseVector()");
  // do read;
  Read(rFileName,rLabel);  
}
 
 
// TBaseVector(rOtherSet)
TEMP THIS::TBaseVector(const TBaseVector& rOtherVector) : 
  vBaseVector()
{
  FD_DC("TBaseVector(" << this << ")::TBaseVector(rOtherVector " << &rOtherVector << "): copy construct");
  DoCopy(rOtherVector);
}
 
// TBaseVector(rOtherSet)
TEMP THIS::TBaseVector(const vBaseVector& rOtherVector) : 
  vBaseVector()
{
  FD_DC("TBaseVector(" << this << ")::TBaseVector([v] rOtherVector " << &rOtherVector << "): copy construct");
  Copy(rOtherVector);
}
 
// destructor
TEMP THIS::~TBaseVector(void) {
  FD_DC("TBaseVector(" << this << ")::~TBaseVector()");
}
 
 
// element prototype
TEMP const T* THIS::Elementp(void) const {
  static T tproto;
  return &tproto;
}
 
// test element type
TEMP bool THIS::ElementTry(const Type& rElement) const {
  FD_DC("TBaseVector::ElementTry(): casting from " << typeid(rElement).name() << " to " << typeid(*Elementp()).name());
  return Elementp()->Cast(&rElement)!=NULL;
}
 
 
// assignment
TEMP void THIS::DoCopy(const THIS& rSourceVector) {
  FD_DC("TBaseVector(" << this << ")::DoCopy(rOtherVector " << &rSourceVector << ")");
  // base can do it
  BASE::DoCopy(rSourceVector);
  // done
  FD_DC("TBaseVector(" << this << ")::DoCopy(rOtherVector " << &rSourceVector << "): done");
}
 
// At()
TEMP const T& THIS::At(const Position& pos) const {
#ifdef FAUDES_CHECKED
  if(pos >= mVector.size()) {
    std::stringstream errstr;
    errstr << "index out of range" << std::endl;
    throw Exception("TBaseVector::At", errstr.str(), 62);
  }
#endif
#ifdef FAUDES_DEBUG_CODE
  if(!dynamic_cast<T*>(mVector[pos].pElement)){
    std::stringstream errstr;
    errstr << "internal type error" << std::endl;
    throw Exception("TBaseVector::At", errstr.str(), 63);
  }
#endif
  return *dynamic_cast<T*>(mVector[pos].pElement);
}
 
// At()
TEMP T& THIS::At(const Position& pos) {
#ifdef FAUDES_CHECKED
  if(pos >= mVector.size()) {
    std::stringstream errstr;
    errstr << "index out of range" << std::endl;
    throw Exception("TBaseVector::At", errstr.str(), 62);
  }
#endif
#ifdef FAUDES_DEBUG_CODE
  if(!dynamic_cast<T*>(mVector[pos].pElement)){
    std::stringstream errstr;
    errstr << "internal type error" << std::endl;
    throw Exception("TBaseVector::At", errstr.str(), 63);
  }
#endif
  return *dynamic_cast<T*>(mVector[pos].pElement);
}
 
 
// iterators
TEMP typename THIS::Iterator THIS::Begin(void) { return Iterator(mVector.begin());}
TEMP typename THIS::CIterator THIS::Begin(void) const { return CIterator(mVector.begin());}
TEMP typename THIS::Iterator THIS::End(void) { return Iterator(mVector.end());}
TEMP typename THIS::CIterator THIS::End(void) const { return CIterator(mVector.end());}
 
// set style element access
TEMP void THIS::Insert(const T& rElem) { Append(rElem); };
TEMP typename THIS::Iterator THIS::Erase(const Iterator& pit) {
  std::vector<ElementRecord>::iterator sit=pit.StlIterator();
  if(sit->mMine) delete sit->pElement;
  mVector.erase(sit++);
  Iterator rit(sit);
  return rit; 
};
 
 
/* undefine local shortcuts */
#undef THIS
#undef TEMP
#undef BASE
 
 
} // namespace faudes
 
#endif