|
||||||||||
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
ch.hearc.I04_05s08.GUI.MainApplication
The main application of the system
Nested Class Summary |
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 | |
private RdfGraphManager |
rgm
The manager of RDFs |
private RdfsGraphManager |
rsgm
The manager of RDF Schemas |
private JTabbedPane |
tabs
The tabs |
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.Window |
|
Fields inherited from class java.awt.Container |
|
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 | |
MainApplication()
Launch the application |
Method Summary | |
void |
addTab(Tab tab)
Add a tab |
void |
centerScreen()
Center the dialog on the screen |
boolean |
closeAll()
Closing all graphs |
Tab |
getCurrentTab()
Get the active tab |
GraphPanel |
getGraph()
Get the manager of the current tab |
GraphManager |
getManager()
Get the manager of the current tab |
JMenuBar |
getMenu()
Get the menu bar |
RdfGraphManager |
getRdfManager()
Get the rdf manager |
RdfsGraphManager |
getRdfsManager()
Get the rdfs manager |
void |
removeTab()
Remove the current tab (the active one) |
void |
updateCurrentTab()
Update the title of the current tab |
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, setTitle, 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 |
private JTabbedPane tabs
private RdfsGraphManager rsgm
private RdfGraphManager rgm
Constructor Detail |
public MainApplication()
Method Detail |
public void addTab(Tab tab)
tab
- a tabpublic void removeTab()
public Tab getCurrentTab()
public JMenuBar getMenu()
public GraphManager getManager()
public GraphPanel getGraph()
public void updateCurrentTab()
public RdfsGraphManager getRdfsManager()
public RdfGraphManager getRdfManager()
public void centerScreen()
public boolean closeAll()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
A project by Blanc, Yoan – supervised by Dr. Ghorbel, Hatem.
2004 © Blanc, Yoan - HE-ARC