|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjava.awt.Component
java.awt.Container
java.awt.Window
java.awt.Frame
javax.swing.JFrame
gate.gui.MainFrame
The main Gate GUI frame.
Nested Class Summary | |
protected class |
MainFrame.ResourcesTreeCellEditor
|
protected class |
MainFrame.ResourcesTreeCellRenderer
|
protected class |
MainFrame.ResourcesTreeModel
|
Nested classes inherited from class javax.swing.JFrame |
JFrame.AccessibleJFrame |
Nested classes inherited from class java.awt.Frame |
Frame.AccessibleAWTFrame |
Nested classes inherited from class java.awt.Window |
Window.AccessibleAWTWindow |
Nested classes inherited from class java.awt.Container |
Container.AccessibleAWTContainer |
Nested classes inherited from class java.awt.Component |
Component.AccessibleAWTComponent, Component.BltBufferStrategy, Component.FlipBufferStrategy |
Field Summary | |
protected static Collection |
guiRoots
|
protected PluginManagerUI |
pluginManager
|
Fields inherited from class javax.swing.JFrame |
accessibleContext, EXIT_ON_CLOSE, rootPane, rootPaneCheckingEnabled |
Fields inherited from class java.awt.Frame |
CROSSHAIR_CURSOR, DEFAULT_CURSOR, E_RESIZE_CURSOR, HAND_CURSOR, ICONIFIED, MAXIMIZED_BOTH, MAXIMIZED_HORIZ, MAXIMIZED_VERT, MOVE_CURSOR, N_RESIZE_CURSOR, NE_RESIZE_CURSOR, NORMAL, NW_RESIZE_CURSOR, S_RESIZE_CURSOR, SE_RESIZE_CURSOR, SW_RESIZE_CURSOR, TEXT_CURSOR, W_RESIZE_CURSOR, WAIT_CURSOR |
Fields inherited from class java.awt.Component |
BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT |
Fields inherited from interface javax.swing.WindowConstants |
DISPOSE_ON_CLOSE, DO_NOTHING_ON_CLOSE, HIDE_ON_CLOSE |
Fields inherited from interface java.awt.image.ImageObserver |
ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH |
Constructor Summary | |
MainFrame()
|
|
MainFrame(boolean isShellSlacGIU)
Construct the frame |
Method Summary | |
protected DataStore |
createSerialDataStore()
Method is used in NewDSAction |
void |
datastoreClosed(CreoleEvent e)
Called when a DataStore has been closed |
void |
datastoreCreated(CreoleEvent e)
Called when a DataStore has been created |
void |
datastoreOpened(CreoleEvent e)
Called when a DataStore has been opened |
static JFileChooser |
getFileChooser()
|
static Collection |
getGuiRoots()
|
static Icon |
getIcon(String filename)
|
static Map |
getListeners()
Returns the listeners map, a map that holds all the listeners that are singletons (e.g. the status listener that updates the status bar on the main frame or the progress listener that updates the progress bar on the main frame). |
protected void |
initGuiComponents(boolean isShellSlacGIU)
|
protected void |
initListeners(boolean isShellSlacGIU)
|
protected void |
initLocalData(boolean isShellSlacGIU)
|
static void |
lockGUI(String message)
This method will lock all input to the gui by means of a modal dialog. |
protected DataStore |
openSerialDataStore()
Method is used in OpenDSAction |
void |
processFinished()
Called when the process is finished. |
protected void |
processWindowEvent(WindowEvent e)
Overridden so we can exit when window is closed |
void |
progressChanged(int i)
Called when the progress has changed |
void |
resourceLoaded(CreoleEvent e)
Called when a new Resource has been loaded into the system |
void |
resourceRenamed(Resource resource,
String oldName,
String newName)
Called when the creole register has renamed a resource.1 |
void |
resourceUnloaded(CreoleEvent e)
Called when a Resource has been removed from the system |
protected void |
select(Handle handle)
|
void |
select(Resource res)
Selects a resource if loaded in the system and not invisible. |
void |
setTitle(String title)
Override to avoid Protege to change Frame title |
void |
setTitleChangable(boolean isChangable)
|
void |
statusChanged(String text)
Calleed when there a new status message. |
static void |
unlockGUI()
|
Methods inherited from class java.awt.Frame |
addNotify, finalize, getCursorType, getExtendedState, getFrames, getIconImage, getMaximizedBounds, getMenuBar, getState, getTitle, isResizable, isUndecorated, remove, removeNotify, setCursor, setExtendedState, setIconImage, setMaximizedBounds, setMenuBar, setResizable, setState, setUndecorated |
Methods inherited from class java.lang.Object |
clone, equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Methods inherited from interface java.awt.MenuContainer |
getFont, postEvent |
Field Detail |
protected PluginManagerUI pluginManager
protected static Collection guiRoots
Constructor Detail |
public MainFrame()
public MainFrame(boolean isShellSlacGIU)
Method Detail |
public static Icon getIcon(String filename)
public static JFileChooser getFileChooser()
public void select(Resource res)
res
- the resource to be selected.protected void select(Handle handle)
protected void initLocalData(boolean isShellSlacGIU)
protected void initGuiComponents(boolean isShellSlacGIU)
protected void initListeners(boolean isShellSlacGIU)
public void progressChanged(int i)
ProgressListener
progressChanged
in interface ProgressListener
i
- public void processFinished()
processFinished
in interface ProgressListener
public void statusChanged(String text)
StatusListener
statusChanged
in interface StatusListener
text
- public void resourceLoaded(CreoleEvent e)
CreoleListener
Resource
has been loaded into the system
resourceLoaded
in interface CreoleListener
public void resourceUnloaded(CreoleEvent e)
CreoleListener
Resource
has been removed from the system
resourceUnloaded
in interface CreoleListener
public void datastoreOpened(CreoleEvent e)
DataStore
has been opened
datastoreOpened
in interface CreoleListener
public void datastoreCreated(CreoleEvent e)
DataStore
has been created
datastoreCreated
in interface CreoleListener
public void datastoreClosed(CreoleEvent e)
DataStore
has been closed
datastoreClosed
in interface CreoleListener
public void resourceRenamed(Resource resource, String oldName, String newName)
CreoleListener
resourceRenamed
in interface CreoleListener
protected void processWindowEvent(WindowEvent e)
public static Map getListeners()
public static Collection getGuiRoots()
public static void lockGUI(String message)
message
- the message to be displayed while the GUI is lockedpublic static void unlockGUI()
public void setTitleChangable(boolean isChangable)
public void setTitle(String title)
protected DataStore createSerialDataStore()
protected DataStore openSerialDataStore()
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |