* New samplerate can be given, otherwise will use the one specified in the save file!
* Note: This is not a static method; call InitTextCollection() first to get the object handle.
*
- * Throws an exception if something goes wrong (unlikely since we are passing a file descriptor).
+ * Throws an exception if std::fread() fails.
*
*/
virtual void Load(FILE *, unsigned samplerate = 0) = 0;
/**
* Save data structure into a file
+ *
+ * Throws an exception if std::fwrite() fails.
*/
- virtual void Save(FILE *) = 0;
+ virtual void Save(FILE *) const = 0;
/**
* Virtual destructor
*/
* New texts can not be inserted after this operation.
*/
virtual void MakeStatic() = 0;
-
+
+ /**
+ tests if the string pointed to by DocId is empty
+ */
+
+ virtual bool EmptyText(DocId) const = 0;
+
/**
* Displaying content
*