jack.plugin
Class JackPathEditor

java.lang.Object
  jack.plugin.JackPathEditor

public class JackPathEditor

extends java.lang.Object

A dialog that allows editing a list of paths. It is similar to the org.eclipse.jface.preference.PathEditor class, but is not limited to preferences.

Author:

A. Requet, L. Burdy

Constructor Summary

JackPathEditor(org.eclipse.swt.widgets.Shell sh, JackProjectPropertyPage jppp)

Method Summary

void	createWidgets(org.eclipse.swt.widgets.Composite parent)
java.lang.String[]	getPath() Returns the path list as an array of String.
void	setPath(java.lang.String[] new_path) Set the path list to the given one.

Methods inherited from class java.lang.Object

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

Constructor Detail

JackPathEditor

public JackPathEditor(org.eclipse.swt.widgets.Shell sh,
                      JackProjectPropertyPage jppp)

Method Detail

createWidgets

public void createWidgets(org.eclipse.swt.widgets.Composite parent)

getPath

public java.lang.String[] getPath()

Returns the path list as an array of String.

Returns:

the path list.

setPath

public void setPath(java.lang.String[] new_path)

Set the path list to the given one.

Parameters:

new_path - the new path list. This parameter should not be null.