DummyFileBuffer

---

Object Hierarchy:

Description:

Content:

Properties:

• public File file { get; set; }
  Reference to the file this buffer represents.
• public bool is_loaded { get; set; }
  Whether the buffer has been loaded with file content.
• public bool is_modified { get; set; }
  Whether the buffer has unsaved modifications.
• public int64 last_read_timestamp { get; set; }
  Get the timestamp when the buffer was last read from disk.

Creation methods:

• public DummyFileBuffer (File file)
  Constructor.

Methods:

• public async void apply_edit (FileChange change) throws Error
  Apply a single edit to the buffer.
• public async void apply_edits (ArrayList<FileChange> changes) throws Error
  Apply multiple edits to the buffer efficiently using in-memory lines array.
• public async void clear () throws Error
  Clear buffer contents to empty.
• public void get_cursor (out int line, out int offset)
  Get the current cursor position.
• public string get_line (int line)
  Get the content of a specific line.
• public int get_line_count ()
  Get the total number of lines in the buffer.
• public string get_selection (out int cursor_line, out int cursor_offset)
  Get the currently selected text and cursor position.
• public string get_text (int start_line = 0, int end_line = -1)
  Get text from buffer, optionally limited to a line range.
• public async string read_async () throws Error
  Read file contents asynchronously.
• public async void sync_to_file () throws Error
  Sync buffer contents to file on disk.
• public async void write (string contents) throws Error
  Write contents to buffer and file.

Inherited Members: