projectviewer.config
Class AppLauncher

java.lang.Object
  extended byprojectviewer.config.AppLauncher

public class AppLauncher
extends java.lang.Object

Holds information on what applications to use to open certain types of files, based on user-configured file name globs.

Version:
$Id: AppLauncher.java 8907 2007-02-07 05:31:23Z vanza $
Author:
Matthew Payne

Constructor Summary
AppLauncher()
           
 
Method Summary
 void addAppExt(java.lang.String fileExt, java.lang.String execPath)
           
 void copy(AppLauncher other)
          Copies the data from another AppLauncher into this one.
 java.util.Set getAppList()
           
 java.lang.String getAppName(java.io.File f)
          Deprecated. Use getAppName(String) instead.
 java.lang.String getAppName(java.lang.String path)
          Returns the application name associated to the given file extension.
 int getCount()
           
static AppLauncher getInstance()
           
 void launchApp(java.io.File f, java.awt.Component comp)
          Deprecated. Use launchApp(String, Component) instead.
 void launchApp(java.lang.String path, java.awt.Component comp)
          Launches an external app depending on the extension of the path provided, passing the path as an argument to the executable.
 void loadExts()
          load extension properties from file
 void removeAppExt(java.lang.Object fileExt)
           
 void storeExts()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

AppLauncher

public AppLauncher()
Method Detail

getInstance

public static AppLauncher getInstance()

getAppList

public java.util.Set getAppList()

addAppExt

public void addAppExt(java.lang.String fileExt,
                      java.lang.String execPath)

removeAppExt

public void removeAppExt(java.lang.Object fileExt)

getCount

public int getCount()

loadExts

public void loadExts()
              throws java.io.IOException
load extension properties from file

Throws:
java.io.IOException

storeExts

public void storeExts()
               throws java.io.IOException
Throws:
java.io.IOException

launchApp

public void launchApp(java.io.File f,
                      java.awt.Component comp)
Deprecated. Use launchApp(String, Component) instead.


launchApp

public void launchApp(java.lang.String path,
                      java.awt.Component comp)
Launches an external app depending on the extension of the path provided, passing the path as an argument to the executable.

Since:
PV 2.1.0

copy

public void copy(AppLauncher other)
Copies the data from another AppLauncher into this one.


getAppName

public java.lang.String getAppName(java.io.File f)
Deprecated. Use getAppName(String) instead.

Returns the application name associated to the given file extension.


getAppName

public java.lang.String getAppName(java.lang.String path)
Returns the application name associated to the given file extension. The file path can be any URL recognized by jEdit's VFSManager.

Since:
PV 2.1.0