SourceFile

---

Object Hierarchy:

Description:

Content:

Properties:

• public SourceCompressionType compression_type { get; }
  The compression type.
• public SourceEncoding encoding { get; }
  The character encoding, initially null.
• public File location { get; set construct; }
  The location.
• public SourceNewlineType newline_type { get; }
  The line ending type.
• public bool read_only { get; }
  Whether the file is read-only or not.

Creation methods:

• public SourceFile ()

Methods:

• public void check_file_on_disk ()
  Checks synchronously the file on disk, to know whether the file is externally modified, or has been deleted, and whether the file is read-only.
• public SourceCompressionType get_compression_type ()
• public unowned SourceEncoding get_encoding ()
  The encoding is initially null.
• public unowned File get_location ()
• public SourceNewlineType get_newline_type ()
• public bool is_deleted ()
  Returns whether the file has been deleted.
• public bool is_externally_modified ()
  Returns whether the file is externally modified.
• public bool is_local ()
  Returns whether the file is local.
• public bool is_readonly ()
  Returns whether the file is read-only.
• public void set_location (File? location)
  Sets the location.

Inherited Members: