FileInfo

---

Object Hierarchy:

Description:

Content:

Properties:

• public string base_name { owned get; }
  The file base name (component after the last directory separator).
• public string dir_name { owned get; }
  The directory base name (component before the file base name).
• public string extension { owned get; }
  The file extension (excluding the dot).
• public int64 mtime { get; set; }
  The time of last modification, if available.
• public string path { owned get; set; }
  The full file path in the file system.
• public int64 size { get; set; }
  The size in bytes, if available Only regular files are guaranteed to have a size.
• public FileType type { get; set; }
  The type of the entry.

Creation methods:

• public FileInfo ()

Methods:

• public bool equal (FileInfo other_file_info)
• public bool is_dir ()
• public bool is_file ()
• public string to_string ()

Inherited Members: