org.xmlhammer.gui.util
Class ExternalApplicationLauncher

java.lang.Object
  org.xmlhammer.gui.util.ExternalApplicationLauncher

public class ExternalApplicationLauncher
extends java.lang.Object

Nested Class Summary

(package private) class

ExternalApplicationLauncher.StreamReader

Field Summary

static java.lang.String	COLUMN_PATTERN
static java.lang.String	FILE_PATTERN
static java.lang.String	LINE_PATTERN

Method Summary

void	browse(java.net.URI uri)
void	edit(java.net.URI uri, int line, int column)
java.io.File	getFile(java.net.URI uri)
static ExternalApplicationLauncher	getInstance()
void	open(java.net.URI uri, int line, int column)
void	run(java.lang.String command, java.io.File file, int line, int column)
void	setBrowserExtensions(java.lang.String extensions)
void	setDefaultCommand(java.lang.String command)
void	setEditorCommand(java.lang.String command)

Methods inherited from class java.lang.Object

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

Field Detail

FILE_PATTERN

public static java.lang.String FILE_PATTERN

LINE_PATTERN

public static java.lang.String LINE_PATTERN

COLUMN_PATTERN

public static java.lang.String COLUMN_PATTERN

Method Detail

getInstance

public static ExternalApplicationLauncher getInstance()

setBrowserExtensions

public void setBrowserExtensions(java.lang.String extensions)

setDefaultCommand

public void setDefaultCommand(java.lang.String command)

setEditorCommand

public void setEditorCommand(java.lang.String command)

open

public void open(java.net.URI uri,
                 int line,
                 int column)

edit

public void edit(java.net.URI uri,
                 int line,
                 int column)

getFile

public java.io.File getFile(java.net.URI uri)

browse

public void browse(java.net.URI uri)

run

public void run(java.lang.String command,
                java.io.File file,
                int line,
                int column)