Class File represents the directory records managed by class DjVmDir.
Class File represents the directory records managed by class DjVmDir.
GString name
GString id
GString title
int offset
int size
static bool is_legal_id(const char *id)
bool is_page(void) const
bool is_include(void) const
bool is_thumbnails(void) const
bool is_shared_anno(void) const
File(void)
File(const char *name, const char *id, const char *title, FILE_TYPE file_type)
Alphabetic index HTML hierarchy of classes or Java