Class MarkersSaveRequest

java.lang.Object

org.gjt.sp.util.Task

org.gjt.sp.jedit.bufferio.MarkersSaveRequest

All Implemented Interfaces:

Runnable, ProgressObserver

public class MarkersSaveRequest
extends Task

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

Author:

Martin Raspe created May 20, 2005 modified $Date: 2006/03/10 12:49:17 $ by $Author: hertzhaft $

Field Summary

Fields

Modifier and Type	Field	Description
protected Buffer	buffer
static final String	ERROR_OCCURRED
protected String	markersPath
protected String	path
protected Object	session
protected VFS	vfs
protected View	view

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
void	_run()	This is the method you have to implement and that will be executed in the thread.

Methods inherited from class Task

cancel, getLabel, getMaximum, getState, getStatus, getValue, isCancellable, run, setCancellable, setLabel, setMaximum, setStatus, setValue, toString

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

ERROR_OCCURRED

public static final String ERROR_OCCURRED

See Also:

• Constant Field Values

view

protected View view

buffer

protected Buffer buffer

session

protected Object session

vfs

protected VFS vfs

path

protected String path

markersPath

protected String markersPath

Constructor Details

MarkersSaveRequest

public MarkersSaveRequest(View view,
 Buffer buffer,
 Object session,
 VFS vfs,
 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 Details

_run

public void _run()

Description copied from class: Task

This is the method you have to implement and that will be executed in the thread.

Specified by:

_run in class Task