class Buffer;
class OutputParams;
+namespace support {
+class FileName;
+class FileNameList;
+}
+
/**
* The class holds all all open buffers, and handles construction
* and deletions of new ones.
void closeAll();
/// returns a vector with all the buffers filenames
- std::vector<std::string> const getFileNames() const;
+ support::FileNameList const & fileNames() const;
/// FIXME
void updateIncludedTeXfiles(std::string const &, OutputParams const &);
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;
+ int bufferNum(support::FileName 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