RecDef.hpp

/* RecDef.hpp */
/* $Id: RecDef.hpp,v 1.9 2005/01/24 14:32:53 vlad Exp $ */
#ifndef __RecDef_hpp
#define __RecDef_hpp

#include <mix/Types.h>
#include <mix/DmnSet.hpp>
#include <mix/Exceptions.h>


class RecDef : public SerialThis
{
public:

  RecDef (const char* rtname, const DomainAr& dmns);

  RecDef (const char* rtname, int dmns_n, const DomainDef* dmns);

  RecDef (const RecDef& rdef);

  RecDef (const char* rtname, const RecDef& rdef1, const RecDef& rdef2);

  RecDef (InputStream& ist);

  virtual ~RecDef ();


  const char*       record_name () const;

  size_t        record_size () const;

  unsigned      domain_count () const;

  int           n2i (const char* dname) const;

  void*         offset (int dmn_i, const void* base) const;

  const DomainDef&  domain_def (int dmn_i) const;

  DomainDef*        domain_defs () const;

  void          set_options (int dmn_i, void* options);

  virtual void      serialize (OutputStream& ost) const;

  virtual void      deserialize (InputStream& ist);

  virtual void      add_domain (const DomainDef& dmn);


  bool          operator== (const RecDef& rdef) const;

  bool          operator!= (const RecDef& rdef) const {
    return !operator==(rdef);
  }

  bool          check_domain (const char* dname) const;

  bool          check_domain (const char* dname,
                      AtomType atype,
                      unsigned dim = 1) const;

private:

  char      *rec_name;

  DomainSet *domains;

  bool      own_memory;

  size_t    rec_size;

protected:

  RecDef (RecDef* rdef);

  RecDef ();

  void  constructor (const char* rtname, const DomainAr& dmns);

};


#ifdef __RecDef_vars

RecDef  rEmptyRecDef("Empty", 0, NULL);

#else /* __RecDef_vars */

extern RecDef   rEmptyRecDef;

#endif /* __RecDef_vars */


#endif /* RecDef.hpp */