#ifndef __ICEBUFFER_HPP
#define __ICEBUFFER_HPP

#include "buffer.hpp"
#include "marklist.hpp"
#include "property.hpp"
#include "vg-list.hpp"

class ICEBuffer : public Buffer {
        char *filename;
public:
        MarkList marklist;              //marks in this buffer
        PropertyList proplist;          //properties in this buffer
        ViewGroupList viewgrouplist;    //viewgroups referring to this bufer

        ICEBuffer();
        ~ICEBuffer();

        void setFilename(const char *n);
        const char *queryFilename() const { return filename; }

        void Invalidate(unsigned long startline, unsigned startcol,
                        unsigned long endline, unsigned endcol
                       );
};
#endif