|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjava.awt.Component
java.awt.Container
javax.swing.JComponent
javax.swing.JPanel
ch.hearc.I04_05s08.GUI.Tab
A tab
Nested Class Summary |
Nested classes inherited from class javax.swing.JPanel |
JPanel.AccessibleJPanel |
Nested classes inherited from class javax.swing.JComponent |
JComponent.AccessibleJComponent |
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 OntFile |
file
The file |
private String |
filename
The filename |
private GraphPanel |
graph
The graph |
private GraphManager |
manager
The manager |
Fields inherited from class javax.swing.JPanel |
|
Fields inherited from class javax.swing.JComponent |
accessibleContext, listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_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 java.awt.image.ImageObserver |
ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH |
Constructor Summary | |
Tab(OntFile file,
GraphManager manager)
A new Tab |
Method Summary | |
OntFile |
getFile()
Get the file |
GraphPanel |
getGraph()
Get the graph |
GraphManager |
getManager()
Get the manager |
String |
getTitle()
Get title |
abstract void |
init()
Init the graph (called by setGraph) |
boolean |
isFile()
Get if the file is already saved (not an untitled file) |
void |
setFilename(String filename)
Set the file's name |
void |
setGraph(GraphPanel graph)
Set the graph |
Methods inherited from class javax.swing.JPanel |
getAccessibleContext, getUI, getUIClassID, paramString, setUI, updateUI |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
private GraphPanel graph
private GraphManager manager
private String filename
private OntFile file
Constructor Detail |
public Tab(OntFile file, GraphManager manager)
Method Detail |
public abstract void init()
public void setGraph(GraphPanel graph)
graph
- the graphpublic GraphPanel getGraph()
public GraphManager getManager()
public String getTitle()
public boolean isFile()
public OntFile getFile()
public void setFilename(String filename)
filename
- the new path of the file
|
||||||||||
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