class Buffer;
class OutputParams;
+namespace support {
+class FileName;
+}
+
/**
* The class holds all all open buffers, and handles construction
* and deletions of new ones.
/// delete a buffer
void release(Buffer * b);
+ /// Release \p child if it really is a child and is not used elsewhere.
+ /// \return true is the file was closed.
+ bool releaseChild(Buffer * parent, Buffer * child);
+
/// Close all open buffers.
void closeAll();
Buffer * last();
/// returns true if the buffer exists already
- bool exists(std::string const &) const;
+ bool exists(support::FileName const &) const;
/// returns true if the buffer is loaded
bool isLoaded(Buffer const * b) const;
/// return index of named buffer in buffer list
int bufferNum(std::string const & name) const;
/// returns a pointer to the buffer with the given name.
- Buffer * getBuffer(std::string const &);
+ Buffer * getBuffer(support::FileName const &) const;
/// returns a pointer to the buffer with the given number.
Buffer * getBuffer(unsigned int);
/// returns a pointer to the buffer whose temppath matches the string