---

annotation_delta.h

Go to the documentation of this file.

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

// 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>

class annotation_undelta : public undelta_base
{
public:
  std::vector<annotation> added_ann;    // these are the new annotations
                                        // originally written
  std::vector<annotation> removed_ann;  // these are the annotations
                                        // originally removed
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(annotation_undelta* __d) { delete __d; }

  bool unapply(work_node& _x) const;

  friend class annotation_delta;
};

class annotation_delta : public delta_base
{
public:
  std::vector<annotation> add;          // these are to be added
  std::vector<annotation> rm;           // these are to be removed

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(annotation_delta* __d) { delete __d; }

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

#endif /* _ANNOTATION_DELTA_H_ */

---