annotation_delta.h

Go to the documentation of this file.

// Annotation Delta implementation -*- C++ -*-

// $Id: annotation_delta.h 631 2008-05-19 17:38:05Z mihaly $
// Copyright (C) 2001-2003 Hermann Schichl
//
// This file is part of the COCONUT API.  This library
// is free software; you can redistribute it and/or modify it under the
// terms of the Library GNU General Public License as published by the
// Free Software Foundation; either version 2, 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
// Library GNU General Public License for more details.

// As a special exception, you may use this file as part of a free software
// library without restriction.  Specifically, if other files instantiate
// templates or use macros or inline functions from this file, or you compile
// this file and link it with other files to produce an executable, this
// file does not by itself cause the resulting executable to be covered by
// the Library GNU General Public License.  This exception does not however
// invalidate any other reasons why the executable file might be covered by
// the Library GNU General Public License.

#ifndef _ANNOTATION_DELTA_H_
#define _ANNOTATION_DELTA_H_

#include <api_delta.h>

namespace coco {


class annotation_undelta : public undelta_base
{
public:
  std::vector<annotation> added_ann;
  std::vector<annotation> removed_ann;
                                      
public:
  annotation_undelta(const std::vector<annotation>& __a,
                const std::vector<annotation>& __r) : undelta_base(),
                                                    added_ann(__a),
                                                    removed_ann(__r) {}
  
  annotation_undelta(const std::vector<annotation>& __a) : undelta_base(),
                                                        added_ann(__a),
                                                        removed_ann() {}
  
  annotation_undelta(const annotation& __a) : undelta_base(),
                                              added_ann(1,__a),
                                              removed_ann() {}
  
  annotation_undelta(const annotation_undelta& __d) : undelta_base(__d),
                                            added_ann(__d.added_ann),
                                            removed_ann(__d.removed_ann)
      {
#if DEBUG_DELTA
        std::cerr << "Called annotation_undelta copy constructor" << std::endl;
#endif
      }

  annotation_undelta* new_copy() const { return new annotation_undelta(*this); }
  void destroy_copy(undelta_base* __d) const { delete (annotation_undelta*)__d; }

  bool unapply(work_node& _x, const delta_id& _did) const;

  friend class annotation_delta;
};


class annotation_delta : public delta_base
{
public:
  std::vector<annotation> add;
  std::vector<annotation> rm;

public:
  annotation_delta(const std::string& _act) : delta_base(_act), add(), rm() {}

  annotation_delta(const std::string& _act,
                   const std::vector<annotation>& __a,
                   const std::vector<annotation>& __r)
                : delta_base(_act), add(__a), rm(__r) {}
  
  annotation_delta(const std::string& _act, const annotation& _ad)
                : delta_base(_act), add(1,_ad), rm() {}
  
  annotation_delta(const std::string& _act, bool _dummy, const annotation& _rm)
                : delta_base(_act), add(), rm(1,_rm) {}
  
  annotation_delta(const annotation_delta& __d)
                : delta_base(__d), add(__d.add), rm(__d.rm)
    {
#if DEBUG_DELTA
        std::cerr << "Called annotation_delta copy constructor" << std::endl;
#endif
    }

  annotation_delta(const char* _act,
                   const std::vector<annotation>& __a,
                   const std::vector<annotation>& __r)
                : delta_base(_act), add(__a), rm(__r) {}
  
  annotation_delta(const char* _act, const annotation& _ad)
                : delta_base(_act), add(1,_ad), rm() {}
  
  annotation_delta(const char* _act, bool _dummy, const annotation& _rm)
                : delta_base(_act), add(), rm(1,_rm) {}
  
  virtual annotation_delta* new_copy() const
                                { return new annotation_delta(*this); }
  virtual void destroy_copy(delta_base* __d) const
         { delete (annotation_delta*)__d; }

  virtual bool apply(work_node& _x, undelta_base*& _u, const delta_id& _did) const;

  bool operator==(const delta_base& _c) const
       { return _c.get_action() == get_action() &&
         this->operator==(*(annotation_delta*)&_c); }
  bool operator!=(const delta_base& _c) const
       { return _c.get_action() != get_action() ||
         this->operator!=(*(annotation_delta*)&_c); }

  bool operator==(const annotation_delta& _c) const
       { return this == &_c || (add == _c.add && rm == _c.rm); }
  bool operator!=(const annotation_delta& _c) const
       { return this != &_c && (add != _c.add || rm != _c.rm); }
};

} // namespace coco

#endif /* _ANNOTATION_DELTA_H_ */

---