Package org.aspectj.tools.ajbrowser

Class BrowserManager

java.lang.Object

org.aspectj.tools.ajbrowser.BrowserManager

public class BrowserManager
extends Object

IDE manager for standalone AJDE application.

Author:

Mik Kersten

Field Summary

Fields

Modifier and Type	Field	Description
static String	TITLE
IHierarchyListener	VIEW_LISTENER

Constructor Summary

Constructors

Constructor	Description
BrowserManager()

Method Summary

Modifier and Type	Method	Description
static BrowserManager	getDefault()
EditorManager	getEditorManager()
JavaBuildOptions	getJavaBuildOptions()
UserPreferencesAdapter	getPreferencesAdapter()
JFrame	getRootFrame()
void	init(String[] configFilesArgs, boolean visible)
void	openFile(String filePath)
void	resetEditor()
void	resetEditorFrame()
void	saveAll()
void	setEditorStatusText(String text)
void	setStatusInformation(String text)

Methods inherited from class java.lang.Object

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

Field Details

TITLE

public static final String TITLE

See Also:

Constant Field Values

VIEW_LISTENER

public final IHierarchyListener VIEW_LISTENER

Constructor Details

BrowserManager

public BrowserManager()

Method Details

getDefault

public static BrowserManager getDefault()

init

public void init(String[] configFilesArgs,
 boolean visible)

resetEditorFrame

public void resetEditorFrame()

resetEditor

public void resetEditor()

setStatusInformation

public void setStatusInformation(String text)

setEditorStatusText

public void setEditorStatusText(String text)

saveAll

public void saveAll()

getRootFrame

public JFrame getRootFrame()

openFile

public void openFile(String filePath)

getEditorManager

public EditorManager getEditorManager()

Returns:

the EditorManager

getPreferencesAdapter

public UserPreferencesAdapter getPreferencesAdapter()

Returns:

the UserPreferencesAdapter

getJavaBuildOptions

public JavaBuildOptions getJavaBuildOptions()

Returns:

the JavaBuildOptions instance being used