org.gjt.sp.jedit.bufferio
Class MarkersSaveRequest

java.lang.Object
  extended by org.gjt.sp.util.WorkRequest
      extended by org.gjt.sp.jedit.bufferio.MarkersSaveRequest
All Implemented Interfaces:
java.lang.Runnable, ProgressObserver

public class MarkersSaveRequest
extends WorkRequest

A save request for markers. Factored out from BufferSaveRequest.java


Field Summary
protected  Buffer buffer
           
static java.lang.String ERROR_OCCURRED
           
protected  java.lang.String markersPath
           
protected  java.lang.String path
           
protected  java.lang.Object session
           
protected  VFS vfs
           
protected  View view
           
 
Constructor Summary
MarkersSaveRequest(View view, Buffer buffer, java.lang.Object session, VFS vfs, java.lang.String path)
          Creates a new I/O request for markers.
 
Method Summary
 void run()
           
 
Methods inherited from class org.gjt.sp.util.WorkRequest
setAbortable, setMaximum, setProgressMaximum, setProgressValue, setStatus, setValue
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

ERROR_OCCURRED

public static final java.lang.String ERROR_OCCURRED
See Also:
Constant Field Values

view

protected View view

buffer

protected Buffer buffer

session

protected java.lang.Object session

vfs

protected VFS vfs

path

protected java.lang.String path

markersPath

protected java.lang.String markersPath
Constructor Detail

MarkersSaveRequest

public MarkersSaveRequest(View view,
                          Buffer buffer,
                          java.lang.Object session,
                          VFS vfs,
                          java.lang.String path)
Creates a new I/O request for markers.

Parameters:
view - The view
buffer - The buffer
session - The VFS session
vfs - The VFS
path - The path
Method Detail

run

public void run()