/// returns a pointer to the buffer with the given name.
Buffer * getBuffer(support::FileName const &) const;
/// returns a pointer to the buffer with the given number.
/// returns a pointer to the buffer with the given name.
Buffer * getBuffer(support::FileName const &) const;
/// returns a pointer to the buffer with the given number.