1999-09-27 18:44:28 +00:00
|
|
|
|
// -*- C++ -*-
|
|
|
|
|
/* This file is part of
|
1999-11-15 12:01:38 +00:00
|
|
|
|
* ======================================================
|
1999-10-07 18:44:17 +00:00
|
|
|
|
*
|
|
|
|
|
* LyX, The Document Processor
|
|
|
|
|
* Copyright 1995 Matthias Ettrich
|
|
|
|
|
* Copyright 1995-1999 The LyX Team
|
|
|
|
|
*
|
|
|
|
|
* This file is Copyright 1996
|
|
|
|
|
* Lars Gullik Bj<EFBFBD>nnes
|
|
|
|
|
*
|
1999-11-15 12:01:38 +00:00
|
|
|
|
* ====================================================== */
|
1999-09-27 18:44:28 +00:00
|
|
|
|
|
1999-10-07 18:44:17 +00:00
|
|
|
|
#ifndef BUFFER_LIST_H
|
|
|
|
|
#define BUFFER_LIST_H
|
1999-09-27 18:44:28 +00:00
|
|
|
|
|
|
|
|
|
#ifdef __GNUG__
|
|
|
|
|
#pragma interface
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
#include "buffer.h"
|
1999-10-07 18:44:17 +00:00
|
|
|
|
#include "debug.h"
|
1999-09-27 18:44:28 +00:00
|
|
|
|
|
|
|
|
|
/** A class to hold all the buffers in a structure
|
|
|
|
|
The point of this class is to hide from bufferlist what kind
|
|
|
|
|
of structure the buffers are stored in. Should be no concern for
|
|
|
|
|
bufferlist if the buffers is in a array or in a linked list.
|
|
|
|
|
|
|
|
|
|
This class should ideally be enclosed inside class BufferList, but that
|
|
|
|
|
gave me an "internal gcc error".
|
|
|
|
|
*/
|
|
|
|
|
class BufferStorage {
|
1999-11-05 06:02:34 +00:00
|
|
|
|
public:
|
|
|
|
|
///
|
|
|
|
|
typedef vector<Buffer *> Container;
|
|
|
|
|
///
|
|
|
|
|
typedef Container::iterator iterator;
|
|
|
|
|
///
|
|
|
|
|
bool empty() const { return container.empty(); }
|
|
|
|
|
///
|
|
|
|
|
void release(Buffer * buf);
|
|
|
|
|
///
|
|
|
|
|
Buffer * newBuffer(string const & s, LyXRC *, bool = false);
|
|
|
|
|
///
|
|
|
|
|
Container::iterator begin() { return container.begin(); }
|
|
|
|
|
///
|
|
|
|
|
Container::iterator end() { return container.end(); }
|
|
|
|
|
///
|
|
|
|
|
Buffer * front() { return container.front(); }
|
|
|
|
|
///
|
|
|
|
|
Buffer * operator[](int c) { return container[c]; }
|
|
|
|
|
///
|
|
|
|
|
int size() const { return container.size(); }
|
|
|
|
|
private:
|
|
|
|
|
///
|
|
|
|
|
Container container;
|
1999-09-27 18:44:28 +00:00
|
|
|
|
};
|
|
|
|
|
|
1999-11-05 06:02:34 +00:00
|
|
|
|
|
1999-09-27 18:44:28 +00:00
|
|
|
|
/** The class governing all the open buffers
|
|
|
|
|
This class governs all the currently open buffers. Currently all the buffer
|
|
|
|
|
are located in a static array, soon this will change and we will have a
|
|
|
|
|
linked list instead.
|
|
|
|
|
*/
|
|
|
|
|
class BufferList {
|
|
|
|
|
public:
|
|
|
|
|
///
|
|
|
|
|
BufferList();
|
|
|
|
|
|
|
|
|
|
/// state info
|
|
|
|
|
enum list_state {
|
|
|
|
|
///
|
|
|
|
|
OK,
|
|
|
|
|
///
|
|
|
|
|
CLOSING
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
/// returns the state of the bufferlist
|
|
|
|
|
list_state getState() { return _state; }
|
|
|
|
|
|
|
|
|
|
/** loads a LyX file or...
|
1999-11-15 12:27:25 +00:00
|
|
|
|
If the optional argument tolastfiles is false (default is
|
1999-09-27 18:44:28 +00:00
|
|
|
|
true), the file name will not be added to the last opened
|
|
|
|
|
files list
|
1999-11-15 12:27:25 +00:00
|
|
|
|
*/
|
1999-11-05 06:02:34 +00:00
|
|
|
|
Buffer * loadLyXFile(string const & filename,
|
|
|
|
|
bool tolastfiles = true);
|
1999-09-27 18:44:28 +00:00
|
|
|
|
|
|
|
|
|
///
|
1999-11-05 06:02:34 +00:00
|
|
|
|
bool empty();
|
1999-09-27 18:44:28 +00:00
|
|
|
|
|
|
|
|
|
/// Saves buffer. Returns false if unsuccesful.
|
|
|
|
|
bool write(Buffer *, bool makeBackup = true);
|
|
|
|
|
|
|
|
|
|
///
|
|
|
|
|
bool QwriteAll();
|
|
|
|
|
|
|
|
|
|
/// Close all open buffers.
|
|
|
|
|
void closeAll();
|
|
|
|
|
|
|
|
|
|
///
|
|
|
|
|
void resize();
|
|
|
|
|
|
|
|
|
|
/// Read a file into a buffer readonly or not.
|
1999-11-05 06:02:34 +00:00
|
|
|
|
Buffer * readFile(string const &, bool ro);
|
1999-09-27 18:44:28 +00:00
|
|
|
|
|
|
|
|
|
/// Make a new file (buffer) using a template
|
1999-11-05 06:02:34 +00:00
|
|
|
|
Buffer * newFile(string const &, string);
|
1999-09-27 18:44:28 +00:00
|
|
|
|
|
|
|
|
|
/** This one must be moved to some other place.
|
|
|
|
|
*/
|
|
|
|
|
void makePup(int);
|
|
|
|
|
|
|
|
|
|
///
|
1999-11-05 06:02:34 +00:00
|
|
|
|
void updateInset(Inset *, bool = true);
|
1999-09-27 18:44:28 +00:00
|
|
|
|
|
|
|
|
|
///
|
1999-11-05 06:02:34 +00:00
|
|
|
|
int unlockInset(UpdatableInset *);
|
1999-09-27 18:44:28 +00:00
|
|
|
|
|
|
|
|
|
///
|
1999-10-02 16:21:10 +00:00
|
|
|
|
void updateIncludedTeXfiles(string const &);
|
1999-09-27 18:44:28 +00:00
|
|
|
|
|
|
|
|
|
///
|
|
|
|
|
void emergencyWriteAll();
|
|
|
|
|
|
|
|
|
|
/** closes buffer
|
|
|
|
|
Returns false if operation was canceled
|
|
|
|
|
*/
|
|
|
|
|
bool close(Buffer *);
|
|
|
|
|
|
|
|
|
|
///
|
1999-11-05 06:02:34 +00:00
|
|
|
|
Buffer * first();
|
1999-09-27 18:44:28 +00:00
|
|
|
|
|
|
|
|
|
/// returns true if the buffer exists already
|
1999-10-02 16:21:10 +00:00
|
|
|
|
bool exists(string const &);
|
1999-09-27 18:44:28 +00:00
|
|
|
|
|
|
|
|
|
/// returns a pointer to the buffer with the given name.
|
1999-11-05 06:02:34 +00:00
|
|
|
|
Buffer * getBuffer(string const &);
|
1999-09-27 18:44:28 +00:00
|
|
|
|
/// returns a pointer to the buffer with the given number.
|
1999-11-05 06:02:34 +00:00
|
|
|
|
Buffer * getBuffer(int);
|
1999-09-27 18:44:28 +00:00
|
|
|
|
|
|
|
|
|
private:
|
|
|
|
|
///
|
|
|
|
|
BufferStorage bstore;
|
|
|
|
|
|
|
|
|
|
///
|
|
|
|
|
list_state _state;
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
#endif
|